Formell logik

Formell logik  är vetenskapen om reglerna för att transformera påståenden som bevarar deras sanningsvärde oavsett innehållet i begreppen som ingår i dessa påståenden , såväl som konstruktionen av dessa regler. Eftersom han var grundaren av formell logik som vetenskap, kallade Aristoteles den " analys ", medan termen " logik " blev fast etablerad efter hans död på 300-talet f.Kr. [1] .

Formell logik är, till skillnad från informell logik, organiserad som ett formellt system med en hög abstraktionsnivå och väldefinierade regler [2] . Formell logik är engagerad i att härleda ny kunskap på basis av tidigare känd kunskap, utan att tillgripa erfarenhet i varje specifikt fall, utan genom att tillämpa tankelagarna och tankereglerna. Som det inledande skedet av formell logik är det vanligt att betrakta traditionell logik [3] [4] , och som dess utveckling - matematisk logik , genom att använda en grad av formalisering som liknar matematisk, symbolisk apparat och logisk kalkyl [5] .

Historik

Författaren till det första systemet för formell logik är Aristoteles , som introducerade begreppet syllogism och variabler, med vilket han betecknade syllogismens termer [6] .

Enligt I. Kant är formell logik (i " Kritiken av det rena förnuftet " kallas det "allmänt") från begreppens innehåll och behandlar endast deras form:

Logikens gränser bestäms exakt av det faktum att det är en vetenskap som beskriver i detalj och strikt bevisar endast de formella reglerna för något tänkande (det spelar ingen roll om det är a priori eller empiriskt, det spelar ingen roll vad dess ursprung och ämne ...) [7] .

Kant själv motsatte sig formell logik (som han tillskrev främst syllogistisk , baserad på Aristoteles analytiker ) meningsfull, transcendental logik , vars utveckling är huvudämnet för kritiken av det rena förnuftet:

Men eftersom det finns både rena och empiriska intuitioner... kan man förvänta sig att man kan tänka på objekt annorlunda... I det här fallet borde det finnas en logik som inte abstraherar från något kunskapsinnehåll [8] ...

Programmet "logistik"

Representanter för den sk. "logistik" (bildad vid Genève-kongressen 1904  genom ansträngningar av L. Couture , A. Lalande och andra) i slutet av 1800- och  början av 1900-talet, logikens formalitet var förknippad med tilldelningen av sanningsvärden för uttalanden när de överfördes från naturligt språk till symbolisk notation . Logistiker försökte motivera matematisk kunskap (i framtiden naturvetenskap) inom ramen för enbart formell logik. Betydande ansträngningar i denna riktning gjordes av D. Gilbert , Couture, B. Russell .

Med form i allmänhet menar vi ett uttryck där minst en variabel kommer in på ett sådant sätt att detta uttryck blir ett sant eller falskt påstående på grund av att vi ersätter något i stället för denna variabel [9] .

Fokus på sanningsvärde skiljde formell logik från andra discipliner som handlar om form, såsom lingvistik och matematiska discipliner som aritmetik , geometri , algebra och kalkyl . Följaktligen hänvisade de till formell logik som alla de delar av logiken som kunde formaliseras i symboliska former utvecklade under 1800- och början av 1900-talet av matematiker och logiker O. de Morgan , J. Boole , J. Peano , G. Frege , Russell och andra.

"Överbord" av formell logik förblev sådana logiska discipliner som dialektik (i dess medeltida version och olika moderna versioner), induktiv logik ( J.S. Mill ) och andra varianter av vetenskapens logik .

Så förstått upphörde formell logik att vara en vetenskap om tänkande, och många formalister [10] [11] avfärdade det senare helt och hållet som ett " psykologiskt " begrepp som inte hade något att göra med logik som sådan, som borde fokusera på att lära och förbättra språk , om strukturella och inte processuella egenskaper hos talkonstruktioner . Denna synpunkt utvecklades i synpunkter från Wiencirkeln , Lvov-Warszawa-skolan och, vidare, angloamerikansk analytisk filosofi . Den delades dock inte av andra formalister.

Samtidigt, på 1910-1920-talet. Logistikers anspråk på att styrka exakta kunskaper kritiserades av A. Poincaré [12] och, senare, av Hilbert, som anslöt sig till honom i denna kritik, varefter den logistiska rörelsen gick på intet.

Ämnet och metoden för formell logik

Ämnet för formell logik rekonstruerades och kritiserades speciellt i verken av Moscow Logical Circle [13] och sedan Moscow Methodological Circle [14] . Kritiken gällde inte lämpligheten av utvecklingen av formell logik som sådan eller dess användbarhet, utan fullständigheten av dess uttömning av logiska problem och dess anspråk på att vara en tanketeori.

