Formální logika

Formální logika  je věda o pravidlech pro transformaci tvrzení , která zachovávají svou pravdivostní hodnotu bez ohledu na obsah pojmů obsažených v těchto tvrzeních , stejně jako konstrukci těchto pravidel. Jako zakladatel formální logiky jako vědy ji Aristoteles nazval „ analytika “, zatímco termín „ logika “ se pevně usadil po jeho smrti ve 3. století př. n. l . [1] .

Formální logika je na rozdíl od neformální logiky organizována jako formální systém s vysokou úrovní abstrakce a dobře definovanými pravidly [2] . Formální logika se zabývá odvozováním nových znalostí na základě dříve známých znalostí, aniž by se v každém konkrétním případě uchylovala ke zkušenosti, ale pomocí zákonů a pravidel myšlení. Za počáteční fázi formální logiky je zvykem považovat logiku tradiční [3] [4] , a za její vývoj - matematickou logiku , využívající stupeň formalizace podobný matematickému, symbolickému aparátu a logickému kalkulu [5] .

Historie

Autorem prvního systému formální logiky je Aristoteles , který zavedl pojem sylogismus a proměnné, jimiž označoval termíny sylogismus [6] .

Podle I. Kanta je formální logika (v „ Kritice čistého rozumu “ nazývána „obecná“) abstrahována od obsahu pojmů a zabývá se pouze jejich formou:

Hranice logiky jsou přesně určeny tím, že jde o vědu, která podrobně stanovuje a striktně dokazuje pouze formální pravidla jakéhokoli myšlení (je jedno, zda je apriorní nebo empirické, je jedno jaké jeho původ a předmět ...) [7] .

Sám Kant se postavil proti formální logice (které přisuzoval především sylogistickou , založenou na Aristotelových Analystech ) smysluplné, transcendentální logice , jejíž rozvoj je hlavním předmětem Kritiky čistého rozumu:

Ale jelikož existují jak čisté, tak empirické intuice... lze očekávat, že lze o předmětech uvažovat jinak... V tomto případě by měla existovat logika, která neabstrahuje od žádného obsahu poznání [8] ...

Program "logistika"

Zástupci tzv. "logistiky" (vzniklé na Ženevském kongresu v roce 1904  úsilím L. Couture , A. Lalande a dalších) konce 19.  - počátku 20. století, formálnost logiky byla spojena s přidělováním pravdivostních hodnot výroků kdy byly převedeny z přirozeného jazyka do symbolického zápisu . Logistikové se snažili ospravedlnit matematické znalosti (v budoucnosti přírodní vědy) pouze v rámci formální logiky. Významné úsilí v tomto směru vyvinuli D. Gilbert , Couture, B. Russell .

Formou obecně rozumíme výraz, do kterého alespoň jedna proměnná vstupuje tak, že se tento výraz stává pravdivým nebo nepravdivým tvrzením díky tomu, že místo této proměnné něco dosadíme [9] .

Zaměření na pravdivostní hodnotu odlišovalo formální logiku od jiných disciplín, které se zabývají formou, jako je lingvistika a matematické disciplíny, jako je aritmetika , geometrie , algebra a počet . V souladu s tím označovali formální logiku jako všechny ty části logiky, které mohly být formalizovány v symbolických formách vyvinutých v 19. a na počátku 20. století matematiky a logiky O. de Morgan , J. Boole , J. Peano , G. Frege , Russell. a další.

„Přes palubu“ formální logiky zůstaly takové logické disciplíny, jako dialektika (ve středověké verzi a různých moderních verzích), induktivní logika ( J. S. Mill ) a další varianty logiky vědy .

Takto chápaná formální logika přestala být vědou o myšlení a mnoho formalistů [10] [11] od ní zcela distancovalo jako o „ psychologickém “ konceptu, který neměl nic společného s logikou jako takovou, která by se měla soustředit na učení a zlepšování jazyka , o strukturálních a nikoli procedurálních vlastnostech řečových konstrukcí. Toto hledisko bylo rozvinuto v názorech Vídeňského kruhu , Lvovsko-varšavské školy a dále anglo-americké analytické filozofie . Ostatní formalisté to však nesdíleli.

Přitom v letech 1910-1920. Nároky logistů na doložení exaktních znalostí kritizoval A. Poincaré [12] a později i Hilbert, který se k němu v této kritice připojil, načež logistické hnutí přišlo vniveč.

Předmět a metoda formální logiky

