We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction (...) of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)

This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We briefly sketch a different idea for proof theory which is closer to the language itself than standard approaches in many aspects. We stress the importance of Hilbert’s operators—the epsilon-operator for existential and tau-operator for universal quantifications. Indeed, these operators are helpful in the construction (...) of a semantic representation which is close to natural language in particular with quantified noun phrases as individual terms. We also define guidelines for the design of proof rules corresponding to generalized quantifiers. (shrink)

We study increasing F-sequences, where F is a dilator: an increasing F-sequence is a sequence (indexed by ordinal numbers) of ordinal numbers, starting with 0 and terminating at the first step x where F(x) is reached (at every step x + 1 we use the same process as in decreasing F-sequences, cf. [2], but with "+ 1" instead of "- 1"). By induction on dilators, we shall prove that every increasing F-sequence terminates and moreover we can determine for every dilator (...) F the point where the increasing F-sequence terminates. We apply these results to inverse Goodstein sequences, i.e. increasing (1 + Id) (ω) -sequences. We show that the theorem every inverse Goodstein sequence terminates (a combinatorial theorem about ordinal numbers) is not provable in ID 1 . For a general presentation of the results stated in this paper, see [1]. We use notions and results concerning the category ON (ordinal numbers), dilators and bilators, summarized in [2, pp. 25-31]. (shrink)

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach (...) laws and Switching laws. (shrink)

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach (...) laws and Switching laws. (shrink)

Beginning with the view that human consciousness is essentially embodied and that the way we consciously experience the world is structured by our bodily dynamics and surroundings, the book argues that emotions are a fundamental manifestation of our embodiment, and play a crucial role in self-consciousness, moral evaluation, and social cognition.

There is a tendency to take mounted dinosaur skeletons at face value, as the raw data on which the science of paleontology is founded. But the truth is that mounted dinosaur skeletons are substantially intention-dependent—they are artifacts. More importantly, I argue, they are also substantially imagination-dependent: their production is substantially causally reliant on preparators’ creative imaginations, and their proper reception is predicated on audiences’ recreative imaginations. My main goal here is to show that dinosaur skeletal mounts are plausible candidates for (...) art-status. But, what is more, I think they are artworks—specifically, sculptures. (shrink)

Philosophical suspicions about the place of shame in the psychology of the mature moral agent are in tension with the commonplace assumption that to call a person shameless purports to mark a fault, arguably a moral fault. I shift philosophical suspicions away from shame and toward its absence in the shameless by focusing attention on phenomena of shamelessness. In redirecting our attention, I clarify the nature of the failing to which ascriptions of shamelessness might refer and defend the thought that, (...) as an evasion of moral self-censure, shamelessness can be morally pernicious. Far from foregoing shame, I conclude, we should be mindful of its moral importance and unapologetic in its defense. (shrink)

Translator's preface -- Introduction: The question of phenomenology -- Hyletic phenomenology and material phenomenology -- The phenomenological method -- Pathos-with reflections on Husserl's Fifth cartesian meditation -- For a phenomenology of community.

Ce livre de Michel Freitag interpelle "tous ceux qui s'interrogent sur la place qu'ils tiennent ou le rôle qu'ils jouent dans l'aventure de l'Université contemporaine." (Georges Leroux, Spirale) Une des constantes des écrits contenus dans ce livre "réside dans la comparaison systématique que Michel Freitag établit entre les caractéristiques de la modernité et celles de la postmodernité et les conséquences de celle-ci sur le traitement des enjeux et des problèmes actuels." (Louis Guay, Anthropologie et société) "Dans une société réduite au (...) bavardage, à l'insignifiance, à la poursuite de petits bonheurs mesquins, le tout sous contrôle bureaucratique de plus en plus envahissant, une telle réflexion est devenue essentielle. Voici un livre de bonne foi qui n'attend que ses lecteurs, qu'on souhaite nombreux." (Robert Major, Voix et images). (shrink)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

Philosophers disagree about what the folk concept of pain is. This paper criticises existing theories of the folk concept of pain, i.e. the mental view, the bodily view, and the recently proposed polyeidic view. It puts forward an alternative proposal – the polysemy view – according to which pain terms like “sore,” “ache” and “hurt” are polysemous, where one sense refers to a mental state and another a bodily state, and the type of polysemy at issue reflects two distinct but (...) related concepts of pain. Implications with respect to issues in philosophy of pain are also drawn. (shrink)