Enligt den rekonstruktion som genomfördes vid MMK handlar logik om " språkligt tänkande " (eller "språk som tas i tänkandets funktion"), där grupper av tecken som är sammankopplade på ett visst sätt, enligt vissa lagar, ersätter verkliga objekt och varandra i förhållande till handlingar:

Formell logik är möjlig när det ersatta innehållet inte direkt är föremål för handling, utan i sin tur tecken som bildar slutna operativa system. Metoden för formell logik implementerar konsekvent principen om parallellism av tänkandets form och innehåll .

Utvecklingen av symbolisering i formell logik och dess omvandling till en av de matematiska disciplinerna är naturligt, naturligt och oundvikligt.

Formell logiks anspråk på tanketeorins roll är ohållbara, eftersom:

• dess begrepp beskriver inte tänkandet som en helhet, utan endast dess symboliska form, och även då ofullständigt;
• dess begrepp tar inte hänsyn till strukturens och reglernas beroende av innehållet för omvandlingen av denna form;
• dess koncept återspeglar inte skillnaden mellan tänkande och dess produkter ( kunskap );
• dess begrepp kan inte förklara bildandet av komplex kunskap;
• hennes metod är oförenlig med det historiska förhållningssättet till studiet av tänkande [15] .

Förlust av specificitet

Spridningen av idéerna om mångvärdig logik i dess olika varianter (inklusive symboliserade sådana), och sedan idéerna om abstrakta datatyper i teoretisk programmering, problematiserade sanningens detaljer som en rad värden för logiska funktioner, inklusive endast två möjliga värden. Således är Lukasiewicz–Tarskis [16] apparat för oändligt värdead logik praktiskt taget omöjlig att skilja från sannolikhetsteorins apparat , och i teorin om datatyper skiljer sig den logiska (booleska) typen inte på något sätt från de andra, varken ur operatörssynpunkt eller ur maskinimplementeringssynpunkt.

Å andra sidan har nya grenar och versioner av symbolisk logik (till exempel intuitionistisk logik , avsiktlig logik , deontisk logik ) gått långt bortom syllogistik och studiet av sanning i snäv mening och har omfattat många andra grenar av logik .

För närvarande har termen "formell logik" förlorat sin specifika betydelse och används (utanför vetenskapshistoriens sammanhang ) som en synonym för symbolisk eller matematisk logik. "Traditionell" (i motsats till "modern") formell logik kan kallas samma sektioner av logik, angivna utan användning av matematiska apparater.

Kontrovers om formell logik i Sovjetunionen

På 1930- och 1940-talen behandlades formell logik av officiella filosofiska auktoriteter som "den teoretiska grunden för den borgerliga världsbilden" [17] . Det fanns inget aktivt arbete inom de relevanta områdena, traditioner gick förlorade, de få överlevande specialisterna tvingades studera andra discipliner eller berövades förutsättningarna för normal vetenskaplig kommunikation.

Situationen förändrades något 1946-1947 , när (enligt vissa källor [18] [19] , på I.V. Stalins personliga order ), logik infördes i skolans läroplan [20] (ett antal läroböcker skrevs ( V.F. Asmus , K. S. Bakradze , M. S. Strogovich ), och även i en förkortad eller reviderad form återutgavs S. N. Vinogradovs och G. I. Chelpanovs "borgerliga" läroböcker ). Detta följdes av skapandet av institutionen för logik vid filosofiska fakulteten vid Moskvas universitet ( A.F. Losev ansågs vara en av kandidaterna för att ockupera institutionen , även om den till slut togs av P.S. Popov), publiceringen av en antal böcker om formella logiska ämnen [21] och några andra händelser [19] .

Kampen mellan "dialektik" och "formalister" fortsatte dock med varierande framgång kring detta ämne. På 1950- och 1960-talen bosatte sig den formella logiken (efter att redan ha lämnat skolan) på universitet och forskningsinstitut. En enastående roll i återställandet av logisk forskning och undervisning i logik i landet spelades av sådana representanter för den formalistiska trenden som S. A. Yanovskaya , A. S. Yesenin-Volpin , Yu. A. Gastev, A. A. Markov och andra.

Baksidan av processen var en motreaktion från "formalisternas" sida i förhållande till logiker som försökte utveckla logik utanför programmet för dess formalisering. Redan på 1960- och 1970-talen upplevde sådana logiker som A. A. Zinoviev (som sedan tvingades ändra språket och byta till "matematiska" symboler), E. V. Ilyenkov (som lämnade Philosophical Encyclopedia -teamet i protest) svårigheter med publikationer mot ersättning av logiska problem för matematiska), etc.

