Intensional logic

Intensional logic

"Intensional logic" embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science), [harvnb|Ruzsa|2000|p=26] intensional languages have at least one intensional functor. [harvnb|Ruzsa|1988|p=182]

Logic is the study of proof and deduction as manifested in language (abstracting from any underlying psychological or biological processes). [harvnb|Ruzsa|2000|p=10] 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 [harvnb|Ruzsa|2000|p=13] (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.harvnb|Ruzsa|2000|p=12] Functors belong to the most important categories in logical grammar (alongside with basic categories like "sentence" and "individual name"harvnb|Ruzsa|2000|p=21] ): a functor can be regarded as an "incomplete" expression with argument places to fill in. If we fill in them 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,harvnb|Ruzsa|2000|p=24] taking on input expressions, resulting in a new, output expression.harvnb|Ruzsa|2000|p=22]

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 called also extension.harvnb|Ruzsa|2000|pp=22–23]

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".harvnb|Ruzsa|2000|pp=25–26]

Natural languages abound with intensional functors, [harvnb|Ruzsa|1987|p=724] this can be illustrated by intensional statements. Extensional logic cannot reach inside such fine logical structures of the language, it 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.harvnb|Ruzsa|2000|pp=246–247] Gottlob Frege developed a kind of two dimensional semantics: for resolving questions like those of intensional statements, he has introduced a distinction between two semantic values: sentences (and individual terms) have both an extension and an intension. [harvnb|Ruzsa|2000|p=24] 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. [harvnb|Ruzsa|2000|p=128]

There are some intensional logic systems that claim to fully analyze the common language:
* Transparent Intensional Logic
* Modal Logic

Modal logic

Modal logic is historically the earliest area in the study of intensional logic, originally motivated by formalizing "necessity" and "possibility" (recently, this oiginal motivation belongs to alethic logic, just one of the many branches of modal logic). [harvnb|Ruzsa|2000|p=252]

Modal logic can be regarded also as the most simple appearance of such studies: it extends extensional logic just with a few sentential functors: [harvnb|Ruzsa|2000|p=247] these are intensional, and they are interpreted (in the metarules of semantics) as quantifying over possible worlds. Moreoever, they are related to one another by similar dualities like quantifiers doharvnb|Ruzsa|2000|p=245] (for example by the analogous correspondents of De Morgan's laws). Syntactically, they are not quantifiers, they do not bind variables, they appear in the grammar as sentential functors, they are called modal operators.harvnb|Ruzsa|2000|p=269]

As mentioned, precursors of modal logic includes Aristotle. Medieval scholastic discussions accompanied its development, for example about "de re" versus "de dicto" modalities: said in recent terms, in the "de re" modality the modal functor is applied to an open sentence, the variable is bound by a quantifier whose scope includes the whole intensional subterm.

Modern modal logic began with the Clarence Irving Lewis, his work was motivated by establishing the notion of strict implication. [harvnb|Ruzsa|2000|p=256] Possible worlds approach enabled more exact study of semantical questions. Exact formalization resulted in Kripke semantics (developed by Saul Kripke, Jaakko Hintikka, Stig Kanger). [harvnb|Ruzsa|2000|p=247]

Type theoretical intensional logic

Already in 1951, Alonzo Church had developed an intensional calculus. The semantical motivations were explained expressively, of course without those tools that we know in establishing semantics for modal logic in a formal way, because they had not been invented yet that time:harvnb|Ruzsa|2000|p=297] Church has not provided formal semantic definitions. [harvnb|Ruzsa|1989|p=492]

Later, possible world approach to semantics provided tools for a comprehensive study in intensional semantics. Richard Montague could preserve the most important advantages of Church's intensional calculus in his system. Unlike its forerunner, Montague grammar was built in a purely semantical way: a simpler treatment became possible, thank to the new formal tools invented since Church's work.

See also

* Extensionality
* Kripke semantics
*

Notes

References

*
*
*
*

External links

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • intensional logic — noun A formal deductive system able to represent the distinction between intension and extension of a term …   Wiktionary

  • Transparent Intensional Logic — (frequently abbreviated as TIL) is a logical system aimed at an analysis of natural language. It was created by Pavel Tichý. There are relations to Montague grammar, but TIL differs from it in several substantial points. TIL uses syntax of lambda …   Wikipedia

  • Intensional — * in Philosophy of language: not extensional. See also intensional definition versus extensional definition. * in Philosophy of mind: an intensional state is a state which has a propositional content. * in Mathematical logic: see intensional… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… …   Universalium

  • Intensional — Extension und Intension (auch Begriffsumfang und Begriffsinhalt) bezeichnen in der Logik und Sprachphilosophie verschiedene, nach Meinung mancher Autoren entgegengesetzte Eigenschaften von Begriffen. Inhaltsverzeichnis 1 Extension 2 Intension 3… …   Deutsch Wikipedia

  • Intensional definition — In logic and mathematics, an intensional definition gives the meaning of a term by specifying all the properties required to come to that definition, that is, the necessary and sufficient conditions for belonging to the set being defined. For… …   Wikipedia

  • Intensional statement — In logic, an intensional statement form is a statement form with at least one instance such that substituting co extensive expressions into it does not always preserve logical value. An intensional statement is a statement that is an instance of… …   Wikipedia

  • Intensional fallacy — In philosophical logic, the intensional fallacy is committed when one makes an illicit use of Leibniz s law in an argument …   Wikipedia

  • intensional — adjective used of the set of attributes that distinguish the referents of a given word • Similar to: ↑connotative • Derivationally related forms: ↑intension • Topics: ↑logic …   Useful english dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”