Учебное пособие "Логика" состоит из двух книг: "Традиционная логика" и "Современная логика". В первой книге "Традиционная логика" в систематизированном, дидактически выдержанном виде раскрывается метод логики, анализируются основные формы и законы мышления. Значительное внимание уделяется логическому анализу естественного языка, который подводит к пониманию построения формализованного логического языка, а также обеспечивает эмпирическую основу для описания выводов и доказательств в рамках специальных формализованных языков. Во второй книге "Современная логика" рассматриваются предпосылки возникновения современной логики, обосновывается деление классической логики на логику высказываний и логику предикатов, проводится типология и анализ формально-логических теорий в рамках логики высказываний и логики предикатов. Данная книга также содержит достаточно подробное описание истоков неклассической логики, анализ канонических систем многозначной логики. На основе...
Uchebnoe posobie "Logika" sostoit iz dvukh knig: "Traditsionnaja logika" i "Sovremennaja logika". V pervoj knige "Traditsionnaja logika" v sistematizirovannom, didakticheski vyderzhannom vide raskryvaetsja metod logiki, analizirujutsja osnovnye formy i zakony myshlenija. Znachitelnoe vnimanie udeljaetsja logicheskomu analizu estestvennogo jazyka, kotoryj podvodit k ponimaniju postroenija formalizovannogo logicheskogo jazyka, a takzhe obespechivaet empiricheskuju osnovu dlja opisanija vyvodov i dokazatelstv v ramkakh spetsialnykh formalizovannykh jazykov. Vo vtoroj knige "Sovremennaja logika" rassmatrivajutsja predposylki vozniknovenija sovremennoj logiki, obosnovyvaetsja delenie klassicheskoj logiki na logiku vyskazyvanij i logiku predikatov, provoditsja tipologija i analiz formalno-logicheskikh teorij v ramkakh logiki vyskazyvanij i logiki predikatov. Dannaja kniga takzhe soderzhit dostatochno podrobnoe opisanie istokov neklassicheskoj logiki, analiz kanonicheskikh sistem mnogoznachnoj logiki. Na osnove...