Till viss del fortsätter denna reaktion även under de postsovjetiska åren [22] .

Applikationer

• Relationsdatamodell

Anteckningar

1. ↑ Logik som vetenskap (otillgänglig länk) . Hämtad 22 juni 2016. Arkiverad från originalet 1 oktober 2010. (obestämd) 
2. ↑ Nat, 2010 , sid. 2.
3. ↑ Traditionell logik // New Philosophical Encyclopedia / Ordförande i den vetenskapliga redaktionen V.S. Gå in. - Moscow: Thought, 2000-2001, 2010. - ISBN ISBN 978-5-244-01115-9 . Arkiverad 26 april 2022 på Wayback Machine
4. ↑ Kondakov N. I. Formell (traditionell) logik // Introduktion till logik / red. prof. D.P. Gorsky. - Moskva: Nauka, 1967. - S. 406-428. — 467 sid.
5. ↑ Kondakov, 1971 .
6. ↑ Kondakov, 1971 , sid. 576.
7. ↑ Kant I. Kritik av det rena förnuftet . - M.: 1994. - S. 14.
8. ↑ Kant I. Cit. op.  - S. 72-73.
9. ↑ Scholz H. Kortfattad logiks historia . — New York , 1961 .
10. ↑ Carnap R. Induktive Logik und Wahrscheinlichkeit. - Wien, 1958. - S. 31.
11. ↑ Lukasevich Ya. Aristolisk syllogistik ur modern formell logiks synvinkel. - M. , 1959. - S. 48-49.
12. ↑ Poincare A. På vetenskap. - M. : Nauka, 1983. - S. 475-518, 580-616. — 736 sid.
13. ↑ Zinoviev A. A. Uppstigning från det abstrakta till det konkreta (på materialet i K. Marx "Kapital"). - M. , 2002. - 321 sid. ; Shchedrovitsky G.P. "Lingvistiskt tänkande" och dess analys  // Språkvetenskapens frågor . - 1957. - Nr 1 . - S. 56-68 . Arkiverad från originalet den 29 september 2007. ; Alekseev N. G. , Shchedrovitsky G. P. Om möjliga sätt att studera tänkande som en aktivitet  // Rapporter från Academy of Pedagogical Sciences of the RSFSR. - 1957. - Nr 3 . Arkiverad från originalet den 26 september 2007. ; Shchedrovitsky G.P. Om några ögonblick i utvecklingen av koncept  // Filosofis frågor . - 1958. - Nr 6 . - S. 55-64 . Arkiverad från originalet den 29 september 2007. ; Ladenko I.S. Om förhållandet mellan ekvivalens och dess roll i vissa tankeprocesser // Doklady APN RSFSR. - 1958. - Nr 1 . ; Ladenko I.S. Om några mentala processer i samband med upprättandet av en ekvivalensrelation // Doklady APN RSFSR. - 1958. - Nr 2 . Shvyryov V.S. Till frågan om sätten att tänka logisk forskning // Rapporter från APN för RSFSR. - 1960. - Nr 2 . och så vidare.
14. ↑ Shchedrovitsky G.P. Om strukturen för attributiv kunskap  // Rapporter från APN för RSFSR. - 1958-60. Arkiverad från originalet den 29 september 2007. ; Shchedrovitsky G. P., Ladenko I. S. Om några principer för genetisk studie av tänkande  // Sammandrag av rapporter vid I-kongressen i Society of Psychologists 29 juni - 4 juli 1959. Issue. 1: Lör. - M. , 1959. - S. 100 -? . Arkiverad från originalet den 29 september 2007. ; Shchedrovitsky G. P., Alekseev N. G., Kostelovsky V. A. Principen om "parallellism av tänkandets form och innehåll" och dess betydelse för traditionell logisk och psykologisk forskning  // Rapporter från RSFSR:s APN. - 1960-61. Arkiverad från originalet den 29 september 2007. ; Shchedrovitsky G.P. Om förhållandet mellan formell logik och neopositivistisk "vetenskapens logik" // Dialektisk materialism och modern positivism: lör. - M. , 1961 .; Shchedrovitsky G.P. Om skillnaden mellan de ursprungliga begreppen "formell" och "substantiell" logik  // Vetenskapernas metodik och logik: lör. - Tomsk, 1962. - T. 41 . - S. 81-92 . Arkiverad från originalet den 26 september 2007.
15. ↑ Shchedrovitsky G.P. Om metoden att studera tänkande. - M. , 2006. - S. 110-183. — 600 s. . Se även Shchedrovitsky G.P. Processer och strukturer i tänkande (föreläsningskurs) / From the archive of G.P. Shchedrovitsky. T. 6 . - M. , 2003. - 320 sid. Arkivexemplar daterad 28 september 2007 på Wayback Machine och Shchedrovitsky G.P. Problem med logiken i vetenskaplig forskning och analys av vetenskapens struktur / Från arkivet av G.P. Shchedrovitsky. T. 7. - M. , 2004. - 400 sid.
16. ↑ Łukasiewicz J., Tarski A. Untersuchungen über den Aussagenkalkül // Sprawozdania z posiedzec Towarzystwa Naukowego Warszawskiego. Wydzial II. R. XXIII. — Warzawa, 1930.
17. ↑ Formell logik // Rosenthal M. , Yudin P. (red.). Kortfattad filosofisk ordbok . — M .: 1940 .
18. ↑ Ladenko I. S. Bildning och utveckling av idéer om genetisk logik // Questions of Methodology , 1991, nr 3.
19. ↑ 1 2 Lakhuti D. G. Stalin och logik  // Filosofis frågor . - 2004. - Nr 4 . - S. 164-169 . Arkiverad från originalet den 2 mars 2008.
20. ↑ Dekret från centralkommittén för bolsjevikernas kommunistiska parti för alla fack av 03.12.46 "Om undervisningen i logik och psykologi i gymnasieskolan".
21. ↑ "Fundamentals of Theoretical Logic" av Hilbert och W. Ackerman (1947), "Experience in Investigating the Meaning of Logic" av S. Serrus ( 1948 ), "Introduction to the Logic and Methodology of Deductive Sciences" av A. Tarsky ( 1948), etc.
22. ↑ Se till exempel artikeln " Ilyenkov Evald Vasilyevich Archival copy of 23 juni 2019 on the Wayback Machine ", som förtalar Ilyenkov som vetenskapsman, i " Philosophical Encyclopedic Dictionary Archival copy of 27 september 2007 on the Wayback Machine " . (M., 2004, red. A A. Ivin).

