Use este identificador para citar ou linkar para este item: http://repositorio.bc.ufg.br/handle/ri/18519
Tipo do documento: Artigo
Título: Kolmogorov e a lógica de problemas I
Autor: Sanz, Wagner de Campos
Resumo: As 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.
Abstract: Intuitionistic 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.
Palavras-chave: Problems theory
Intuitionism
Logic of actions
Mathematical practice
Teoria de problemas
Intuicionismo
Lógica de ações
Prática matemática
País: Brasil
Unidade acadêmica: Faculdade de Filosofia - FAFIL (RG)
Citação: SANZ, 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.
Tipo de acesso: Acesso Aberto
URI: http://repositorio.bc.ufg.br/handle/ri/18519
Data de publicação: Out-2012
Aparece nas coleções:FAFIL - Artigos publicados em periódicos

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Artigo - Wagner de Campos Sanz - 2012.pdf792,44 kBAdobe PDFThumbnail
Baixar/Abrir


Este item está licenciada sob uma Licença Creative Commons Creative Commons