Předmět formální logiky byl speciálně rekonstruován a kritizován v dílech Moskevského logického kruhu [13] a poté Moskevského metodologického kruhu [14] . Kritika se netýkala vhodnosti rozvoje formální logiky jako takové nebo její užitečnosti, ale úplnosti jejího vyčerpání logických problémů a jejího tvrzení, že je teorií myšlení.

Podle rekonstrukce provedené v MMK se logika zabývá „ jazykovým myšlením “ (neboli „jazykem převzatým ve funkci myšlení“), ve kterém skupiny znaků propojené určitým způsobem, podle určitých zákonitostí, nahrazují skutečné předměty . a navzájem ve vztahu k akcím:

Formální logika je možná, když nahrazovaný obsah není přímo předmětem činnosti, ale naopak znaky, které tvoří uzavřené operační systémy. Metoda formální logiky důsledně realizuje princip paralelnosti formy a obsahu myšlení .

Rozvoj symbolizace ve formální logice a její transformace do jedné z matematických disciplín je přirozený, přirozený a nevyhnutelný.

Nároky formální logiky na roli teorie myšlení jsou neudržitelné, protože:

• jeho pojmy nepopisují myšlení jako celek, ale pouze jeho symbolickou podobu, a to ještě neúplně;
• jeho koncepce nezohledňují závislost struktury a pravidel pro transformaci této formy na obsahu;
• jeho koncepty neodrážejí rozdíl mezi myšlením a jeho produkty ( znalostmi );
• jeho koncepty nemohou vysvětlit utváření komplexních znalostí;
• její metoda je neslučitelná s historickým přístupem ke studiu myšlení [15] .

Ztráta specifičnosti

Šíření myšlenek mnohohodnotové logiky v jejích různých variantách (včetně symbolizovaných) a poté myšlenek abstraktních datových typů v teoretickém programování problematizovalo specifika pravdy jako rozsah hodnot logických funkcí, včetně pouze dvě možné hodnoty. Aparát nekonečně hodnotné logiky Lukasiewicze–Tarského [16] je tedy prakticky k nerozeznání od aparátu teorie pravděpodobnosti a v teorii datových typů se logický (booleovský) typ nijak neliší od ostatních, ani z pohledu obsluhy, ani z pohledu strojní realizace.

Na druhé straně, nové větve a verze symbolické logiky (například intuicionistická logika , intencionální logika , deontická logika ) šly daleko za sylogistiku a studium pravdy v úzkém smyslu a přijaly mnoho dalších odvětví logiky .

V současné době pojem „formální logika“ ztratil svůj specifický význam a je používán (mimo kontext dějin vědy ) jako synonymum pro symbolickou či matematickou logiku. „Tradiční“ (oproti „moderní“) formální logikou lze nazvat stejné úseky logiky, konstatované bez použití matematického aparátu.

Kontroverze o formální logice v Sovětském svazu

Ve 30. a 40. letech byla formální logika považována oficiálními filozofickými autoritami za „teoretický základ buržoazního světového názoru“ [17] . V příslušných oblastech se aktivně nepracovalo, tradice se ztratily, těch pár přeživších odborníků bylo nuceno studovat jiné obory nebo byli zbaveni podmínek pro běžnou vědeckou komunikaci.

Situace se poněkud změnila v letech 1946-1947 , kdy byla (podle některých zdrojů [18] [19] na osobní rozkaz I. V. Stalina do školních osnov [20] zavedena logika ( byla napsána řada učebnic ( V.F. Asmus , K. S. Bakradze , M. S. Strogovich ), a dokonce ve zkrácené či revidované podobě byly znovu vydány „buržoazní“ učebnice S. N. Vinogradova a G. I. Čehelpanova ). Následovalo vytvoření katedry logiky na Filosofické fakultě Moskevské univerzity ( jako jeden z kandidátů na obsazení katedry byl zvažován A.F. Losev , i když jej nakonec převzal P.S. Popov), vydání tzv. množství knih na formálně logická témata [21 ] a některé další události [19] .

Boj mezi „dialektikou“ a „formalisty“ však kolem tohoto tématu pokračoval s různým úspěchem. V 50. a 60. letech se formální logika (po ukončení školy) usadila na univerzitách a výzkumných ústavech. Vynikající roli při obnově logického výzkumu a výuky logiky v zemi sehráli takoví představitelé formalistického trendu jako S. A. Yanovskaya , A. S. Yesenin-Volpin , Yu. A. Gastev, A. A. Markov a další.

Odvrácenou stranou procesu byla protireakce ze strany „formalistů“ ve vztahu k logikům, kteří se snažili logiku rozvíjet mimo program její formalizace. Již v 60. a 70. letech měli logici jako A. A. Zinovjev (který byl tehdy nucen změnit jazyk a přejít na „matematické“ symboly), E. V. Iljenkov (který na protest opustil tým Filosofické encyklopedie ) potíže s publikacemi proti nahrazování logické úlohy pro matematické) atd.

