Faster access than browser!
41 relations: Alonzo Church, Aristotle, Clarence Irving Lewis, De dicto and de re, De Morgan's laws, Deductive reasoning, Duality (mathematics), Dynamic logic (modal logic), Epistemic modal logic, Extension (predicate logic), Extension (semantics), Extensionality, First-order logic, Free variables and bound variables, Frege–Church ontology, Gottlob Frege, Intension, Intensional logic, Jaakko Hintikka, Kripke semantics, Logic, Modal logic, Modal operator, Montague grammar, Open formula, Possible world, Proof calculus, Quantifier (logic), Reference, Richard Montague, Saul Kripke, Semantics of logic, Sense and reference, Stanford Encyclopedia of Philosophy, Strict conditional, Syllogism, Temporal logic, Transparent Intensional Logic, Truth value, Two-dimensionalism, William Kneale.
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
New!!: Intensional logic and Alonzo Church · See more »
Aristotle
Aristotle (Ἀριστοτέλης Aristotélēs,; 384–322 BC) was an ancient Greek philosopher and scientist born in the city of Stagira, Chalkidiki, in the north of Classical Greece.
New!!: Intensional logic and Aristotle · See more »
Clarence Irving Lewis
Clarence Irving Lewis (April 12, 1883 – February 3, 1964), usually cited as C. I. Lewis, was an American academic philosopher and the founder of conceptual pragmatism.
New!!: Intensional logic and Clarence Irving Lewis · See more »
De dicto and de re
De dicto and de re are two phrases used to mark a distinction in intentional statements, associated with the intentional operators in many such statements.
New!!: Intensional logic and De dicto and de re · See more »
De Morgan's laws
In propositional logic and boolean algebra, De Morgan's laws are a pair of transformation rules that are both valid rules of inference.
New!!: Intensional logic and De Morgan's laws · See more »
Deductive reasoning
Deductive reasoning, also deductive logic, logical deduction is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion.
New!!: Intensional logic and Deductive reasoning · See more »
Duality (mathematics)
In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one-to-one fashion, often (but not always) by means of an involution operation: if the dual of A is B, then the dual of B is A. Such involutions sometimes have fixed points, so that the dual of A is A itself.
New!!: Intensional logic and Duality (mathematics) · See more »
Dynamic logic (modal logic)
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, AI, and other fields.
New!!: Intensional logic and Dynamic logic (modal logic) · See more »
Epistemic modal logic
Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge.
New!!: Intensional logic and Epistemic modal logic · See more »
Extension (predicate logic)
The extension of a predicatea truth-valued functionis the set of tuples of values that, used as arguments, satisfy the predicate.
New!!: Intensional logic and Extension (predicate logic) · See more »
Extension (semantics)
In any of several studies that treat the use of signs—for example, in linguistics, logic, mathematics, semantics, and semiotics—the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its comprehension or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied or suggested by the concept in question.
New!!: Intensional logic and Extension (semantics) · See more »
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties.
New!!: Intensional logic and Extensionality · 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!!: Intensional logic and First-order logic · See more »
Free variables and bound variables
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation that specifies places in an expression where substitution may take place.
New!!: Intensional logic and Free variables and bound variables · See more »
Frege–Church ontology
The Frege–Church ontology is an ontology, a theory of existence.
New!!: Intensional logic and Frege–Church ontology · See more »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.
New!!: Intensional logic and Gottlob Frege · See more »
Intension
In linguistics, logic, philosophy, and other fields, an intension is any property or quality connoted by a word, phrase, or another symbol.
New!!: Intensional logic and Intension · See more »
Intensional logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions).
New!!: Intensional logic and Intensional logic · See more »
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician.
New!!: Intensional logic and Jaakko Hintikka · See more »
Kripke semantics
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal.
New!!: Intensional logic and Kripke semantics · 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!!: Intensional logic and Logic · See more »
Modal logic
Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.
New!!: Intensional logic and Modal logic · See more »
Modal operator
A modal connective (or modal operator) is a logical connective for modal logic.
New!!: Intensional logic and Modal operator · See more »
Montague grammar
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague.
New!!: Intensional logic and Montague grammar · See more »
Open formula
An open formula is a formula that contains at least one free variable.
New!!: Intensional logic and Open formula · See more »
Possible world
In philosophy and logic, the concept of a possible world is used to express modal claims.
New!!: Intensional logic and Possible world · See more »
Proof calculus
In mathematical logic, a proof calculus or a proof system is built to prove statements.
New!!: Intensional logic and Proof calculus · See more »
Quantifier (logic)
In logic, quantification specifies the quantity of specimens in the domain of discourse that satisfy an open formula.
New!!: Intensional logic and Quantifier (logic) · See more »
Reference
Reference is a relation between objects in which one object designates, or acts as a means by which to connect to or link to, another object.
New!!: Intensional logic and Reference · See more »
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher.
New!!: Intensional logic and Richard Montague · See more »
Saul Kripke
Saul Aaron Kripke (born November 13, 1940) is an American philosopher and logician.
New!!: Intensional logic and Saul Kripke · See more »
Semantics of logic
In logic, the semantics of logic is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment.
New!!: Intensional logic and Semantics of logic · See more »
Sense and reference
In the philosophy of language, the distinction between sense and reference was an innovation of the German philosopher and mathematician Gottlob Frege in 1892 (in his paper "On Sense and Reference"; German: "Über Sinn und Bedeutung"), reflecting the two ways he believed a singular term may have meaning.
New!!: Intensional logic and Sense and reference · See more »
Stanford Encyclopedia of Philosophy
The Stanford Encyclopedia of Philosophy (SEP) combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users.
New!!: Intensional logic and Stanford Encyclopedia of Philosophy · See more »
Strict conditional
In logic, a strict conditional is a conditional governed by a modal operator, that is, a logical connective of modal logic.
New!!: Intensional logic and Strict conditional · See more »
Syllogism
A syllogism (συλλογισμός syllogismos, "conclusion, inference") is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true.
New!!: Intensional logic and Syllogism · See more »
Temporal logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
New!!: Intensional logic and Temporal logic · See more »
Transparent Intensional Logic
Transparent Intensional Logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý.
New!!: Intensional logic and Transparent Intensional Logic · See more »
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.
New!!: Intensional logic and Truth value · See more »
Two-dimensionalism
Two-dimensionalism is an approach to semantics in analytic philosophy.
New!!: Intensional logic and Two-dimensionalism · See more »
William Kneale
William Calvert Kneale (22 June 1906 – 24 June 1990) was an English logician best known for his 1962 book The Development of Logic, a history of logic from its beginnings in Ancient Greece written with his wife Martha.
New!!: Intensional logic and William Kneale · See more »
Redirects here:
References
[1] https://en.wikipedia.org/wiki/Intensional_logic
