Тема № 3 Формализованный язык логики

ОГЛАВЛЕНИЕ
Введение 3
1. Понятие и структура языка логики 4
2. Символический язык логики 10
Заключение 15
Список литературы 16

).А так же, в языке попадаются как говорится логические термины (логические постоянные, либо логичные константы). [5]В непосредственном языке присутствуют слова и сочетания слов: «и», «либо», «в случае если... то», «равносильно», «эквивалентно», «не», «неверно, что», «любой» («всякий», «все»), «некие», «кроме», «только», «тот... который», «ни... ни», «хотя... но», «в случае если и только лишьесли» и многие другие, выражающие логические константы (постоянные).В символической (либо математической) логике в виде подобных констант традиционно применяются конъюнкция, дизъюнкция, самоотрицание, импликация, эквиваленция, кванторы общности и существования и кое-какие остальные.В символической логике логичные термины (логичные постоянные) описываются последующим способом: Конъюнкция отвечает союзу «и». Конъюнктивное высказывание отмечается , либо , или (к примеру, «Закончились лекции (а), и учащиеся вузов направились домой (b)») .Дизъюнкция отвечает союзу «или». Дизъюнктивное суждение обозначается: (вольная дизъюнкция) и (правильная дизъюнкция); различие их в том, что при строгой дизъюнкции непростое суждение подлинно лишь в том случае, если подлинно одно из образующих суждений, но не два, а при вольной дизъюнкции настоящими имеют все шансы быть сразу два суждения. «Он спортсмен либо шахматист» намечается как «В данный моментПетров находится дома либо в вузе» классифицируется как Импликация подходит союзу «в случае если... то». Относительное суждение обозначается: либо (к примеру, «Если будет не плохая погода, то мы сходим в лес»).Эквиваленция подходит словам «в случае если и лишь если»,«тогда и лишь тогда, как скоро», «равносильно». Эквивалентное выражение классифицируется , либо , либо Отрицание соответствует словам «не», «неверно, что». Отрицание выражения классифицируется (к примеру, «идет снег» (а); «неверно, что падает снежок» .Квантор общности классифицируется и отвечает квантовым словам «все» («любой», «любой», «ни один»). •— заметка в математической логике (к примеру, в суждении «Все красноватые мухоморы опасны» кванторное слово «все»).Квантор существования обозначается 3 и соответствует словам «некоторые», «существует».—запись в математической логике (например, в суждениях «Некоторые люди имеют высшее образование» или «.Существуют люди, которые имеют высшее образование» кванторные слова выделены курсивом).[6]Выразим в форме схемы разновидности семантических категорий (рис. 2).Примеры1. Определить дескриптивные и логические термины в суждении: «Все организмы являются одноклеточными или многоклеточными». В этом суждении дескриптивными терминами являются: «организм», «многоклеточный организм», «одноклеточный организм», а логическими терминами: «все», «или».2. Определить, к каким семантическим категориям относятся следующие выражения: а) листья, упавшие на землю (дескриптивный термин, имя предмета); б) листья упали на землю (суждение, выраженное в форме повествовательного предложения); в) на всякое погруженное в жидкость тело действует выталкивающая сила (суждение, выраженное в форме повествовательного предложения); г) вы пойдете сегодня в библиотеку? (вопросительное предложение, не содержащее суждения); д) брат Ивана (дескриптивный термин, имя предмета).Покажем, каким образом, используя семантические категории, можно выявлять логическую структуру мыслей. Ниже приводятся четыре сложных суждения, структуру которых надо выразить в виде формул, используя введенные логические термины.1. Если у меня будет свободное время (а) и я сдам экзамены по педагогике (b) и психологии (с), то я поеду отдыхать в Крым (d) или на Кавказ (е).Формула:Здесь буква а обозначает суждение: «У меня будет свободное время»; буква b— суждение: «Я сдам экзамен по педагогике»; буква с — суждение: «Я сдам экзамен по психологии»; буква d— «Я поеду отдыхать в Крым»; буква е — «Я поеду отдыхать на Кавказ».2. «Если человек с детства и юности своей не давал нервамвластвовать над собой, то они не привыкнут раздражаться и будут ему послушны» (К. Д. Ушинский).Формула:Здесь буква а обозначает суждение: «Человек с детства давал нервам властвовать над собой». А так как у нас имеется отрицание («не давал»), то запишем3. «И добродетель стать пороком может, когда ее неправильно приложат» (В. Шекспир).Чтобы выявить структуру этого суждения, надо сначала четко выявить основание и следствие, а для этого данное суждение следует привести к четкой логической форме: «Если добродетель неправильно приложат (а), то она может стать пороком (b)».Формула:4. «Если ребенок вырастил розу для того, чтобы любоваться ее красотой, если единственным вознаграждением за труд стало наслаждение красотой и творение этой красоты для счастья и радости другого человека, — он не способен на зло, подлость, цинизм, бессердечность» (В. А. Сухомлинский).Формула: [9]ЗаключениеТребуемая связь мышления и языка, при которой язык появляется материальной основой мыслей, обозначает, что обнаружение логических структур может быть только путем анализа языковых выражений. Сходственно тому, как к ядру ореха можно добраться, только вскрыв его скорлупу, так и логические формы имеют все шансы быть обнаружены только, методом анализа языка.С содействием приведенного логического языка основывается формализованная логическая система, именуемая исчислением предикатов. Составляющие языка логики предикатов будут применены в последующем изложении для рассмотрения раздельных частей естественного языка.Список литературыКириллов В.И., Старченко А.А. Логика. - М.,1998.Гетманова А.Д. Учебник по логике. - М., 1995. Брюшинкин В.Н. Практический курс логики для гуманитариев. - М., 1994.Формальная логика. - Л., 1977.Логика в правовом сознании / Под ред. А.Б. Венгерова. - М., 1984Бочаров В.А., Маркин В.И. Основы логики. М.,1994.Войшвило Е.К., Дегтярев М.Г. Логика. М., 1994Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике. — М., 1991.Ивин А.А. Практическая логика. Задачи и упражнения. — М., 1996.Кириллов В.И., Старченко А.А. Логика. М.:"Юрист". 2001Свинцов В.И. Логика. М., 1987.