Hintikka's second generation epistemic logic introduces a syntactic device allowing to express independence relations between certain logical constants. De re knowledge attributions can be reformulated in terms of quantifier independence, but the reformulation does not extend to non-factive attitudes like belief. There, formulae with independent quantifiers serve to express a new type of attitude, intermediate between de dicto and de re, called ‘de objecto’: in each possible world compatible with the agent's belief, there is an individual with the specified property (...) – in each world the same individual, which or who need not exist actually. The philosophical benefits of our analysis of propositional attitudes include a refined account of the behaviour of proper names as well as of indefinite and definite descriptions in attitude reports. Some remarks about perception and about the hallucination argument are also presented. (shrink)

Les pronoms personnels peuvent faire référence à la représentation physique (comme une statue ou une photographie) d’une personne plutôt qu’à cette personne elle-même. L’article présente une explication de ce liage sans identité apparente. Une objection est adressée à la théorie des proxies de Reuland et Winter, fondée sur la distinction entre attitudes de re et attitudes de se. La stratégie proposée ici consiste à introduire une nouvelle modalité pour chaque nouveau support d’une représentation physique, ce qui permet d’éviter les proxies (...) et de restaurer l’identité à la base de la résolution des anaphores. Les modalités correspondent à des fenêtres modales au travers desquelles le sujet peut appréhender des objets, existants ou non, y compris lui-même. La sémantique proposée suppose de réinterpréter certains prédicats. Elle emprunte à Wehmeier l’idée de relation inter-mondaine, qui soulève en tant que telle des questions métaphysiques. L’article aborde ces questions, pour proposer finalement d’étendre la théorie des fenêtres modales à l’ensemble des relations intentionnelles. (shrink)

A dialogical version of (modal) epistemic logic is outlined, with an intuitionistic variant. Another version of dialogical epistemic logic is then provided by means of the S4 mapping of intuitionistic logic. Both systems cast new light on the relationship between intuitionism, modal logic and dialogical games.

RÉSUMÉ : Les attitudes de se sont généralement considérées comme constituant une classe particulière d’attitudes de re. Cet article propose une analyse différente, qui s’appuie sur la notion d’attitude de objecto et qui évite un engagement ontologique envers le sujet. La proposition élabore l’idée de Hintikka d’une logique épistémique dite de seconde génération, qui introduit un marqueur syntaxique permettant d’exprimer des relations d’indépendance entre certaines constantes logiques. De cette sémantique résulte une conception du Moi, dénotation de «je», comme un objet (...) simplement intentionnel. ABSTRACT: De se attitudes are generally regarded as being a proper part of de re attitudes. In this paper an alternative analysis that avoids ontological commitment to the self is proposed, based on the notion of de objecto attitudes. This proposal develops an idea from Hintikka’s second generation epistemic logic, which introduces a syntactic marker expressing independence relations between certain logical constants. According to this semantic account, the Self, as the denotation of ‘I’, is conceived of as a mere intentional object. (shrink)

This short note provides a tentative formalization of Czeżowski's ideas about axiological concepts: Good and Evil are conceived of as modalities rather than as predicates. A natural account of the resulting “ethical logic” appears to be very close to standard deontic logic. If one does not resolve to become an antirealist regarding moral values, a possible way out is to become a revisionist about deontology: convert to intuitionism or other kind of revisionism for deontic logic, and remain classical for ethical (...) logic. (shrink)

Les Principes des mathématiques revisités de Jaakko Hintikka sont l’une des contributions les plus importantes des vingt dernières années à la philosophie des mathématiques. Son titre, inspiré des célèbres Principes des mathématiques publiés par Russell en 1903, marque l’ambition d’un renouvellement des fondements de la logique et des mathématiques un siècle après l’âge d’or du logicisme. L’auteur dispose pour cela de moyens nouveaux, la sémantique des jeux et la logique faite pour l’indépendance, qu’il a développés depuis les années 1980. La (...) parution des Principes de Hintikka en 1996 a été accompagnée de la publication de nombreux articles techniques dans les revues spécialisées, mais le livre lui-même n’est pas un ouvrage technique : c’est un essai philosophique abordable par un public non spécialiste de philosophie des mathématiques ou de logique. (shrink)

Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

In this paper we argue that standard, indexical contextualism about "knows" is unable to account for the factivity of this epistemic expression.

Ouvrage consacré aux différents auteurs et aspects de la philosophie polonaise du début du XXe siècle, mettant en évidence les innovations de ce courant de pensée issu du cercle de Vienne.

Kripke’s substitutional interpretation of quantifiers is usually said to be unsatisfactory for independence-friendly (IF) languages. The purpose of this paper is to question this claim. Two accounts of substitutional semantics for IF sentences will be written down, and the objection of the so-called ‘dummy variables’ will be ruled out. Moreover, it will be argued, against the traditional view, that Game-Theoretical Semantics (GTS) should be conceived of as substitutional. The paper ends with some remarks concerning the reasons why substitution is especially (...) suitable for dynamic semantics. (shrink)

This short paper provides a tentative formalization of Czeżowski's ideas about axiological concepts: Good and Evil are conceived of as modalities rather than as predicates. A natural account of the resulting “ethical logic” appears to be very close to standard deontic logic. If one does not resolve to become an antirealist regarding moral values, a possible way out is to become a revisionist about deontology: convert to intuitionism or some other kind of revisionism in deontic logic, and remain classical in (...) ethical logic. (shrink)

RÉSUMÉ : Les attitudes de se sont généralement considérées comme constituant une classe particulière d’attitudes de re . Cet article propose une analyse différente, qui s’appuie sur la notion d’attitude de objecto et qui évite un engagement ontologique envers le sujet. La proposition élabore l’idée de Hintikka d’une logique épistémique dite de seconde génération, qui introduit un marqueur syntaxique permettant d’exprimer des relations d’indépendance entre certaines constantes logiques. De cette sémantique résulte une conception du Moi, dénotation de «je», comme un (...) objet simplement intentionnel. ABSTRACT: De se attitudes are generally regarded as being a proper part of de re attitudes. In this paper an alternative analysis that avoids ontological commitment to the self is proposed, based on the notion of de objecto attitudes. This proposal develops an idea from Hintikka’s second generation epistemic logic, which introduces a syntactic marker expressing independence relations between certain logical constants. According to this semantic account, the Self, as the denotation of ‘I’, is conceived of as a mere intentional object. (shrink)

Quand nous utilisons le langage, nous nous appuyons sur le fait que les expressions linguistiques ont une signification. Comment cela fonctionne-t-il? La signification se réduit-elle à l’information? Y a-t-il un intermédiaire entre le langage et le monde? Les significations sont-elles dans la tête? Ces questions sont abordées en partant des conceptions héritées de Frege et de Russell jusqu’à la sémantique bidimensionnelle de Chalmers, en passant par les débats sur la référence des noms propres et des termes d’espèce naturelle. Le livre (...) présente également la démarche de la sémantique formelle, depuis les travaux précurseurs de Montague jusqu’à la sémantique des situations de Barwise et Perry, tout en interrogeant sa pertinence pour une analyse philosophique de la signification. (shrink)

L'historiographie des paradoxes ensemblistes attribue classiquement la "découverte" du paradoxe du plus grand ordinal au mathématicien italien Burali-Forti. Un examen attentif de ses démonstration et revirement révèle qu'il n'en est rien. Nous tenterons de dégager l'impact de la publication des Principles de Russell sur la constitution de cette version historiographique officielle, avant d'aborder la question de la définition des paradoxes et ce qui peut en motiver une conception restrictive.