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
- 12-valued logic, admissibility of the cut rule, axiomatic calculus for FOL, contraction measure, sequent calculus for FOL, single cut rule
- 1Abbreviations
- 1Annapolis River
-
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,...
-
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...
-
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...
-
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...
-
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...
-
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...
-
2011
Introduction: Philosophical questions about biology have been addressed by philosophers and scientists for centuries. Yet as a genuine discipline within philosophy, philosophy of biology started to emerge in the 1970s (Byron, 2007). One motivation for this was the fact that much of traditional...
-
2022-01-01
The generalized Galois logic approach (i.e., gaggle theory), introduced by Dunn, provides a systematic way to define semantics for many substructural logics in the form of a relational representation of their Lindenbaum algebras. We provide an overview of some conceptual antecedents that we think...