Investigações em semânticas construtivas
Saved in:
| Main Author: | |
|---|---|
| Publication Date: | 2014 |
| Format: | Master thesis |
| Language: | por |
| Source: | Repositório Institucional da UFG |
| Download full: | http://repositorio.bc.ufg.br/tede/handle/tede/3103 |
Summary: | 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. |
Similar Items: Investigações em semânticas construtivas
- Da interpretação Bhk à teoria intuicionista dos tipos: a construção mental como conceito primitivo fundamental
- Uma breve reflexão sobre a lógica proposicional com sugestões didáticas para melhoria da aprendizagem
- As bases do intuicionismo matemático de Brouwer a natureza do continuum intuicionista
- A autogênese do conceito especulativo de subjetividade na Ciência da Lógica de Hegel
- Dinâmicas de jogos aplicadas no ensino de análise combinatória e probabilidade na educação básica
- Análise lógica da proposição e divisibilidade infinita de extensões no Tractatus de Wittgenstein