Formel logik

Formel logik  er videnskaben om reglerne for at transformere udsagn , der bevarer deres sandhedsværdi uanset indholdet af de begreber, der indgår i disse udsagn , såvel som konstruktionen af ​​disse regler. Da han var grundlæggeren af ​​den formelle logik som videnskab, kaldte Aristoteles det " analytik ", mens udtrykket " logik " blev fast etableret efter hans død i det 3. århundrede f.Kr. [1] .

Formel logik er, i modsætning til uformel logik, organiseret som et formelt system med et højt abstraktionsniveau og veldefinerede regler [2] . Formel logik er engageret i at udlede ny viden på grundlag af tidligere kendt viden, uden at ty til erfaring i hvert enkelt tilfælde, men ved at anvende lovene og tankereglerne. Som den indledende fase af formel logik er det sædvanligt at betragte traditionel logik [3] [4] , og som dens udvikling - matematisk logik , ved at bruge en grad af formalisering svarende til matematisk, symbolsk apparatur og logisk regning [5] .

Historie

Forfatteren til det første system af formel logik er Aristoteles , som introducerede begrebet syllogisme og variabler, hvormed han betegnede syllogismens udtryk [6] .

Ifølge I. Kant er den formelle logik (i " Kritikken af ​​den rene fornuft " kaldet "generel") abstraheret fra begrebernes indhold og beskæftiger sig kun med deres form:

Logikkens grænser er præcist bestemt af det faktum, at det er en videnskab, der udstikker i detaljer og strengt beviser kun de formelle regler for enhver tænkning (det er lige meget om det er a priori eller empirisk, det er lige meget hvad dets oprindelse og emne ...) [7] .

