Философский словарь
- раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в других случаях - как расширение логики высказываний....
(от лат. combinare - соединять, сочетать) - одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия "переменная", "функция", "правила подстановки" и т. д.). В...
см.: Многозначная логика.
- логическая теория модальных операторов, применяемых к высказываниям или предикатам. Модальность - категория, выражающая отношение высказывания (суждения) к действительности или отношение говорящего к содержанию высказываемого. Модальность может иметь значение утверждения, приказания, пожелания и...
- дисциплина, применяющая понятия и технический аппарат современной формальной логики к анализу систем научного знания.
-применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логической формой,...
— применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логической формой,...
- совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе современной логики. Начавшаяся в конце XIX - начале...
- термин, объединяющий различные логические системы, отрицающий те или иные из фундаментальных законов логики (см. "Закон логический"). Среди множества таких систем имеется возможность выделить две базовые группы логик. Во-первых, интуиционистские (близкие к ним - конструктивные) системы логики,...
см.: Деонтическая логика.
- раздел логики, изучающий свойства высказываний об отношениях между объектами различной природы. Элементарными высказываниями об отношениях являются высказывания вида akb, т. е. объект а находится в отношении k к объекту b, напр.: "а брат b", "а тяжелее b" и т. п. В зависимости от числа объектов,...
- раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логическийвывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. "Логика высказываний"), то Л. п. можно рассматривать как расширение последней. Классический вариант Л....
- основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. п. является расширенным вариантом логики высказываний. В Л. п. - в дополнение к средствам логики высказываний -вводятся...
- разновидность формальной логики, появившаяся в XIX в. и ставящая своей целью полную формализацию (математизацию) содержательных рассуждений; попытка представить последние целиком в виде математических исчислений. Символическая логика - это раздел высшей математики.
("Loguque du sens". Paris, 1969) - сочинение Делеза. Автор подвергает критике платоновско-гегелевскую (классическую) традицию, в рамках которой смысл наделялся статусом трансцендентальности, изначальной заданности, абсолютности; его не устраивает и феноменологическая версия решения данной проблемы...
см.: Традиционная логика.
- наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая деятельность, в самом широком понимании языка как...
- наука, изучающая мыслительные акты - понятия, суждения, умозаключения, доказательства - со стороны их логической структуры или формы в отвлечении от содержания. Основная задача формальной логики - сформулировать законы и принципы, соблюдение которых является необходимым условием достижения...
(от греч. episteme - знание) - раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как "полагает" ("убежден"), "сомневается", "отвергает", "знает", "доказуемо", "неразрешимо", "опровержимо" т. п. Знание отличается от убеждения, или веры: знание...
( Tractatus Ligico - philosophicus ) - гл. работа раннего этапа эволюции философских взглядов Л. Витгенштейна. Впервые опубликована в 1921 г. в Германии. В этой книге он стремится выявить границы выражения мыслей в логике языка.
- « первая
- ‹ предыдущая
- …
- 312
- 313
- 314
- 315
- 316
- 317
- 318
- 319
- 320
- …
- следующая ›
- последняя »