Discover published sets by community

In truth-conditional semantics, a proposition is an abstract entity that represents the meaning of a declarative sentence and can either be true or false.

An extension of truth-conditional semantics where truth conditions are considered in relation to different 'possible worlds', allowing for the evaluation of modal and conditional statements.

Alfred Tarski's formulation defines truth in relation to language and the world, stating, for example, 'The sentence 'Snow is white' is true if and only if snow is white', thus connecting linguistic statements to their corresponding reality.

A branch of truth-conditional semantics that uses models to interpret the language, where a model defines what objects exist and what statements are true about them.

In truth-conditional semantics, entailment is the relationship between statements where if one statement is true, another statement must also be true.

In truth-conditional semantics, 'extension' refers to the set of things a term applies to, while 'intension' refers to the inherent sense or the concept it conveys.

The principle that the meaning of a complex expression depends solely on the meanings of its constituent expressions and the rules used to combine them.

The principle that every proposition has exactly one truth value: either it is true or it is false, foundational to classic truth-conditional semantics.

A contradiction is a pair of statements that cannot both be true at the same time within truth-conditional semantics, reflecting an inconsistency in propositions.