Kant selv modsatte sig formel logik (som han primært tilskrev syllogistisk , baseret på Aristoteles ' analytikere ) meningsfuld, transcendental logik , hvis udvikling er hovedemnet i kritikken af ​​den rene fornuft:

Men da der er både rene og empiriske intuitioner... kan man forvente, at man kan tænke objekter anderledes... I dette tilfælde burde der være en logik, der ikke abstraherer fra noget vidensindhold [8] ...

Programmet "logistik"

Repræsentanter for de såkaldte. "logistik" (dannet på Genève-kongressen i 1904  af indsatsen fra L. Couture , A. Lalande og andre) i slutningen af ​​det 19.  - begyndelsen af ​​det 20. århundrede, logikkens formalitet var forbundet med tildelingen af ​​sandhedsværdier af udsagn da de blev overført fra naturligt sprog til symbolsk notation . Logistikere søgte at retfærdiggøre matematisk viden (i fremtiden naturvidenskab) inden for rammerne af formel logik alene. En betydelig indsats i denne retning blev gjort af D. Gilbert , Couture, B. Russell .

Med form mener vi generelt et udtryk, hvor mindst én variabel kommer ind på en sådan måde, at dette udtryk bliver et sandt eller falsk udsagn på grund af det faktum, at vi erstatter noget i stedet for denne variabel [9] .

Fokus på sandhedsværdi adskilte formel logik fra andre discipliner, der beskæftiger sig med form, såsom lingvistik og matematiske discipliner såsom aritmetik , geometri , algebra og calculus . Følgelig omtalte de formel logik som alle de dele af logikken, der kunne formaliseres i symbolske former udviklet i det 19. og det tidlige 20. århundrede af matematikere og logikere O. de Morgan , J. Boole , J. Peano , G. Frege , Russell og andre.

"Overbord" af formel logik forblev sådanne logiske discipliner som dialektik (i dens middelalderlige version og forskellige moderne versioner), induktiv logik ( J. S. Mill ) og andre varianter af videnskabens logik .

Så forstået holdt formel logik op med at være en videnskab om tænkning, og mange formalister [10] [11] afviste det sidstnævnte helt som et " psykologisk " begreb, der ikke havde noget at gøre med logik som sådan, som skulle fokusere på at lære og forbedre sprog , om strukturelle og ikke proceduremæssige egenskaber ved talekonstruktioner . Dette synspunkt blev udviklet i synspunkterne fra Wien-cirklen , Lvov-Warszawa-skolen og, yderligere, anglo-amerikansk analytisk filosofi . Det blev dog ikke delt af andre formalister.

Samtidig i 1910-1920'erne. Logistikeres påstande om at underbygge nøjagtig viden blev kritiseret af A. Poincaré [12] og senere af Hilbert, som sluttede sig til ham i denne kritik, hvorefter den logistiske bevægelse blev til intet.

Emnet og metoden for formel logik

Emnet for formel logik blev specielt rekonstrueret og kritiseret i værkerne af Moskvas logiske cirkel [13] og derefter Moskvas metodologiske cirkel [14] . Kritikken vedrørte ikke hensigtsmæssigheden af ​​udviklingen af ​​formel logik som sådan eller dens anvendelighed, men fuldstændigheden af ​​dens udtømning af logiske problemer og dens påstande om at være en tanketeori.

Ifølge rekonstruktionen udført på MMK beskæftiger logik sig med " sproglig tænkning " (eller "sprog taget i tænkningens funktion"), hvor grupper af tegn, der er forbundet på en bestemt måde, ifølge visse love, erstatter virkelige objekter og hinanden i forhold til handlinger:

Formel logik er mulig, når det erstattede indhold ikke direkte er objekter for handling, men til gengæld tegn, der danner lukkede operationelle systemer. Metoden for formel logik implementerer konsekvent princippet om parallelisme af tænkningens form og indhold .

Udviklingen af ​​symbolisering i formel logik og dens transformation til en af ​​de matematiske discipliner er naturlig, naturlig og uundgåelig.

Den formelle logiks påstande om tanketeoriens rolle er uholdbare, fordi:

• dens begreber beskriver ikke tænkningen som en helhed, men kun dens symbolske form, og selv da ufuldstændigt;
• dens begreber tager ikke højde for afhængigheden af ​​strukturen og reglerne for transformationen af ​​denne form af indholdet;
• dens koncepter afspejler ikke forskellen mellem tænkning og dens produkter ( viden );
• dens begreber kan ikke forklare dannelsen af ​​kompleks viden;
• hendes metode er uforenelig med den historiske tilgang til studiet af tænkning [15] .

Tab af specificitet

Udbredelsen af ​​ideerne om logik med mange værdier i dens forskellige varianter (herunder symboliserede), og derefter ideerne om abstrakte datatyper i teoretisk programmering, problematiserede sandhedens detaljer som en række værdier af logiske funktioner, inklusive kun to mulige værdier. Lukasiewicz-Tarskis [16] apparat med uendelig værdilogik er således praktisk talt umuligt at skelne fra apparatet for sandsynlighedsteori , og i teorien om datatyper adskiller den logiske (boolske) type sig ikke på nogen måde fra de andre, hverken fra operatørens synspunkt eller ud fra maskinimplementeringens synspunkt.

På den anden side er nye grene og versioner af symbolsk logik (for eksempel intuitionistisk logik , intentionel logik , deontisk logik ) gået langt ud over syllogistik og studiet af sandhed i snæver forstand og har omfattet mange andre grene af logik .

På nuværende tidspunkt har udtrykket "formel logik" mistet sin specifikke betydning og bruges (uden for videnskabshistoriens kontekst ) som et synonym for symbolsk eller matematisk logik. "Traditionel" (i modsætning til "moderne") formel logik kan kaldes de samme dele af logikken, angivet uden brug af matematiske apparater.

Kontrovers om formel logik i Sovjetunionen

I 1930'erne og 1940'erne blev den formelle logik af officielle filosofiske autoriteter behandlet som "det teoretiske grundlag for det borgerlige verdensbillede" [17] . Der blev ikke arbejdet aktivt på de relevante områder, traditioner gik tabt, de få overlevende specialister blev tvunget til at studere andre discipliner eller blev frataget betingelserne for normal videnskabelig kommunikation.

Situationen ændrede sig noget i 1946-1947 , da (ifølge nogle kilder [18] [19] , på I.V. Stalins personlige ordre ), logik blev introduceret i skolens læseplan [20] (der blev skrevet en række lærebøger ( V.F. Asmus , K. S. Bakradze , M. S. Strogovich ), og selv i en forkortet eller revideret form blev de "borgerlige" lærebøger af S. N. Vinogradov og G. I. Chelpanov genudgivet ). Dette blev efterfulgt af oprettelsen af ​​afdelingen for logik ved det filosofiske fakultet ved Moskva Universitet ( A.F. Losev blev betragtet som en af ​​kandidaterne til at besætte afdelingen , selvom det i sidste ende blev taget af P.S. Popov), udgivelsen af ​​en antal bøger om formelle logiske emner [21 ] og nogle andre aktiviteter [19] .

Men kampen mellem "dialektik" og "formalister" fortsatte med varierende succes omkring dette emne. I 1950'erne og 1960'erne slog den formelle logik (efter at have forladt skolen) sig på universiteter og forskningsinstitutter. En enestående rolle i genoprettelsen af ​​logisk forskning og undervisning i logik i landet blev spillet af sådanne repræsentanter for den formalistiske trend som S. A. Yanovskaya , A. S. Yesenin-Volpin , Yu. A. Gastev, A. A. Markov og andre.

Bagsiden af ​​processen var en modreaktion fra "formalisternes" side i forhold til logikere, der søgte at udvikle logik uden for programmet for dens formalisering. Allerede i 1960'erne og 1970'erne oplevede sådanne logikere som A. A. Zinoviev (som derefter blev tvunget til at ændre sproget og skifte til "matematiske" symboler), E. V. Ilyenkov (som forlod Philosophical Encyclopedia -teamet i protest) vanskeligheder med publikationer mod substitution af logiske problemer for matematiske), osv.

