
- •9.09. Лекция Логика как наука. Ее предмет и значение История возникновения логики
- •Общественно-политические факторы возникновения логики
- •Характер науки в античности
- •Положение философа в античном полисе
- •Краткая история науки
- •10.09. Практика.
- •1.10. Практика.
- •23.09.09 Лекция Мышление и Язык
- •Эволюционная природа языковой деятельности
- •Предмет и методы в традиционном определении логики
- •Понятие
- •Логическая структура понятия
- •Операции над понятиями:
- •7.10. Лекция. Операции над понятиями
- •Основания «теории множеств»
- •Операции с множествами
- •Операции
- •18.11 Лекция Суждения.
- •Простые категорические суждения
- •Проблема истинности сужений
- •26.11 Практика Логический квадрат-схема отношений между простыми категорическими суждениями.
- •2.12. Лекция
- •Основные положения логики высказываний
- •Пропозициональные связки
- •Алгоритм построения таблицы:
- •Основы модальной логики
Проблема истинности сужений
Различение понятий «истинность» и «истина»
Что считать истинным? Какую форму?
Э. Кант выделял два вида знаний:
- априорное
- апостериорное –строиться на основе опытных данных
Априорное суждение ( по Канту):
Аналитическое – ничего не говорит нового о предмете (небо голубое)
Синтетические – составляя, которые мы получаем некоторое новое знание (свойства и структура древесины)
«быть» и «быть познающим» - разные вещи.
Различие бытия и сознания
Если проводить различие истины и истинности по линии различия бытия и сознания, то истинным можно назвать лишь содержание нашего сознания ( т.е. идеи, сужения). Данное различение относительно т.к. , во-первых, относительно разделение форм мысли. В нашем мышлении понятия и суждения могут переходить друг в друга или выступать как функции друг друга. Во-вторых, с разделением бытия и сознания связано глубокое философское заблуждение о существовании субъекта и объекта.
Кроме того, для определения истинности суждения должен существовать четкий и ясный критерий. Традиционно этим критерием выступает опыт. Однако часто превратное понимание опыта, сводящие его к чувственному восприятию.
=>Существует уровень опыта, который можно считать универсальным, абсолютным критерием истинности, а именно, это опыт, который ставит под сомнение саму проблему бытия или сознания ( опыт сознания, мышления и бытия).
Опыт , стирающий границу между субъектом и объектом, сознанием и бытием, в первом приближении может носить имя истины.
Платон об истине
По Платону существует три рода logosa:
Философский
Софистический
Политический
Два вида logosa:
Logos истинный
Logos ложный
Рассуждения в диалоге «Софист» показывают, что два вида логоса обусловлены внутренней диалектикой бытия и небытия. Исходя из того, что истинные и ложные высказывания являются высказываниями(логос), небытие, по Платону, корениться в бытии. Небытие поэтому не следует понимать как отрицание бытия, но как условие бытия. Иллюстрацией этого может служить связка «есть» в простых категорических суждениях.
Суждение является выражением способности понятия к саморазличению. Из этого саморазличения возникает осмысленность всякого высказывания.
Связка «есть» является условием построения суждения. Но самостоятельной логической формой эта связка не является, в речи часто не произноситься. Обретает значение только за счет сужения в целом, поэтому связка «есть», по Аристотелю, к бытию не относиться, тем не мене выступает условием высказывания, поэтому Аристотель, развивая свою систему логики, признавал то или иное значение истинности зависимым от способа связи терминов в суждении.
Теория суждения Аристотеля логически следует из его учения о возможном и действительном бытии. По Аристотелю, явления, вещь или события могут быть:
Невозможными
Невозможными, но действительными
Недействительными, но возможными
Действительными и возможными
Возможность, вещь, явление является ситуацией/характеристикой, в которой вещь или явление может быть описано исключающими друг друга способами. На языке действительности ( действительного события) такой способ описания является противоречивым. Таким образом, возможность ( потенция) не используется Аристотелем для определения сущности.
Энтелехия – действительная сущность. Исходя из этих категорий бытия, Аристотель выстраивает сою логику, которая является логикой бытия, сущности, непротиворечивости (двузначности)
Так выглядит Аристотелевский ход обоснования истинности/ложности суждения.
Кроме классической, Аристотелевской концепции истинности существует:
Корреспондентная теория
Когерентная теория
Семантическая теория
В логике нет единодушия в описания критерия истины.
Корреспондентная теория исходи из критерия опыта (эмпирия). Корреспондентная теория принимает в качестве критерия существование некого Абсолюта, именно он удостоверяет истинность высказывания.
Семантическая теория выбирает в качестве критерия истинности высказывания – древние высказывания.
В неформальном направлении логики, котором занимаются исследованием действительными процессами мышления и коммуникации, понятие истинности вообще заменяется понятием успешности.
Логический смысл суждения - он используется для построения умозаключения.
Логическое значение суждения – быть истинным или ложным.