Хотелось бы прояснить раз и навсегда терминологические вопросы. Открываем википедию
Формальная логика - наука, изучающая мышление с т. зр. его способности быть оформленным в языке
математическая логика включает -
Алгебра логики - Логика высказываний - Теория доказательств
- Теория моделейкак видите, ни слова про логику предикатов
на другом сайте - academic.ru
Логика предикатов как раздел символической логики включает в себя логические теории разных типов, отличающиеся как выразительными возможностями языков...(Символическая-синоним математической)
Слава богу хоть здесь упомянули логику предикатов как раздел. А то даже школьникам дают задачи на предикаты...
На 3 сайте такая классификация:
тип матем. моделей формальной логики.- Логика высказываний, Логика предикатов, Логика нечетких множеств и отношений, Реляционную логикаЧас от часу не легче. Оказывается те кто добросовестно овладел всеми приемами логики высказываний, выводами формул, решения логич уравнений, приведения к ДНФ и СДНФ и проч для полного овладения надо еще овладеть и fuzzy logic да еще и реляционной алгеброй - т.е языком SQL-запросов
Запутаться легко. Задаю свои вопросы.
1)точная классификация предмета и областей математической логики и отличие ее от предмета формальной логики
2)Можно ли средствами мат логики изучать такие издавна известные формы формальной логики как силлогизмы, логические квадраты и т.п.
3)можно ли средствами уж не знаю какой логики выразить
психологическое и литературное понятие как
"смена любви и ненависти" т.е
когда (обычно женщина) влюбляется можно испытывать такую гамму противоположных состояний.
2)Какие математические подходы есть для описания диалектической логики, т.е
развития через цепочку отрицаний?
Редактировалось 2 раз(а). Последний 03.03.2013 14:30.