Til en vis grad fortsætter denne reaktion selv i de postsovjetiske år [22] .

Ansøgninger

• Relationel datamodel

Noter

1. ↑ Logik som videnskab (utilgængeligt link) . Hentet 22. juni 2016. Arkiveret fra originalen 1. oktober 2010. (ubestemt) 
2. ↑ Nat, 2010 , s. 2.
3. ↑ Traditionel logik // New Philosophical Encyclopedia / Formand for den videnskabelige redaktion V.S. Træde til. - Moscow: Thought, 2000-2001, 2010. - ISBN ISBN 978-5-244-01115-9 . Arkiveret 26. april 2022 på Wayback Machine
4. ↑ Kondakov N. I. Formel (traditionel) logik // Introduktion til logik / red. prof. D.P. Gorsky. - Moskva: Nauka, 1967. - S. 406-428. — 467 s.
5. ↑ Kondakov, 1971 .
6. ↑ Kondakov, 1971 , s. 576.
7. ↑ Kant I. Kritik af den rene fornuft . - M.: 1994. - S. 14.
8. ↑ Kant I. Cit. op.  - S. 72-73.
9. ↑ Scholz H. Kortfattet logiks historie . - New York , 1961 .
10. ↑ Carnap R. Induktive Logik und Wahrscheinlichkeit. - Wien, 1958. - S. 31.
11. ↑ Lukasevich Ya. Aristolisk syllogistik ud fra den moderne formel logiks synspunkt. - M. , 1959. - S. 48-49.
12. ↑ Poincare A. Om videnskab. - M. : Nauka, 1983. - S. 475-518, 580-616. — 736 s.
13. ↑ Zinoviev A. A. Opstigning fra det abstrakte til det konkrete (på materialet fra K. Marx' "Kapital"). - M. , 2002. - 321 s. ; Shchedrovitsky G.P. "Lingvistisk tænkning" og dens analyse  // Spørgsmål om lingvistik . - 1957. - Nr. 1 . - S. 56-68 . Arkiveret fra originalen den 29. september 2007. ; Alekseev N. G. , Shchedrovitsky G. P. Om mulige måder at studere tænkning på som en aktivitet  // Rapporter fra Akademiet for Pædagogiske Videnskaber i RSFSR. - 1957. - Nr. 3 . Arkiveret fra originalen den 26. september 2007. ; Shchedrovitsky G.P. Om nogle øjeblikke i udviklingen af ​​koncepter  // Filosofiens spørgsmål . - 1958. - Nr. 6 . - S. 55-64 . Arkiveret fra originalen den 29. september 2007. ; Ladenko I.S. Om forholdet mellem ækvivalens og dets rolle i nogle tankeprocesser // Doklady APN RSFSR. - 1958. - Nr. 1 . ; Ladenko I.S. Om nogle mentale processer forbundet med etableringen af ​​en ækvivalensrelation // Doklady APN RSFSR. - 1958. - Nr. 2 . Shvyryov V.S. Til spørgsmålet om måderne til logisk forskning i tænkning // Rapporter fra APN for RSFSR. - 1960. - Nr. 2 . og osv.
14. ↑ Shchedrovitsky G.P. Om strukturen af ​​attributiv viden  // Rapporter fra APN for RSFSR. - 1958-60. Arkiveret fra originalen den 29. september 2007. ; Shchedrovitsky G. P., Ladenko I. S. Om nogle principper for den genetiske undersøgelse af tænkning  // Resuméer af rapporter på I-kongressen i Society of Psychologists 29. juni - 4. juli 1959. Udgave. 1: Lør. - M. , 1959. - S. 100 -? . Arkiveret fra originalen den 29. september 2007. ; Shchedrovitsky G. P., Alekseev N. G., Kostelovsky V. A. Princippet om "parallelisme af tænkningens form og indhold" og dets betydning for traditionel logisk og psykologisk forskning  // Rapporter fra APN af RSFSR. - 1960-61. Arkiveret fra originalen den 29. september 2007. ; Shchedrovitsky G.P. Om forholdet mellem formel logik og neopositivistisk "videnskabens logik" // Dialektisk materialisme og moderne positivisme: Lør. - M. , 1961 .; Shchedrovitsky G.P. Om forskellen mellem de oprindelige begreber "formelle" og "væsentlige" logikker  // Videnskabernes metodologi og logik: Lør. - Tomsk, 1962. - T. 41 . - S. 81-92 . Arkiveret fra originalen den 26. september 2007.
15. ↑ Shchedrovitsky G.P. Om metoden til at studere tænkning. - M. , 2006. - S. 110-183. - 600 sek. . Se også Shchedrovitsky G.P. Processer og strukturer i tænkning (forelæsningsforløb) / Fra arkivet af G.P. Shchedrovitsky. T. 6 . - M. , 2003. - 320 s. Arkivkopi dateret 28. september 2007 på Wayback Machine og Shchedrovitsky G.P. Problemer med logikken i videnskabelig forskning og analyse af videnskabens struktur / Fra arkivet af 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. ↑ Formel logik // Rosenthal M. , Yudin P. (red.). Kortfattet filosofisk ordbog . — M .: 1940 .
18. ↑ Ladenko I. S. Dannelse og udvikling af ideer om genetisk logik // Questions of Methodology , 1991, nr. 3.
19. ↑ 1 2 Lakhuti D. G. Stalin og logik  // Filosofiens spørgsmål . - 2004. - Nr. 4 . - S. 164-169 . Arkiveret fra originalen den 2. marts 2008.
20. ↑ Dekret fra centralkomiteen for Bolsjevikkernes Kommunistiske Parti i hele Unionen af ​​03.12.46 "Om undervisning i logik og psykologi i gymnasiet".
21. ↑ "Fundamentals of Theoretical Logic" af Hilbert og W. Ackerman (1947), "Experience in Investigating the Meaning of Logic" af S. Serrus ( 1948 ), "Introduction to the Logic and Methodology of Deductive Sciences" af A. Tarsky ( 1948) osv.
22. ↑ Se f.eks. artiklen " Ilyenkov Evald Vasilyevich Archival copy of 23. juni 2019 on the Wayback Machine ", der ærekrænker Ilyenkov som videnskabsmand, i " Philosophical Encyclopedic Dictionary Archival copy of September 27, 2007 on the Wayback Machine " . (M., 2004, red. A A. Ivin).

Litteratur

• Kondakov N. I. Logisk ordbog / Gorsky D. P. - M . : Nauka, 1971. - 656 s.
• Arnold vander Nat. Simpel formel logik: med sund fornuft symbolske teknikker. - Routledge, 2010. - 360 s. — ISBN 978-0415997454 .
• Chupakhin I. Ya., Brodsky IN Formel logik. - L. : LGU, 1977. - 357 s.

• Makovelsky A. O. Logikkens historie . - M., 1967 .
• N. I. Kondakov, Logisk ordbogsopslagsbog , M .: "Nauka", 1975 , s. 285. på Runivers hjemmeside
• Popov PS Historien om den moderne tids logik . - M., 1960 .
• Logik, historie: Forløbere for moderne logik // Encyclopedia of philosophy / Donald M. Borchert, chefredaktør. — 2. udg. - N. Y. : Thomson Gale, 2006. - V. 5. - S. 440-446. — 742 s. — ISBN 0-02-865785-3 .
• Logik, historie: Moderne logik // Encyclopedia of philosophy / Donald M. Borchert, chefredaktør. — 2. udg. - N. Y. : Thomson Gale, 2006. - V. 5. - S. 447-484. — 742 s. — ISBN 0-02-865785-3 .

• Alekseev M. N. Diskussion af logiske spørgsmål ved Moscow State University // Questions of Philosophy , 1951 , nr. 2;
• Alekseev M. N. Diskussion om forholdet mellem formel logik og dialektik // Bulletin of Moscow State University , Series I. Social Sciences , 1951, nr. 4.
• Biryukov B. V. Kampen omkring logik ved Moscow State University // Logical Research , T. X, 2003 .
• N. I. Kondakov, Logisk ordbogsopslagsbog , M .: "Nauka", 1975, s. 290 på Runivers hjemmeside
• Shchedrovitsky G.P. Jeg har altid været idealist ... . - M. , 2001. - 323 s. — ISBN 5-93733-010-2 .
• formel logik. - Leningrad: Leningrad University Publishing House, 1977. - 357 s. på Runivers hjemmeside
• Filosofiske spørgsmål om moderne formel logik. - M .: Forlag for Videnskabsakademiet i USSR, 1962. - 365 s. på Runivers hjemmeside

Ordbøger og encyklopædier	Britannica (online)
I bibliografiske kataloger	NKC : ph120290