Litteratur

• Kondakov N. I. Logisk ordbok / Gorsky D. P. - M . : Nauka, 1971. - 656 sid.
• Arnold vander Nat. Enkel formell logik: med förnuftiga symboliska tekniker. - Routledge, 2010. - 360 sid. — ISBN 978-0415997454 .
• Chupakhin I. Ya., Brodsky IN Formell logik. - L. : LGU, 1977. - 357 sid.

• Makovelsky A. O. Logikens historia . - M., 1967 .
• N. I. Kondakov, Logical dictionary-reference book , M .: "Nauka", 1975 , sid. 285. på Runivers webbplats
• Popov PS Historien om den moderna tidens logik . - M., 1960 .
• Logik, historia av: Föregångare till modern logik // Encyclopedia of philosophy / Donald M. Borchert, chefredaktör. — 2:a uppl. - N. Y. : Thomson Gale, 2006. - V. 5. - S. 440-446. — 742 sid. — ISBN 0-02-865785-3 .
• Logik, historia: Modern logik // Encyclopedia of philosophy / Donald M. Borchert, chefredaktör. — 2:a uppl. - N. Y. : Thomson Gale, 2006. - V. 5. - S. 447-484. — 742 sid. — ISBN 0-02-865785-3 .

• Alekseev M. N. Diskussion om logiska frågor vid Moscow State University // Questions of Philosophy , 1951 , nr 2;
• Alekseev M. N. Diskussion om förhållandet mellan formell logik och dialektik // Bulletin of Moscow State University , Series I. Social Sciences , 1951, nr 4.
• Biryukov B. V. Kampen kring logik vid Moscow State University // Logical Research , T. X, 2003 .
• N. I. Kondakov, Logical dictionary-reference book , M .: "Nauka", 1975, sid. 290 på Runivers webbplats
• Shchedrovitsky G.P. Jag har alltid varit en idealist ... . - M. , 2001. - 323 sid. — ISBN 5-93733-010-2 .
• formell logik. - Leningrad: Leningrad University Publishing House, 1977. - 357 s. på Runivers hemsida
• Filosofiska frågor om modern formell logik. - M .: Förlag för USSR:s vetenskapsakademi, 1962. - 365 s. på Runivers hemsida

Ordböcker och uppslagsverk	Britannica (online)
I bibliografiska kataloger	NKC : ph120290