- Formal languages
- >
- Formal theories
- >
- Logical expressions
- >
- Propositions

- Formal languages
- >
- Logic symbols
- >
- Logical expressions
- >
- Propositions

- Mathematical symbols
- >
- Logic symbols
- >
- Logical expressions
- >
- Propositions

Tautology (logic)

In mathematical logic, a tautology (from Greek: ταυτολογία) is a formula or assertion that is true in every possible interpretation. An example is "x=y or x≠y". Similarly, "either the ball is green, o

Unity of the proposition

In philosophy, the unity of the proposition is the problem of explaining how a sentence in the indicative mood expresses more than just what a list of proper names expresses.

Probabilistic proposition

A probabilistic proposition is a proposition with a measured probability of being true for an arbitrary person at an arbitrary time.
* v
* t
* e
* v
* t
* e

Categorical proposition

In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the subject term) are included in another (the p

Sentence (mathematical logic)

In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, somethi

Atomic sentence

In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cann

Claim (logic)

No description available.

Propositional representation

Propositional representation is the psychological theory, first developed in 1973 by Dr. Zenon Pylyshyn, that mental relationships between objects are represented by symbols and not by mental images o

Truth value

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

Propositional formula

In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it deter

Proposition

In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, "meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same me

Truth-bearer

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 thes

Contingency (philosophy)

In philosophy and logic, contingency is the status of propositions that are neither true under every possible valuation (i.e. tautologies) nor false under every possible valuation (i.e. contradictions

Proposition 103

California voters passed Proposition 103 on November 8, 1988. It in effect made insurance companies require "prior approval" from the California Department of Insurance before implementing property an

Contradiction

In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a gen

Tautology (language)

In literary criticism and rhetoric, a tautology is a statement which repeats an idea, using near-synonymous morphemes, words or phrases, effectively "saying the same thing twice." Tautology and pleona

© 2023 Useful Links.