TY - JOUR
T1 - Logical Expressivistâ€™s Logical Constants
JF - Organon F
Y1 - 2016
A1 - Arazim, Pavel
KW - Demarcation
KW - logical constants
KW - logical expressionism
KW - model theory
KW - proof-theory
AB - I would like to show that the problem of logical constants can be helped by treating the problem of relationship between logic and human reasoning. Thus I will present some parallels between the respective dilemmas and show that choice of a proof-theoretic answer in one case induces an expressivist choice in the other and the other way round, as well. This does not mean that other options are closed, though the two selected ones are thus given a new plausibility. Furthermore, the proof-theoretical demarcations of logical constants can provide missing details into the expressivist story, as they say which constants and why can actually perform the expres- sivist job.
VL - 23
UR - http://www.klemens.sav.sk/fiusav/doc/organon/2016/1/2-20.pdf
U2 - Articles
U3 - 220
ER -