2 citations · 12 across the 23 of their papers we have counts for
8 papers · 1 filter
Inferentialist Game Semantics (Extended Abstract)
Joaquim T. Waddington, Alexander V. Gheorghiu, David J. Pym
Game semantics is an elegant approach to the formal semantics of reasoning and computation that grounds model-theoretic concepts of truth and validity in game-theoretic concepts th…
In Defence of the Material Conditional
Alexander V. Gheorghiu
The material conditional has long been charged with paradox. Defined truth-functionally, it renders true any conditional whose antecedent is false or consequent true -- hence, seem…
On the Concept of Arithmetic Conseqeunce
Alexander V. Gheorghiu
Gödel's second incompleteness theorem is standardly understood as showing that no sufficiently strong, consistent theory of arithmetic can prove its own consistency, a result typic…
Proof-theoretic Semantics for Second-order Logic
Alexander V. Gheorghiu, David J. Pym
We develop a proof-theoretic semantics (P-tS) for second-order logic (S-oL), providing an inferentialist alternative to both full and Henkin model-theoretic interpretations. Our ap…
Classical Logic without Bivalance
Alexander V. Gheorghiu
Sandqvis's semantics for classical logic without bivalence resolves the question of an anti-realist account of classical reasoning after Dummett. This paper applies the framework t…
On an Inferential Semantics for Intuitionistic Sentential Logic
Alexander V. Gheorghiu
Sandqvist's base-extension semantics (B-eS) for intuitionistic sentential logic grounds meaning relative to bases (rather than, say, models), which are arbitrary sets of permitted…
Classical Logic as Intuitionistic Logic with Duality
Alexander V. Gheorghiu, Yll Buzoku
The field of proof-theoretic semantics (P-tS) offers an alternative approach to meaning in logic that is based on inference and argument (rather than truth in a model). It has been…
Proof-theoretic Semantics for First-order Logic
Alexander V. Gheorghiu
Sandqvist gave a proof-theoretic semantics (P-tS) for classical logic (CL) that explicates the meaning of the connectives without assuming bivalance. Later, he gave a semantics for…