Tato reakce do jisté míry pokračuje i v postsovětských letech [22] .

Aplikace

• Relační datový model

Poznámky

1. ↑ Logika jako věda (nepřístupný odkaz) . Získáno 22. června 2016. Archivováno z originálu 1. října 2010. (neurčitý) 
2. ↑ Nat, 2010 , str. 2.
3. ↑ Tradiční logika // Nová filozofická encyklopedie / Předseda vědecké redakční rady V.S. Vstoupit. - Moskva: Myšlenka, 2000-2001, 2010. - ISBN ISBN 978-5-244-01115-9 . Archivováno 26. dubna 2022 na Wayback Machine
4. ↑ Kondakov N. I. Formální (tradiční) logika // Úvod do logiky / ed. prof. D. P. Gorskij. - Moskva: Nauka, 1967. - S. 406-428. — 467 s.
5. ↑ Kondakov, 1971 .
6. ↑ Kondakov, 1971 , str. 576.
7. ↑ Kant I. Kritika čistého rozumu . - M.: 1994. - S. 14.
8. ↑ Kant I. Cit. op.  - S. 72-73.
9. ↑ Scholz H. Stručné dějiny logiky . — New York , 1961 .
10. ↑ Carnap R. Induktive Logik und Wahrscheinlichkeit. - Vídeň, 1958. - S. 31.
11. ↑ Lukasevich Ya. Aristolovská sylogistika z pohledu moderní formální logiky. - M. , 1959. - S. 48-49.
12. ↑ Poincare A. O vědě. - M .: Nauka, 1983. - S. 475-518, 580-616. — 736 s.
13. ↑ Zinoviev A. A. Vzestup od abstraktního ke konkrétnímu (na materiálu K. Marxe „Kapitál“). - M. , 2002. - 321 s. ; Shchedrovitsky G.P. "Lingvistické myšlení" a jeho analýza  // Otázky lingvistiky . - 1957. - č. 1 . - S. 56-68 . Archivováno z originálu 29. září 2007. ; Alekseev N. G. , Shchedrovitsky G. P. O možných způsobech studia myšlení jako činnosti  // Zprávy Akademie pedagogických věd RSFSR. - 1957. - č. 3 . Archivováno z originálu 26. září 2007. ; Shchedrovitsky G.P. O některých momentech ve vývoji konceptů  // Otázky filozofie . - 1958. - č. 6 . - S. 55-64 . Archivováno z originálu 29. září 2007. ; Ladenko I.S. O vztahu ekvivalence a její roli v některých procesech myšlení // Doklady APN RSFSR. - 1958. - č. 1 . ; Ladenko I.S. O některých mentálních procesech spojených s ustavením vztahu ekvivalence // Doklady APN RSFSR. - 1958. - č. 2 . Shvyryov V.S. K otázce způsobů logického výzkumu myšlení // Zprávy APN RSFSR. - 1960. - č. 2 . atd.
14. ↑ Shchedrovitsky G.P. O struktuře atributivních znalostí  // Zprávy APN RSFSR. - 1958-60. Archivováno z originálu 29. září 2007. ; Shchedrovitsky G. P., Ladenko I. S. O některých principech genetického studia myšlení  // Abstrakty zpráv na I. kongresu Společnosti psychologů 29. června - 4. července 1959. Vydání. 1: So. - M. , 1959. - S. 100 -? . Archivováno z originálu 29. září 2007. ; Shchedrovitsky G. P., Alekseev N. G., Kostelovsky V. A. Princip „paralelismu formy a obsahu myšlení“ a jeho význam pro tradiční logický a psychologický výzkum  // Zprávy APN RSFSR. - 1960-61. Archivováno z originálu 29. září 2007. ; Shchedrovitsky G.P. O vztahu mezi formální logikou a neopozitivistickou „logikou vědy“ // Dialektický materialismus a moderní pozitivismus: Sat. - M. , 1961 .; Shchedrovitsky G.P. O rozdílu mezi počátečními koncepty „formální“ a „podstatné“ logiky  // Metodologie a logika věd: Sat. - Tomsk, 1962. - T. 41 . - S. 81-92 . Archivováno z originálu 26. září 2007.
15. ↑ Shchedrovitsky G.P. O metodě studia myšlení. - M. , 2006. - S. 110-183. — 600 s. . Viz také Shchedrovitsky G.P. Procesy a struktury v myšlení (průběh přednášek) / Z archivu G.P. Shchedrovitsky. T. 6 . - M. , 2003. - 320 s. Archivní kopie ze dne 28. září 2007 na Wayback Machine a Shchedrovitsky G.P. Problémy logiky vědeckého výzkumu a analýzy struktury vědy / Z archivu G.P. Shchedrovitsky. T. 7. - M. , 2004. - 400 s.
16. ↑ Łukasiewicz J., Tarski A. Untersuchungen über den Aussagenkalkül // Sprawozdania z posiedzec Towarzystwa Naukowego Warszawskiego. Wydzial II. R. XXIII. — Warzawa, 1930.
17. ↑ Formální logika // Rosenthal M. , Yudin P. (ed.). Stručný filozofický slovník . — M .: 1940 .
18. ↑ Ladenko I. S. Formování a vývoj myšlenek genetické logiky // Otázky metodologie , 1991, č. 3.
19. ↑ 1 2 Lakhuti D. G. Stalin a logika  // Otázky filozofie . - 2004. - č. 4 . - S. 164-169 . Archivováno z originálu 2. března 2008.
20. ↑ Výnos Ústředního výboru Všesvazové komunistické strany bolševiků ze dne 3.12.46 „O výuce logiky a psychologie na střední škole“.
21. ↑ „Základy teoretické logiky“ od Hilberta a W. Ackermana (1947), „Zkušenosti se zkoumáním významu logiky“ od S. Serruse ( 1948 ), „Úvod do logiky a metodologie deduktivních věd“ od A. Tarského ( 1948) atd.
22. ↑ Viz například článek „ Archivní kopie Ilyenkova Evald Vasilyevicha z 23. června 2019 o Wayback Machine “, který hanobí Iljenkova jako vědce, v „ Archivní kopii Philosophical Encyclopedic Dictionary z 27. září 2007 o stroji Wayback “ (M., 2004, ed. A. A. Ivin).

