Kolmogorov e a lógica de problemas I

Página do item simplificado
dc.creatorSanz, Wagner de Campos
dc.date.accessioned2020-01-15T14:55:58Z
dc.date.available2020-01-15T14:55:58Z
dc.date.issued2012-10
dc.description.abstractIntuitionistic logical constants are characterized by means of BHK clauses. The “K” is a reference to Kolmogorov who in 1925 had made a proposal for defining intuitionistic logic and which was later extended with the inclusion of ex falso quodlibet principle. In 1932 [Kol32] this principle is present and the author gives a semantics alternative to the one presented by Heyting in 1930. Kolmogorov uses the concept of problem. Here we are proposing a partial analysis of this semantics of problems. We want to show that this semantics involves a logic of actions. We finish by pointing what seems to us to be an open problem in this semantics.pt_BR
dc.description.resumoAs constantes lógicas intuicionistas são caracterizadas por meio de cláusulas BHK. O “K” do nome é referência a Kolmogorov que havia em 1925 oferecido uma proposta para definir a lógica intuicionista que mais tarde foi estendida para incluir o princípio de ex falso quodlibet. Em 1932 [Kol32] este princípio está presente e o autor apresenta uma semântica alternativa àquela proposta por Heyting em 1930, usando o conceito de problema. Neste artigo faremos uma análise parcial da semântica de problemas de Kolmogorov. Procuraremos mostrar que ela envolve uma lógica de ações mais próxima da prática matemática. Finalizaremos apontando aquilo que nos parece ser um problema em aberto para esta semântica.pt_BR
dc.identifier.citationSANZ, Wagner Campos. Kolmogorov e a lógica de problemas I. Notae Philosophicae Scientiae Formalis, Santa Maria, v. 1, n. 2, p. 184-197, out. 2012.pt_BR
dc.identifier.issne- 2238-8796
dc.identifier.urihttp://repositorio.bc.ufg.br/handle/ri/18519
dc.language.isoporpt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentFaculdade de Filosofia - FAFIL (RG)pt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectProblems theorypt_BR
dc.subjectIntuitionismpt_BR
dc.subjectLogic of actionspt_BR
dc.subjectMathematical practicept_BR
dc.subjectTeoria de problemaspt_BR
dc.subjectIntuicionismopt_BR
dc.subjectLógica de açõespt_BR
dc.subjectPrática matemáticapt_BR
dc.titleKolmogorov e a lógica de problemas Ipt_BR
dc.typeArtigopt_BR

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Artigo - Wagner de Campos Sanz - 2012.pdf
Tamanho:
792.44 KB
Formato:
Adobe Portable Document Format
Baixar
Licença do Pacote
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
license.txt
Tamanho:
1.71 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

FAFIL - Artigos publicados em periódicos