Введение
Сущности, которые, как говорят, являются истинными или ложными Носителем истины является сущность, которая, как говорят, является либо истинной, либо ложной и ничего больше. Тезис о том, что некоторые вещи истинны, а другие ложны, привел к разным теориям о природе этих сущностей. Поскольку мнения по этому вопросу расходятся, термин "носитель истины" используется для того, чтобы быть нейтральным среди различных теорий. Кандидаты на носителей истины включают предложения, предложения, символы предложения, утверждения, убеждения, мысли, интуицию, высказывания и суждения, но разные авторы исключают одно или несколько из них, отрицают их существование, утверждают, что они истинны только в производном смысле, утверждают или предполагают, что термины являются синонимами, или стремятся избежать рассмотрения их различия или не разъясняют его.
A truth bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth bearer is used to be neutral among the various theories. Truth bearer candidates include propositions, sentences, sentence tokens, statements, beliefs, thoughts, intuitions, utterances, and judgements but different authors exclude one or more of these, deny their existence, argue that they are true only in a derivative sense, assert or assume that the terms are synonymous,
or seek to avoid addressing their distinction or do not clarify it.
Введение
Некоторые различия и терминология, используемые в этой статье, основанные на Wolfram 1989 (глава 2, раздел 1), следуют. Следует понимать, что описанная терминология не всегда используется в указанных способах, и она введена исключительно в целях обсуждения в этой статье. Используются разграничения типа "token" и "use" упоминания. Полезно подумать о том, как часто встречаются цифры. В грамматике предложение может быть заявлением, объяснением, вопросом, командой. В логике декларативным предложением считается предложение, которое может быть использовано для передачи истины. Некоторые предложения, которые грамматически декларативны, не являются таковыми логически. Характер - это типографический символ (печатанный или написанный) и т. д. Слово-токен - это образец символов. Тип слова - это идентичный образец символов. Значительное слово-токен - это значимый образец символов. Два токена слова, которые означают то же самое, имеют одно и то же значение. Токен предложения - это шаблон токенов слова. Знаменательный знак предложения - это знаменательный знак предложения или знаменательная модель знаменательных слов. Два символа предложения являются одним и тем же типом предложения, если они идентичны символам символов слова. Декларативный символ предложения - это символ предложения, который может использоваться для передачи правды или передачи информации. Значительное декларативное предложение - это знаковое декларативное предложение Два знаковых декларативных предложения - это то же самое значение, если они идентичны. Токен декларативного предложения без смысла - это токен декларативного предложения, который не является токеном декларативного предложения со смыслом. Использование значков смысленного декларативного предложения происходит тогда и только тогда, когда значков смысленного декларативного предложения используются декларативно. Ссылочный выражение - это выражение, которое может быть использовано для выбора или ссылки на конкретную сущность. Референциальный успех - это успех ссылочного выражения в идентификации конкретной сущности. Референциальная ошибка - это ошибка ссылочного выражения в идентификации конкретной сущности. Референциально успешное использование символов декларативных предложений с значимым значением - это символическое использование символов декларативных предложений с значимым значением, не содержащее ссылочного выражения, которое не идентифицирует конкретную сущность.
(Chapter 2 Section1) follow. It should be understood that the terminology described is not always used in the ways set out, and it is introduced solely for the purposes of discussion in this article. Use is made of the type–token and use–mention distinctions. Reflection on occurrences of numerals might be helpful. In grammar a sentence can be a declaration, an explanation, a question, a command. In logic a declarative sentence is considered to be a sentence that can be used to communicate truth. Some sentences which are grammatically declarative are not logically so. A character is a typographic character (printed or written) etc. A word token is a pattern of characters. A word type
is an identical pattern of characters. A meaningful word token
is a meaningful pattern of characters. Two word tokens which mean the same are of the same word meaning
A sentence token is a pattern of word tokens. A meaningful sentence token
is a meaningful sentence token or a meaningful pattern of meaningful word tokens. Two sentence tokens are of the same sentence type if they are identical patterns of word tokens characters
A declarative sentence token is a sentence token which that can be used to communicate truth or convey information. A meaningful declarative sentence token is a meaningful declarative sentence token
Two meaningful declarative sentence tokens are of the same meaningful declarative sentence type
if they are identical patterns of word tokens. A nonsense declarative sentence token
is a declarative sentence token which is not a meaningful declarative sentence token. A meaningful declarative sentence token use
occurs when and only when a meaningful declarative sentence token is used declaratively. A referring expression
is expression that can be used to pick out or refer to particular entity. A referential success
is a referring expression's success in identifying a particular entity. A referential failure
is a referring expression's failure to identify a particular entity. A referentially successful meaningful declarative sentence token use
is a meaningful declarative sentence token use containing no referring expression that fails to identify a particular entity.
Предложения на языках классической логики
В классической логике предложение на языке истинно или ложно при (и только при) интерпретации и поэтому является носителем истины. Например, язык в первом порядке предикативного исчисления может включать в себя один или несколько предикативных символов и одну или несколько индивидуальных констант и одну или несколько переменных. Интерпретация такого языка будет определять домен (вселенную дискурса); присваивать элемент домена каждой индивидуальной константе; присваивать обозначение в домене некоторого свойства каждому унитарному (одному месту) предикатному символу. Например, если язык L состоит из индивидуальной константы a, двух уничных предикативных букв F и G и переменной x, то интерпретация I L может определить область D как животных, назначить Сократа a, обозначение свойства - человек F, а обозначение свойства - смертный G. В соответствии с интерпретацией I L, Fa будет истинным, если и только если Сократ является человеком, а предложение x ((Fx Gx) будет истинным, если и только если все люди (в области) смертны. В некоторых текстах интерпретация дает "смысл" символам языка. Поскольку Фа имеет значение true в некоторых (но не во всех) интерпретациях, то не тип предложения Fa считается истинным, а только некоторые предложения символов Fa в определенных интерпретациях. Знак Фа без интерпретации не является ни истинным, ни ложным. Некоторые предложения языка, подобного L, считаются истинными при всех интерпретациях предложения, например, x ((Fx Fx), такие предложения называются логическими истинами, но опять же такие предложения не являются ни истинными, ни ложными в отсутствие интерпретации.
Мысли
Фреге (1919) утверждал, что индикативное предложение, в котором мы сообщаем или заявляем что-то, содержит как мысль, так и утверждение, оно выражает мысль, а мысль является смыслом предложения.