Prednáška 2. História vývoja logiky.
História vzniku a rozvoja vedy o logike. Logika v starovekom Grécku. traktát "O logike alebo kánonoch" od Demokrita (460 - 370 pred Kr.), myšlienky teórie poznania a logiky Sokrata (asi 469 - 399 pred Kr.) a Platóna (428 - 347 pred Kr.). Logika Aristotela (384 - 322 pred Kr.). Hlavné diela Aristotela o logike: "Organon", "Metafyzika". Logika v starovekej Indii. Logika starovekej Číny (Dene Xi (545-501 pred Kr.), Konfucius (551-501 pred Kr.), Chuej-ši (370-318 pred Kr.) atď.). Logika v stredoveku (Anselm z Canterbury (1033-1109), Tomáš Akvinský (1225-1274), I. Roscelin (1050-1120), W. Ockham (1285-1349), al-Farabi (870-950), ) a pod.) Logika v renesancii. "Nový organon" F. Bacon (1561-1626). Úspechy experimentálnej prírodnej vedy v 16.-17. storočí. a rozvoj logiky. Myšlienky R. Descarta (1596-1650) o umení myslieť. Nový „typ logiky“ od I. Kanta (1724-1804). Kritika zákonov formálnej logiky podľa G.V.F. Hegel (1770-1831). Logika v 19.-20. storočí (M.I. Kariysky (1840-1917), L.V. Rutkovsky (1859-1920). Matematická logika G. Frege (1848-1925), B. Russell (1872-1970), B. Ackerman (19689) ) a ďalšie.
História logiky je dlhá. V každej dobe sa človek usiloval o pravdu, no na vznik doktríny o správnosti myslenia boli potrebné určité podmienky. Tu je všeobecný duševný vývoj človeka a osobitosti kultúry. A samozrejme je nevyhnutná prítomnosť hovoreného jazyka.
Logika sa spočiatku zrodila a rozvíjala ako súčasť filozofie. Slovo "filozofia" pochádza z dvoch gréckych slov „philo“ a „sophos“, „láska“ a „veda“. Takže „filozofia“ doslova znamená „láska k vede“. Filozofia je veda, ktorá spája všetky ľudské poznatky o svete okolo nás, črtách ľudského vedomia a zákonitostiach bytia.
Logika (gr. logik), veda o prijateľných spôsoboch uvažovania. Slovo „logika“ v jeho modernom používaní je nejednoznačné, aj keď nie také bohaté na konotácie, ako je starogrécky lógos, z ktorého je odvodené.
S konceptom logiky sú spojené tri hlavné aspekty:
Ontologická – „Logika vecí“, t.j. nevyhnutné spojenie medzi javmi objektívneho sveta ( Democritus); v raných štádiách vývoja malo logické poznanie ontologický charakter, t.j. zákony myslenia boli stotožňované so zákonmi bytia.
Gnoseologická – „Logika poznania“, t.j. nevyhnutné spojenie pojmov, cez ktoré sa pozná „podstata a pravda“ ( Platón);
Demonštratívne (dôkazy), alebo vlastne logické, - "Logika dôkazov a vyvrátenia", t.j. nevyhnutná súvislosť úsudkov (výrokov) v uvažovaní (inferenciách), ktorej donucovacia presvedčivosť ("všeobecná platnosť") vyplýva len z formy tohto spojenia, bez ohľadu na to, či tieto úsudky vyjadrujú "podstatu a pravdu" alebo nie ( Aristoteles).
Prvé dva aspekty súvisia s filozofia a dialektická logika, posledný aspekt predstavuje samotnú logiku alebo modernú logiku (ktorá po I. Kant niekedy nazývaná formálna logika).
Historicky sa predmet (správne) Logiky obmedzoval na akési „katalogizovanie“ správnych argumentov, t.j. také metódy uvažovania, ktoré by vždy umožnili získať pravdivé úsudky-závery z pravdivých úsudkov-premis. Súbor takýchto argumentov známych už od antiky jednoznačne určoval postup odpočet, charakteristický pre tzv. tradičná Logika, ktorej jadro bolo sylogistický vytvoril Aristoteles. Ako sa študovali znaky demonštratívneho myslenia, predmet tradičnej logiky sa postupne rozširoval v dôsledku nesylogistických, hoci deduktívnych metód uvažovania, ako aj v dôsledku indukcia. Keďže indukcia nespadala do rámca logiky ako deduktívnej teórie (alebo súboru takýchto teórií), nakoniec sa stala predmetom špeciálnej teórie nazývanej induktívna logika.
Modern Logic je historickým nástupcom tradičnej logiky a v istom zmysle jej priamym pokračovaním. No na rozdiel od tej tradičnej sa moderná Logika vyznačuje budovaním rôznych druhov formalizovaných teórií logického uvažovania – tzv. logické „formalizmy“, príp logický kalkul, ktoré umožňujú urobiť z logického uvažovania predmet rigoróznej analýzy a tým podrobnejšie popísať ich vlastnosti. Odraz logického myslenia v logickom kalkule viedol k adekvátnejšiemu vyjadreniu myšlienky „loga“ ako jednoty jazyka a myslenia, než tomu bolo v staroveku a vo všetkých epochách pred 20. storočím; v modernej logike je tento výraz taký zrejmý, že od rôznych „formalizmov“ treba niekedy hovoriť o rôznych „štýloch logického myslenia“.
Formálna logika sa v zásade vyvinula v troch tradíciách:čínsky , indický agrécky . Hoci presné dátumy nie sú príliš spoľahlivé (najmä v prípade Indie), je pravdepodobné, že logika vznikla vo všetkých troch kultúrach v r. 4. storočie pred Kristom e. Moderná logika vychádza v konečnom dôsledku z gréckej tradície ( Aristotelovská logika), ktorý však nebol vnímaný priamo, ale prostredníctvom sprostredkovateľskej a komentátorskej činnosti Arabsko-moslimskí filozofi a stredoveký európsky logikov. Možno vyčleniť tieto historické a regionálne formy logiky (uvádzajú sa aj ich názvy, ktoré historicky existovali a sú akceptované v literatúre o dejinách formálnej logiky):
jeden). Logika starovekej Číny (Dene Xi (545-501 pred Kr.), Konfucius (551-501 pred Kr.), Chuej-ši (370-318 pred Kr.) atď.).
2). Logika v starovekej Indii.
3). Logika v starovekom Grécku. traktát "O logike alebo kánonoch" od Demokrita (460 - 370 pred Kr.), myšlienky teórie poznania a logiky Sokrata (asi 469 - 399 pred Kr.) a Platóna (428 - 347 pred Kr.). Logika Aristotela (384 - 322 pred Kr.). Hlavné diela Aristotela o logike: "Organon", "Metafyzika".
štyri). Logika v stredoveku (Anselm z Canterbury (1033-1109), Tomáš Akvinský (1225-1274), I. Roscelin (1050-1120), W. Ockham (1285-1349), al-Farabi (870-950), ) a pod.)
5). Logika v renesancii.
6). Logika v modernej dobe. "Nový organon" F. Bacon (1561-1626). Úspechy experimentálnej prírodnej vedy v 16.-17. storočí. a rozvoj logiky. Myšlienky R. Descarta (1596-1650) o umení myslieť.
7). Nový „typ logiky“ od I. Kanta (1724-1804). Kritika zákonov formálnej logiky podľa G.V.F. Hegel (1770-1831).
osem). Logika v 19.-20. storočí (M.I. Kariysky (1840-1917), L.V. Rutkovsky (1859-1920). Matematická logika G. Frege (1848-1925), B. Russell (1872-1970), B. Ackerman (19689) ) a ďalšie.
Logika starovekej Číny (Teng Xi (545-501 pred Kr.), Konfucius (551-501 pred Kr.), Chuej-š' (370-318 pred Kristom) atď.).
V starovekej Číne sa veľa pozornosti venovalo etickým, filozofickým a politickým otázkam, ktoré boli zafixované vo veľkom množstve pojednaní.
Pôvod logiky starovekej Číny sa odohral v obdobiach Chuncu a Zhangguo, ktoré sú známe vznikom nového konceptu „filozofickej diskusie“. Taktiež toto obdobie (722-221 pred Kr.) je charakteristické vznikom a rozvojom procesu nazývaného „súperenie sto škôl“. Medzi známych predstaviteľov filozofických náuk, ktorí rozvíjajú aj myšlienky logiky, patria mená Konfucius a Mozi.
Vedci skúmali teóriu mien, koncepty, otázky o umení argumentovať. Takými mysliteľmi boli: Deng Xi (545-501 pred Kr.), Konfucius (551-501 pred Kr.), Chuej-ših (370-318 pred Kr.) a ďalší.
Medzi filozofické školy, ktoré v Číne v tom čase existovali, patrí mingjia (škola mien), fajia (škola zákonov), zhujia (rozvíjanie konfuciánskych myšlienok) a mojia (mohistická škola – zlepšovanie spoločnosti prostredníctvom vedomostí).
V dôsledku činnosti týchto škôl sa postupne začal formovať viac-menej harmonický systém logiky. Keďže však logické poznatky boli roztrieštené, zafixované nie v jednom zdroji, ale v mnohých pojednaniach, vyžadovali si systematizáciu. Bola potrebná škola, ktorá by zjednotila všetky poznatky o logike v jedinom akte, čo by výrazne zjednodušilo používanie logických úspechov. Takouto školou sa stala škola Mojia. Neskorší mohisti, využívajúc filozofiu Mozi, napísali prvé čínske pojednanie o logike s názvom Mobian.
Súčasné konfucius Mo Tzu(„Majster Mo“, „Sage Mo“) bol známy ako zakladateľ mohizmus(školy mo jia). Škola Mo Jia sa zaoberala hľadaním zdrojov spoľahlivého zdôvodnenia a podmienok jeho správnosti. V oblasti argumentácie uprednostňovali rozvoj uvažovania podľa analógia vývoj odpočtu. V procese rozboru sémantiky jazyka vyvinuli mohisti metódu triedenia mien podľa stupňa ich všeobecnosti a delenia vecí podľa typu (metóda „troch pravidiel“, „tri fa“).
Jedna z odnoží vlhkosti, logika (ming jia, názov škola), začali skúmať formálna logika(jeho predstavitelia sa priblížili k otvoreniu kategorický sylogizmus).
Logika v starovekej Číne riešila množstvo problémov špecifických pre čínsku spoločnosť toho obdobia. Sú medzi nimi teórie mien, výrokov, úvah a sporov. Ako vidno, logická veda starovekej Číny bola úzko spätá s písmom a najmä hovoreným jazykom a bola tým akoby brzdená. Hlavné úsilie filozofov sa teda sústredilo okolo pojmov „min“ a „tsy“, t. j. teórie mien a výrokov, ale význam týchto pojmov sa nerozlišoval.
Čína bola vždy veľmi osobitá krajina s bohatou kultúrou, rozvinutým sociálnym systémom a silným zmyslom pre podriadenosť. Mladší musia poslúchať staršieho, starší poslúchať staršieho v postavení atď. Múdri a starší vždy požívali určité privilégiá. Táto situácia sa nemohla neodraziť v logike starovekej Číny. Politické a etické doktríny tu mali silný vplyv na logické teórie a samotná logika sa v prírode uplatňovala a používala sa na dosahovanie rétorických cieľov. Preto prakticky neexistoval jasný systém vedomostí o inferenciách. Uprednostnil sa obsah myslenia pred formou. V dôsledku toho, hoci logika v starovekej Číne vznikla v čase skôr ako v starovekej gréčtine, jej štruktúra nebola nikdy postavená a zostala v plienkach.
Logické koncepty v Číne boli formulované skôr ako v starovekom Grécku, ale po ranom období Qin sa prestali rozvíjať. V dôsledku toho logika v Číne nedosiahla takú úroveň vyspelosti, akú má na Západe.
Logika v starovekej Indii.
Staroveká India je veľmi osobitá krajina. Je známa veľkými mysliteľmi (Siddhártha Gautama - Budha, Patanjali - joga) a početnými filozofickými smermi (joga, hinduizmus, védánta atď.). Staroindická filozofia je dodnes považovaná za zmysluplný a dobre vyvinutý systém, ktorý presne odráža mnohé črty okolitého sveta. Logické poznatky nahromadené staroindickými vedcami majú tiež pomerne jasnú štruktúru a čo je obzvlášť dôležité, obsahujú logické pojmy, prístupy a metódy, ktoré sa v systéme západnej logiky stali známymi až o niekoľko storočí neskôr.
Filozofické myšlienky v starovekej Indii rozvinuli predstavitelia 16 škôl, z ktorých hlavné boli Charvaka, Lokayata (založená Brihaspati a jeho študent Charvaka), Vaisheshika (zakladateľ Kanady), Nyaya (Gautama) a Jainizmus (Vardhamana Mahavira) školy. Tieto školy patrili k materialistickému smeru filozofie, t.j. ich predstavitelia verili, že materiálny svet existuje objektívne a hmota je prvoradá vo vzťahu k vedomiu a existuje navždy. Proti nim stáli predstavitelia filozofických škôl hlásajúcich idealistický prístup k štúdiu sveta. Za prvoradý považovali duchovný princíp, vedomie a myslenie a hmotný svet odsúvali do úzadia. Jóga a budhizmus, rovnako ako Mimamsa a Vedanta, sa držali takýchto myšlienok.
Dnes sú Védy považované za hlavnú a najstaršiu literárnu pamiatku starovekej indickej filozofie. Je to zbierka filozofických myšlienok a myšlienok. Védy sú však všeobecného charakteru, čo viedlo k vytvoreniu upanišád bráhmanmi, ktorí vykladajú a vykladajú ustanovenia obsiahnuté vo védach. Logické poznatky naproti tomu dlho nemali systematickú konsolidáciu, ale boli spísané vo forme stručných aforizmov a systematizované až v 6. storočí. BC e., počnúc Dinangom (Chennai) - (okolo 480 - okolo 540) vynikajúci indický mysliteľ, budhistický mních zo školy Yogachara, zakladateľ indickej budhistickej logiky.
Počiatky logiky v Indii možno vysledovať v gramatických textoch 5. storočie pred Kristom e.. Dvaja zo šiestich ortodoxných hinduistický(védske) školy indická filozofia - nyaya a vaisheshika- zaoberali sa metodológiou poznávania a z tejto problematickej oblasti vyčnievala logika.
Samotný názov školy "nyaya" znamená „logika“.
Jeho hlavným úspechom bol rozvoj logiky a metodológie, ktoré sa neskôr stali spoločným majetkom (porov. aristotelovská logika v Európe). Hlavným textom školy bolo Nyaya Sutry Akšapadovia z Gautamy (2. storočie n. e.). Keďže Nyāyikovia považovali dosiahnutie spoľahlivého poznania za jedinú cestu k oslobodeniu sa od utrpenia, vyvinuli rafinované metódy na rozlíšenie spoľahlivých zdrojov poznania od falošných názorov. Existujú len štyri zdroje vedomostí (štyri pramanas): vnímanie, vyvodzovanie, porovnávanie a dôkazy. Prísna päťčlenná schéma uvažovania zahŕňala: počiatočný predpoklad, základ, príklad, aplikáciu a záver.
budhistická filozofia (nie jedna zo šiestich ortodoxných škôl) bol hlavným oponentom Nyāyikov v logike. Nagardžuna, zakladateľ Madhyamikas("stredná cesta"), vyvinul uvažovanie známe ako "katuskoti" alebo tetralema. Tento štvorstranný argument systematicky testoval a odmietal tvrdenie tvrdenia, jeho negáciu, spojenie tvrdenia a negácie a napokon odmietnutie jeho tvrdenia aj jeho negácie.
O Dignaghi a jeho nasledovníkom Dharmakriti Budhistická logika dosiahla svoj vrchol. Ústredným bodom ich analýzy bolo stanovenie (definícia) nevyhnutnej logickej inherencie (zahrnutie do definície), „vyapti“, tiež známeho ako „nemenné nasledovanie“ alebo „viera“. Na tento účel vyvinuli doktrínu „apoha“ alebo rozlišovania, pravidlá pre zahrnutie znakov do definície alebo ich z nej vylúčenie.
Navya-nyaya („nová metóda, „nová logika“) je jediný úplný systém logiky, ktorý vznikol mimo európskej kultúry. Za zakladateľa školy je považovaný autor traktátu Tattvachintamami (Poklad myslenia o realite) Gangesha (13/17-18 storočie). V tejto škole sa logika stáva samostatnou vedou. Opieral sa o prácu svojich predchodcov 10. storočia.
Neskorá Navya-nyaya podľa niektorých učencov v mnohých ohľadoch prekonala úspechy Aristotelovej logiky. Napriek vysokej úrovni vývoja a závideniahodnému chápaniu zákonov logiky však filozofi starovekej Indie nepoužívali symboly. Nahradil ich zložitý systém klišé, pomocou ktorého bolo možné získať mnoho rôznych výrazov.
V indickej logike sa veľká pozornosť venuje teórii inferencie, ktorá sa v nej stotožňuje s dôkazom.
Sylogizmus v indickej logike nie je rozdelený na desať, ale na päť členov (téza, základ, príklad, aplikácia, záver); odpočet a indukcia sa považujú za neoddeliteľné; rozlišuje sa mentálna a verbálna reč; základom vnímania je získaná skúsenosť a úsudok sa považuje za súčasť dedukcie.
Od svojho vzniku do 20. storočia logika sa vyvinula smerom k formalizácii a katalogizácii správnych spôsobov uvažovania. Rozsudky môžu byť pravdivé alebo nepravdivé. Takáto logika sa nazývala klasická. Toto je prvá etapa vo vývoji formálnej logiky. S priebehom vývoja ľudstva logika stúpa do druhého, vyššieho stupňa vývoja, ktorý sa nazýva matematický.
To znamená, že všetky prístupy k štúdiu logiky možno rozdeliť do dvoch vetiev: klasické a neklasické. Prvý je charakterizovaný prítomnosťou dvoch pravdivostných hodnôt, to znamená, že súdy môžu byť pravdivé alebo nepravdivé. Druhá implikuje nekonečný súbor pravdivostných hodnôt, konštruktívnosť metód dokazovania a modalitu úsudkov. Niekedy možno vylúčiť negácie obsiahnuté v klasickej logike.
Treba spomenúť, že moderná, matematická logika obsahuje prvky klasickej aj neklasickej logiky.
Logika v starovekom Grécku (obdobie staroveku). TRaktat „O logike, prípKánony»Democritus(460 - 370 pred Kr.)., nápadyteória poznania a logikaSokrates (asi 469 - 399 pred Kr.) a Platón (428 - 347 pred Kr.)AD).Logika Aristotela (384 - 322 pred Kr.).Hlavné diela Aristotela o logike: "Organon","Metafyzika".
Práve v starovekom Grécku sa problémy logiky posudzovali a rozvíjali najdôkladnejšie.
Logickými otázkami sa tu zaoberali filozofi ako Parmenides a Zeno (predstavitelia elejskej filozofickej školy), Herakleides, sofisti Prótagoras, Gorgias a ďalší, Demokritos a Aristoteles. Aktivity týchto filozofov sa priamo či nepriamo dotýkali otázok logiky. Myšlienky predstaviteľov eleatského smeru a prívržencov Herakleitovej logiky sa dostali do rozporu kvôli svojmu protikladu. Eleatická škola hlásala metafyzické teórie, teda spôsob skúmania javov, v ktorom sú posudzované oddelene od seba a v nezmenenom stave. Herakleitova filozofia sa držala myšlienok dialektiky (javy sa študujú vo vývoji a interakcii).
Princípy loga podľa Herakleita:
- princíp boja a jednoty protikladov (Herakleitos povedal, že všetko sa deje cez vojnu).
- princíp neustálej premenlivosti a univerzálneho vývoja (Herakleitos povedal, že nemôžete vstúpiť dvakrát do tej istej rieky, rieka tečie - všetko sa mení).
- princíp relativity (Herakleitos povedal, že more je životodarné aj deštruktívne: životodarné pre ryby, deštruktívne pre ľudí).
Sofistika bola široko rozvinutá v starovekom Grécku. Hlavnou črtou, ktorá charakterizuje filozofický prístup sofistov ( Prótagor z Abdery,Gorgias z Leontína,Hippias z Elis,Prodicus z Keosu,Antifóna,Critias z Atén) je, že sú v Predmetom štúdie bola osoba ale nie svet ako to bolo predtým. Sofisti považovali logiku nie za vedu, ktorá umožňuje zistiť pravdu, ale za prostriedok na dosiahnutie víťazstva v spore. Aby to urobili, zámerne porušili zákony logiky.
Najprv sa postavil proti sofistom Democritus(460-370 pred Kr.), ktorý patril k materialistickej filozofickej škole. Filozofický systém vytvorený Demokritom obsahuje doktrínu bytia, teóriu poznania, etiku a estetiku, kozmológiu, fyziku, biológiu, politiku a logiku. Rozvinul a upevnil sa aj vo svojom Pojednanie o logike(„Kánony“) prvý systém logiky. Democritus je považovaný za jedného z zakladatelia induktívnej logiky, pretože jeho traktát je založený na empirických princípoch. Pokiaľ ide o rozsudky, Democritus v nich vyčleňuje subjekt a predikát.
Riešili sa aj problémy s logikou Sokrates(469-399 pred Kr.) a Platón(428-347 pred Kristom). V učení Sokrata bola metóda považovaná za hlavnú, ktorá umožňovala získať pravdu, a tiež obsahovala myšlienku, že poznanie akéhokoľvek predmetu je možné iba vtedy, ak sa zredukuje na všeobecný pojem a na tomto základe tento pojem je súdený. Na dosiahnutie pravdy Sokrates navrhol, aby jeho študenti definovali akýkoľvek jav, črtu alebo charakteristickú črtu, ktorá je vlastná okolitému svetu alebo človeku. Potom, ak sa takáto definícia podľa jeho názoru ukázala ako nedostatočne úplná alebo správna, na príkladoch zo života poukázal na chyby, ktorých sa partner dopustil, a potom ju zmenil a doplnil.
Sokrates považoval dosiahnutie poznania za objavenie vzorov a definovanie pojmu pre množstvo vecí. V procese dosahovania vedomostí sa brali do úvahy spoločné znaky predmetov a rozdiely medzi nimi.
staroveký grécky filozof Platón bol žiakom Sokrata a rozvinul sa teória poznania a logika, na základe predstáv učiteľa. Platón pomocou svojich teórií najprv prijal nové pojmy a potom sa ich pokúsil rozdeliť na typy a systematizovať.
Využil na to svoju obľúbenú techniku zvanú „dichotómia“, teda rozdelenie pojmu A na B a nie na B (napríklad zločiny môžu byť úmyselné aj neúmyselné a zvieratá môžu byť stavovce alebo bezstavovce).
Rovnako ako v Sokratovej škole boli študenti Platónovej akadémie zaneprázdnení získavaním nových definícií. V modernej filozofickej vede sa spomína zvláštny prípad spojený práve s definíciami. Platón pri opise človeka povedal, že človek „je dvojnohé zviera bez peria“.
Poznať túto definíciu slávny filozof Diogenes odtrhol kura a priniesol ho do Platónovej akadémie počas prednášky so slovami: "Tu je Platónov človek." Platón bol nútený priznať nedostatočnosť svojej definície a urobil zmeny, podľa ktorých „človek je dvojnohé zviera bez peria a s plochými nechtami“.
Platón vytvoril systém objektívneho idealizmu, podľa ktorého duchovný princíp (na rozdiel od subjektívneho idealizmu) existuje nezávisle od ľudského vedomia. Platón v tejto teórii použil rozdelenie sveta na materiálny a ideálny (duchovný) a prvý urobil závislým od druhého. Inými slovami, materiálny svet je podľa Platóna nestabilný a premenlivý, na rozdiel od ideálneho sveta, ktorý existuje nezávisle od hmoty a ľudského vedomia. Idey považoval za večné a nemenné a hmotný svet akoby projekciu ideálu. Inými slovami, vec je len odrazom myšlienky.
Platón rozvinul teóriu súdu, vytvoril dve pravidlá delenia pojmov a odlíšil aj vzťah odlišnosti od vzťahu protikladov.
Mnoho filozofov starovekého Grécka teda pracovalo na otázkach logiky, no za jej zakladateľa sa považuje napr Aristoteles Stagirsky(Aristoteles sa narodil v meste Stagir - odtiaľ pochádza jeho prezývka). Venoval sa štúdiu mnohých vied, akými sú filozofia, logika, fyzika, astronómia, psychológia, rétorika atď. Týmto predmetom je venovaných veľa jeho prác. Bol to Aristoteles, ktorý formalizoval poznanie logiky do jasného systému a zistil, že poznanie, bez ohľadu na to, odkiaľ pochádza, má vždy jazykové vyjadrenie. Z toho dospel k záveru, že vedecké poznatky sú sledom výrokov spojených logickými súvislosťami a odvodených jeden od druhého.
Aristotelova logika sa nazýva formálna alebo tradičná. Zahŕňa časti ako pojem, úsudok, zákony správneho myslenia, inferencia, argumentácia a hypotéza. Dôležitým úspechom Aristotela je, že prvýkrát sformuloval zákony správneho myslenia: zákon identity, zákon neprotirečenia a zákon vylúčeného stredu. Tieto zákony boli sformulované v najvýznamnejšom diele Aristotela "Metafyzika".
stvoril Aristoteles teória sylogizmu, zvážiť teória definície a delenia pojmov a teória dôkazu. Hlavnými prácami v tejto oblasti sú pojednania "Prvá analýza" a "Druhá analýza" ktoré sa následne spolu s ďalšími dielami spojili do "Organon"- metóda, prostriedok alebo nástroj poznávania skutočnosti.
Táto práca obsahuje názor, že zákony logiky sú nerozlučne spojené s okolitým svetom a s človekom a nemôžu existovať izolovane od nich. Aj tento záver potvrdzuje, že logika zodpovedá kultúre konkrétnej spoločnosti a odráža znaky, ktoré túto kultúru charakterizujú. Napríklad v indickej logike neexistuje zákon vylúčeného stredu, čo je charakteristické pre Aristotelovu logiku. Tento trend možno podľa vedcov vysledovať v kultúrach týchto krajín ako celku. Obyvateľstvo krajín, v ktorých sa rozšírila Aristotelova logika, teda inklinuje skôr k rovným líniám, čo je jasne vidieť v úsudkoch o dobre a zle, ktoré sa vyznačujú nekompromisnosťou, ako aj v architektúre (staroveké stĺpy) a zbraniach ( priamy meč). Východné krajiny sú bližšie k krivke (moslimský polmesiac, krivé meče, väčšia sloboda úsudku).
Aristoteles považuje výrok za pravdivý, ak zodpovedá situácii okolitého sveta, teda odráža skutočný stav vecí. Za nepravdivé sa preto považovali rozsudky, ktoré sa nepoužívajú na zobrazovanie objektívna realita, ale o vedomú alebo náhodnú zmenu tejto reality, teda „upravenie“ javov okolitého sveta na požadovanú odpoveď. Inými slovami, falošné je to, čo ruší existujúce spojenia medzi vecami alebo vytvára nové, ktoré existujú iba v slovách. Aristoteles vychádzajúc z tohto konceptu pravdy vytvára svoju vlastnú logiku.
Na záver je potrebné spomenúť Stoická logika- systém poznania, ktorý vyvinuli prívrženci megarostoickej školy, stoici Zeno a Chrysippus a megariky Diodorus, Stilpon, Philo a Eubulides. V dôsledku aktivít tejto školy dostala moderná logika analýzu logických pojmov. negácie, konjunkcie, disjunkcie a implikácie. Za úlohu logiky považovali zbavenie sa bludov a vytvorenie možnosti správneho posudzovania vecí. Logika musí študovať nielen verbálne znaky, ale aj myšlienky v nich vyjadrené. Presahujúc formálnu logiku, predstavitelia megaro-stoickej školy rozdelili logiku na dialektiku a rétoriku.
Žiaľ, myšlienky tejto filozofickej školy v oblasti logiky prežili do našej doby len čiastočne.
Logika v stredovekuAnselm z Canterbury (1033-1109),Tomáš Akvinský (1225-1274), I. Roscelin (1050-1120), W. Occam (1285-1349),al-Farabi (870-950),) atď.)
Hlavné črty stredovekej filozofie:
– monoteizmus(Boh je jeden)
– teocentrizmus(Boh v strede - v strede sveta, vecí, myšlienok)
– kreacionizmus(myšlienka stvorenia sveta jediným tvorivým aktom – Boh stvorí svet raz a navždy)
– prozreteľnosť(všetko riadi Boh ako vonkajšia sila vo vzťahu k historickému procesu)
– myšlienka zjavenia(všetko, čo človek vie o sebe, o svete - to všetko mu dáva Boh)
Keď sa priblížite stredovek logika sa rozšírila. Začali ho vyvíjať arabsky hovoriaci výskumníci, napr. Al-Farabi(OK. 870 -950 gg.). Stredoveká logika sa nazýva scholastická a jej rozkvet v r XIIIstoročí spojené s menami vedcov Viliam z Ockhamu, Albert Saský a Walter Burley.
Stredoveká logika je z väčšej časti výkladom a analýzou starovekých filozofických teórií. Hlavné smery, rjnjhst považované za otázky logiky, boli smery realistov a nominalistov. Prvý si to myslel všeobecné pojmy existujú nezávisle od jednotlivých vecí. Nominalisti boli na opačných pozíciách a verili, že všeobecné pojmy pomenúvajú iba jednotlivé veci, ktoré sú skutočné.
Aby sme pochopili, čo je logika a aký je jej skutočný účel v živote ľudí, je potrebné zvážiť podmienky, ktoré vyvolali ľudskú, spoločenskú a kultúrnu potrebu tohto systému poznania.
storočia YIII-III. BC. Úplne úžasné obdobie v dejinách ľudstva. V tomto období takmer súčasne a nezávisle od seba v mnohých regiónoch planéty (Grécko, India, Čína) prebiehajú akési intelektuálne revolúcie, počas ktorých vznikajú rozsiahle a živé filozofické systémy, ktoré do značnej miery determinovali tzv. charakter vývoja popredných kultúr našej doby.
Existuje veľa verzií o dôvodoch takého jasného intelektuálneho výbuchu.
V rámci filozofie či kulturológie sa môžete zoznámiť s pojmom „osový čas“ od Karla Jaspersa, s teóriou „výzvy-odpovedí“ od Arnolda Toynbeeho, s vášnivým modelom dejín od Leva Nikolajeviča Gumilyova, s. formačné učenie Karla Marxa, v ktorom sú uvedené rôzne originálne vysvetlenia tohto obdobia.
Jedným z nápadných dôsledkov intelektuálnych revolúcií obdobia, o ktorom uvažujeme, bolo vytvorenie koherentných systémov logického poznania v Číne, Indii a Grécku. Najdokonalejšia z nich bola logika, ktorú vyvinuli Heléni.
Vráťme sa teraz k histórii starovekého Grécka alebo Hellas. Pri štúdiu najrozmanitejších odborov sa budete často odvolávať na kultúru tohto regiónu, ktorý je považovaný za „kolísku modernej civilizácie“.
Takže sa všeobecne uznáva, že logika ako veda sa objavila asi pred 2300 rokmi v starovekom Grécku. Jej otec je Aristoteles.
Pre národy starovekého Grécka to bolo náročné obdobie prechodu od jedného typu kultúry a foriem spoločenského a štátneho života v rámci mykénskej monarchie ku kvalitatívne odlišnému spôsobu ich spoločensko-kultúrnej, politickej a duchovnej existencie.
Monarchia sa zrútila. Staré formy regulácie verejného života už ľudí neuspokojovali. Tradičná mytológia, autoritou olympijskí bohovia zasvätenie spoločenských foriem pozemského života ľudí, nezodpovedalo záujmom rozvoja Hellasu.
Nové, veľmi dynamické sociálne skupiny obyvateľstva (obchodníci, remeselníci, roľníci, námorníci) čoraz viac pociťovali potrebu vedeckého poznania, nového vzdelávacieho systému, novej filozofie a ideológie, nových politických a právnych systémov a novej morálky. Spôsob života tých nových vrstiev obyvateľstva, od činnosti ktorých závisela budúcnosť gréckych mestských štátov a celej gréckej civilizácie, potreboval ospravedlnenie, vysvetlenie, zasvätenie a pochopenie.
Duchovné a intelektuálne pole pre nové poznatky a hodnoty „vyčistili“ grécki sofisti – učitelia „múdrosti“, ktorí všetkými možnými spôsobmi ničili hodnotové systémy, ktoré v tom čase prevládali. Historickým poslaním sofistov bolo maximalizovať oslobodenie tvorivého potenciálu gréckej spoločnosti. Spĺňali to, pokiaľ im to vtedajšia úroveň kultúry, vedy a hospodárstva umožňovala.
Ale aj sofisti boli vo svojej deštruktívnej práci veľmi úspešní. Ich skepsa a relativizmus sa čoraz viac zvrhával na obnažený subjektivizmus a cynizmus, krajne nepríjemný a nebezpečný pre existenciu spoločnosti. Dokonale to vycítite z prvotných princípov, ktorými sa riadilo mnoho sofistov: „všetko je pravda, čo považujete za pravdu“, „všetko je falošné, čo považujete za falošné“, „všetko je dovolené“.
Keď si grécka spoločnosť začala uvedomovať, že sa ničí nielen jej kultúra, ktorá bráni ďalšiemu progresívnemu rozvoju, ale aj veľmi hlboké základy mravného a intelektuálneho bytia, vytlačila zo svojich útrob významní myslitelia ktorý nielenže dokázal ochrániť helénsku kultúru a vedu, ale zabezpečil jej dynamický rozvoj na dlhé stáročia, ako aj svetohistorické uznanie v budúcnosti.
V prvom rade týchto mysliteľov sú, samozrejme, Demokritos, Sokrates, Platón, Aristoteles. Práve oni majú veľkú zásluhu na štúdiu jazyka a myslenia, na určovaní základov, zákonitostí a základných prijateľných pravidiel normálneho myslenia a jazykových prostriedkov jeho vyjadrovania, na odhaľovaní a kritizovaní mnohých chýb a vedomého porušovania pravidiel gramotnosti. ľudské myslenie.
Samozrejme potreba bojovať so sofistami, svojvoľne využívané rečové prostriedky na dosiahnutie svojich cieľov, bolo síce dôležitým, no zďaleka nie jediným predpokladom pre vznik logiky ako vedy o správnom myslení.
Po druhé Takýmto predpokladom bola, samozrejme, objektívna a subjektívna potreba mnohých Helénov zvládnuť“ božský dar"- výrečnosť, skutočné oratórium, ktoré je nevyhnutné pre otvorenú a aktívnu politickú a parlamentnú činnosť slobodných občanov. To umenie, o ktorého majiteľovi najväčší rímsky rečník a vedec Cicero (106-43 pred Kr.) neskôr povie: „Môže pokojne zostať aj medzi ozbrojenými nepriateľmi, chránený nie tak svojou palicou, ako titulom rečníka, dokáže svojím slovom vzbudiť rozhorčenie spoluobčanov a uvaliť trest na vinníkov zločinu a klamstva a zachrániť nevinný od súdu a trestu silou svojho talentu, dokáže priviesť k činu bojazlivých a nerozhodných ľudí, dokáže ich vyviesť z omylu, dokáže zapáliť proti darebákom a upokojiť reptanie proti dôstojným manželom, vie, ako napokon jediným slovom rozprúdiť a upokojiť akékoľvek ľudské vášne, keď toto vyžadujú okolnosti prípadu.
Po tretie pozadie: okrem politických a slávnostných prejavov napomáhala rozvoju výrečnosti aj množstvo, rôznorodosť a význam súdnych prípadov. V dobre pripravených súdnych rečiach sa ukázala obrovská sila presvedčovania, úžasná pre mysle poslucháčov a zároveň veľká donucovacia sila. Doslova ich nútila prikloniť sa k tomu či onomu názoru, vyvodiť určité závery. Logika vznikla ako pokus odhaliť tajomstvo tejto donucovacej sily rečí, pochopiť, čo je jej zdrojom, na čom je založená.
4 takým predpokladom bol prudký rozvoj rôznych vied a predovšetkým matematických disciplín. Vedecké poznanie predpokladá existenciu prísneho, maximálne formalizovaného jazyka, budovaného podľa ustálených, overených, odskúšaných pravidiel.
Logika vznikla aj ako pokus identifikovať a vysvetliť požiadavky, ktoré musí vedecké myslenie spĺňať, aby jeho výsledky zodpovedali realite.
Po piate(a podľa významu možno aj hlavným) predpokladom bola naliehavá potreba vyvinúť nové normy morálky a práva, prostredníctvom ktorých by bolo možné organizovať život obyvateľstva na nových princípoch aj v rámci gréckej politiky (mestských štátov) a na medzištátnej úrovni.
Zvyčajne sa to robí takto: rozvíjajú sa a ospravedlňujú sa najvyššie alebo základné hodnoty a potom z nich podľa zobrazujú sa určité pravidlá hierarchicky budované systémy noriem, predpisov, zákazov.
Rozvoj základných myšlienok a hodnôt sa uskutočňuje filozofiou. ALE vývoj a leštenie pravidiel inferencie bol povolaný na uskutočnenie novej vedy - logiky.
Logika je v podstate veda o inferenčných poznatkoch alebo presnejšie veda o formách a pravidlách odvodzovania nových poznatkov.
Kto je zakladateľom logiky ako vedy, sa dozviete z tohto článku.
Kto je zakladateľom logiky?
Aristoteles je považovaný za zakladateľa logiky ako vedy. Je v 4. storočí pred Kristom Nová éra zaoberajúca sa systematizáciou a zovšeobecňovaním informácií týkajúcich sa zákonitostí a princípov a ľudského poznania a myslenia. Pred ním rétorika a sofistika, ktoré existovali pred objavením sa logiky, podnietili jej objavenie a vzbudili záujem o otázky vedy.
Zakladateľ logiky ako prvý rozpoznal špecifiká nová veda ako špecifická oblasť filozofie a široko načrtnutá a zvážená jej problematika. schválenú logiku v postavení vedy, ktorá sa zaoberala dokazovaním pravdivých úsudkov. Nová veda sa stala organónom filozofické poznanie, nástrojom jej myslenia.
Aristoteles nazval logickú doktrínu analytikou. Hlavnou zásluhou filozofa je však oddelenie logickej formy myslenia od jej zdroja a to, čo nazval logické štruktúry myslenia predmetom novej vedy.
Aristotelove hlavné diela o logike- "Analytika", "Topeka", "O interpretácii", "Kategórie", "O sofistikovaných vyvráteniach"
čo je logika?
Logika je komplexná veda o zákonitostiach, metódach a princípoch idealizovaného uvažovania, ktoré sú výsledkom racionálnej ľudskej činnosti. Logika tiež študuje jazyk ako prostriedok duševnej činnosti.
Logika ako veda vznikla v starovekom Grécku ako súčasť filozofie. História vývoja vedy zahŕňa 2,5 tisícročia a možno ju rozdeliť do 2 období:
Formálna tradičná logika- vyvinul sa v období od 4. storočia pred Kristom do polovice 19. storočia. Tradičná logika je zase rozdelená na etapy.
Moskovský inštitút humanitných vied a ekonómie
Tverská pobočka
Fakulta práva
Akademická disciplína: logika
Téma: Vznik logiky ako vedy a hlavné etapy jej vývoja.
Študent 3. ročníka Právnickej fakulty
Špeciálna judikatúra pre skupiny č. Yu-335
Belokon Nikolaj Andrejevič
učiteľ
Ivanov Nikolaj Ivanovič
1. Pôvod a podstata logiky ako vedy
Logika má dlhú a bohatú históriu, ktorá je neoddeliteľne spojená s históriou vývoja spoločnosti ako celku.
Vzniku logiky ako teórie predchádzala prax myslenia siahajúca tisíce rokov späť. S rozvojom pracovnej, materiálnej a výrobnej činnosti ľudí dochádzalo k postupnému zdokonaľovaniu a rozvoju ich rozumových schopností, predovšetkým schopnosti abstrakcie a uvažovania. A to skôr či neskôr, ale nevyhnutne malo viesť k tomu, že objektom skúmania bolo myslenie samo so svojimi formami a zákonitosťami.
História ukazuje, že jednotlivé logické problémy vznikajú pred zrakom človeka už pred viac ako 2,5 tisíc rokmi – najskôr v starovekej Indii a starovekej Číne. Potom získajú úplnejší vývoj v starovekom Grécku a Ríme. Až postupne sa formuje viac-menej koherentný systém logického poznania, formuje sa samostatná veda.
Existujú dva hlavné dôvody pre rozvoj logiky. Jedným z nich je vznik a počiatočný vývoj vied, predovšetkým matematiky. Tento proces sa datuje do 6. storočia. BC e. a dostáva najúplnejší vývoj v starovekom Grécku. Veda, ktorá sa zrodila v boji s mytológiou a náboženstvom, bola založená na teoretickom myslení, ktoré zahŕňalo závery a dôkazy. Z toho pramení potreba študovať podstatu samotného myslenia ako prostriedku poznania.
Logika vznikla predovšetkým ako pokus identifikovať a zdôvodniť požiadavky, ktoré musí vedecké myslenie spĺňať, aby jeho výsledky zodpovedali realite.
Ďalším, možno ešte dôležitejším dôvodom, ktorý je obzvlášť užitočné vedieť pre právnikov, je vývoj oratórium, vrátane súdnictva, ktoré prekvitalo v podmienkach starogréckej demokracie. Najväčší rímsky rečník a vedec Cicero (106 – 43 pred n. l.), hovoriaci o sile rečníka, vlastníka „božského daru“ - výrečnosti, zdôraznil: „Môže bezpečne zostať aj medzi ozbrojenými nepriateľmi, chránený nie tak veľmi. jeho prút, koľko jeho orodovaním; svojím slovom môže vzbudiť pobúrenie spoluobčanov a uvaliť trest na vinníkov zločinu a klamstva a silou svojho talentu zachrániť nevinných pred súdom a trestom; dokáže priviesť plachých a nerozhodných ľudí k výkonu, dokáže ich vyviesť z omylu, dokáže zapáliť proti darebákom a upokojiť reptanie proti dôstojným mužom; vie, ako napokon jedným slovom rozprúdiť a upokojiť akékoľvek ľudské vášne, keď si to okolnosti prípadu vyžadujú.
Rozvoju výrečnosti okrem politických a slávnostných prejavov napomáhala najmä množstvo, rôznorodosť a význam súdnych prípadov. V dobre pripravených súdnych rečiach sa ukázala obrovská sila presvedčovania, úžasná pre mysle poslucháčov a zároveň veľká donucovacia sila. Doslova ich nútila prikloniť sa k tomu či onomu názoru, vyvodiť určité závery.
Logika vznikla ako pokus odhaliť „tajomstvo“ tejto donucovacej sily reči, pochopiť, čo presne je jej zdrojom, na čom je založená, a napokon ukázať, aké vlastnosti musí mať reč, aby presvedčila poslucháčov a zároveň ich prinútiť súhlasiť alebo nesúhlasiť s niečím, uznať niečo ako pravdivé alebo nepravdivé.
Podľa Cicera Grécko „skutočne zahorelo vášňou pre výrečnosť a bolo tým dlho známe ...“. Nie je náhoda, že presne Staroveké Grécko sa stala rodiskom logiky ako vedy. Je tiež prirodzené, že samotný výraz „logika“ je starogréckeho pôvodu.
Za zakladateľa logiky – alebo, ako sa niekedy hovorí, „otca logiky“ – sa považuje najväčší starogrécky filozof a vedec-encyklopedista Aristoteles (384 – 322 pred Kr.).
Aristoteles vlastní množstvo pojednaní o logike, neskôr zjednotených pod názvom „Organon“ (z gréckeho organon – nástroj, nástroj).
V centre všetkých jeho logických úvah je teória inferenčného poznania – deduktívneho usudzovania a dôkazov. Bol vyvinutý s takou hĺbkou a starostlivosťou, že prešiel hrúbkou storočí a svoj význam si do značnej miery zachoval dodnes. Aristoteles dal aj klasifikáciu kategórií – najvšeobecnejšie pojmy a klasifikáciu úsudkov blízkych Démokritovi, sformuloval tri základné zákony myslenia – zákon identity, zákon protirečenia a zákon vylúčeného stredu. Logické učenie Aristotela je pozoruhodné tým, že v zárodku obsahuje v podstate všetky neskoršie úseky, smery a druhy logiky – induktívnu, symbolickú, dialektickú. Je pravda, že sám Aristoteles nazval vedu, ktorú vytvoril, nie logikou, ale predovšetkým analytikou, hoci použil výraz „logická“. Do toho vstúpil samotný pojem „logika“. vedecký obeh o niečo neskôr, v treťom storočí. BC e. Navyše v súlade s dvojakým významom starogrécke slovo„logos“ (ako „slovo“ aj „myšlienka“) spájal tak umenie myslenia – dialektiku, ako aj umenie uvažovania – rétoriku. Až s pokrokom vedeckého poznania sa tento termín začal vzťahovať na vlastné logické problémy a dialektika a rétorika sa objavili ako samostatné odvetvia poznania.
Logika sa ďalej rozvíjala tak v Grécku, ako aj v iných krajinách, na Západe aj na Východe. Tento vývoj bol spôsobený na jednej strane neustálym zdokonaľovaním a obohacovaním praxe myslenia (v ktorej mali čoraz väčší podiel vedecké poznatky), na druhej strane stále hlbším prenikaním do podstaty myšlienkových procesov. A prejavilo sa to nielen v čoraz úplnejšej a presnejšej interpretácii existujúceho okruhu problémov, ale aj v dôslednom rozširovaní predmetu logiky prostredníctvom presadzovania a rozboru jej nových problémov. Spočiatku to bolo vyjadrené napríklad v podrobnom a zovšeobecnení aristotelovskej teórie dedukcie. Spolu s intenzívnym rozvojom teórie inferencie z jednoduchých úsudkov sa skúmali aj nové formy deduktívnej inferencie – od r. zložité rozsudky.
V 17. storočí začína nová, vyššia etapa vo vývoji logiky. Táto etapa je organicky spojená s vytváraním v jej rámci, spolu s deduktívnou logikou, induktívnej logiky. Odráža rôznorodé procesy získavania všeobecných vedomostí na základe stále väčšieho množstva nahromadeného empirického materiálu. Potrebu získania takýchto vedomostí si najplnšie uvedomil a vo svojich spisoch vyjadril vynikajúci anglický filozof a prírodovedec F. Bacon (1561-1626). Stal sa zakladateľom induktívnej logiky. „... Logika, ktorá je teraz k dispozícii, je na objavovanie vedomostí zbytočná,“ vyhlásil svoju tvrdú vetu. Preto, akoby v opozícii k starému „Organonu“ Aristotela, Bacon napísal „Nový Organon ...“, kde načrtol induktívnu logiku. Hlavnú pozornosť v ňom venoval rozvoju induktívnych metód zisťovania kauzálnej závislosti javov. To je veľká zásluha Bacona. Ním vytvorená doktrína indukcie sa však ironicky ukázala nie negáciou predchádzajúcej logiky, ale jej ďalším obohatením a rozvojom. Prispela k vytvoreniu zovšeobecnenej teórie inferencie. A to je prirodzené, pretože, ako bude ukázané nižšie, indukcia a dedukcia sa nevylučujú, ale navzájom predpokladajú a sú v organickej jednote.
Induktívnu logiku neskôr systematizoval a rozvinul anglický filozof a vedec J. St. Mill (1806-1873) vo svojom dvojzväzkovom diele „Systém logiky, sylogistiky a indukcie“. Významne ovplyvnil ďalší rozvoj vedeckého poznania, prispel k jeho dosiahnutiu nových výšin.
Potreba vedeckého poznania nielen v induktívnej, ale aj deduktívnej metóde v 17. storočí. najplnšie stelesnil francúzsky filozof a vedec René Descartes (1596-1650). Vo svojom hlavnom diele "Rozprava o metóde ...", založenom na údajoch, predovšetkým matematike, zdôraznil význam racionálnej dedukcie ako hlavnej metódy vedeckého poznania. Nasledovníci Descarta z kláštora v Port-Royal A. Arno a P. Nicole vytvorili dielo „Logic, or the Art of Thinking“. Stala sa známa ako „Logika Port-Royal“ a dlho sa používala ako učebnica tejto vedy. Autori v ňom ďaleko prekročili tradičnú logiku a zamerali sa na metodológiu vedeckého poznania, logiku objavov. Logiku považovali za kognitívny nástroj všetkých vied. Vytváranie takýchto „rozšírených logík“ sa stalo charakteristickým v 19. – 20. storočí.
2. Hlavné historické etapy vo vývoji logiky
2.1 Vznik symbolickej (matematickej) logiky
Skutočnú revolúciu v logickom bádaní spôsobila tvorba v druhej polovici 19. storočia. matematická logika, ktorá sa nazývala aj symbolická a znamenala novú, modernú etapu vo vývoji logiky
Počiatky tejto logiky možno hľadať už u Aristotela, ako aj u jeho nasledovníkov, v podobe prvkov predikátovej logiky a teórie modálnych inferencií, ako aj výrokovej logiky. Systematické rozvíjanie jej problémov však patrí do oveľa neskoršej doby.
Rastúce úspechy v rozvoji matematiky a prienik matematických metód do iných vied už v druhej polovici 17. storočia. výrazne nastolil dva základné problémy. Na jednej strane je to aplikácia logiky na rozvíjanie teoretických základov matematiky a na druhej strane samotná matematizácia logiky ako vedy. Najhlbší a najplodnejší pokus vyriešiť vzniknuté problémy urobili tí najväčší nemecký filozof a matematik G. Leibniz (1646-1416) Stal sa teda v podstate zakladateľom matematickej (symbolickej) logiky. Leibniz sníval o čase, keď sa vedci nebudú zaoberať empirickým výskumom, ale kalkulom s ceruzkou v rukách. Na tento účel sa snažil vynájsť univerzálny symbolický jazyk, prostredníctvom ktorého by bolo možné racionalizovať akúkoľvek empirickú vedu. Nové poznatky budú podľa jeho názoru výsledkom logického výpočtu – kalkulu.
Leibnizove myšlienky dostali určitý vývoj v 18. storočí. a prvej polovice 19. storočia. Najpriaznivejšie podmienky pre mohutný rozvoj symbolickej logiky sa však vyvinuli až od druhej polovice 19. storočia, kedy matematizácia vied dosiahla obzvlášť výrazný pokrok a v samotnej matematike sa objavili nové zásadné problémy jej opodstatnenia. . Anglický vedec, matematik a logik J. Boole (1815-1864) vo svojich prácach predovšetkým aplikoval matematiku na logiku. Dal matematickú analýzu teórie inferencie, vyvinul logický počet ("Booleovu algebru"). Nemecký logik a matematik H. Frege (1848-1925) aplikoval logiku na štúdium matematiky. Prostredníctvom rozšíreného predikátového počtu vybudoval formalizovaný systém aritmetiky. Anglický filozof, logik a matematik B. Russell (1872-1970) sa spolu s A. Whiteheadom (18b 1-1947) v trojzväzkovom základnom diele „Principles of Mathematics“ pokúsili logicky podložiť systematicky realizovať deduktívno-axiomatickú konštrukciu logiky.
Otvorila sa tak nová, moderná etapa vo vývoji logického výskumu. Azda najdôležitejším rozlišovacím znakom tejto etapy je vývoj a používanie nových metód riešenia tradičných logických problémov. Ide o vývoj a aplikáciu umelého, takzvaného formalizovaného jazyka – jazyka symbolov, t.j. abecedné a iné znaky (odtiaľ najbežnejší názov pre modernú logiku - "symbolický").
2.2 Vzostup induktívnej logiky
Baconova experimentálno-induktívna metóda spočívala v postupnom formovaní nových pojmov prostredníctvom interpretácie faktov a prírodných javov. Len pomocou takejto metódy je podľa Bacona možné objaviť nové pravdy, a nie označiť čas. Bez toho, aby odmietol dedukciu, Bacon definoval rozdiel a črty týchto dvoch metód poznania takto: "Existujú a môžu existovať dva spôsoby na objavovanie pravdy." objavuje stredné axiómy. Táto cesta sa používa dnes. Druhá cesta odvodzuje axiómy z vnemy a jednotlivosti, stúpajúce nepretržite a postupne, až napokon dôjde k najvšeobecnejším axiómam. Toto je pravá cesta, ale netestovaná."
Hoci problém indukcie nastolili už predchádzajúci filozofi, až v Baconovi nadobúda dominantný význam a pôsobí ako primárny prostriedok na pochopenie prírody. Na rozdiel od indukcie prostredníctvom jednoduchej, v tej dobe bežnej enumerácie, dáva do popredia pravdivú, jeho slovami, indukciu, ktorá dáva nové závery získané nie tak na základe pozorovania potvrdzujúcich faktov, ale ako výsledok štúdia javov, ktoré odporujú dokazovanej pozícii. Jeden jediný prípad môže vyvrátiť nepremyslené zovšeobecnenie. Zanedbanie takzvaných negatívnych prípadov, podľa Bacona, - hlavný dôvod omyly, povery, predsudky.
V induktívnej metóde Bacona medzi nevyhnutné etapy patrí zber faktov, ich systematizácia. Bacon predložil myšlienku zostavenia troch tabuliek výskumu - tabuľky prítomnosti, neprítomnosti a medzikrokov. Ak chce niekto pomocou Baconovho obľúbeného príkladu nájsť formu tepla, tak zhromažďuje v prvej tabuľke rôzne prípady tepla, pričom sa snaží vykoreniť všetko, čo nemá nič spoločné, t. čo je tam, keď je prítomné teplo. V druhej tabuľke zhromaždí prípady, ktoré sú podobné tým v prvej, ale nemajú teplo. Napríklad prvá tabuľka môže obsahovať lúče slnka, ktoré vytvárajú teplo, druhá môže obsahovať veci ako lúče z mesiaca alebo hviezdy, ktoré nevytvárajú teplo. Na tomto základe je možné odstrániť všetky tie veci, ktoré sú prítomné, keď je prítomné teplo. Nakoniec v tretej tabuľke sú zhromaždené prípady, v ktorých je teplo prítomné v rôznej miere. Pomocou týchto troch tabuliek spoločne môžeme podľa Bacona zistiť príčinu, ktorá je základom tepla, a to – podľa Bacona – pohyb. To prejavuje princíp štúdia všeobecných vlastností javov, ich analýzy. Baconova induktívna metóda zahŕňa aj uskutočnenie experimentu.
Ak chcete vykonať experiment, je dôležité ho obmieňať, opakovať, presúvať z jednej oblasti do druhej, zvrátiť okolnosti, zastaviť ho, prepojiť s ostatnými a študovať za mierne zmenených okolností. Potom môžete pristúpiť k rozhodujúcemu experimentu. Bacon navrhol experimentálne zovšeobecnenie faktov ako jadro svojej metódy, ale nebol zástancom jej jednostranného chápania. Baconova empirická metóda sa vyznačuje tým, že sa pri rozbore faktov v maximálnej miere opierala o rozum. Bacon prirovnal svoju metódu k umeniu včiel, ktoré získavaním nektáru z kvetov ho s vlastnou zručnosťou spracovávajú na med. Odsudzoval hrubých empirikov, ktorí ako mravec zbierajú všetko, čo im príde do cesty (rozumej alchymistov), ako aj tých špekulatívnych dogmatikov, ktorí zo seba ako pavúk pletú pavučinu vedomostí (rozumej scholastikov). Predpokladom reformy vedy by malo byť podľa Bacona očistenie mysle od bludov, z ktorých uvádza štyri druhy. Tieto prekážky na ceste poznania nazýva idoly: idoly klanu, jaskyne, námestia, divadlá. Modly klanu sú chyby spôsobené dedičnou povahou človeka. Ľudské myslenie má svoje nedostatky, keďže „je prirovnávané k nerovnomernému zrkadlu, ktoré miešajúc svoju povahu s povahou vecí, odráža veci v zdeformovanej a znetvorenej podobe“.
Človek neustále interpretuje prírodu analogicky s človekom, čo nachádza svoje vyjadrenie v teleologickom pripisovaní povahe konečných cieľov, ktoré pre ňu nie sú charakteristické. Tu sa prejavuje idol rodiny. Dá sa v nich nájsť zvyk očakávať väčší poriadok v javoch prírody ako v skutočnosti – to sú idoly rasy. Bacon k idolom tohto druhu odkazuje aj túžbu ľudskej mysle na nepodložené zovšeobecnenia. Poukázal na to, že dráhy rotujúcich planét sa často považujú za kruhové, čo je nerozumné. Modly jaskyne sú chyby, ktoré sú zvláštne individuálna osoba alebo niektoré skupiny ľudí kvôli subjektívnym sympatiám, preferenciám. Napríklad niektorí výskumníci veria v neomylnú autoritu staroveku, zatiaľ čo iní majú tendenciu uprednostňovať nové. "Ľudská myseľ nie je suché svetlo, je posilnená vôľou a vášňami a z toho vzniká to, čo je vo vede pre každého žiaduce. Človek skôr verí v pravdu toho, čo preferuje... V nekonečnom množstve spôsoby, niekedy nepostrehnuteľné, vášne špinia a kazia myseľ."
2.3 Formovanie dialektickej logiky
Ak tradičná (aristotelovská) aj symbolická (matematická) logika sú kvalitatívne odlišné štádiá vývoja tej istej formálnej logiky, potom je dialektická logika ďalšou dôležitou zložkou modernej logiky ako vedy o myslení. Ak sa opäť vrátime k dejinám logiky, zistíme, že už Aristoteles nastolil a pokúsil sa vyriešiť množstvo zásadných problémov dialektickej logiky – problém odrážania skutočných rozporov v pojmoch, problém vzťahu medzi jednotlivcom a všeobecným, vec Prvky dialektickej logiky sa postupne hromadili v dielach nasledujúcich mysliteľov a zvlášť zreteľne sa prejavili v dielach Bacona, Hobbesa, Descarta, Leibniza. Ako relatívne samostatná logická veda, kvalitatívne odlišná od formálnej logiky v prístupe k mysleniu, sa však dialektická logika začala formovať až koncom 18. a začiatkom 19. storočia. A to súvisí predovšetkým s pokrokom vedy. V ich vývoji sa čoraz jasnejšie identifikovala nová etapa: z vied o etablovaných, „hotových“ predmetoch sa čoraz viac premenili na vedy o procesoch, o pôvode a vývoji týchto predmetov, ako aj o spojenie, ktoré ich spojilo do jedného veľkého celku.
Predtým dominantná metafyzická metóda skúmania a myslenia, spojená s izolovaným zvažovaním predmetov a javov reality, bez ich prepojenia, zmeny a vývoja, sa dostávala do stále hlbšieho rozporu s výdobytkami vied. Vtedajší diktát sa stal novým, vyšším, dialektická metóda založené na princípoch univerzálnej komunikácie, zmeny a rozvoja. Napomáhal tomu aj čoraz dynamickejší vývoj spoločnosti, ktorý čoraz zreteľnejšie preukazoval prepojenie a interakciu všetkých stránok spoločenského života, skutočné rozpory medzi nimi (pripomeňme v tejto súvislosti blížiacu sa Veľkú francúzsku buržoáznu revolúciu z roku 1789).
Za takýchto podmienok vyvstala v plnej sile otázka zákonitostí dialektického myslenia. Prvý, kto sa pokúsil vedome zaviesť dialektiku do logiky, bol nemecký filozof I. Kant (1724-1804). geodézie storočia histórie vývoj logiky, počnúc Aristotelom, v prvom rade zhrnul výsledky tohto vývoja. Na rozdiel od niektorých svojich predchodcov Kant nezaprel svoje úspechy. Naopak, filozof veril, že logika dosiahla určité úspechy a za tieto úspechy vďačí „istote svojich hraníc“ a jej samotné hranice sú spôsobené tým, že ide o „vedu, ktorá podrobne a prísne stanovuje dokazuje len formálne pravidlá všetkého myslenia...“.
No v tejto nepochybnej zásluhe logiky objavil Kant aj jej hlavný nedostatok – obmedzené možnosti ako prostriedok skutočného poznania a overovania jeho výsledkov. Preto je popri „všeobecnej logike“, ktorú Kant po prvý raz vo svojej histórii nazval aj „formálnou logikou“ (a tento názov sa jej drží dodnes), potrebná aj špeciálna, čiže „transcendentálna“ logika (od r. latinsky transcendens – prekračovanie niečoho, v tomto prípade mimo skúsenosti). Hlavná úloha túto logiku videl v štúdiách takých, podľa neho skutočne základných foriem myslenia, ako sú kategórie, teda extrémne všeobecné pojmy. "Nemôžeme myslieť na jediný objekt inak ako pomocou kategórií ...".
Slúžia ako podmienka akéhokoľvek zážitku, preto majú a priori, predexperimentálny charakter. Takými sú kategórie priestoru a času, kvantity a kvality, príčiny a následku, nevyhnutnosti a náhody a iné dialektické kategórie, ktorých aplikácia vraj nezodpovedá požiadavkám zákonov identity a protirečenia. Kant bol prvý, kto odhalil skutočne rozporuplnú, hlboko dialektickú povahu ľudského myslenia. V tejto súvislosti sa snažil vypracovať vhodné odporúčania pre vedcov. Po stanovení princípov novej logiky, ktorej ústredným problémom bol problém dialektického rozporu, však Kant jej systematický výklad nepodal. Neprezradil ani jej skutočný vzťah s formálnou logikou, navyše sa snažil oponovať jednej proti druhej.
Grandiózny pokus o vývoj integrálneho systému novej, dialektickej logiky urobil ďalší nemecký filozof G. Hegel (1770-1831). Vo svojom kľúčovom diele The Science of Logic v prvom rade odhalil zásadný rozpor medzi hotovosťou logické teórie a skutočná prax myslenia, ktorá v tom čase dosiahla značné výšky. Prostriedkom na vyriešenie tohto rozporu bolo ním vytvorenie – aj keď vo svojráznej, nábožensko-mystickej podobe – systému novej logiky. Zameriava sa na dialektiku myslenia v celej jej komplexnosti a nejednotnosti. Hegel znovu preskúmal povahu myslenia, jeho zákony a formy. V tejto súvislosti dospel k záveru, že „dialektika je prirodzenosťou myslenia samého, že v schopnosti rozumu musí upadnúť do negácie samého seba, do protirečenia“. Mysliteľ videl svoju úlohu v hľadaní spôsobu, ako vyriešiť tieto rozpory. Hegel ostro kritizoval starú, obyčajnú logiku za jej spojenie s metafyzická metóda vedomosti. Ale v tejto kritike zašiel tak ďaleko, že odmietol jej princípy založené na zákone identity a zákone protirečenia. Po prevrátení skutočného vzťahu medzi formálnou logikou a dialektickou logikou tak zasadil prvý ťažký úder, ktorý v podstate spomalil jej ďalší vývoj.
3. Znaky súčasného štádia vývoja formálnej logiky
Modernú éru mnohí vedci dlho charakterizovali ako éru dialógu. Ľudia, ak chcú žiť v mieri, musia sa naučiť vyjednávať. Schopnosť verejne hovoriť, vyjednávať, riešiť vznikajúce konflikty - to všetko sa človeku od narodenia dáva veľmi zriedka. Všetci teraz bolestne pociťujeme nedostatok kultúry sporov, polemiky, komunikácie vo všeobecnosti.
Logika so svojím tradičným zameraním na argumentáciu pomáha človeku stať sa gramotným a kultivovaným v tejto oblasti. Nepochybne aj úloha logiky v narastajúcom procese informatizácie takmer všetkých oblastí ľudského poznania a praktickej činnosti a s tým spojený nárast toku informácií, čo si vyžaduje vhodné softvérové vybavenie, teoretickú a logicko-lingvistickú podporu výpočtovej techniky a techniky, treba tiež poznamenať. Je známe, že samotný vznik kybernetiky a informatiky by bol nemožný bez logiky.
Pozitivizmus a potom logický novopozitivizmus dvadsiateho storočia realizoval problémy a úlohy logiky v kontexte riešenia problémov zdôvodňovania vedeckých poznatkov. V tomto ohľade sa logika v skutočnosti javí ako „užitočná“. Neopozitivisti dokázali dostatočne podrobne rozobrať otázku štruktúry vedeckého poznania, problém vysvetľovania a predpovedania vo vede, otázku hypotetickej povahy vedeckého poznania atď.
Inými slovami, techniky a metódy výskumu etablované vo vede boli popísané v logike ako nejaké regulačné postupy a naopak, z pohľadu týchto regulačných postupov sa analyzovali a vyhodnocovali konkrétne vedecké teórie.
Logika je v súčasnosti veľmi široká oblasť poznania, bohatá na obsah, rôznorodosť oblastí a výskumných metód, ktorých výsledky sa aktívne využívajú v mnohých oblastiach teoretických poznatkov a praxe. Uplatnenie nachádza vo filozofii, matematike, psychológii, kybernetike, lingvistike atď.
Logika má veľký význam pre formovanie kultúry myslenia, schopnosť efektívne využívať arzenál logických kognitívnych prostriedkov získaných ľudstvom. Logika sa správne vykladá ako určitá gramatika myslenia.
Moderná logika je jedným z názvov pre označenie súčasnej etapy vývoja (formálnej) logiky, ktorá sa začala v druhej polovici 19. storočia. - začiatok XX storočia. Ako ďalšie názvy pre túto etapu vývoja logiky sa používajú aj termíny matematická logika alebo symbolická logika.
Jeho podstata spočíva v tom, že pomocou matematických metód možno zistiť pravdivosť výrazov v prirodzenom jazyku. Práve používanie symbolickej logiky odlišuje modernú logickú vedu od tradičnej. Symbolická logika študuje symbolické abstrakcie, ktoré fixujú formálnu štruktúru inferencie.
Obrovský príspevok k rozvoju symbolickej logiky mali takí vedci ako J. Boole, O. de Morgan, G. Frege, C. Pierce a i.. V 20. storočí sa matematická logika formovala ako samostatná disciplína v rámci tzv. rámec logickej vedy.
Definícia „matematického“ zdôrazňuje podobnosť modernej logiky v metódach používaných s matematikou. Definícia „symbolický“ označuje použitie formalizovaných jazykov špeciálne vytvorených na účely logickej analýzy v modernej logike, ktoré sú takpovediac „cez a cez symbolické“.
Podľa definície „moderná“ je nová etapa v protiklade k tradičnej logike, puncčo spočívalo v tom, že pri opise správnych spôsobov uvažovania používala obyčajný alebo prirodzený jazyk, doplnený o niekoľko špeciálnych symbolov. Tradičná logika a moderná logika nie sú rozdielne vedné disciplíny, ale predstavujú dve po sebe nasledujúce obdobia vo vývoji tej istej vedy.
Hlavný obsah tradičnej logiky bol zahrnutý do modernej logiky, hoci sa ukázalo, že veľa z toho bolo premyslené. Moderná logika obzvlášť jasne ukázala, že rozvoj logiky je úzko spojený s praxou teoretického myslenia a predovšetkým s rozvojom vedy. Konkrétna úvaha poskytuje logike materiál, z ktorého extrahuje to, čo sa nazýva logická forma, logický zákon atď. Teórie logickej správnosti sa nakoniec ukážu ako očista, systematizácia a zovšeobecnenie praxe myslenia.
Moderná logika aktívne reaguje na zmeny v štýle a metóde vedeckého myslenia, na pochopenie jej znakov v metodológii vedy. Rozsah aplikácií modernej logiky pri štúdiu systémov vedeckého poznania sa neustále rozširuje. Moderná logika bola základom pre sformovanie širokej koncepcie logiky vedeckého poznania (logiky vedy), ktorá sa zaoberá aplikáciou myšlienok, metód a aparátu logiky na analýzu nielen deduktívnych, ale aj všetkých ostatných systémy vedeckého poznania.
V 20-tych rokoch XX storočia. predmet logického výskumu sa výrazne rozšíril. Začala sa formovať symbolická logika, zahŕňajúca mnoho sekcií: výroková logika, predikátová logika, pravdepodobnostná logika atď.); modálna logika, ktorá berie pojmy nevyhnutne, možno, náhodne atď.; deontická logika, ktorá študuje logické súvislosti normatívnych výrokov; dialektická logika, ktorá študuje zákonitosti vývoja ľudského myslenia a i. Niektoré z týchto nových sekcií priamo nesúviseli s matematikou, do sféry logického výskumu už boli zapojené prírodné a humanitné vedy.
V 30. a 40. rokoch 20. storočia sa logika vedy intenzívne rozvíjala v rámci filozofie neopozitivizmu, vďaka čomu sa logická analýza jazyka vedy stala hlavným prostriedkom boja proti „zlej metafyzike“ a „pseudoproblémom“, ktoré vytvára. . Neopozitivizmus prijal myšlienku bezpodmienečnej aplikovateľnosti modernej logiky nielen na matematiku, ale aj na experimentálne poznatky a ostro postavil svoju logiku vedy k tradičnému filozofickému a metodologickému štúdiu poznania. Z pohľadu neopozitivizmu je vedecké poznanie bez predpokladov, úplne redukovateľné na priamu skúsenosť a nezávisí ani od „metafyziky“, ani od sociokultúrneho kontextu, v ktorom existuje; vedecká teória sa uvažuje len v statike, rozbor jej vzniku a vývoja je vyňatý z rámca metodológie; fakty sa považujú za nezávislé od teórie a spolu tvoria bezpodmienečný základ, na ktorý sa teoretické tvrdenia musia zredukovať.
Všetky tieto črty neopozitivistickej metodológie vedy – izolacionizmus, odmietanie skúmania vedeckých poznatkov v dynamike, naivný indukcionizmus, empirický fundamentalizmus a redukcionizmus – ovplyvnili nielen túto samotnú metodológiu, ale aj logickú analýzu vedeckého poznania ňou riadenú. Ambiciózny program redukovania filozofie vedy na logickú analýzu jej jazyka zlyhal. Príčina tohto kolapsu nie je v zásadnej neaplikovateľnosti modernej logiky na experimentálne poznanie, ale v zhubných filozofických a metodologických postojoch spojených s fetišizáciou formálnych aspektov poznania, absolutizáciou jazyka a formálnej logiky.
Neopozitivistický široký výklad možností modernej logiky v štúdiu vedy bol prekonaný až koncom 50. a začiatkom 60. rokov 20. storočia, keď sa ukázalo, že úlohy, ktoré neopozitivizmus predkladá modernej logike, sú zle nastavené a nemajú riešenie. V súčasnosti sa logická analýza vedeckých poznatkov pomocou modernej logiky aktívne vykonáva v mnohých dlhodobo etablovaných aj nových oblastiach.
Vo všeobecnosti môžu byť označené nasledovne. Táto časť je pomerne hlboko rozvinutá, mnohé tu získané výsledky (napr. Gödelova veta o neúplnosti pre dostatočne bohaté formalizované jazyky a pod.) majú zásadný filozofický a metodologický význam.
Táto oblasť zahŕňa štúdium logickej štruktúry vedeckých teórií metódy ich empirického zdôvodňovania, štúdium rôznych druhov induktívnych postupov (induktívna inferencia, analógia, modelovanie, metódy stanovovania kauzálnych vzťahov na základe pozorovania a experimentu a pod.), ťažkosti pri uplatňovaní teórií v praxi a pod. obsadené problémami spojenými so štúdiom významov a významov teoretických a empirických pojmov, s rozborom sémantiky takých kľúčových pojmov ako zákon, fakt, teória, systém, meranie, pravdepodobnosť, nevyhnutnosť atď.
V poslednom čase sa výrazná pozornosť venuje logickému štúdiu procesov formovania, rastu a rozvoja poznania. Majú všeobecný vedecký charakter, no doteraz sa skúmali najmä na základe prírodovedných teórií. Predovšetkým sa pokúšali skonštruovať špeciálnu diachrónnu logiku na opis vývoja poznania.
Patria sem otázky sémantiky hodnotiacich a normatívnych pojmov, skúmanie štruktúry a logických súvislostí výrokov o hodnotách, spôsoby ich zdôvodňovania, analýza morálnych, právnych a iných kódexov a pod. Patria sem vysvetľovanie, chápanie, predvídavosť, definícia, zovšeobecnenie, klasifikácia, typológia, abstrakcia, idealizácia, porovnanie, extrapolácia, redukcia a pod.
Tento zoznam oblastí a problémov logického výskumu vedeckých poznatkov založených na modernej logike nie je vyčerpávajúci. Ukazuje tak šírku záujmov modernej logiky, ako aj zložitosť úloh, ktorým čelí.
Logika vedy nie je ani „vetvou“, ani „sekciou“ symbolickej logiky, na rozdiel od takých častí symbolickej logiky, ako je napríklad logika mnohých hodnôt alebo logika času. Logika vedy nie je špeciálna „disciplína“, ktorá existuje popri modernej logike, ale je len špeciálnym aspektom logiky spojeným s aplikáciou logických systémov v praxi vedeckého teoretizovania a je vyčlenená iba na rozdiel od čistého štúdia formálne konštrukcie (kalkul).
V modernej logike neexistujú sekcie, ktoré sú nejakým zvláštnym spôsobom spojené s vedou; zároveň všetky sekcie symbolickej logiky, vrátane ústrednej - teórie logických následkov, sú nejakým spôsobom spojené s logickým rozborom vedeckých poznatkov. Moderná logika interaguje s vedou predovšetkým prostredníctvom metodológie vedeckého poznania, preto zvyčajne nehovorí len o „logike vedy“ („logika vedeckého poznania“), ale o „logike a metodológii vedy“ alebo o „ logická a metodologická analýza vedy“.
V rámci takejto analýzy symbolická logika sama osebe nerieši žiadne špecifické problémy metodológie vedy, no logický výskum je spravidla nevyhnutným predpokladom na uvažovanie o takýchto problémoch. Moderná logika sa nepoužíva len v metodologickej analýze, ale sama dostáva dôležité impulzy ako výsledok spätnej väzby od svojich aplikácií.
V analýze vedeckých teórií existuje interakcia logiky a metodológie, a nie jednoduchá aplikácia hotového aparátu na nejaký materiál, ktorý je mimo neho. Toto sa prejavilo najmä v posledných rokoch, keď posun v centre záujmu metodológie vedy od analýzy hotových poznatkov k štúdiu rastu a rozvoja vedomostí postupne vedie k zodpovedajúcej zmene problémy logiky vedy a modernej logiky.
Matematická logika nepokrýva všetky problémy prirodzenej logiky myslenia. Formálna logika zostáva jej kognitívnou funkciou a metodologickou úlohou ako veda o zákonoch a formách. správna myšlienkačo vedie k potvrdeniu pravdy.
Symbolická logika sa čoraz viac využíva aj v iných vedách – nielen v matematike, ale aj vo fyzike, biológii, kybernetike, ekonómii, lingvistike. Vedie k vzniku nových odvetví poznania (metamatematika). Zvlášť pôsobivá a názorná je úloha modernej logiky vo sfére výroby. Otvára možnosť automatizácie procesu uvažovania a umožňuje preniesť niektoré funkcie myslenia na technické zariadenia. Jeho výsledky sa čoraz viac využívajú v technike: pri vytváraní reléovo-kontaktných obvodov, počítačov, informačno-logických systémov atď. „myšlienka“ presného prístroja, elektronického stroja. Osobitne si všimnime, že výdobytky modernej logiky sa využívajú aj v právnej sfére. Takže vo forenznej oblasti v rôznych fázach štúdie sa vykonáva logické a matematické spracovanie zozbieraných informácií.
Rastúce potreby vedecko-technického pokroku určujú ďalší intenzívny rozvoj modernej logiky.
V ktorom storočí vznikla logika ako samostatná veda?
Logika sa sformovala ako samostatná veda v 4. storočí pred Kristom.
Kto je zakladateľom vedy o logike?
Zakladateľom vedy o logike je filozof a vedec Aristoteles.
V ktorom pojednaní rozvinul anglický filozof a prírodovedec Francis Bacon problémy induktívnej logiky?
Francis Bacon rozvinul problémy induktívnej logiky v traktáte „Nový organon alebo skutočné smery pre interpretáciu prírody“ („Novum Organum“).
Ktorý z ruských logikov napísal dielo „O súkromných úsudkoch, o trojuholníku protikladov a o zákone vylúčenej kvarty“?
Dielo „O súkromných úsudkoch, o trojuholníku protikladov ao zákone vylúčenej štvrte“ napísal N.A. Vasiliev.
Kľúčové slová: dedukcia, formálna logika, induktívna logika, matematická logika, dialektická logika.
Dôvody a podmienky vzniku logiky. Najdôležitejším dôvodom vzniku logiky je vysoký rozvoj intelektuálnej kultúry už v r staroveký svet. Spoločnosť v tom štádiu vývoja nie je spokojná s existujúcou mytologickou interpretáciou reality, snaží sa racionálne interpretovať podstatu prírodných javov. Postupne sa vytvára systém špekulatívnych, no zároveň dôkazmi podložených a konzistentných poznatkov.
Osobitná úloha v procese formovania logického myslenia a jeho teoretickej prezentácie patrí vedecké poznatky, ktorá v tom čase dosahuje značné výšky. Najmä pokroky v matematike a astronómii vedú vedcov k myšlienke, že je potrebné študovať povahu samotného myslenia, stanoviť zákony, ktorými sa riadi jeho priebeh.
Najdôležitejšími faktormi pri formovaní logiky bola potreba šírenia v spoločenskej praxi aktívnych a presvedčivých prostriedkov vyjadrovania názorov v politickej sfére, súdnych sporoch, obchodných vzťahoch, školstve, pedagogickej činnosti a pod.
Za zakladateľa logiky ako vedy, tvorcu formálnej logiky sa považuje starogrécky filozof, antický vedec encyklopedickej mysle Aristotela (384 - 322 pred Kr.). V knihách Organon: Topeka, Analysts, Hermeneutics a ďalších mysliteľ rozvíja najdôležitejšie kategórie a zákony myslenia, vytvára teóriu dôkazu a formuluje systém deduktívneho uvažovania. Dedukcia (lat.: inferencia) umožňuje odvodiť pravdivé poznatky o jednotlivých javoch, na základe všeobecných vzorcov. Aristoteles po prvý raz skúma myslenie ako aktívnu látku, formu poznania a opisuje podmienky, za ktorých adekvátne odráža realitu. Logický systém Aristotela sa často nazýva tradičný, pretože obsahuje hlavné teoretické ustanovenia o formách a metódach duševnej činnosti. Aristotelova doktrína zahŕňa všetky hlavné časti logiky: pojem, úsudok, záver, zákony logiky, dôkaz a vyvrátenie. Podľa hĺbky prezentácie a všeobecného významu problematiky sa jeho logika nazýva klasická: po absolvovaní testov na pravdivosť si dodnes zachováva svoju aktuálnosť a má silný vplyv na vedeckú tradíciu.
Rozvoj logického poznania. Ďalším rozvojom antickej logiky bolo učenie stoických filozofov, ktorí spolu s filozofickými a etickými problémami považujú logiku za „výlev svetového loga“, jeho pozemskú, ľudskú podobu. Stoici Zeno (333 - 262 pred Kr.), Chrysippus (asi 281 - 205 pred Kr.) a iní dopĺňajú logiku systémom výrokov (propozícií) a záverov z nich, navrhovali schémy inferencie na základe zložitých úsudkov, obohatili kategorický aparát a jazyk vedy. Do tejto doby (3. storočie pred Kristom) patrí vznik samotného pojmu „logika“. Logické poznatky prezentovali stoici o niečo širšie ako klasické vtelenie. Spájala náuku o formách a operáciách myslenia, umenie diskutovať (dialektika), zručnosť verejného vystupovania (rétorika) a náuku o jazyku.
V modernej dobe, v období rozsiahleho šírenia poznatkov z prírodných vied v Európe (mechanika, geografia atď.), vzniká potreba doplniť systém deduktívneho uvažovania o princípy induktívneho myslenia. Nahromadený empirický, faktografický materiál, špeciálne prípady z praxe a života sa prostredníctvom porovnávania a zovšeobecňovania ukázali ako možné zostaviť tak, aby viedli k pravdivým úsudkom všeobecný. Poznatky o jednotlivých veciach môžu „priviesť“ (lat. inductio) k myšlienke existencie spoločných vzorcov ich existencie. Túto vlastnosť myslenia ako vedeckej zákonitosti, na rozdiel od scholastického uvažovania, zaznamenal vo svojom diele „The New Organon or True Directions for the Interpretation of Nature“ anglický filozof a prírodovedec Francis Bacon (1561 – 1626). Pôsobil teda ako zakladateľ induktívnej logiky
Špecifickosť vedeckého poznania odzrkadlil v racionalistickej metodológii francúzsky mysliteľ modernej doby René Descartes (1596 - 1650). V „Diskuse o metóde správneho smerovania mysle a hľadaní pravdy vo vedách“ a „Pravidlách vedenia mysle“ formuluje najdôležitejšie metódy poznávania: axiomatické, analytické a syntetické, a tiež na konci poznanie, systematická metóda. Najvyššou formou implementácie racionalistickej metodológie je podľa Descarta matematika. Logike sa pripisuje úloha metodológie poznania, schopnej objavovať spôsoby získavania nových právd, rozširovania vedomostí.
Základné myšlienky matematickej (alebo symbolickej) logiky navrhol nemecký mysliteľ G.W. Leibniz (1646 - 1716) vo svojich dielach „O kombinatorike“, „Skúsenosť s univerzálnym počtom“, „O matematickej definícii syllogických foriem“ , atď. Rozvíja otázky tradičnej logiky (formuluje zákon dostatočného rozumu, pracuje na systematizácii kategórií logiky atď.), ale viac sa venuje formalizácii jazyka, matematizácii štýlu logiky. myslenie. Odvtedy sa v logike začali používať špeciálne znaky-symboly, ktoré sa nepoužívajú v prirodzenom jazyku. Leibniz ako prvý preskúmal možnosti aritmetizovanej logickej inferencie založenej na zhode medzi zákonmi logiky a zákonmi matematiky. Tá má za cieľ vniesť do matematických výpočtov teoretické vedecké úvahy, vďaka ktorým je možné vyriešiť akýkoľvek spor a prísť k pravde.
Tradičnú logiku nahrádza matematická logika, ktorá uzatvára mentálne formy do striktných formulácií pravidiel a teorém implementovaných do analytických metód duševnej činnosti.
V devätnástom storočí symbolická logika sa stáva najatraktívnejšou oblasťou logického poznania. Medzi najznámejších predstaviteľov matematickej logiky vyniká anglický matematik D. Boole (1815 - 1864). V prácach „Matematická analýza logiky“ a „Skúmanie zákonov myslenia“ kladie základy algebraických výpočtov špecifických prvkov (tried) ako relácií (operácií). Boole sa snažil preložiť do posunkovej reči vzťahy medzi myšlienkami, predmetmi a abstraktnými systémami. Booleovská algebra je riešením logických problémov pomocou troch operácií: a) sčítanie tried (A U B), násobenie tried (A? B) a sčítanie tried (A?). Booleova algebra bola použiteľná aj v aplikovaných prípadoch, napríklad pri interpretácii konkrétnych reléových obvodov, v kalkulácii pri programovaní na počítači atď.
Formálna a symbolická logika. Formálna (tradičná) logika je predmetom štúdia základných foriem myslenia (pojem, úsudok, inferencia), zákonov, ktoré sú v ich sfére, bez toho, aby sa priamo spoliehala na konkrétny obsah myslenia. Formálna logika je abstrahovaná z historického procesu, z vývoja praktických a kognitívnych spôsobov konania.
Symbolickú (matematickú) logiku možno reprezentovať ako formálnu, ako jej formalizovanú časť. Za svoju hlavnú úlohu považuje konštrukciu logického počtu pomocou matematických vzorcov, axióm a dôsledkov. Stanovuje formy myslenia v systéme znakov a špeciálnych symbolov.
Moderná formálna logika zahŕňa štúdium mentálnych operácií a prenos logických foriem do všeobecných vzorcov teoretického poznania. Moderná symbolická logika je samostatný smer logického poznania, má nielen teoretický, ale aj praktický význam. Takže okrem zložitých výpočtových operácií sa široko používa v lingvistike (pri preklade z jedného jazyka do druhého), technickej oblasti (pri ovládaní zariadení), v počítačovom programovaní atď.
Formálna a dialektická logika. Formálno-logické schémy sú takpovediac indiferentné (irelevantné) k podstate poznateľných predmetov. Esencia - súbor vnútorných vlastností a vlastností subjektu, vyjadrujúci jeho obsah. Najdôležitejšími spôsobmi, ako preniknúť do podstaty vecí, je objaviť protichodnú jednotu ich atribútov, zvážiť ich v ich vývoji a prepojení s inými predmetmi. V procese takéhoto poznania je dôležité abstrahovať od nepodstatných, náhodných, koncentrujúcich poznatkov na atribútové znaky.
Na rozdiel od formálnej logiky má dialektická logika za svoj predmet štúdium vzniku a vývoja fragmentov reality, vrátane logických foriem a zákonitostí. Toto je poznanie rozvoja myslenia. Dialektická logika je založená na niekoľkých princípoch: a) princíp rozvoja, b) princíp historizmu, c) princíp komplexnosti, d) princíp konkrétnosti atď. Ústredným pojmom dialektickej logiky je dialektický rozpor.
Dialektická logika, hromadiaca a zovšeobecňujúca svoje poznatky počas celého obdobia vývoja logiky, bola systematicky prezentovaná v nemčine. klasickej filozofie. V dielach I. Kanta (1724 - 1804) „Kritika čistého rozumu“ a „Kritika schopnosti úsudku“ sa uskutočňuje zdôvodnenie transcendentálnej logiky, ktorá určuje pôvod, obsah a objektívny význam apriórneho poznania. Vo filozofii Hegela (1770 - 1831) našiel svoje zavŕšenie objektívno-idealistický systém dialektickej logiky ako univerzálna forma sebapoznania a sebarozvoja pojmu. Vo svojej Vede o logike kritizuje nielen formálne logické zákony myslenia ako „neontologické“, ale zdôvodňuje aj zásadne odlišný obsah logického poznania – zákony, pojmy a závery, ktoré vychádzajú z dialektiky myslenia objektívneho ducha. .
Nová etapa v chápaní dialektickej logiky sa spája s menami K. Marxa (1818 - 1883) a F. Engelsa (1820 - 1895). V dielach F. Engelsa „Anti-Dühring“, „Dialectics of Nature“, K. Marx „Kapitál“ a iných sa interpretácia rozvíjajúcich foriem nezakladá na originalite „samorozvíjajúceho sa konceptu“, ale na objavovanie dialektických zmien v samotnom objektívnom (hmotnom) svete. Príroda a spoločnosť sú z ich pohľadu základom pre pochopenie zákonitostí dialektického myslenia. V marxistickej dialektike sú z materialistického hľadiska formulované tri najdôležitejšie zákony dialektiky (zákon jednoty a boja protikladov, zákon vzájomnej premeny kvantitatívnych a kvalitatívnych zmien, zákon negácie negácie), základné princípy a kategórie materialistickej dialektiky.
Ak formálna logika poznáva formy myslenia prostredníctvom analýzy najdôležitejších čŕt bez priamej súvislosti s konkrétnym subjektom, v zovšeobecnenej a abstrahovanej podobe, potom dialektická logika presúva ťažisko skúmania podstaty mysliteľných predmetov na analýzu predmetov a procesov v pohybe, vývoji a prepojení. V tomto prípade sú nepodstatné, náhodné funkcie eliminované, anulované a podstatné sú zvýraznené a aktualizované.
Nedá sa však odporovať dialektickej a formálnej logike. Študujú ten istý objekt – ľudské myslenie, predmetom oboch sú zákonitosti duševnej činnosti. Formálnosti podlieha aj myslenie logické zákony ako základné a dialektické ako rozvojové. Nie je možné myslieť dialekticky bez pochopenia a zohľadnenia zákonov formálnej logiky. To znamená, že je možné dospieť k záveru, že moderné logické poznanie zahŕňa vo svojej štruktúre dve vzájomne súvisiace a relatívne nezávislé vedy: formálnu logiku (ktorej súčasťou je symbolická logika) a dialektickú logiku. Navyše, uznanie základného významu logiky pri konštrukcii akéhokoľvek správneho myslenia, vedeckého a teoretického poznania si vyžaduje pokračovanie v štúdiu podstaty javov a štruktúr myslenia odhaľovaním rozporov v prírode, spoločnosti a ľudskom myslení.
Úlohy a cvičenia
1. Pomocou matematickej postupnosti akcií odhaľte tajomstvo hádania čísel. Vymyslite si ľubovoľné číslo, odčítajte od neho 1, vynásobte výsledok 2, odčítajte zamýšľané číslo od výsledného súčinu a nahláste výsledok. Ako uhádnuť číslo, ktoré vytvoril priateľ?
2. Ako odmerať 6 litrov vody, ak sú k dispozícii nádoby s objemom 9 litrov a 4 litre:
3. V antickej rétorike bola vyvinutá schéma výstavby reči, pozostávajúca z piatich najdôležitejších etáp. Usporiadajte ich v logickom poradí:
výslovnosť, verbálny dizajn, invencia, plán, zapamätanie.
4. Vytvorte podrobný logický diagram alebo tabuľku, ktorá odhalí históriu vývoja logických vedomostí.