« Qu’est-ce que la philosophie et quel est son rôle aujourd’hui? Entre juillet et octobre 1966, quelques mois après la parution des Mots et les Choses, Michel Foucault, dans un manuscrit très soigneusement rédigé mais qu’il ne publiera pas, apporte sa réponse à cette question tant débattue.À la différence de ceux qui, à l’époque, s’attachent à dévoiler l’essence de la philosophie ou à en prononcer la mort, Foucault l’appréhende, dans sa matérialité, comme un discours dont il convient de dégager l’économie (...) eu égard aux autres discours (scientifique, fictif, ordinaire, religieux) qui circulent dans un contexte donné.Le Discours philosophique propose ainsi une nouvelle manière de faire l’histoire de la philosophie, qui la décentre du commentaire des grands philosophes. Nietzsche y occupe toutefois une place particulière car il inaugure une conjoncture où la philosophie devient une entreprise de diagnostic du présent. Il revient en effet désormais à la philosophie de dire, à partir de l’« archive intégrale » d’une culture, ce qui en fait l’actualité.Si L’Archéologie du savoir, consacré aux enjeux méthodologiques d’un tel projet, s’y annonce, nulle part autant que dans Le Discours philosophique Michel Foucault n’aura explicité les ambitions de son programme intellectuel.»--. (shrink)

Because of their range, brilliance, and singularity, the ideas of the philosopher-critic-historian Michel Foucault have gained extraordinary currency throughout the Western intellectual community. This book offers a selection of seven of Foucault's most important published essays, translated from the French, with an introductory essay and notes by Donald F. Bouchard. Also included are a summary of a course given by Foucault at College de France; the transcript of a conversation between Foucault and Gilles Deleuze; and an interview with Foucault that (...) appeared in the journal Actuel. Professor Bouchard has divided the book into three closely related sections. The four essays in Part One examine language as a "perilous limit" of what we know and what we are. The essays in the second part suggest the methodological guidelines to which Foucault subscribes, and they record, in the editor's words, "the penetration of the language of literature into the domain of discursive thought." The material in the last section is more obviously political than the essays. It treats language in use, language attempting to impart knowledge and power. Translated by the editor and Sherry Simon into fluent and lucid English, these essays will appeal primarily to students of literature, especially those interested in contemporary continental structuralist criticism. But because of the breadth of Foucault's interests, they should also prove valuable to anthropologists, linguists, sociologists, and psychologists. (shrink)

The first collection of twentieth-century French philosopher Michel Henry's work in English, this book provides an excellent introduction to his thought.

This paper addresses a largely neglected question in ongoing debates over disagreement: what is the relation, if any, between disagreements involving credences and disagreements involving outright beliefs? The first part of the paper offers some desiderata for an adequate account of credal and full disagreement. The second part of the paper argues that both phenomena can be subsumed under a schematic definition which goes as follows: A and B disagree if and only if the accuracy conditions of A's doxastic attitude (...) are such that, if they were fulfilled, this would ipso facto make B's doxastic attitude inaccurate, or vice-versa. (shrink)

This chapter contains section titled: From “Truth and Power”.

Si l’on connaît aujourd’hui le dialogue fructueux que Paul Ricœur a noué avec les penseurs structuralistes, on ignore largement son positionnement face à la mouvance poststructuraliste. Faut-il opposer la philosophie de Ricœur au poststructuralisme à la française ou au contraire doit-on montrer qu’elle en est une variante singulière? C’est la seconde option qui est ici défendue. Certes, le poststructuralisme ne doit pas être considéré comme une école de pensée mais comme une reconstruction qui relève de l’histoire de la philosophie. Dans (...) la mesure où les horizons de dépassement du structuralisme ont été posés de manière chaque fois particulière, il est préférable de parler de poststructuralismes au pluriel. C’est la raison pour laquelle J. Michel propose des confrontations dyadiques entre Ricœur et certains de ses contemporains que l’on regroupe habituellement dans cette mouvance. (shrink)

Les entretiens ici réunis portent sur les conséquences de cette révolution méthodologique qui permet la compréhension des grands aspects de l'existence, thème de nombreux essais de Michel Henry à partir des années 80 : action, ...

First published: 2010; Previous edition: 2012..