Search
Skip to Search Results- 42Brigandt, Ingo
- 25Pelletier, Francis J.
- 17Morin, Marie-Eve
- 16Wilson, Robert A.
- 14Koslicki, Kathrin
- 12Welchman, Jennifer
-
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...
-
2022-01-01
Katalin Bimbó and J. Michael Dunn
This paper considers modalities added to the relevance logic LR (lattice-R), which is R with the distributivity of conjunction and disjunction omitted. First, the modalities are defined from the Ackermann constants and the lattice connectives. Then, we introduce modalities as primitives equipped...
-
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...
-
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...
-
2020-06-01
The first sequent calculus, LK is the example after which many other calculi have been fashioned. We describe this calculus, prove its equivalence to the axiom system K, and provide a sound and complete interpretation too. A major part of Section 2.3 is a presentation of the proof of the cut...
-
2017
This is the first English translation of Leon Chwistek’s “Tragedia werbalnej metafizyki (Z powodu książki Dra Ingardena: Das literarische Kunstwerk),” Kwartalnik Filozoficzny, Vol. X, 1932, 46–76. Chwistek offers a scathing critique of Roman Ingarden’s Das literarische Kunstwerk (translated into...
-
2017
Vagueness is a phenomenon whose manifestation occurs most clearly in linguistic contexts. And some scholars believe that the underlying cause of vagueness is to be traced to features of language. Such scholars typically look to formal techniques that are themselves embedded within language, such...
-
2016
Does the notion of ground, as it has recently been employed by metaphysicians, point to a single unified phenomenon (the “Unity Hypothesis”)? Jonathan Schaffer holds that the phenomenon of grounding exhibits the unity characteristic of a single genus. In defense of this hypothesis, Schaffer...
-
2016
Contributing to the recent debate on whether or not explanations ought to be differentiated from arguments, this article argues that the distinction matters to science education. I articulate the distinction in terms of explanations and arguments having to meet different standards of adequacy....
-
2016
Introduction: Do we really need another discussion of reduction in biology? After all, arguments for reductionism and for anti-reductionism have led to a stalemate, and philosophical investigations have come to focus on the topic of epistemic integration. Fortunately, Marie I. Kaiser takes a step...