INTENSION, logique

Ce sujet est traité dans les articles suivants :

1.  CONCEPT

Écrit par : Jean LADRIÈRE

Dans le chapitre "Le problème des universaux : platonisme, nominalisme et conceptualisme"  : … être interprétée comme une entité abstraite, abstraction faite des individus dont elle se vérifie. *Carnap a proposé de caractériser les concepts par un principe d'intensionnalité : deux concepts sont identiques si et seulement si tout individu qui exemplifie l'un exemplifie aussi nécessairement l'autre. On a ainsi un critère d'… Lire la suite

2.  EMPIRISME

Écrit par : Edmond ORTIGUES

Dans le chapitre "L'équivoque du mot « analytique »"  : … d'items. La relation « être vrai de » ou « être satisfait par » détermine l'extension du prédicat. *La distinction entre le point de vue notionnel (intensionnel) et le point de vue extensionnel est devenue beaucoup plus importante que la vieille distinction entre l'analytique et le synthétique. La logique formelle, pour Kant, était analytique parce… Lire la suite

3.  JUGEMENT

Écrit par : Noël MOULOUD

Dans le chapitre "La philosophie des propositions"  : … de formulations plus ou moins consolidées plutôt que d'une hiérarchie stable des propositions. *La critique atteint même la notion d'un « sens » propositionnel, ou les notions qui relèvent du langage du sens, de l'« intension », comme les notions modales. Ces notions cèdent leur place aux notions proprement syntaxiques ou extensionnelles, qui… Lire la suite

4.  LINGUISTIQUE - Théories

Écrit par : Catherine FUCHS

Dans le chapitre "La sémantique formelle"  : … a priori mieux adpatés au fonctionnement de la langue, comme par exemple les logiques dites *« intensionnelles » et leurs divers prolongements. L'approche la plus connue est la sémantique intensionnelle du logicien américain Richard Montague (1930-1971), dont les travaux ont signé, au cours des années 1970 marquées par la grammaire… Lire la suite

5.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Logique déontique"  : … à S3) admettent la règle d'inférence : La règle (**), nommée principe d'équivalence *intensionnelle, stipule que, dans le contexte d'un opérateur modal, on peut toujours substituer l'une à l'autre deux propositions équivalentes, à condition qu'elles le soient prouvablement. Mais le principe de distribution P′( A ∨ B) ⇔ P… Lire la suite

6.  MODALITÉS, logique

Écrit par : Pascal ENGEL

Dans le chapitre "La notion logico-linguistique de modalité"  : … expressions, autres que celles exprimant la nécessité, la possibilité ou la contingence, sont* intensionnelles en ce sens et modifient le sens des propositions déclaratives : la plupart des adverbes (« rapidement », « sciemment », « bien »), certains verbes introduisant ou non des clauses complétives (« croire que », « souhaiter que », « … Lire la suite

7.  PENSÉE

Écrit par : Pascal ENGEL

… Les logiciens (par exemple W. V. O. Quine, 1956) disent que ces phrases sont non extensionnelles ou* intensionnelles. L'intensionnalité du mode de description des contenus d'attitudes propositionnelles peut ainsi être tenue comme un critère de l'intentionnalité de ces contenus. En deuxième lieu, ces contenus ne sont pas, contrairement aux contenus… Lire la suite

8.  RELATION

Écrit par : Jean LADRIÈRE

Dans le chapitre "Les relations selon Bertrand Russell"  : … de référent à relaté » [Principles of Mathematics]). Mais le choix du point de vue *intensionnel impose une contre-partie : il faudra introduire un axiome spécial stipulant que tout couple d'individus est caractérisé par une relation (en ce sens qu'à tout couple correspond une relation qui se vérifie de ce couple et ne se… Lire la suite