Faster access than browser!
17 relations: Axiom, Bertrand Russell, Classical logic, Domain of discourse, Empty domain, Existential clause, First-order logic, Jaakko Hintikka, Karel Lambert, List of logic symbols, Logic, Square of opposition, Structure (mathematical logic), Term (logic), Theory of descriptions, Wesley C. Salmon, Willard Van Orman Quine.
Axiom
An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.
New!!: Free logic and Axiom · See more »
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
New!!: Free logic and Bertrand Russell · See more »
Classical logic
Classical logic (or standard logic) is an intensively studied and widely used class of formal logics.
New!!: Free logic and Classical logic · See more »
Domain of discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range.
New!!: Free logic and Domain of discourse · See more »
Empty domain
In first-order logic the empty domain is the empty set having no members.
New!!: Free logic and Empty domain · See more »
Existential clause
An existential clause is a clause that refers to the existence or presence of something.
New!!: Free logic and Existential clause · See more »
First-order logic
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
New!!: Free logic and First-order logic · See more »
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician.
New!!: Free logic and Jaakko Hintikka · See more »
Karel Lambert
Karel Lambert (born 1928) is a philosopher and logician at the University of California, Irvine and the University of Salzburg.
New!!: Free logic and Karel Lambert · See more »
List of logic symbols
In logic, a set of symbols is commonly used to express logical representation.
New!!: Free logic and List of logic symbols · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Free logic and Logic · See more »
Square of opposition
The square of opposition is a diagram representing the relations between the four basic categorical propositions.
New!!: Free logic and Square of opposition · See more »
Structure (mathematical logic)
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it.
New!!: Free logic and Structure (mathematical logic) · See more »
Term (logic)
In analogy to natural language, where a noun phrase refers to an object and a whole sentence refers to a fact, in mathematical logic, a term denotes a mathematical object and a formula denotes a mathematical fact.
New!!: Free logic and Term (logic) · See more »
Theory of descriptions
The theory of descriptions is the philosopher Bertrand Russell's most significant contribution to the philosophy of language.
New!!: Free logic and Theory of descriptions · See more »
Wesley C. Salmon
Wesley C. Salmon (August 9, 1925 – April 22, 2001) was an American philosopher of science renowned for his work on the nature of scientific explanation.
New!!: Free logic and Wesley C. Salmon · See more »
Willard Van Orman Quine
Willard Van Orman Quine (known to intimates as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
New!!: Free logic and Willard Van Orman Quine · See more »
Redirects here:
Inclusive logic, Problem of existential import.
