- эквивалентные высказывания
- мат. equivalent sentences
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
СТОИЦИЗМ — учение одной из наиболее влиятельных филос. школ античности, основанной ок. 300 г. до н.э. Зеноном из Китиона. История С. традиционно делится на три периода: ранняя стоя (Зенон, Клеанф, Хрисипп и их ученики, 3 2 вв. до н.э.), средняя стоя… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
МЫШЛЕНИЕ — направленный процесс переработки информации в когнитивной системе живых существ. М. реализуется в актах манипулирования (оперирования) внутренними ментальными репрезентациями, подчиняющимися определенной стратегии и приводящими к возникновению… … Философская энциклопедия
ИНТЕНСИОНАЛ — ИНТЕНСИОНАЛ одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания… … Философская энциклопедия
ПЕРФОРМАТИВ — (от лат. performo – действую). Тип высказывания, в котором слиты воедино обозначение, кодирование некоторого действия и само действие, т. е. произнесение такого высказывания и есть действие. К перформативным относятся высказывания с глаголами… … Новый словарь методических терминов и понятий (теория и практика обучения языкам)
ПРИНЦИП ИСКЛЮЧЕННОГО ТРЕТЬЕГО — (распространенное лат. название – tertium non datur) – логич. закон, состоящий в том, что для всякого высказывания Л истинно по крайней мере одно из двух высказываний: само А или его отрицание (символически пишется A∨A и читается: А или не A).… … Философская энциклопедия
Атеизм — Запрос «Бога нет» перенаправляется сюда; об альбоме группы «ДК» см. Бога нет (альбом). Один из символов атеизма, стилизованное изображение атома … Википедия
АТЕИЗМ — (от греч. άθεος, безбожный) неверие в существование каких либо сверхъестественных сил или существ (например, бога, богов, дьявола, духов, ангелов и тому подобное) или отрицание их существования, а также связанное с этим отрицание… … Википедия
Соответствие Карри — Соответствие Карри Ховарда (изоморфизм Карри Ховарда, англ. formulae as types interpretation) наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… … Википедия
Синонимия — (от греч. συνωνυμία одноимённость) тип семантических отношений языковых единиц, заключающийся в полном или частичном совпадении их значений. Синонимия свойственна лексической, фразеологической, грамматической, словообразовательной системам… … Лингвистический энциклопедический словарь
Суждение — Суждение форма мышления, в которой что либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике. В математической логике суждениям… … Википедия