Literatura

• Kondakov N. I. Logický slovník / Gorsky D. P. - M . : Nauka, 1971. - 656 s.
• Arnold vander Nat. Jednoduchá formální logika: se zdravými symbolickými technikami. - Routledge, 2010. - 360 s. — ISBN 978-0415997454 .
• Chupakhin I. Ya., Brodsky IN Formální logika. - L. : LGU, 1977. - 357 s.

• Makovelsky A. O. Historie logiky . -M., 1967 .
• N. I. Kondakov, Logický slovník-příručka , M.: "Nauka", 1975 , s. 285. na webu Runivers
• Popov PS Historie logiky moderní doby . -M., 1960 .
• Logika, historie: Předchůdci moderní logiky // Encyklopedie filozofie / Donald M. Borchert, šéfredaktor. — 2. vyd. - N. Y .: Thomson Gale, 2006. - V. 5. - S. 440-446. — 742 s. — ISBN 0-02-865785-3 .
• Logika, historie: Moderní logika // Encyklopedie filozofie / Donald M. Borchert, šéfredaktor. — 2. vyd. - N. Y .: Thomson Gale, 2006. - V. 5. - S. 447-484. — 742 s. — ISBN 0-02-865785-3 .

• Alekseev M. N. Diskuze o otázkách logiky na Moskevské státní univerzitě // Otázky filozofie , 1951 , č. 2;
• Alekseev M. N. Diskuze o vztahu mezi formální logikou a dialektikou // Bulletin Moskevské státní univerzity , řada I. Společenské vědy , 1951, č. 4.
• Biryukov B. V. Boj kolem logiky na Moskevské státní univerzitě // Logický výzkum , T. X, 2003 .
• N. I. Kondakov, Logický slovník-příručka , M.: "Nauka", 1975, s. 290 na webu Runivers
• Shchedrovitsky G.P. Vždy jsem byl idealista ... . - M. , 2001. - 323 s. — ISBN 5-93733-010-2 .
• formální logika. - Leningrad: Leningrad University Publishing House, 1977. - 357 s. na webu Runivers
• Filosofické otázky moderní formální logiky. - M .: Nakladatelství Akademie věd SSSR, 1962. - 365 s. na webu Runivers

Slovníky a encyklopedie	Britannica (online)
V bibliografických katalozích	NKC : ph120290