Sentence examples for sentential connective from inspiring English sources

The 'if' is no more a sentential connective than the 'and' in New York is between Boston and Washington.

These philosophers prefer to regiment grounding talk with a non-truth-functional sentential connective (Correia 2010; Fine 2001 , 2012.

Fine claims that grounding talk is best regimented with a non-truth-functional sentential connective (see §2).

The former is a sentential connective, but the latter is trans-categorical: not only formulas, but also predicates, names, and items of other logical categories can occur on the two sides of '\(\eqdf\)'.

We may use permutation to characterise logicality for more than predicates too: we may say that a one-place sentential connective " is permutation invariant if and only if p(A) is true if and only if p(A) is true.

For example, the sentential connective 'and', it is claimed, is defined by following rules: 'And'-Introduction: From \ \phi\) and \ \psi\), one may infer '\ \phi\) and \ \psi\)'; 'And'-Elimination: From '\ \phi\) and \ \psi\)', one may infer \ \phi\) and one may also infer \ \psi\).

Frege also treated sentential connectives, such as and and not, as functions producing new truth-values when applied to other sentences as arguments.

The theorist then adds to this explanation an inference-rule account of the meanings of sentential connectives, such as 'and', 'or', 'if … then'.

Boolean algebra is the algebra of two-valued logic with only sentential connectives, or equivalently of algebras of sets under union and complementation.

As every philosophy student knows, he introduced the language of predicate logic, with sentential connectives, identity, and the variable-binding operators ∀ and ∃ (in modern notation, not Frege's).

The Stoics had famously adopted a sentential perspective when investigating schemata such as modus ponens and modus tollens; Latin medieval authors, while under no direct Stoic influence, also investigated sentential operations and sentential connectives.