1) Фактически, формальная логика занимается оценкой суждений по формальным критериям. Формальная логика это логика формы. Под формой понимают способ связи составных частей какого-либо рассуждения. Для ФЛ важно как выглядит рассуждение, важен «внешний вид» мысли, но не содержание. Другими словами, формальная логика занимается структурой мысли, но не её содержанием. Рассуждение которое построено в соответствии с законами логики считается верным. Что рассуждение содержит по сути, как это соотноситься с реальностью не имеет для формальной логики значения. Существует язык логики высказываний, когда логическая структура представлена в строго формализованном виде(в виде переменных). Какой смысл у переменных, что они означают это не важно. Например, закон «двойного отрицания» на языке логики высказываний можно записать так :
.
Взамен переменных можно подставлять практически любые высказывания и с точки зрения ФЛ, это будет верным. Пусть, A =
«Путин пидорaз» , тогда выражение
будет означать
«Неверно, что Путин не пидорaз»(
не (Путин
не пидорaз) ) , следовательно ( --> )
«Путин пидорaз». С точки зрения формальной логики это верно, но какая на самом деле ориентация у ВВП нам неизвестно.
Пример, что привел Петро про «фыфочку», вполне нормальный пример, правильного с точки зрения формальной логики рассуждения. Что он содержит по сути, что означают понятия «фыфочка», «дудонят» для ФЛ неважно. Эти понятия могут оказаться бредом шизофреника, а можно их наделить смыслом. Например, если фыфочка=курочка, дудонят=гладят, урдит=кудахтает, тогда рассуждение приобретает смысл. Как это соотносится с реальностью, насколько верно то, что курица всегда кудахтает, когда ее гладят для формальной логики неважно.
2) Закон исключения третьего — один из основополагающих законов ФЛ, вызывает дискуссии со времен Сократа. «Дверь открыта или закрыта ?», Может ли дверь быть приоткрыта или открыта на половину, или на 20% или на 2.002 градусов? Закон исключения хорошо работает для конечных множеств, но приводит к парадоксам для бесконечного множества. Я не собираюсь ни с кем вступать в дискуссии по этому поводу, кто не согласен , пусть ГУГЛит
« теория множеств парадокс брадобрея, парадокс Рассела» и «
закон исключения третьего для бесконечных множеств».
3) Говорить, что логика или математика чисто придуманы человеком и вообще не имеют отношения к реальности -- тоже не верно. Законы логики и математики — объективны, они отражают определенные закономерности, которые имеются в природе, но
«отражают» не означает
«отражают без искажений».
