Логика высказываний и теория вывода

Main
Mathematics - Logic
Логика высказываний и теория вывода

Логика высказываний и теория вывода

Зиновьев А.А.

0 / 0

0 comments

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Настоящая книга, написанная выдающимся отечественным философом и логиком А. А. Зиновьевым, посвящена проблеме логического следования, которая, по мнению автора, является одной из центральных теоретических проблем современной логики. Проблема логического следования заключается, коротко говоря, в следующем: можно ли классическую логику высказываний непосредственно рассматривать как общую теорию вывода, дающую описание привычно ясных правил вывода если нет, то можно ли для логического следования построить систему, аналогичную построениям в классической логике высказываний? При исследовании этой проблемы автор апеллирует к интуитивному пониманию правил вывода, к эмпирическим данным рассуждений и т. п.

Kategorien:

Mathematics - Logic

Jahr:

2010

Verlag:

URSS

Sprache:

russian

Seiten:

156

Datei:

PDF, 15.63 MB