Search
Skip to Search Results- 7Pelletier, Francis J.
- 3Brigandt, Ingo
- 3Katalin Bimbó
- 3Morin, Marie-Eve
- 2Katalin Bimbó and J. Michael Dunn
- 2Schmitter, Amy M.
- 2Epistemology
- 2Metaphysics
- 2Nancy, Jean-Luc
- 2Semantics
- 12-valued logic, admissibility of the cut rule, axiomatic calculus for FOL, contraction measure, sequent calculus for FOL, single cut rule
- 1Abbreviations
-
1994
Introduction: Emmon Bach's paper (this volume) raises a number of interesting issues, especially the questions \"What is quantification, anyway?\" and \"What is the range of different ways in which quantification can be manifested?\" Of course such questions bring up philosophical issues of how...
-
2022-01-01
Katalin Bimbó and J. Michael Dunn
Urquhart works in several areas of logic where he has proved important results. Our paper outlines his topological lattice representation and attempts to relate it to other lattice representations. We show that there are different ways to generalize Priestley's representation of distributive...
-
2020-01-01
Some logics are decidable, that is, there is an algorithm to determine whether a formula is provable in a calculus formalizing the logic. This paper aims to depict the evolution of decidability proofs based on sequent calculi from the first such proof for intuitionist logic to some of the latest...
-
The Mind Beyond Itself
2000
Introduction: Individualism is a view about how mental states are taxonomized, classified, or typed and, it has been claimed (by, e.g., Stich, 1983; Fodor, 1980), that individualism constrains the cognitive sciences. Individualists draw a contrast between the psychological states of individuals...
-
2014
Introduction: My topic here is Descartes’ Third Meditation – but not the causal principles and proofs that have probably been the target of more philosophical irk than anything else in Descartes. Rather, I am concerned with the language in which they are couched, where Descartes speaks of an...
-
2015
Jean-Luc Nancy often asserts that his ontology is also an ethos and praxis. I seek to develop this affirmation with a view to understanding the role and place of ‘another politics’ or ‘another of politics’ in Nancy's work. I start by unfolding Nancy's understanding of existence as abandonment,...