Логика и мир: логическая онтология.

У Платона и Аристотеля учение о бытии (онтология) строится так, чтобы обосновать и сделать очевидным наличие соответствия между единицами членения языка (словами, предложениями и т.п.) и "единицами" онтологии (сущностями, из которых состоит мир). В учениях Платона и Аристотеля выделяются первичные онтологические единицы, соответствующие определенным выражениям языка. Например, у Платона первичными элементами онтологической структуры являются идеи. Мир неизменных идей предшествует и определяет мир изменчивых вещей. Но идея является не просто первоэлементом бытия, первичной бытийной определенностью; это бытие, соответствующее абстрактному понятию, т.е. нечто, обозначаемое словом, принадлежащим к определенной категории языковых выражений, а именно, к существительным типа "красота", "мужество".

У онтологической и языковой единиц, т.е. у идеи и слова, одинаковые структурные свойства. Каждому слову, обладающему одним, точно определенным (не меняющимся в зависимости от контекста) значением, соответствует самотождественная, не имеющая никаких внутренних различий, неизменная бытийная определенность — идея, которая существует независимо от других неделимых определенностей-идей, подобно тому, как слова, обозначающие эти идеи, могут рассматриваться по отдельности, а их смысл постигаться независимо. Главные характеристики идеи — ее неизменность, ее единство, превращающее ее в неделимую, не имеющую внутренних различий единицу бытия, которая обладает только ей свойственной определенностью (признаком, отличающим ее от любой другой идеи), — объясняются тем, что она является бытийным аналогом понятия и слова, выражающего это понятие.

Чтобы словам, используемым в языке, соответствовало нечто в самом мире, слова прежде всего сами должны иметь однозначный смысл, точное и определенное значение. Этот смысл (или значение) должен быть неизменным. Неизменность значения — основа определенности знания; если значения слов "плывут", то неизвестно, что хотят выразить с помощью этих слов; знание в таком случае оказывается не поддающимся рациональному выражению.

Далее, и слова, и обозначаемые ими сущности должны удовлетворять требованию абсолютного единства. Если мир состоит из онтологических единиц, соответствующих отдельным словам, то он состоит из сущностей-атомов не в физическом, а в логическом смысле, т.е. сущностей, характеризующихся одним единственным свойством, обладающих одной неделимой определенностью.

7. Логическая форма и логическое содержание мысли.

Говоря о логике как науке о формах правильных рассуждений, прежде всего, имеют в виду законы и формы правильных выводов и доказательств. При этом выделяется самое существенное в этой науке, поскольку выводы (умозаключения) играют наиболее важную роль в процессах теоретического познания. Однако уже у Аристотеля круг проблем логического характера значительно более широкий. У него анализируются не только основные формы мысли: понятия, суждения, но и многие приемы познавательной деятельности. Учитывая это, точнее было бы определить логику как науку о формах и приемах познания на ступени абстрактного мышления, о законах, которые составляют основу правильных методов, и языке как средстве познания.

Логику, в первую очередь, интересует не то, как мыслит человек, а то, как он должен мыслить для решения тех или иных задач логико-познавательного характера. Причем имеется в виду такое решение этих задач, которое обеспечивало бы достижение истинных результатов в процессе познания. В естественных же процессах мышления у нас нередко проявляется склонность к поспешным обобщениям, излишняя доверчивость к интуиции, неопределенность значений употребляемых слов. Предписания логики способствуют преодолению этих и других недостатков естественных рассуждений.

Таким образом, логика имеет не только описательный, но и нормативный (предписывающий) характер: она вырабатывает определенные требования и нормы, предъявляемые к мыслительным процедурам.

Для уяснения специфики предмета логики и особенно специфики изучаемых ею законов необходимо ознакомиться с понятиями логической формы и логического содержания мысли.

Логическая форма:

Все S есть Р.

Данное выражение обладает определенным содержанием, а именно в нем утверждается, что всякий предмет, обладающий каким-то свойством S,имеет свойство Р. Это содержание, которое представляет логическая форма высказывания, и называется логическим содержанием высказывания.

Все М есть Р.

S есть М.

Следовательно, S есть Р. (Например: Все люди (М) смертны (Р). Сократ (S) – человек (М). Следовательно, Сократ (S) смертен (Р).)

8. Формальная логика и принципы правильного мышления

Перечислим принципы правильного мышления (законы логики):

1. Закон тождества: В процессе рассуждений, в течение дискуссии всякое понятие и суждение должны быть тождественны самим себе. Иными словами, нельзя одно понятие подменять другим, а тождественные мысли выдавать за различные; это является логической ошибкой. Необходимо четко определять используемые понятия и применять их в соответствии с данным определением. Нельзя путать физическое поле со скалярным или векторным (то есть математическим) полем, ЭВМ как конкретное устройство с обобщенным понятием ЭВМ, включающим в себя совокупность всех компьютеров, не следует одним и тем же символом обозначать разные величины.

2. Закон непротиворечия: Два противоречивых суждения не могут быть одновременно истинными. Объект либо существует, либо нет, либо обладает некоторым свойством, либо не обладает им. Если утверждая существование объекта или его некоторое свойство, одновременно отрицать это же самое, то возникает логическое противоречие.

3. Закон исключенного третьего: Если имеются два противоречащих друг другу суждения, то одно истинно, другое ложно, а третьего не дано. Закон выполняется в традиционной двузначной логике, его объективными предпосылками является наличие у объектов познания устойчивых состояний, постоянных свойств и отношений между ними.

4. Закон достаточного основания: Всякое истинное суждение должно быть достаточно обосновано. Иными словами, учитель, утверждая истинность некоторого тезиса, должен предъявить достаточно убедительные доказательства. Ими являются рассуждения, опирающиеся на факты, законы, принципы, аксиомы.
Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами. Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления.