NiNa.Az
. Logika Yazyk Sledit Pravit Tekushaya versiya stranicy poka ne proveryalas opytnymi uchastnikami i mozhet znachitelno otlichatsya ot versii proverennoj 26 fevralya 2021 proverki trebuyut 10 pravok Lo gika dr grech logikh nauka o pravilnom myshlenii sposobnost k rassuzhdeniyu ot dr grech logos logos rassuzhdenie mysl razum smysl normativnaya nauka o zakonah formah i priemah intellektualnoj deyatelnosti 1 Gregor Rejsh Logika predstavlyaet eyo centralnye temy Margarita Philosophica 1503 08 Dve sobaki veritas s lat istina i falsitas s lat lozh presleduyut zajca problema s lat problema logika vooruzhyonnaya mechom sillogizma speshit pozadi Sleva vnizu v grote izobrazhyon Parmenid s kotorym logicheskaya argumentaciya prolozhila sebe put v filosofiyu U etogo termina sushestvuyut i drugie znacheniya sm Logika rasskaz Logika kak nauka voznikla v nedrah drevnegrecheskoj filosofii Nachalo sovremennoj logiki postroennoj v forme ischisleniya polozhil G Frege v sochinenii Begriffsschrift Zapis v ponyatiyah v drugom perevode Ischislenie v ponyatiyah 1879 2 Formy i priemy intellektualnoj deyatelnosti izuchayutsya ne tolko v logike eshyo naprimer v psihologii epistemologii psiholingvistike poetomu imeetsya bolee uzkoe ponimanie logiki kak nauke o korrektnyh rassuzhdeniyah v kotoryh osnovnym yavlyaetsya forma a ne soderzhanie rassuzhdenij 3 Antipsihologizm yavlyaetsya harakternoj chertoj sovremennoj logiki 2 Esli v HIX v chasto logika rassmatrivalas kak chast psihologii T Lipps Hr Zigvart to G Frege pokazal a pod ego vliyaniem E Gusserl ubeditelno podtverdil chto logika baziruetsya na sobstvennom osnovanii priroda kotorogo ne psihologicheskaya V to zhe vremya pri analize formuliruemyh subektom ocenochnyh predlozhenij neobhodimo uchityvat ego znaniya verovaniya ubezhdeniya Dlya izucheniya takih predlozhenij trebuetsya stroit specialnye logiki vklyuchayushie subekt Izuchenie pravil korrektnogo myshleniya s primeneniem simvolicheskih predstavlenij yavlyaetsya oblastyu issledovanij simvolicheskoj logiki Predstavleniya pravil i operacij korrektnogo myshleniya v vide formalizovannyh struktur issleduyutsya v formalnoj logike Formalizovannye struktury otrazhayushie formalnye aspekty korrektnogo myshleniya i udovletvoryayushie trebovaniyam k matematicheskim strukturam a takzhe drugie blizkie k nim matematicheskie struktury izuchayutsya v matematicheskoj logike 2 Simvoly primenyal eshyo Aristotel a takzhe vse posleduyushie uchyonye logiki 4 Inogda termin simvolicheskaya logika ispolzuetsya kak sinonim termina matematicheskaya logika 5 Opredelenie formalnaya dlya logiki zanimayushejsya analizom formalnoj storonoj struktury vyskazyvanij i dokazatelstv bylo vvedeno I Kantom dlya otgranicheniya eyo po glavnoj osobennosti ot drugih vidov logik 4 Matematicheskaya logika predstavlyaet soboj razdel matematiki obedinyayushij issledovaniya logicheskih problem s primeneniem matematicheskih sredstv chto pozvolyaet izuchat formalnuyu storonu korrektnogo svyaznogo myshleniya bolee tochno Imenno matematicheskaya logika v nastoyashee vremya ponimaetsya kak sovremennaya logika 2 Poetomu chasto v nastoyashee vremya simvolnaya formalnaya i matematicheskaya logiki ispolzuyutsya kak sinonimy osobenno s dobavleniem sovremennaya istochnik ne ukazan 24 dnya Odnako vsledstvie teoremy Gyodelya o nepolnote matematicheskaya logika ne mozhet dat ischerpyvayushego resheniya vseh obshelogicheskih problem istochnik ne ukazan 24 dnya Poetomu issledovaniya logicheskih voprosov s ispolzovaniem sredstv estestvennogo yazyka v filosofii prodolzhayutsya no uzhe dopolnitelno s primeneniem idej i apparata matematicheskoj logiki Eto pozvolyaet proyasnit osnovaniya logiki bolee gluboko Takzhe eto pozvolyaet provesti bolee glubokij i tochnyj analiz i osmyslenie nekotoryh ponyatij i problem filosofii Takie issledovaniya v filosofii dayut novye impulsy k razvitiyu sovremennoj logiki 4 Odnako logicheskie issledovaniya v sovremennoj filosofii ne obrazuyut svyaznoj celostnoj ee oblasti a predstavlyayut soboj sovokupnost otdelnyh raboty kotorye tem ne menee chasto obedinyayutsya v edinyj kompleks nazyvaemyj filosofskoj logikoj 4 V Novoj filosofskoj enciklopedii NFE IF RAN v takim obrazom ponimaemoj filosofskoj logiki vydelyayutsya dve chasti sobstvenno filosofskuyu logiku izuchayushuyu filosofskie problemy sredstvami sovremennoj logiki i filosofiyu logiki issleduyushuyu osnovaniya logiki sredstvami filosofii Pri etom utverzhdaetsya chto zachastuyu odno podmenyaetsya drugim hotya eto dva raznyh napravleniya issledovanij 6 Odnovremenno drugie issledovateli pod filosofskoj logikoj tochnee pod filosofskimi logikami ponimayut neklassicheskie logiki v kotoryh izuchayutsya tipy rassuzhdenij a takzhe storony poznavatelnogo processa v tom chisle trebuyushie primenenie modalnostej ne uchityvaemyh v klassicheskih logikah baziruyushihsya na dvuznachnom principe 2 V tozhe vremya v NFE IF RAN utverzhdaetsya chto filosofskaya logika traktovalas kak modalnaya yavlyayushejsya chastyu sovokupnosti neklassicheskij logik tolko pervonachalno V sootvetstvii so skazannym v etoj enciklopedii vyrazhaetsya mnenie chto razlichnymi specialistami filosofskaya logika ponimaetsya po raznomu i skoree po svoemu Dazhe esli ona i vydelyaetsya kak osobaya nauchnaya disciplina ee predmet granicy primeneniya i metody odnoznachno opredelit ne udaetsya 6 Poskolku novoe znanie poluchayut posredstvom razuma logika takzhe opredelyaetsya kak nauka o formah i zakonah myshleniya Tak kak myshlenie oformlyaetsya v yazyke v vide rassuzhdeniya chastnymi sluchayami kotorogo yavlyayutsya dokazatelstvo i oproverzhenie logika inogda opredelyaetsya kak nauka o sposobah rassuzhdeniya ili nauka o sposobah dokazatelstv i oproverzhenij Poskolku myshlenie proyavlyaetsya tolko v yazyke to logika issleduya zakony mysli obrashaetsya k yazyku kak k edinstvennomu dostupnomu ej materialu 7 Logika kak nauka izuchaet metody dostizheniya istiny v processe poznaniya oposredovannym putyom ne iz chuvstvennogo opyta a iz znanij poluchennyh ranee poetomu eyo takzhe mozhno opredelit kak nauku o sposobah polucheniya vyvodnogo znaniya V lyuboj nauke logika sluzhit odnim iz osnovnyh instrumentov 8 Logika yavlyaetsya podrazdelom ne tolko filosofii no i matematiki a buleva algebra odnoj iz osnov informatiki istochnik ne ukazan 170 dnej Istoricheski logika izuchalas kak chast filosofii i ritoriki Sejchas simvolicheskaya logika takzhe izuchaetsya kak chast matematiki informatiki Osnovnymi razdelami logiki yavlyayutsya teoriya rassuzhdenij imeyushaya 2 varianta teoriyu deduktivnyh rassuzhdenij i teoriyu pravdopodobnyh rassuzhdenij metalogika i logicheskaya metodologiya 9 1 V svyazi s tem chto rezultaty myslitelnoj deyatelnosti vyrazhayutsya v yazykovoj forme issledovaniya v logike sopryazheny s izu che ni em yazy ko vyh kon st ruk cij Etim zanimaetsya logicheskaya semiotika kotoraya vklyuchaet v sebya logicheskuyu sintaktiku lo gi che skuyu se man ti ku i logicheskuyu pragmatiku 1 Soderzhanie 1 Sushnost logiki 2 Znachenie slova 3 Neformalnaya formalnaya simvolicheskaya i dialekticheskaya logika 4 Teoriya rassuzhdenij 4 1 Zakony logiki 5 Metalogika 5 1 Metateoreticheskie problemy logiki 5 2 Koncepcii logiki 6 Istoriya logiki 6 1 Logika v Drevnem Kitae 6 2 Indijskaya logika 6 3 Evropejskaya i blizhnevostochnaya logika 6 3 1 Logika antichnosti 6 3 2 Logika v Srednevekove 6 3 3 Logika v epohu Vozrozhdeniya i v Novoe vremya 6 4 Sovremennaya logika 7 Osnovnye ponyatiya nauki logiki 8 Tradicionnaya logika 9 Klassicheskaya matematicheskaya logika 9 1 Apparat matematicheskoj logiki 9 2 Ischisleniya i logicheskie metody 9 3 Logicheskaya semantika 9 4 Teoriya modelej 9 5 Teoriya dokazatelstv 10 Neklassicheskie logiki 10 1 Logiki otmenyayushie zakon isklyuchyonnogo tretego 10 2 Mnogoznachnye logiki 10 3 Nededuktivnye logicheskie teorii 10 4 Drugie neklassicheskie logiki 10 4 1 Modalnaya logika 11 Sm takzhe 12 Primechaniya 13 Literatura 13 1 Issledovaniya 13 2 Uchebnaya i spravochnaya literatura 13 3 Literatura po istorii logiki 14 SsylkiSushnost logiki PravitOsnovnaya cel funkciya logiki vsegda ostavalas neizmennoj issledovanie togo kak iz odnih utverzhdenij mozhno vyvodit drugie Pri etom predpolagaetsya chto vyvod zavisit tolko ot sposoba svyazi vhodyashih v nego utverzhdenij i ih stroeniya a ne ot ih konkretnogo soderzhaniya Izuchaya chto iz chego sleduet logika vyyavlyaet naibolee obshie ili kak govoryat formalnye usloviya pravilnogo myshleniya Sfera konkretnyh interesov logiki sushestvenno menyalas na protyazhenii eyo istorii Znachenie slova PravitSlovo logika ispolzuetsya takzhe v znacheniyah vnutrennyaya zakonomernost prisushaya tem ili inym yavleniyam ili pravilnyj razumnyj hod rassuzhdenij 10 V chastnosti etim slovom mogut nazyvatsya sleduyushie veshi v processe myshleniya kogda govoritsya o logichnom i nelogichnom myshlenii gde posledovatelnost utverzhdenij sootvetstvuet izuchennym v logike shemam v otlichie ot polnostyu bessvyaznyh i rassuzhdenij po analogii s proizvolnymi ponravivshimisya avtoru obrazami ili stereotipami elektronike vid shem prednaznachennyh dlya obrabotki informacii i upravleniya V otlichie ot silovyh shem transformacii i raspredeleniya energii I malomoshnyh no obrabatyvayushih atomarnye signaly filtracii registracii generacii proizvolnyh yavleniyah pripisyvaemoe ili obnaruzhennoe v nih opredelyonnoe funkcionirovanie povtoryayushiesya processy kotorye mogut byt opisany v logicheskih kategoriyah sostoyanie podchinenie otrazhenie zavisimost i t p Neformalnaya formalnaya simvolicheskaya i dialekticheskaya logika PravitNeformalnaya logika termin prinyat prezhde vsego v angloyazychnoj literature issledovanie argumentacii v estestvennom yazyke Odnoj iz glavnyh zadach eyo yavlyaetsya issledovanie logicheskih oshibok sm Logicheskaya semantika filosofskaya logika teoriya argumentacii logicheskij analiz yazyka Lyuboj vyvod sdelannyj na estestvennom yazyke obladaet chisto formalnym soderzhaniem smysl rassuzhdeniya mozhet byt razdelyon na formu mysli i sobstvenno soderzhanie esli mozhno pokazat chto on yavlyaetsya chastnym primeneniem abstraktnogo universalnogo pravila kotoroe otvlekaetsya ot vsyakogo konkretnogo predmeta svojstva ili otnosheniya Imenno etot vyvod s chisto formalnym soderzhaniem nazyvayut logicheskim vyvodom i osnovnym predmetom logiki Analiz vyvoda kotoryj raskryvaet eto chisto formalnoe soderzhanie nazyvaetsya formalnoj logikoj Simvolicheskaya logika izuchaet simvolicheskie abstrakcii kotorye fiksiruyut formalnuyu strukturu logicheskogo vyvoda Dialekticheskaya logika nauka o myshlenii v marksizme Zdes ponyatie myshleniya upotreblyaetsya v smysle Logosa kak predmeta antichnoj filosofii a dialekticheskaya logika uzhe v smysle otdelnoj nauki kak fizika ili formalnaya logika Dialekticheskoe rassuzhdenie uchityvaet zakony formalnoj logiki Vmeste s tem osushestvlyaya analiz dinamiki perehoda ponyatij v svoyu protivopolozhnost ono dopuskaet chto protivopolozhnosti sovpadayut orientiruetsya na zakony dialektiki V ramkah formalnoj logiki imeetsya gruppa logik imenuemyh neklassicheskimi inogda takzhe ispolzuetsya termin alternativnye logiki Eta gruppa logik sushestvenno otlichaetsya ot klassicheskih logik putyom razlichnyh variacij zakonov i pravil naprimer logiki otmenyayushie zakon isklyuchyonnogo tretego menyayushie tablicy istinnosti i t d Blagodarya etim variaciyam vozmozhno postroenie razlichnyh modelej logicheskih sledstvij i logicheskoj istiny 11 Teoriya rassuzhdenij PravitVazhnejshim razdelom logiki yav lya et sya teo riya ras su zh de nij v kotoroj naibolshee znachenie imeet teoriya deduktivnyh rassuzhdenij Zdes op re de lya yut sya po nya tiya lo gi che sko go za ko na i lo gi che sko go sle do va niya iz kotoryh sozdayutsya pravila vyvoda Ispolzovanie etih pravil garantiruet po lu che nie is tin no go za klyu che niya pri primenenii istinnyh predposylok Spravedlivost etih pra vil za vi sit isklyuchitelno ot ih lo gicheskoj for my i niskolko ne za vi sit ot so der zha niya dannyh ras su zh de nij 1 Razlichnye logicheskie teorii rassuzhdenij razlichayutsya tipami ana li zi rue myh v nih ras su zh de nij lo gicheskimi pra vi la mi i lo gicheskimi za ko na mi 1 Po glu bi ne ana li za vy ska zy va nij razlichayut lo gi ku vy ska zy va nij ili pro po zi cio nal nuyu logiku i lo gi ku predikatov vklyuchayushuyu v sebya kvantor nye teo rii V otlichie ot logiki predikatov logika vyskazyvanij izuchaet ti py ras su zh de nij ne za vi syashie ot vnutrennej struk tu ry pro styh pred lo zhe nij 1 Logiku predikatov pervogo poryadka rasshiryayut logiki vysshego poryadka Zakony logiki Pravit Zakon logiki eto obsheznachimyj princip kakoj libo logicheskoj teorii formula kotorogo prinimaet znachenie istina pri lyubyh dopustimyh v etoj teorii znacheniyah nelogicheskih simvolov V logicheskih ischisleniyah ih teoremy dokazuemye s ispolzovaniem deduktivnyh sredstv ischisleniya tozhe priznayutsya logicheskimi zakonami V tradicionnoj logike bylo chetyre osnovnyh logicheskih zakona 12 Zakon tozhdestva postuliruet chto v processe rassuzhdeniya ponyatiya i suzhdeniya dolzhny upotreblyatsya v odnom i tom zhe smysle 13 Zakon neprotivorechiya glasit chto dva protivorechashih suzhdeniya ne mogut byt odnovremenno istinnymi Po krajnej mere odno iz nih lozhno 14 Zakon dostatochnogo osnovaniya govorit o tom chto kazhdoe osmyslennoe vyrazhenie ponyatie suzhdenie mozhet schitatsya dostovernym tolko v tom sluchae esli ono bylo dokazano to est byli privedeny dostatochnye osnovaniya v silu kotoryh ego mozhno schitat istinnym 15 Zakon isklyuchyonnogo tretego utverzhdaet chto lyuboe vyskazyvanie ili istinno ili lozhno tretego ne dano 16 V nekotoryh teoriyah sovremennoj logiki primenimy ne vse tradicionnye logicheskie zakony 12 Sm takzhe Zakony de Morgana Zakon Klaviya i Zakony deleniyaMetalogika PravitOsnovnaya statya Metalogika Metateoreticheskie problemy logiki Pravit Neprotivorechivost formalizovannyh teorij Polnota formalizovannyh teorij Razreshimost formalizovannyh teorij Nezavisimost aksiom formalizovannyh teorij Korrektnost formalnoj sistemy Opredelimost Sravnitelnyj analiz logicheskih teorij istochnik ne ukazan 282 dnya Koncepcii logiki Pravit Koncepcii logiki istochnik ne ukazan 17 dnej razlichayutsya mezhdu soboj prezhde vsego po sposobam resheniya metateoreticheskih problem logiki svyazannyh s osnovaniyami matematiki Psihologizm Logicizm Formalizm matematika Intuicionizm Konstruktivnaya matematika Konservatizm logika istochnik ne ukazan 282 dnya Istoriya logiki PravitOsnovnaya statya Istoriya logiki Podobno tomu kak umenie govorit sushestvovalo eshyo do vozniknoveniya nauki grammatiki tak i iskusstvo pravilno myslit sushestvovalo zadolgo do nauki logiki Logicheskie operacii opredelenie klassifikaciya dokazatelstvo oproverzhenie i dr neredko primenyayutsya kazhdym chelovekom v ego myslitelnoj deyatelnosti neosoznanno i s pogreshnostyami Nekotorye sklonny schitat sobstvennoe myshlenie estestvennym processom ne trebuyushim analiza i kontrolya bolshe chem skazhem dyhanie ili dvizhenie no realnoe myshlenie ne svoditsya prosto k logicheskoj posledovatelnosti V processe resheniya voznikayushih zadach takzhe sushestvenny intuiciya emocii obraznoe videnie mira i mnogoe drugoe 17 Odnako nestrogost myshleniya eshyo ne znachit chto ono ne podchineno logike 18 Hotya mnogie kultury vyrabotali slozhnye sistemy rassuzhdeniya logika kak eksplicitnyj analiz metodov rassuzhdeniya poluchila osnovatelnoe razvitie iznachalno tolko v tryoh tradiciyah v kitajskoj indijskoj i grecheskoj Hotya tochnye daty ne slishkom dostoverny osobenno v sluchae Indii Sovremennaya logika razrabotannaya formalno izoshryonno proishodit v konechnom schyote iz grecheskoj tradicii aristotelevskoj logiki kotoraya odnako byla vosprinyata ne napryamuyu a pri posrednichestve i kommentatorskoj deyatelnosti arabo musulmanskih filosofov i srednevekovyh evropejskih logikov Mozhno vydelit sleduyushie istoricheskie i regionalnye formy logiki privedeny takzhe ih naimenovaniya istoricheski sushestvovavshie i prinyatye v literature po istorii formalnoj logiki istochnik ne ukazan 282 dnya Drevnekitajskaya logika Indijskaya logika Evropejskaya i blizhnevostochnaya logika tradicionnaya logika v shirokom smysle Antichnaya i rannesrednevekovaya logika dialektika Srednevekovaya logika Arabskaya i evrejskaya srednevekovaya logika Vostochnohristianskaya srednevekovaya logika Zapadnoevropejskaya srednevekovaya logika sholasticheskaya logika dialektika Logika evropejskogo Vozrozhdeniya dialektika Logika Novogo vremeni tradicionnaya logika v uzkom smysle formalnaya logika Sovremennaya logika obshemirovaya so vtoroj poloviny XIX veka matematicheskaya logika simvolicheskaya logika logistika poslednee kak pravilo v zapadnoj literature Logika v svoyom razvitii proshla tri poroga porog formalizacii rassuzhdenij vo vseh tryoh tradiciyah vvedenie uslovnyh simvolicheskih bukvennyh i chislovyh oboznachenij tolko evropejskaya tradicionnaya logika nauchnaya revolyuciya s kotoroj nachalas sovremennaya logika matematizaciya vnesenie v logiku matematicheskih metodov Logika v Drevnem Kitae Pravit Osnovnye metodologicheskie issledovaniya logicheskoj tematiki drevnekitajskoj filosofii byli napravleny na logiko lingvisticheskij analiz i problemy polemiki v ih chisle opredelenie terminov ie rar hi za ciya ka te go rij vy yav le nie pa ra dok sov klas si fi ka ciya pra vil nyh vy ska zy va nij i mnogoe drugoe V celom eti issledovaniya nosyat protologicheskij harakter otnosyas k dialektike v iznachalnom smysle etogo slova ispolzovalsya termin byan kotoryj mog oznachat i kras no re chie i spor i dia lek ti ka Vazhnejshij vklad sdelan predstavitelyami shko ly imyon min czya shko ly mo i stov mo czya i filosofom Syun czy 1 Sovremennik Konfuciya Mo czy Uchitel Mo Mudrec Mo V IV vv do n e byl izvesten kak osnovatel moizma shkoly mo czya predstaviteli kotoroj zanimalis poiskom istochnikov dostovernogo rassuzhdeniya i uslovij ego pravilnosti V oblasti argumentacii oni predpochitali razrabotku rassuzhdeniya po analogii razrabotke dedukcii V processe analiza semantiki yazyka moisty razrabotali metod klassifikacii imyon po stepeni ih obshnosti i deleniya veshej po vidam metod tryoh pravil tryoh fa Odno iz otvetvlenij moizma logiki min czya shkola imyon V III vv do n e pristupilo k issledovaniyu sobstvenno formalnoj logiki eyo predstaviteli podoshli k otkrytiyu kategoricheskogo sillogizma ranee ili odnovremenno s eyo formulirovkoj Aristotelem Pozdnee pri dinastii Cin eta liniya issledovanij ischezla v Kitae poskolku togda filosofiya legizma zhestoko podavlyala vse ostalnye filosofskie shkoly Vnov logika v Kitae poyavilas tolko s proniknoveniem tuda indijskoj logiki buddistov i dalee silno otstala ot razvitiya evropejskoj i blizhnevostochnoj logiki istochnik ne ukazan 282 dnya Indijskaya logika Pravit Istoki logiki v Indii mozhno prosledit v grammaticheskih tekstah V veka do n e Dve iz shesti ortodoksalno induistskih vedijskih shkol indijskoj filosofii nyaya i vajsheshika zanimalis metodologiej poznaniya iz etogo problemnogo polya i vydelilas logika Samo nazvanie shkoly nyaya znachit logika Glavnym eyo dostizheniem byla razrabotka logiki i metodologii stavshih vposledstvii obshim dostoyaniem sr aristotelevskaya logika v Evrope Osnovnym tekstom shkoly byli Nyaya sutry Akshapady Gautamy II vek n e Poskolku nyaiki schitali edinstvennym putyom osvobozhdeniya ot stradanij dostizhenie nadyozhnogo znaniya oni razrabatyvali tonkie metody otlicheniya nadyozhnyh istochnikov znaniya ot lozhnyh mnenij Est tolko chetyre istochnika znaniya chetyre pramany vospriyatie umozaklyuchenie sravnenie i svidetelstvo Strogaya pyatichlennaya shema umozaklyucheniya vklyuchala v sebya nachalnuyu posylku osnovanie primer prilozhenie i vyvod Buddijskaya filosofiya ne vhodivshaya v chislo shesti ortodoksalnyh shkol byla glavnym opponentom nyaikov v logike Nagardzhuna osnovatel madhyamiki sredinnogo puti razvil rassuzhdenie izvestnoe kak chatushkoti ili tetralemma Etot chetyryohstoronnij argument sistematicheski proveryal i otklonyal utverzhdenie vyskazyvaniya ego otricanie soedinenie utverzhdeniya i otricaniya i nakonec otklonenie i ego utverzhdeniya i ego otricaniya U Dignagi i ego posledovatelya Dharmakirti buddijskaya logika dostigla vershiny Centralnym punktom ih analiza bylo ustanovlenie opredelenie neobhodimoj logicheskoj prisushnosti vklyuchyonnosti v opredelenie vyapti takzhe izvestnoe kak neizmennoe sledovanie ili ubezhdenie Dlya etoj celi oni razvili uchenie ob apoha ili razlichenii o pravilah vklyucheniya priznakov v opredelenie ili isklyucheniya ih iz nego Shkola navya nyaya novaya nyaya novaya logika byla osnovana v XIII veke Ganeshej Upadhyaej iz Mitily avtora Tattvachintamami Sokrovishe mysli o realnosti Vprochem i on opiralsya na raboty svoih predshestvennikov X veka istochnik ne ukazan 282 dnya Evropejskaya i blizhnevostochnaya logika Pravit V istorii evropejskoj logiki mozhno vydelit etapy istochnik ne ukazan 282 dnya aristotelevskij tradicionnyj prodolzhalsya sotni let v techenie kotoryh logika razvivalas ochen medlenno sholasticheskij etap razvitiya pik kotorogo prihoditsya na XIV vek novovremennoj etap Logika antichnosti Pravit Osnovatelem logiki v drevnegrecheskoj filosofii schitaetsya drevnegrecheskij filosof Aristotel tak kak polagaetsya chto on vyvel pervuyu logicheskuyu teoriyu Predshestvennikami Aristotelya v razvitii logicheskoj nauki v Drevnej Grecii byli Parmenid Zenon Elejskij Sokrat i Platon Aristotel zhe vpervye sistematiziroval dostupnye znaniya o logike obosnoval formy i pravila logicheskogo myshleniya Ego cikl sochinenij Organon sostoit iz shesti rabot posvyashyonnyh logike Kategorii Ob istolkovanii Topika Pervaya analitika i Vtoraya analitika Sofisticheskie oproverzheniya Posle Aristotelya v Drevnej Grecii logika takzhe razrabatyvalas predstavitelyami shkoly stoikov Bolshoj vklad v razvitie etoj nauki vnesli orator Ciceron i drevnerimskij teoretik oratorskogo iskusstva Kvintilian istochnik ne ukazan 282 dnya Logika v Srednevekove Pravit Po mere priblizheniya k Srednim vekam logika poluchala bolee shirokoe rasprostranenie Eyo nachali razrabatyvat araboyazychnye issledovateli naprimer Al Farabi ok 870 950 gg Srednevekovaya logika nazyvaetsya sholasticheskoj a eyo rascvet v XIV veke svyazyvayut s imenami uchyonyh Uilyama Okkama Alberta Saksonskogo i Uoltera Berli istochnik ne ukazan 282 dnya Logika v epohu Vozrozhdeniya i v Novoe vremya Pravit Etot istoricheskij period v logike otmechaetsya poyavleniem mnozhestva krajne znachimyh dlya nauki publikacij Frensis Bekon v 1620 godu opublikovyvaet svoj Novyj organon soderzhashij osnovy induktivnyh metodov usovershenstvovannyh pozdnee Dzhonom Styuartom Millem i poluchivshih nazvanie metodov ustanovleniya prichinnyh svyazej mezhdu yavleniyami Bekona Millya Sut indukcii obobsheniya v voshozhdenii v processe poznaniya ot chastnyh sluchaev k obshim pravilam Takzhe neobhodimo iskat prichiny svoih oshibok V 1662 godu v Parizhe izdan uchebnik Logika Por Royalya avtorami kotorogo yavlyayutsya P Nikol i A Arno sozdavshie logicheskoe uchenie na osnove metodologicheskih principov Rene Dekarta istochnik ne ukazan 282 dnya Sovremennaya logika Pravit V konce XIX nachale XX vekov byli zalozheny osnovy t n matematicheskoj ili simvolicheskoj logiki Eyo sut zaklyuchaetsya v tom chto dlya obnaruzheniya istinnostnogo znacheniya vyrazhenij estestvennogo yazyka mozhno primenyat matematicheskie metody Imenno ispolzovanie simvolicheskoj logiki otlichaet sovremennuyu logicheskuyu nauku ot tradicionnoj Ogromnyj vklad v razvitie simvolicheskoj logiki vnesli takie uchyonye kak Dzh Bul O de Morgan G Frege Ch Pirs i dr V XX veke matematicheskaya logika oformilas v kachestve samostoyatelnoj discipliny v ramkah logicheskoj nauki Nachalo XX veka oznamenovalos stanovleniem idej neklassicheskoj logiki mnogie vazhnye polozheniya kotoroj byli predvoshisheny i ili zalozheny N A Vasilevym i I E Orlovym V seredine XX veka razvitie vychislitelnoj tehniki privelo k poyavleniyu logicheskih elementov logicheskih blokov i ustrojstv vychislitelnoj tehniki chto bylo svyazano s dopolnitelnoj razrabotkoj takih oblastej logiki kak problemy logicheskogo sinteza logicheskoe proektirovanie i problemy logicheskogo modelirovaniya logicheskih ustrojstv i sredstv vychislitelnoj tehniki V 80 h godah XX veka nachalis issledovaniya v oblasti iskusstvennogo intellekta na baze yazykov i sistem logicheskogo programmirovaniya Nachalos i sozdanie ekspertnyh sistem s ispolzovaniem i razvitiem avtomaticheskogo dokazatelstva teorem a takzhe metodov dokazatelnogo programmirovaniya dlya verifikacii algoritmov i programm dlya EVM V 80 e gody nachalis takzhe izmeneniya v obrazovanii Poyavlenie personalnyh kompyuterov v srednih shkolah privelo k sozdaniyu uchebnikov informatiki s izucheniem elementov matematicheskoj logiki dlya obyasneniya logicheskih principov raboty logicheskih shem i ustrojstv vychislitelnoj tehniki a takzhe principov logicheskogo programmirovaniya dlya kompyuterov pyatogo pokoleniya i razrabotke uchebnikov informatiki s izucheniem yazyka ischisleniya predikatov dlya proektirovaniya baz znanij istochnik ne ukazan 282 dnya Osnovnye ponyatiya nauki logiki PravitPonyatiya logiki neobhodimye dlya ponimaniya predmeta 19 Abstrakciya Adaptaciya Analogiya Antinomiya Argumentaciya Associaciya Gipoteza Dedukciya Dokazatelstvo Dokazuemost Zakony logiki Indukciya Istinnost Klassifikaciya Obobshenie Opredelenie Oproverzhenie Paradoks Paralogiya Ponyatie Priznak Semantika Sillogizm Sofizm Sofistika Suzhdenie Tavtologiya Teoriya Umozaklyuchenie Formalnyj yazykTradicionnaya logika PravitPod tradicionnoj logikoj ponimayutsya sistemy deduktivnoj logiki ne ispolzuyushie formalizovannye yazyki matematicheskoj logiki Eyo sushnost soderzhitsya v sillogistike 20 Razvivalas s IV veka do n e do konca XIX nachala XX veka 21 Klassicheskaya matematicheskaya logika PravitOsnovnye stati Matematicheskaya logika i Klassicheskaya logika Klassicheskaya tradicionnaya logika sozdavalas v pervuyu ochered dlya nuzhd matematiki poetomu eyo nazyvayut takzhe matematicheskoj logikoj 1 Klassicheskaya logicheskaya teoriya daleko ne sovershenna osnovnoe eyo soderzhanie formuliruetsya na osobom sozdannom dlya svoih celej yazyke ispolzuet predmetnoe myshlenie V nej ne predpolagaetsya ispolzovanie kontrolya pragmaticheskih oshibok pogreshnostej nelinejnostej ispolzuemyh sistem otschyota pogranichnyh oshibok opisaniya relyativizma masshtabirovaniya otnositelnost predmetov i ih prostranstvennyh harakteristik k primeru chelovek velik otnositelno muravya no v to zhe vremya mal otnositelno slona i t p Vsledstvie chego prinyato schitat normalnym fakt nalichiya v eyo yazyke paradoksov i apriornyh utverzhdenij kustovyh effektov slovarya i t p Apparat matematicheskoj logiki Pravit Etot razdel stati eshyo ne napisan Soglasno zamyslu odnogo ili neskolkih uchastnikov Vikipedii na etom meste dolzhen raspolagatsya specialnyj razdel Vy mozhete pomoch proektu napisav etot razdel Osnovnaya statya Algebra logiki Ischisleniya i logicheskie metody Pravit Etot razdel stati eshyo ne napisan Soglasno zamyslu odnogo ili neskolkih uchastnikov Vikipedii na etom meste dolzhen raspolagatsya specialnyj razdel Vy mozhete pomoch proektu napisav etot razdel Razreshimost Semanticheskoe drevo Tablicy Beta Aksiomatika Naturalnyj vyvod Ischislenie sekvencijLogicheskaya semantika Pravit Etot razdel stati eshyo ne napisan Soglasno zamyslu odnogo ili neskolkih uchastnikov Vikipedii na etom meste dolzhen raspolagatsya specialnyj razdel Vy mozhete pomoch proektu napisav etot razdel Osnovnaya statya Logicheskaya semantika Algebraicheskie semantiki Teoretiko mnozhestvennye semantiki Relyacionnye semantiki vozmozhnyh mirov Problema soderzhatelnosti semantik logicheskih sistem Kategornaya semantika Teoriya semanticheskih kategorij istochnik ne ukazan 282 dnya Teoriya modelej Pravit Etot razdel stati eshyo ne napisan Soglasno zamyslu odnogo ili neskolkih uchastnikov Vikipedii na etom meste dolzhen raspolagatsya specialnyj razdel Vy mozhete pomoch proektu napisav etot razdel Osnovnaya statya Teoriya modelej Teoriya dokazatelstv Pravit Etot razdel stati eshyo ne napisan Soglasno zamyslu odnogo ili neskolkih uchastnikov Vikipedii na etom meste dolzhen raspolagatsya specialnyj razdel Vy mozhete pomoch proektu napisav etot razdel Osnovnaya statya Teoriya dokazatelstvNeklassicheskie logiki PravitEtot razdel stati eshyo ne napisan Soglasno zamyslu odnogo ili neskolkih uchastnikov Vikipedii na etom meste dolzhen raspolagatsya specialnyj razdel Vy mozhete pomoch proektu napisav etot razdel Logiki otmenyayushie zakon isklyuchyonnogo tretego Pravit Intuicionistskaya logika Konstruktivnaya logika Logika kvantovoj mehanikiMnogoznachnye logiki Pravit Osnovnaya statya Mnogoznachnye logiki Mnogoznachnaya logika Dvuznachnaya logika Tryohznachnaya logikaNededuktivnye logicheskie teorii Pravit Induktivnaya logika Veroyatnostnaya logika Logika reshenij Logika nechyotkih ponyatij logika nechyotkih mnozhestv nechyotkaya logika Analogiya umozaklyuchenie po analogii Drugie neklassicheskie logiki Pravit Deonticheskaya logika ot dr grech deon dolg i logika lo gika norm normati vnaya lo gika razdel modalnoj logiki Operiruet ponyatiyami obyazatelstvo razreshenie norma Ty obyazan eto sdelat Tvoj dolg eto sdelat libo Ty mozhesh eto sdelat Kombinatornaya logika napravlenie matematicheskoj logiki zanimayusheesya fundamentalnymi to est ne nuzhdayushimisya v obyasnenii i ne analiziruemymi ponyatiyami i metodami formalnyh logicheskih sistem ili ischislenij 22 23 utochnite ssylku Kategorialnaya logika istochnik ne ukazan 282 dnya Kondicionalnaya logika uslovnaya logika Eyo predmet istinnost uslovnyh predlozhenij v chastnosti soslagatelnogo nakloneniya Logika kontrafakticheskih utverzhdenij istochnik ne ukazan 282 dnya Modalnaya logika Pravit Osnovnaya statya Modalnaya logika Moda lnaya lo gika ot lat modus sposob mera logika v kotoroj krome standartnyh logicheskih svyazok peremennyh i predikatov est modalnosti modalnye operatory drugie nazvaniya modalnye ponyatiya modalnye otnosheniya modalnye harakteristiki ocenki Logicheskaya teoriya yavlyaetsya modalnoj esli ona soderzhit hotya by tri modalnyh operatora ona yavlyaetsya nadstrojkoj nad logikoj assertoricheskih vyskazyvanij kvalifikacii davaemye silnymi eyo modalnostyami nesovmestimy s kvalifikaciyami davaemymi slabymi eyo modalnostyami iz prostoj istinnosti ili lozhnosti vyskazyvaniya nelzya zaklyuchit kakuyu imenno modalnuyu harakteristiku dolzhna imet ustanavlivaemaya etim vyskazyvaniem svyaz iz kvalifikacii vyskazyvaniya s pomoshyu slabogo modalnogo ponyatiya ne sleduet ni to chto vyskazyvanie istinno ni to chto ono lozhno esli vyskazyvaniyu pripisana slabaya modalnaya harakteristiki to ego otricaniyu dolzhna byt pripisana ona zhe Sm takzhe PravitSpisok logicheskih simvolov Logicheskij paradoks Opredelenie Klassifikaciya Abstrakciya Idealizaciya Aksiomatizaciya Formalizaciya Argumentaciya Metodologiya nauki Logicheskoe programmirovanie Logika v informatike Dokazatelnoe programmirovanie Avtomaticheskoe dokazatelstvo teorem Kognitivnaya psihologiya Analiticheskaya filosofiya Dinamicheskaya logika Transcendentalnaya logika Filosofskaya logikaPrimechaniya Pravit 1 2 3 4 5 6 7 8 Logika neopr Bolshaya rossijskaya enciklopediya bigenc ru Data obrasheniya 12 sentyabrya 2020 1 2 3 4 5 Bocharov V A Markin V I Vvedenie v logiku M ID FORUM INFRA M 2010 S 35 39 560 s ISBN 978 5 8199 0365 0 ID FORUM ISBN 978 5 16 003360 0 INFRA M Vladimir Vasyukov Logika Enciklopediya Krugosvet 1 2 3 4 Gorskij D N Ivin A A Nikiforov A L Kratkij slovar po logike Statya filosofskaya logika M Prosveshenie 1991 208 s ISBN 5 09 001060 9 Simvolicheskaya logika neopr Bolshaya rossijskaya enciklopediya bigenc ru Data obrasheniya 16 fevralya 2021 1 2 Novaya filosofskaya enciklopediya IF RAN filosofskaya logika Data obrasheniya 23 02 21 S S Gusev E F Karavaev G V Karpov i dr pod red A I Migunova I B Mikirtumova B I Fedorova Logika uchebnik dlya bakalavrov Moskva Prospekt 2015 Gauch H G The PEL model of full disclosure Scientific Method in Practice Cambridge University Press 2003 p 124 435pp ISBN 978 0 521 01708 4 Logika V A Bocharov Novaya filosofskaya enciklopediya v 4 t pred nauch red soveta V S Styopin 2 e izd ispr i dop M Mysl 2010 2816 s Efremova T F Novyj slovar russkogo yazyka Tolkovo slovoobrazovatelnyj nedostupnaya ssylka 2001 2002 John P Burgess angl russk Philosophical logic neopr Princeton University Press 2009 S vii viii ISBN 978 0 691 13789 6 1 2 Logicheskij zakon V I Markin Bolshaya rossijskaya enciklopediya v 35 t gl red Yu S Osipov M Bolshaya rossijskaya enciklopediya 2004 2017 Tozhdestva zakon Bolshaya rossijskaya enciklopediya v 35 t gl red Yu S Osipov M Bolshaya rossijskaya enciklopediya 2004 2017 Neprotivorechiya zakon A S Karpenko Bolshaya rossijskaya enciklopediya v 35 t gl red Yu S Osipov M Bolshaya rossijskaya enciklopediya 2004 2017 Dostatochnogo osnovaniya princip B V Biryukov Bolshaya rossijskaya enciklopediya v 35 t gl red Yu S Osipov M Bolshaya rossijskaya enciklopediya 2004 2017 Isklyuchyonnogo tretego zakon S I Adyan L D Beklemishev Bolshaya rossijskaya enciklopediya v 35 t gl red Yu S Osipov M Bolshaya rossijskaya enciklopediya 2004 2017 Ivin A A Logika M Znanie 1998 Tihonravov Yu V Filosofiya Uchebnoe posobie M Infra M 2000 269 s Getmanova A D Uchebnik po logike Arhivnaya kopiya ot 29 iyunya 2018 na Wayback Machine M Vlados 1995 ISBN 5 87065 009 7 Tradicionnaya logika Bolshaya sovetskaya enciklopediya v 30 t gl red A M Prohorov 3 e izd M Sovetskaya enciklopediya 1969 1978 Tradicionnaya logika Filosofiya Enciklopedicheskij slovar M Gardariki Pod redakciej A A Ivina 2004 Pod redakciej F V Konstantinova Logika kombinatornaya Filosofskaya Enciklopediya V 5 h t Sovetskaya enciklopediya rus M 1960 1970 Kondakov 1971 Literatura PravitLogika V A Bocharov Novaya filosofskaya enciklopediya v 4 t pred nauch red soveta V S Styopin 2 e izd ispr i dop M Mysl 2010 2816 s Issledovaniya Pravit Gusserl E Logicheskie issledovaniya T 1 Filosofiya kak strogaya nauka Novocherkassk Saguna 1994 357 s ISBN ISBN 5 7593 0138 1 Vasilev N A Voobrazhaemaya logika Izbrannye trudy Nauka 1989 264 s 6200 ekz ISBN 5 02 007946 4 Uchebnaya i spravochnaya literatura Pravit Getmanova A D Uchebnik po logike M Vlados 1995 303 s ISBN 5 87065 009 7 Kondakov N I Logicheskij slovar spravochnik M Nauka 1975 720 s Kondakov N I Vvedenie v logiku M Nauka 1967 na sajte Runivers Ivlev Yu V Uchebnik logiki Semestrovyj kurs Uchebnik M Delo 2003 208 s ISBN 5 7749 0317 6 Bocharov V A Markin V I Osnovy logiki Uchebnik M INFRA M 2001 296 s ISBN 5 16 000496 3 Bocharov V A Markin V I Glava I Predmet i osnovnye ponyatiya logiki Osnovy logiki uchebnik M INFRA M 1998 S 224 9 s ISBN 5 86225 595 8 Arhivnaya kopiya ot 7 marta 2016 na Wayback Machine Ivin A A Logika Uchebnoe posobie Izd 2 e M Znanie 1998 Na portale Filosofiya v Rossii na sajte Slavy Yanko Ivin A A Nikiforov A L Slovar po logike M Tumanit VLADOS 1997 384 s ISBN 5 691 00099 3 Gorskij D P Logika Uchebnoe posobie dlya pedagogicheskih uchilish nedostupnaya ssylka Izd 3 e M Uchpedgiz 1961 160 s Chelpanov G I Uchebnik logiki M 1994 Formalnaya logika Pod red I Ya Chupahina I N Brodskogo L LGU 1977 357 s Literatura po istorii logiki Pravit Bazhanov V A Istoriya logiki v Rossii i SSSR M Kanon 2007 336 s ISBN 5 88373 032 9 Makovelskij A O Istoriya logiki M 1967 504 s Popov P S Istoriya logiki novogo vremeni M Izdatelstvo MGU 1960 Styazhkin N I Formirovanie matematicheskoj logiki M 1967 Scholtz H Geschichte der Logik 1931 Concise History of Logic New York 1961 Literatura po kitajskoj logikeSpirin B C O tretih i pyatyh ponyatiyah v logike drevnego Kitaya Dalnij Vostok Sbornik statej po filologii istorii filosofii M 1961 Krol Yu L Spor kak yavlenie kultury drevnego Kitaya Narody Azii i Afriki 1987 2 Krushinskij A A Imena i realii v drevnekitajskoj logike i metodologii Obzor Sovremennye istoriko nauchnye issledovaniya nauka v tradicionnom Kitae M 1987 Pan Shimo KNR Logika Drevnego Kitaya kratkij ocherk Filosofskie nauki 1991 12 Chzhou Yunchzhi Osnovnye vehi razvitiya drevnekitajskoj logiki min byan eyo glavnye osobennosti i realnye dostizheniya Racionalisticheskaya tradiciya i sovremennost Kitaj 1993 S 152 178 Krushinskij A A Logika I czina Dedukciya v drevnem Kitae M 1999 Kvartalova N P Logicheskie idei traktata Gunsun Lun czy Chelovek i duhovnaya kultura Vostoka Almanah Vyp I M 2003 S 167 172 Kobzev A I Shkola imen min czya kolliziya logiki i dialektiki Kitaj v dialoge civilizacii K 70 letiyu akademika M L Titarenko M 2004 S 550 557 Logika Znacheniya v Vikislovare Citaty v Vikicitatnike Teksty v Vikiteke Mediafajly na Vikisklade Portal Logika Ssylki PravitInstitut Logiki Kognitologii i Razvitiya Lichnosti ILKiRL Federalnyj obrazovatelnyj portal Socialno gumanitarnoe i politologicheskoe obrazovanie Razdel Filosofiya Podrazdel Logika Logika v Elektronnoj biblioteke po filosofii Filosofiya v Rossii filosofskij portal philosophy ru Istoriya antichnoj kultury gt Istoriya i kultura Drevnej Grecii gt Podvig Sokrata V snoskah k state najdeny nerabotosposobnye vikissylki Ispravte korotkie primechaniya ustanovlennye cherez shablon sfn ili ego analogi v sootvetstvii s instrukciej k shablonu ili dobavte nedostayushie publikacii v razdel istochnikov Spisok snosok Kondakov 1971Istochnik https ru wikipedia org w index php title Logika amp oldid 112687237, Википедия, чтение, книга, библиотека, поиск, нажмите,

истории

, книги,

статьи

, wikipedia, учить, информация, история, секс, порно, скачать, скачать, sex, seks, porn, porno, скачать, бесплатно, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры
Style: Default