Синкатегорематическое Выражение

- одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель (384 — 322 до н. Э.), а затем и все последующие ученые-логики. Однако в совре­менной С. Л. Был сделан качественно новый шаг в использовании символики. Стали использовать языки, содержащие только специ­альные символы и не включающие слова обычного разговорного языка.. ..

- символы, получающиеся в результате разложения предложения или иного языкового выражения на простые, далее неразложимые части. С. С. Имеют содержание даже в том случае, если взяты сами по себе. К ним относятся имена, обозначающие некоторые объекты, и пере­менные, отсылающие к какой-то области объектов. С. Н. Не имеют самостоятельного содержания, но в сочетании с одним или не­сколькими С. С. Образуют сложные выражения, имеющие самосто­ятельное содержание. С. Н. Называются также синкатегорематиче..

— одно из важнейших понятий логической семан­тики, выражающее тождество значений языковых выражений. Два выражения считаются синонимичными, если имеют одно и то же значение. Это исходное представление о С. Уточняется в логической семантике в различных отношениях. 1) по отношению к опреде­ленному языку или языкам. 2) по отношению к тем или иным видам языковых выражений (имен, предикатов, предложений и т. П.). 3) по отношению к определенному носителю языка. 4) по отношению к различным видам значен..

(греч. Syntaxis — построение, порядок) — раздел семиотики, исследующий структурные свойства систем знаков, пра­вила их образования и преобразования, отвлекаясь от их интерпре­тации. Синтаксисом формализованного языка называют систему пра- вил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.. ..