research
∙
04/17/2023
Comment on Mark Textor: Brentano's Positing Theory of Existence
This article is the text of a commentary on a talk delivered by Mark Tex...
research
∙
04/14/2022
Bilateral Inversion Principles
This paper formulates a bilateral account of harmony that is an alternat...
research
∙
10/19/2021
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
This paper studies a formalisation of intuitionistic logic by Negri and ...
research
∙
08/12/2021
Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it
Bilateralists hold that the meanings of the connectives are determined b...
research
∙
08/09/2021
Proof-Theory and Semantics for a Theory of Definite Descriptions
This paper presents a sequent calculus and a dual domain semantics for a...
research
∙
08/09/2021
Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule
This paper considers a formalisation of classical logic using general in...
research
∙
08/04/2021
Definite Descriptions in Intuitionist Positive Free Logic
This paper presents rules of inference for a binary quantifier I for the...
research
∙
08/04/2021
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
Sentences containing definite descriptions, expressions of the form `The...
research
∙
08/04/2021
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
This paper presents a way of formalising definite descriptions with a bi...
research
∙
07/29/2021
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality
This paper discusses proof-theoretic semantics, the project of specifyin...
research
∙
07/29/2021