Существует множество схем логических выводов

.Из одних схем путем их преобразования можно получить другие. Можно, например, перестроить приведенные примеры таким образом: «Все деревья — растения, а дубы тоже растения, значит, дубы — это деревья», «Все металлы — химические элементы, а железо то­же химический элемент, значит, железо — металл», получив схему: «Все А суть В, а С тоже есть В, значит, С есть А». В обоих случаях примеры состоят из одних и тех же предложений, однако связаны последние по-разному. Не надо прилагать особых уси­лий, чтобы заметить, что в первом случае заключение «принуди­тельно» следует из посылок, и при условии их истинности оно будет истинным, а во втором принудительность отсутствует, поэ­тому истинность посылок не гарантирует истинности заключе­ния. В самом деле, являясь химическим элементом, вещество не обязательно должно быть металлом. Рассмотрим правильные и неправильные схемы рассуждений. Правильные логические формы выражают устойчивые связи между объектами любой природы, закрепленные в мышлении в виде логических законов. Правильная форма не только является способом организации элементов мысли, но и несет знания о ре­альных отношениях, настолько общие, что они истинны для объектов любой природы — и материальной, и духовной. Например, логическая форма «А есть или не есть В» выражает универсальный закон, который говорит о том, что некоторый объект или имеет некое свойство, или не имеет его. В логике это положение получило название закона исключенного третьего и применительно к ее предмету формулируется следующим образом: не могут быть истинными и одновременно ложными два высказы­вания, в одном из которых нечто утверждается об определенном объекте, а в другом то же самое отрицается относительно его.

Комментарии запрещены.