Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Формализованный язык (Кузнецов)

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

Философская логика

ФИЛОСОФСКАЯ ЛОГИКА - исключительно широкая область логических исследований, задача которой — философское осмысление основных понятий, используемых в современной логике, результатов, полученных средствами символической логики, а также применения логики, в основном технического аппарата неклассических логик к анализу и реконструкции различных философских проблем. 

Фикционализм математический

ФИКЦИОНАЛИЗМ МАТЕМАТИЧЕСКИЙ — представление о математических понятиях и теориях как об определенного рода логических фикциях, не имеющих отношения к структуре реальности, а лишь полезных для решения внутренних задач математики. Существуют две основные разновидности Ф.м. Первая из них возникает при различении значимых (реальных) и незначимых (нереальных) объектов математики, фикции относятся только к последним объектам. В этом случае идеальные объекты противопоставляются объектам реальным, или значимым. Фикционализм второго типа относит понятие фикции ко всем математическим понятиям.

Умозаключение (Кузнецов, 2007)

УМОЗАКЛЮЧЕНИЕ - процедура непосредственного выведения некого высказывания из одного или нескольких высказываний. Высказывания, из которых делается вывод, называют посылками У., а высказывание, которое выводится из посылок, - заключением. У. представляет собой познавательный прием, с помощью которого осуществляется преобразование содержащейся в посылках информации.

У. является простейшей разновидностью рассуждения — процедуры обоснования высказывания посредством пошагового выведения его из других высказываний; в У. переход от аргументов (их роль играют посылки) к обосновываемому тезису (заключению) происходит в один шаг. В логике У. принято формулировать следующим образом...

Тождество (Кузнецов, 2007)

ТОЖДЕСТВО - категория, выражающая равенство, одинаковость предмета (вещи, процесса и т.п.) с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, если все свойства (и отно-шения), которые характеризуют А, характе-ризуют и В, и наоборот (закон Лейбница). Категория абстрактного Т. характеризует внешнее Т., сходство, одинаковость. Однако, поскольку материальная действительность постоянно изменяется, абсолютно тождественных самим себе предметов (вещей, процессов и т.п.), даже в их существенных свойствах, не бывает.

Тождества принцип

ТОЖДЕСТВА ПРИНЦИП - методологическое требование определенности мышления, в соответствии с которым в процессе рассуждения некий термин должен употребляться в одном и том же смысле. Хотя предметы, существующие в объективной действительности, непрерывно изменяются, в понятиях об этих предметах выделяется нечто неизменное. В процессе рассуждения нельзя изменять понятия без специальной оговорки, т.е. при изменении смысла термина следует об этом сообщить, чтобы не быть понятым неправильно.

Теория типов (Кузнецов)

ТЕОРИЯ ТИПОВ - теория, созданная Б. Расселом и А.Н. Уайтхедом на пути построения такой логической системы, которая обеспечит развитие математики, свободной от парадоксов, в частности тех, которые были обнаружены в «наивной» теории множеств Кантора. Т.т., согласно замыслу ее создателей, должна была лежать в основании программы обоснования математики, вошедшей в историю под названием логицизма. Рассел считал, что все логические парадоксы, а также и все парадоксы теории множеств сводятся к парадоксу «лжец». Поэтому Т.т. строится таким образом, чтобы исключить возможность образования суждений, оборачивающихся на самих себя. Для этого все логические высказывания делятся на классы в соответствии с областью определения. К первому классу относятся объекты или индивидуумы...

Тавтология (Кузнецов, 2007)

ТАВТОЛОГИЯ (греч. … — то же самое, … — слово) — всегда истинное высказывание в силу заключенных в нем значений. Простейшими Т. являются высказывания вида «А есть А» («Человек есть человек» и т.п.). Но это крайний случай, не имеющий большого познавательного значения. Более важный случай Т. представлен системой аналитических суждений, широко применяемых в науке. Аналитические суждения всегда истинны вследствие того, что их предикат лишь выявляет признаки субъекта, использованные при его определении. Таковы суждения «Тело протяженно», «Человек мыслит» и т.п.

Суппозиция

СУППОЗИЦИЯ - понятие средневековой логики, впервые рассмотренное Иоанном Дунсом Скотом (1265—1308) и понимаемое им как возможность или невозможность замещения переменного термина конкретным постоянным термином, взятым из множества однородных предметов. Понятие С.

Страницы