Логика

ВРЕМЕННАЯ ЛОГИКА — раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи присоединенными к выражениям, обозначающим высказывания (например, к пропозициональным переменным), образуют выражения того же рода. Возникновение временной логики относится к началу 1950-х годов, к работам А. Н. Прайора. Философско-методологическим основанием временной логики является принцип конкретности истины.

ПСИХОЛОГИЗМ в логике, методологический подход к логике с точки зрения психологической трактовки её основных понятий. Возник на почве ассоцианизма. Представители: Дж. Локк, Д. Юм; Я. Ф. Фриз, Ф. Э. Бенеке, Б. Эрдман, Т. Липпс (Германия); А. Бэн (Великобритания); Н. Рождественский, М. Троицкий, Н. Я. Грот (Россия). Необходимость логических законов психологизм усматривает в непосредственных ассоциациях сознания. Суждения и умозаключения, согласно психологизму, — это сознательный синтез представлений, реализуемый в «живом процессе» мысли.

ПРОТИВОРЕЧИЯ ПРИНЦИП, закон противоречия, принцип (закон) непротиворечия, принцип отрицания (запрещения, недопустимости) противоречия, основной логический закон, согласно которому никакое высказывание (предложение, суждение) и его отрицание не могут одновременно быть истинными; такая формулировка противоречия принципа подразумевает, что никакое предложение не может быть одновременно истинным и ложным. Исторически первой была трактовка противоречия принципа, данная Аристотелем: «Невозможно, чтобы одно и то же вместе было и не было присуще одному и тому же и в одном и том же смысле».

СИЛЛОГИСТИКА (от греч. συλλογίζομαι – рассчитываю, считаю) – кванторная теория дедуктивных умозаключений, в которой исследуются логические связи между атрибутивными высказываниями, т.е. высказываниями, в которых утверждается или отрицается наличие у предметов некоторого атрибута. Первый пример силлогистики был построен Аристотелем (384–322 годы до н. э.). Его система явилась не только первой логической теорией, но и одной из первых известных в истории науки теорий вообще.

ТАВТОЛОГИЯ (греч. ταυτολογία, от ταυτό — то же самое и λόγος — слово) в логике, 1) крайний случай логической ошибки «предвосхищение основания» (лат. petitio principii), а именно: когда нечто определяется или доказывается тем же самым (лат. idem per idem). 2) В двузначной классической логике термин «тавтология» употребляется наравне с термином логический закон для обозначения общезначимых — всегда-истинных, или тождественно-истинных — формул, инвариантных к возможному фактическому содержанию (значениям) входящих в них переменных, т. е. к действительному «положению дел» в мире.

КОНЪЮНКЦИЯ (от лат. conjunctio — союз, связь), в широком смысле — сложное высказывание, образованное с помощью союза «и». В принципе можно говорить о конъюнкции бесконечного числа высказываний (например, о конъюнкции всех истинных предложений математики). В логике конъюнкцией называют логическую связку (операцию, функцию; обозначают: &,  ); образованное с её помощью сложное высказывание истинно только при условии одинаковой истинности его составляющих.

КОНСТРУКТИВНАЯ ЛОГИКА, 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответствующая семантика. В конструктивной логике отвергается исключённого третьего принцип и закон снятия двойного отрицания (то есть закон, согласно которому ┐┐ А влечёт А для любого суждения А; ┐  есть знак отрицания).

ОБОСНОВАНИЕ – способ убеждения в истинности (правильности) чего-либо, например, мысли или действия. Это обоснование в широком его значении, оно не связано необходимо с логикой. Обоснованием в этом смысле служат и логическое доказательство, и эксперимент, и обычный опыт. Напр., убеждение в истинности суждения «солнце греет» складывается непосредственно через ощущение, хотя, конечно, оно может быть обосновано и теоретическим рассуждением, использующим физические данные (законы) и логику.

ВОПРОС — мысль, побуждающая к ответу, в которой выражается просьба дополнить имеющуюся информацию с целью устранения или уменьшения познавательной неопределенности. Имеющаяся информация, явно или неявно содержащаяся в вопросе и выраженная в виде суждения или системы суждений, называется предпосылкой вопроса. Благодаря предпосылкам вопросы могут использоваться для передачи информации.

Различают логически корректные и логически некорректные вопросы. Вопрос является логически корректным, если на него можно дать истинный ответ, снижающий познавательную неопределенность. На логически некорректные вопросы такого ответа дать нельзя...

КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными называют объекты, являющиеся либо элементарными знаковыми образованиями (т. е. не построенными из др. знаков), относительно которых предполагается, что они однозначно опознаваемы — различаемы и отождествляемы, как, например, буквы некоторого алфавита (см.