Словарь логики

  • характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. Каждому предмету присуще бесчисленное количество с

  • в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами "есть",

  • раздел логики (металогики), исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Проблемы семантик

  • класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложен

  • см.: Антиномия

  • классическое понятие истины, уточненное с помощью технических средств логической семантики. Это уточнение было осуществлено польским ма

  • общая теория знаковых систем, к числу которых относятся как естественные языки, так и специальные языки конкретных наук, искусственные яз

  • (от греч. sillogismos) категорический дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму ("Все S суть Р", "

  • (от греч. symbolon - знак, опознавательная примета) идея, образ или объект, имеющий собственное содержание и одновременно представляющий в обоб

  • система знаков (символов), используемая в логике для обозначения термов, предикатов, выска-зываний, логических функций, отношений между вы

  • одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель (384 - 322 до н. э.), а затем и в

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

  • , см.: Символы собственные и несобственные

  • одно из важнейших понятий логической семантики, выражающее тождество значений языковых выражений. Два выражения считаются синонимичными

  • (греч. syntaxis - построение, порядок) раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразован

  • класс однотипных выражений словаря формализованного языка. Этот словарь обычно включает: индивидные знаки - константы и переменные; преди

  • , см.: Логическое следование

  • , см.: Логическое следование

  • высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: "

  • одна из модальных характеристик высказывания наряду с возможностью, необходимостью и невозможностью; высказывание случайно, когда и оно

  • в повседневной речи синоним значения. В логической семантике общее значение языковых выражений расщепляют на две части: предметное значе

  • , см.: Понятие

  • требование, чтобы выдвигаемое положение (гипотеза) соответствовало не только тому факти-ческому материалу, на базе которого и для объясне

  • вид отношения между понятиями и суждениями. Два понятия называются совместимыми, если их объемы совпадают полностью или частично, т. е. име

  • одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. - начале XX в. В качестве дру

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

  • , см.: Понятие

  • (от греч. soros - куча) цепь сокращенных силлогизмов, в которых опущена или большая, или меньшая посылка. Различают два вида С.: 1) С., в котором на

  • рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утвержд

  • столкновение мнений или позиций, в ходе которого стороны приводят аргументы в поддержку своих убеждений и критикуют несовместимые с посл

  • , см.: Абсолютные и сравнительные модальности

  • , см.: Импликация, Парадоксы импликации, Логика

  • комплексная характеристика рассуждения, учитывающая степень ясности и точности используемых в нем терминов, достоверность исходных прин

  • мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утв

  • (от лат. suppositio - подкладывание, подмена) термин, использовавшийся средневековыми логиками для обозначения разных употреблений термина. В о

  • см.: Определение понятия

  • наличие хотя бы одного общего признака у изучаемых предметов. Отношение сходства двух предметов в достаточно определенных признаках обла