Search

2016

Morin, Marie-Eve

It might seem rather strange to turn to Nancy, the thinker of exposition, to rethink the figure of intimacy. Indeed, it is Nancy who said, in “The Intruder,” that “the subject’s truth is its exteriority and its excessiveness: its infinite exposition” and, in “On the Soul,” that “the body is...

2017

Linsky, Bernard, Trybus, Adam

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

Pelletier, F.J.

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...

2020-01-01

Katalin Bimbó

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

Katalin Bimbó

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...

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

Katalin Bimbó

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...