Zobrazeno 1 - 10
of 12
pro vyhledávání: '"lógica clássica"'
Autor:
Vidal-Rosset, Joseph
Publikováno v:
Revista de Filosofia Moderna e Contemporânea
Revista de Filosofia Moderna e Contemporânea, do Departamento de Filosofia e do Programa de Pós-graduação em Filosofia da Universidade de Brasília, 2020, ⟨10.26512/rfmc.v8i1.31015⟩
Journal of Modern and Contemporary Philosophy; Vol. 8 No. 1 (2020): Dossiê "Formas da Razão"; 217-232
Revista de Filosofia Moderna e Contemporânea; Vol. 8 Núm. 1 (2020): Dossiê "Formas da Razão"; 217-232
Revista de Filosofia Moderna e Contemporânea; v. 8 n. 1 (2020): Dossiê "Formas da Razão"; 217-232
Revista de Filosofia Moderna e Contemporânea, do Departamento de Filosofia e do Programa de Pós-graduação em Filosofia da Universidade de Brasília, 2020, ⟨10.26512/rfmc.v8i1.31015⟩
Journal of Modern and Contemporary Philosophy; Vol. 8 No. 1 (2020): Dossiê "Formas da Razão"; 217-232
Revista de Filosofia Moderna e Contemporânea; Vol. 8 Núm. 1 (2020): Dossiê "Formas da Razão"; 217-232
Revista de Filosofia Moderna e Contemporânea; v. 8 n. 1 (2020): Dossiê "Formas da Razão"; 217-232
This paper proves that Anselm’s and Descartes’s argument for the existence of God are respectively valid in classical first-order logic and in intuitionistic first-order logic. Contrarily to Anselm’s argument, Descartes avoids Kant’s criticis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::84a92888a54202693322a289851ca279
https://hal.archives-ouvertes.fr/hal-02472970v2/document
https://hal.archives-ouvertes.fr/hal-02472970v2/document
Publikováno v:
APRENDER-Caderno de Filosofia e Psicologia da Educação; n. 18 (2017): N°18, jul./dez. 2017
Levando em consideração a complexidade do ser e do real, problematizamos a nossa forma de produzir e reproduzir conhecimentos por meio da racionalidade cartesiana e instrumental, buscando um caminho para entender o debate sobre as questões de gên
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=a21a1b1477ad::cf292ed4820ede64d59e3497e375482b
https://periodicos2.uesb.br/index.php/aprender/article/view/3643
https://periodicos2.uesb.br/index.php/aprender/article/view/3643
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFPBUniversidade Federal da ParaíbaUFPB.
Submitted by Fernando Souza (fernando@biblioteca.ufpb.br) on 2017-10-02T13:42:54Z No. of bitstreams: 1 arquivototal.pdf: 2999468 bytes, checksum: 956cae684176d28e417f331d31b46a00 (MD5)
Made available in DSpace on 2017-10-02T13:42:54Z (GMT). No.
Made available in DSpace on 2017-10-02T13:42:54Z (GMT). No.
Externí odkaz:
http://tede.biblioteca.ufpb.br:8080/handle/tede/9663
Autor:
Rasch, Elton Luiz
Publikováno v:
Repositório Institucional da UFSMUniversidade Federal de Santa MariaUFSM.
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
The present dissertation provides a reconstruction of the categorical part of Aristotle s (384 BC 322 BC) syllogistic, from the standpoint of the theory given in Prior Analytics, a
The present dissertation provides a reconstruction of the categorical part of Aristotle s (384 BC 322 BC) syllogistic, from the standpoint of the theory given in Prior Analytics, a
Externí odkaz:
http://repositorio.ufsm.br/handle/1/9132
Publikováno v:
Biblioteca Digital de Teses e Dissertações da PUC_SPPontifícia Universidade Católica de São PauloPUC_SP.
Made available in DSpace on 2016-04-27T16:58:50Z (GMT). No. of bitstreams: 1 RAIMUNDO DE SOUZA MARTINS NETO.pdf: 2924133 bytes, checksum: bd86d8e26a6a645a20f5228daea2e5f9 (MD5) Previous issue date: 2008-12-16
Secretaria da Educação do Estado d
Secretaria da Educação do Estado d
Externí odkaz:
http://tede2.pucsp.br/handle/handle/11365
Autor:
Rasch, Elton Luiz
Publikováno v:
Biblioteca Digital de Teses e Dissertações do UFSM
Universidade Federal de Santa Maria (UFSM)
instacron:UFSM
Universidade Federal de Santa Maria (UFSM)
instacron:UFSM
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior The present dissertation provides a reconstruction of the categorical part of Aristotle s (384 BC 322 BC) syllogistic, from the standpoint of the theory given in Prior Analytics, a piece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::08938c754b70caaf58f6cd004c904cd2
http://repositorio.ufsm.br/handle/1/9132
http://repositorio.ufsm.br/handle/1/9132
Publikováno v:
Biblioteca Digital de Teses e Dissertações da PUC_SPPontifícia Universidade Católica de São PauloPUC_SP.
Made available in DSpace on 2016-04-27T16:58:50Z (GMT). No. of bitstreams: 1 RAIMUNDO DE SOUZA MARTINS NETO.pdf: 2924133 bytes, checksum: bd86d8e26a6a645a20f5228daea2e5f9 (MD5) Previous issue date: 2008-12-16
Secretaria da Educação do Estado d
Secretaria da Educação do Estado d
Externí odkaz:
https://tede2.pucsp.br/handle/handle/11366
Autor:
Cabrera, Julio
Publikováno v:
Repositório Institucional da UnB
Universidade de Brasília (UnB)
instacron:UNB
Universidade de Brasília (UnB)
instacron:UNB
Podemos ser conservadores em lógica e fechar-nos ao divergente, ou, pelo contrário, abrir-nos ao desvio em diferentes graus: o grau 1 é a adesão à lógica clássica como lógica única; o grau número 2 é a divergência que mantém o referencia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::33b82892eff649b6c451b6ea159857c6
http://repositorio.unb.br/handle/10482/15233
http://repositorio.unb.br/handle/10482/15233
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utiliz
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utiliz