science

Intensional logic

Intensional logic is a science topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Intensional logic rather than just read about it. In short: 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). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.

Key takeaways

Intensional logic belongs to science; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Intensional logic to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Intensional logic from memory before moving on to harder problems.

Reference excerpt

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). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.

Overview Logic is the study of proof and deduction as manifested in language (abstracting from any underlying psychological or biological processes). Logic is not a closed, completed science, and presumably, it will never stop developing: the logical analysis can penetrate into varying depths of the language (sentences regarded as atomic, or splitting them to predicates applied to individual terms, or even revealing such fine logical structures like modal, temporal, dynamic, epistemic ones). In order to achieve its special goal, logic was forced to develop its own formal tools, most notably its own grammar, detached from simply making direct use of the underlying natural language. Functors (also known as function words) belong to the most important categories in logical grammar (along with basic categories like sentence and individual name): a functor can be regarded as an "incomplete" expression with argument places to fill in. If we fill them in with appropriate subexpressions, then the resulting entirely completed expression can be regarded as a result, an output. Thus, a functor acts like a function sign, taking on input expressions, resulting in a new, output expression. Semantics links expressions of language to the outside world. Also logical semantics has developed its own structure. Semantic values can be attributed to expressions in basic categories: the reference of an individual name (the "designated" object named by that) is called its extension; and as for sentences, their truth value is their extension. As for functors, some of them are simpler than others: extension can be attributed to them in a simple way. In case of a so-called extensional functor we can in a sense abstract from the "material" part of its inputs and output, and regard the functor as a function turning directly the extension of its input(s) into the extension of its output. Of course, it is assumed that we can do so at all: the extension of input expression(s) determines the extension of the resulting expression. Functors for which this assumption does not hold are called intensional. Natural languages abound with intensional functors; this can be illustrated by intensional statements. Extensional logic cannot reach inside such fine logical structures of the language, but stops at a coarser level. The attempts for such deep logical analysis have a long past: authors as early as Aristotle had already studied modal syllogisms. Gottlob Frege developed a kind of two-dimensional semantics: for resolving questions like those of intensional statements, Frege introduced a distinction between two semantic values: sentences (and individual terms) have both an extension and an intension. These semantic values can be interpreted, transferred also for functors (except for intensional functors, they have only intension). As mentioned, motivations for settling problems that belong today to intensional logic have a long past. As for attempts of formalizations, the development of calculi often preceded the finding of their corresponding formal semantics. Intensional logic is not alone in that: also Gottlob Frege accompanied his (extensional) calculus with detailed explanations of the semantical motivations, but the formal foundation of its semantics appeared only in the 20th century. Thus sometimes similar patterns repeated themselves for the history of development of intensional logic like earlier for that of extensional logic. There are some intensional logic systems that claim to fully analyze the common language:

Transparent intensional logic Modal logic

Modal logic

… excerpt ends here. Continue reading the full article.

Worked examples

Example 1 — a first encounter with Intensional logic

Start with the simplest possible case. Write down what Intensional logic claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In science, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Intensional logic before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Intensional logic ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Intensional logic

In research: Intensional logic appears in science research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Intensional logic in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Intensional logic is common in secondary-school and first-year university syllabi. It links to neighbouring topics Non-classical logic, Philosophical logic, Predicate logic, so understanding it makes those chapters shorter.
In everyday life: Look for Intensional logic outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “Intensional logic” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Intensional logic in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Intensional logic means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Intensional logic out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Intensional logic in simple terms?

Why does Intensional logic matter?

Because it connects several science ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Intensional logic?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Intensional logic.