Investigações em semânticas construtivas
Carregando...
Data
2014-02-14
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Goiás
Resumo
Proof-theoretic Semantics provides a new approach to the semantics of logical
constants. It has compelling philosophical motivations which are rooted deeply
in the philosophy of language and the philosophy of mathematics. We investigate
this new approach of logical semantics and its perspective on logical validity in the
light of its own philosophical aspirations, especially as represented by the work
of Dummett (1991). Among our findings, we single out the validity of Peirce’s
rule with respect to a justification procedure based on the introduction rules for
the propositional logical constants. This is an undesirable outcome since Peirce’s
rule is not considered to be constructively acceptable. On the other hand, we also
establish the invalidity of the same inference rule with respect to a justification
procedure based on the elimination rules for the propositional logical constants.
We comment on the implications of this scenario to Dummett’s philosophical programme
and to proof-theoretic semantics in general.
Descrição
Palavras-chave
Citação
OLIVEIRA, Hermogenes Hebert Pereira. Investigações em semânticas construtivas. 2014. 77 f. Dissertação (Mestrado em Filosofia) - Universidade Federal de Goiás, Goiânia, 2014.