Results 61 to 70 of about 509 (109)

Lógica intuicionista I1 : correção e completude

CQD Revista Eletrônica Paulista de Matemática, 2020
O propósito desse artigo é apresentar a lógica intuicionista I1, que foi originalmente introduzida por Sette e Carnielli (1995), e dar provas de correção e completude entre o sistema axiomático e a semântica matricial da Lógica I1, de modo original e ...
Pedro Henrique Paiola, Hércules de Araujo Feitosa   +1 more
doaj  

¿Deben nuestros jueces ser filósofos? ¿Pueden ser filósofos?

Estudios de Derecho, 2007
Este ensayo analiza una salida al dilema por el deber o la posibilidad que tienen los jueces de ser filósofos. A partir de una valoración de dramáticos asuntos que deben resolver los jueces,y que inevitablemente los remiten a cuestiones filosóficas, se ...
Ronald Dworkin, Leonardo García Jaramillo   +1 more
doaj  

CONSIDERAÇÕES DE BROUWER SOBRE ESPAÇO E INFINITUDE: O IDEALISMO DE BROUWER DIANTE DO PROBLEMA APRESENTADO POR DUMMETT QUANTO À POSSIBILIDADE TEÓRICA DE UMA INFINITUDE ESPACIAL

Kínesis, 2019
Neste artigo, será discutida a noção de “infinitude cardinal” – a qual seria predicada de um “conjunto” – e a noção de “infinitude ordinal” – a qual seria predicada de um “processo”.
Paulo Júnio de Oliveira
doaj   +1 more source

Construtivismo Político: Além do Realismo e Antirrealismo

Ethic@: an International Journal for Moral Philosophy, 2011
O artigo tem o objetivo de investigar as características centrais do modelo ético coerentista utilizado por Rawls nos textos A Theory of Justice (TJ I, § 4, 9), Political Liberalism (PL III), “Kantian Constructivism in Moral Theory” (KCMT), “Themes in ...
Denis Coitinho Silveira
doaj   +1 more source

HABERMAS: DESPUÉS DE LA MORALIDAD, ANTES DE LA ETICIDAD

Daimon, 1989
El presente trabajo pretende analizar los problemas y el sentido de la Teoría de la Acción Comunicativa a la luz de la relación con las alteraciones tradicionales de la ética contemporánea, como por ejemplo, la antinomia fundamentación-deducción ...
Mª Teresa López
doaj  

Arqueologia moderna da modernidade

Kriterion, 2012
A emergência da «Modernidade» está associada a um conjunto de categorias novas, quer do ponto de vista histórico, quer do ponto de vista sociológico, mas sobretudo do ponto de vista ético, moral e jurídico. Ao longo deste texto mostram-se alguns momentos
Manuel Afonso Costa
doaj   +1 more source

Intuicionismo

Azafea: Revista de Filosofía, 2001
[EN] After a historical introduction to intuitionism as a philosophy of Mathematics intuitionistic logic is introduced. We start with its basis in the BHK-interpretation, and continue with the corresponding natural deduction rules. The characteristic differences with standard classical logic are discussed.
openaire   +4 more sources

ANTI-INTUICIONISMO E ANTIFUNDACIONISMO: O PAPEL DA IMAGINAÇÃO NA EPISTEMOLOGIA DE PASCAL

Cadernos Espinosanos, 2019
Em Pascal, por meio da crítica à razão discursiva que estava à sua época em vias de consagração, está em curso a defesa de uma concepção alargada da racionalidade, que procura estendê-la a partir de uma perspectiva anti-intuicionista e antifundacionista radical para dimensões da realidade que o arranjo epistemológico gestado pela filosofia cartesiana ...
openaire   +2 more sources

Instuicionismo e verificação

, 1993
Neste artigo, apresentamos o intuicionismo como uma atitude epistêmica geral, caracterizada pelo rigor de suas exigências de verificação não apenas na matemática e na lógica, mas em todo conhecimento ...
Granger, Gilles Gaston
core   +1 more source

¿Puede la razón práctica ser artificial?

Revista de Estudios Kantianos, 2018
¿Puede la razón práctica ser artificial? Desde un punto de vista kantiano, la respuesta es claramente negativa: la razón práctica no puede ser artificial. Luego de una observación preliminar acerca de la posibilidad de las máquinas morales kantianas (1.1)
Dieter Schoenecker
doaj   +1 more source