El presente escrito argumenta que en la propuesta intuicionista desarrollada en Haidt (2001) no se distingue claramente una propuesta intuicionista de una propuesta emotivista. Esto supone un problema epistémico, pues la primera se comprende desde una perspectiva cognitivista,mientras que la segunda lo es desde una postura no cognitivista en el ámbito moral. Hay por tanto una tensión en los presupuestos de la propuesta intuicionista haidtiana, que inter alia Huemer (2005) discute desde una perspectiva racionalista moderada. Este escrito sostiene que elintuicionismo (...) no supone un compromiso con la discusión entre objetivismo y subjetivismo moral, permitiendo de este modo una aproximación que permita un diálogo fructífero entre el emotivismo, el intuicionismo y el racionalismo en el estatus epistémico del juicio moral. Ello permite abordar la arista del estatuto moral desde una posición racionalista moderada, abierta a los aportes interdisciplinares y de este modo al naturalismo no reduccionista. Este análisis permite afirmar que sí hay verdades morales, siendo el foco de discusión objetivismo-subjetivismo más bien sobre el acceso a ellas, que del cuestionamiento de su existencia. (shrink)

The purpose of this article is to introduce Harold Arthur Prichard is main philosophical thesis concerning human morality. According to Prichard, the whole body of moral philosophy rests on a set of mistakes, similar in many senses to those produced by epistemology. In this article I will try to..

O presente artigo tem por finalidade avaliar o problema intuicionista com as provas não construtivas na matemática. Para esta posição construtivista o princípio do terceiro excluído, da lógica clássica, não deve operar sobre demonstrações matemáticas. As provas não construtivas não são aceitas, sendo as provas construtivas as únicas com caráter positivo. Após uma breve introdução ao intuicionismo e seu idealizador, o artigo abordará a relação entre o princípio do terceiro excluído e as provas na matemática, para assim falar sobre (...) o problema das provas não construtivas e da consequência em não aceitá-las. Ao tomar a matemática unicamente como um empreendimento de construção mental, o intuicionismo quebra com o realismo platônico dominante e estabelece um debate frutífero sobre os fundamentos da matemática. (shrink)

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 quer deixar de fora. A hipótese que gostaríamos de discutir é a de que essa subversão se dá pela desestabilização desse arranjo por meio da descrição que Pascal (...) realiza, em Pensamentos, da faculdade imaginação, cujo interesse para o estudo da verdade deve ser considerado para que se possa entender a inflexão que a epistemologia pascaliana tenta empreender ante as outras de seu tempo. (shrink)

Nosso objetivo neste trabalho é, em primeiro lugar, apresentar o modelo de liberalismo proposto por John Stuart Mill como relevante para o construtivismo da teoria política de John Rawls. Para tal, vamos mostrar que o contratualista americano em alguma medida subscreve o liberalismo do utilitarista inglês. Vamos aproximar ambos os autores no tocante ao método intuicionista e verificar se ainda há alguma vantagem no consequencialismo de Mill. Para Rawls, um procedimento intuicionista é ligado a um conjunto de princípios que não (...) pode ser reduzido. Mill se encaixa na definição, portanto, na medida em que advoga um tipo de hedonismo, característica que o americano descarta, por poder ser listada como teoria moral abrangente. Mesmo assim, precisamos verificar até que medida é possível considerar o utilitarismo de Mill como tendo influenciado o liberalismo de Rawls. Assim, levaremos em conta que ele autorizou, pelo menos parcialmente, um método intuicionista e mostraremos que isso se deu por influência da filosofia política de Mill. Fica assim admitido que o apelo à intuição está na base da teoria da justiça, mas tudo somado pode ficar perfeitamente claro onde reside o equilíbrio lógico proposto por Rawls. Mesmo com o desacordo final, é possível notar a influência do projeto liberal do londrino em torno da teoria política que resultou na _Teoria da Justiça_. Restará ainda tentar saber se realmente é possível se afastar de um consequencialismo e se há alguma vantagem teórica em se manter filiado a uma teoria política e ética como a de Mill do ponto de vista jurídico institucional. Isso porque o consequencialismo com um viés estritamente constitucional, como aquele sugerido por Rawls, não parece ser capaz de solucionar um problema jurídico externo ao hermético sistema teórico proposto nas teorias da justiça contemporâneas. (shrink)

Among the philosophical problems recently discussed, the question on the anti-realist semantic is outstanding. Its origin arises when M. Dummett tries a Wittgenstenian interpretation of the Intuitionistic Mathematics. He uses the concept of justification as the key concept - understood as proof or verification -, and it faces up to a realistic view centred in the notion of truth. But, carefully analized, it shows a clear vulnerability, while the realistic position has got serious eIements on its favour, and so it (...) is recognized by the supporter of the opposite point of view. Thus, the notion of truth cannot be disregarded. (shrink)

El objetivo del siguiente artículo es profundizar en el estudio de un movimiento pseudocientífico que tuvo lugar durante el III Reich en el campo de las matemáticas conocido como la Deutsche mathematik, tratando de concretar los factores que condicionaron el surgimiento de esta disciplina y en especial la forma en que concebía los fundamentos de las matemáticas, prestando especial atención a la relación con una de las corrientes de la filosofía de las matemáticas más importantes durante la época, el (...) class='Hi'>intuicionismo, y su polémica con el formalismo durante principios del siglo XX. (shrink)

En este trabajo pretendemos abordar la teoría del Intuicionismo social, realizada por el psicólogo Jonathan Haidt en oposición al modelo racionalista de Piaget y Kohlberg. Analizaremos sus elementos principales y especialmente sus implicaciones normativas. En particular nos centraremos en su conocida teoría del «desconcierto moral» con la que pretende mostrar la desconexión existente entre el juicio moral y la reflexión como dos procesos independientes.

En este artículo muestro cómo el conceptualismo, como enfoque filosófico, podría ofrecer una motivación para el desarrollo de teorías lógicas y matemáticas. Así, estas teorías encontrarían su justificación filosófica en el conceptualismo.

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 cientifico.

En las tres últimas décadas del siglo XX, muchos filósofos analíticos han abordado cuestiones de ética práctica, ampliando radicalmente el campo de la filosofía moral más allá de los temas metaéticos que habían sido su foco principal durante la mayor parte del siglo. Sin embargo, abordar este tipo de controversias prácticas rápidamente hizo surgir la cuestión de cómo justificar las afirmaciones morales normativas. Muchos filósofos analíticos se basaron en el intuicionismo, que tiene un linaje muy antiguo dentro de la (...) filosofía moral anglófona. Este artículo evalúa tres formas en las que los filósofos analíticos del siglo XX recurrieron a las intuiciones para apoyar o rebatir las afirmaciones morales. Argumentamos que esos métodos fracasaron en su objetivo de promover un conocimiento moral digno de confianza porque se basaron en supuestos que, cuando se presumen en contextos de injusticia epistémica estructural, son sistemáticamente engañosos. A pesar de que las intuiciones se encuentran entre las fuentes de conocimiento en las que los agentes morales deben confiar, la epistemología moral debe prestar especial atención a los procesos sociales a través de los cuales se recogen, refinan y evalúan las intuiciones y otras formas de evidencia. Producir un conocimiento moral digno de confianza requiere procesos de razonamiento democráticos que sean sensibles a la omnipresencia de la injusticia epistémica y la dominación, así como desarrollar estrategias para contrarrestarlas. (shrink)

El Prefacio a Una Teoría de la Justicia, Rawls observa que “durante mucho tiempo la teoría sistemática predominante en la filosofía moral moderna ha sido alguna forma de utilitarismo”. Los críticos del utilitarismo, nos dice, han señalado que muchas de sus implicaciones se mueven de manera contraria a nuestros sentimientos y convicciones morales, pero que éstos han fallado “al tratar de construir una concepción moral practicable y sistemática que se le oponga”. Como resultado de ello, Rawls escribe que “con frecuencia (...) nos vemos obligados a escoger entre el utilitarismo y el intuicionismo”. Al final, especula, nos orientamos por “adoptar una variante del principio de la utilidad circunscrito y limitado, en ciertas maneras ad hoc, por restricciones intuicionistas”. “Tal punto de vista”, agrega, “no es irracional, y no existe garantía de que podamos hacer algo mejor. Pero eso no es razón para no intentarlo”. De manera similar, lo que propone hacer “es generalizar y llevar la teoría tradicional del contrato social representada por Locke, Rousseau y Kant a un nivel más elevado de abstracción”. Rawls cree que de todas las teorías tradicionales de la justicia, la teoría del contrato es “la que mejor se aproxima a nuestros juicios ponderados acerca de la justicia”. Su propósito es desarrollar esta teoría de manera tal que “ofrezca una explicación sistemática alternativa que sea superior... al utilitarismo dominante de la tradición”. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en (...) varias áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (shrink)

Leibniz é um contumaz crítico das filosofias da tradição e de seus contemporâneos. No que se refere à questão do conhecimento, existe na filosofia leibniziana uma oposição clara às gnosiologias mais influentes e determinantes de seu tempo, no caso do cartesianismo, do empirismo e até mesmo do intuicionismo espinoseano. O ecletismo de Leibniz tomou forma a partir de suas críticas, que, segundo algumas interpretações, intentavam conciliar os mais diletos pontos de vista. No entanto, o pensamento de Leibniz envereda por (...) outros campos na questão do conhecimento, assim como o fez reconhecidamente na física, na matemática e na metafísica? Nos propomos a discutir alguns pontos desta questão demonstrando que a ideia de invenção de Leibniz constitui-se em um movimento contra a filosofia da tradição e já reflete a insatisfação do pensador acerca dos rumos tomados pelas ciências em geral no seu tempo. Tendo como base o embate contra o método geométrico, alicerçando-se sobretudo no método matemático, Leibniz estabelece um pensamento que concilia a um só tempo a luz da descoberta e o rigor da demonstração, tendo em vista poder voltar a navegar efetivamente no ‘oceano das ciências’ e em busca da felicidade humana. (shrink)

ResumenPrimero, veremos el modo en que Dennett defiende su teoría de la conciencia frente a los ataques de destacados filósofos, logrando contrastar su anti-intuicionismo con las numerosas dificultades que se le presentan a todos aquellos que conciben la conciencia de modo realista. Segundo, afrontamos la explicación del uso de la evolución llevado a cabo por Dennett para explicar el nacimiento de la mente humana. Tercero, analizamos el importante papel que el lenguaje tiene en la aparición del pensamiento y el (...) modo en que ello permite el establecimiento de todo un entramado de simbología llamado cultura. Cuarto, nos detendremos en una matización y dos críticas al naturalismo dennettiano.Palabras clave:Daniel C. Dennett, conciencia, evolución, intencionalidadFirst, we show the Dennett’s theory of conciousness in a comparative and confrontative approach with the realistic conceptions of mind. Second, we confront the dennettian’s explanation of the human evolution. Third, we analyze the language’s rol in the appearance of thought and is implication in the culture. Fourth, we conclude with a elucidation and two critics of the dennettian naturalism.keywordsDaniel C. Dennett, conciousness, evolution, intentionality. (shrink)

The objective of this paper will be to present a critical evaluation of the so-called “standard conception of a proof”. According to this conception, a text could only be called a “demonstration of a certain mathematical proposition” if we could find a completely formalized version of that demonstration, its “corresponding formal proof”. We will compare these ideas with the treatment of the same topic within two markedly different contexts, that of contemporary Swedish intuitionism and that of modern software engineering. Finally, (...) we will offer a quick discussion of some of Wittgenstein's proposals regarding the subject. /// -/- O objetivo deste texto será o de apresentar uma avaliação crítica da assim chamada “concepção estândar” do que seja uma prova. Segundo essa concepção, um texto só poderia ser chamado de uma “demonstração de uma certa proposição matemática” se pudéssemos encontrar uma versão completamente formalizada daquela demonstração, sua “prova formal correspondente”. Faremos comparações com o tratamento do mesmo tópico em dois contextos muito distintos, aquele do intuicionismo sueco contemporâneo e o da moderna engenharia de software. Por fim, faremos uma rápida apresentação de algumas propostas de Wittgenstein sobre o assunto. (shrink)

En este artículo que dedicamos a las concepciones epistemológicas de Jean Cavaillès sobre el pensamiento formal y la teoría de la ciencia, analizaremos, en un primer tiempo, cómo la filosofía de las matemáticas de Cavaillès se presenta como una severa censura del logicismo y, en particular, de la empresa universalista de Carnap cuya sintaxis lógica es el blanco de las reprobaciones del filósofo francés, tanto en lo que atañe a la cuestión del formalismo como a la que estudia la relación (...) que mantiene la mathesis formalis con la física en la epistemología de Carnap. En un segundo tiempo, dado las simpatías de Cavaillès por la matemática intuicionista y una cierta resonancia de su epistemología con la de Brouwer, procuraremos subrayar, a partir del análisis crítico realizado por el propio Cavaillès, las dificultades a las que se expone el intuicionismo. Lo veremos, por una parte, en la indeterminación de la matemática a la física y, por otra parte, en el peligro de encontrarse la ciencia absorbida por la matemática si se admite, con el matemático holandés, que ésta es pensamiento racional del mundo. En la tercera y última parte del artículo, esbozaremos el programa de trabajo de Cavaillès, su última hoja de ruta, a favor de una epistemología constructiva y refinada de las matemáticas, entendidas a la vez en su esencia más pura y en su relación praxeológica con las ciencias de la naturaleza. En definitiva, se tratará de aproximarnos al proyecto de Cavaillès, entendido como una epistemología conceptual, fundada en una aproximación rigurosamente bolzaniana de lo lógico, una teoría pura de los encadenamientos racionales, que contempla a la vez la determinación de las posibilidades de los objetos y las posibilidades de determinación de éstos. Tal empresa, lo veremos, se apoya sobre una noción fuerte de necesidad cuyo carácter imprevisible escapa a las mallas de la lógica y atraviesa toda la praxis matemática en su temporalidad propia. (shrink)

Reconstruiremos a crítica de Olavo de Carvalho à modernidade, à ciência e aos intelectuais públicos, a partir da sua proposta (a) de um dualismo-maniqueísmo ontológico-antropológico sob a forma de autoexclusão de espírito e matéria enquanto representando o drama humano ante o universo e a eternidade, e (b) de uma perspectiva metodológica dinamizada como intuicionismo personalista, privatista, espiritualista e interiorizado, o qual, como postura anti-estrutural e antissistêmica, capacitaria cada indivíduo humano, independentemente de mediações institucionalistas, cientificistas e tecnicistas, a acessar diretamente (...) a Verdade absoluta e a compreender de si por si mesmo a objetividade do mundo e do homem. Em continuidade, explicitaremos exatamente essa correlação, feita por Olavo de Carvalho, entre modernidade, materialismo, ceticismo, relativismo e ideologia, que descamba para uma ciência positivista-perspectivista incapaz de produzir conhecimento objetivo e de gerar princípios e justificação racionais, para o horizonte da história como espaço do ceticismo e do relativismo, para o instrumento da política enquanto dinamizado por ideologias coletivistas e, finalmente, para a ação institucional-social intersubjetiva enquanto anulando o indivíduo. A modernidade como negação da ontoteologia e centralidade de materialismo, ceticismo, relativismo e ideologia, instaura os dois grandes macrossujeitos totalitários hodiernos, conforme Olavo de Carvalho: a academia e o partido de massas. Palavras-Chave: Olavo de Carvalho; Modernidade; Intelectuais Públicos; Materialismo; Ideologia. “Wise according to the flesh”: Olavo de Carvalho’s criticism to public intellectuals Abstract: We intend to reconstruct the Olavo de Carvalho’s criticism to modernity, science and public intellectuals, from his proposal of (a) a ontological-anthropological dualism-manichaeism as mutual exclusion between spirit and matter as representing the human drama before universe and eternity, as well as (b) through a methodological perspective streamlined as personalist, privatized, spiritualist and interiorized intuitionism, which, as an anti-structural and anti-systemic posture, would able each individual, independently of institutionalist, scientist and technicist mediations, to directly access the absolute Truth, and to comprehend from himself and by himself the objectivity of world and man. From this, we will explicit exactly this correlation, constructed by Olavo de Carvalho, of modernity, materialism, skepticism, relativism and ideology, which leads to a positivist-perspectivist science unable to produce objective knowledge and to generate rational principles and justification, to the horizon of history as sphere of skepticism and relativism, to the instrument of politics as streamlined by collectivist ideologies, and finally to the institutional-social intersubjective action as annulling the individual. Now, modernity as negation of ontotheology and the centrality of materialism, skepticism, relativism and ideology institutes the two main totalitarian macro-subjects of our time, according to Olavo de Carvalho: academy and mass party. Key-Words: Olavo de Carvalho; Modernity; Public Intellectuals; Materialism; Ideology. “Sabios según la carne”: la crítica de Olavo de Carvalho a los intelectuales públicos Resumen: Proponemos reconstruir la crítica de Olavo de Carvalho a la modernidad, la ciencia y los intelectuales públicos, a partir de su propuesta (a) de un dualismo-maniqueísmo ontológico-antropológico en forma de autoexclusión entre espíritu y materia como representación del drama humano ante el universo y la eternidad, así como (b) de una perspectiva metodológica dinamizada como intuicionismo personalista, privatista, espiritualista e interiorizado, que, como postura antiestructural y antisistémica, permitiría a cada individuo humano, independientemente de las mediaciones institucionalistas, científicas y técnicas, acceder directamente a la Verdad absoluta y comprender por sí mismo la objetividad del mundo y del hombre. En continuidad, trataremos de explicar exactamente esta correlación, hecha por Olavo de Carvalho, entre modernidad, materialismo, escepticismo, relativismo e ideología, que conduce a una ciencia positivista-perspectivista incapaz de producir conocimiento objetivo y generar principios y justificación racionales, para el horizonte de la historia como espacio de escepticismo y relativismo, para el instrumento de la política dinamizado por ideologías colectivistas y, finalmente, para la acción institucional-social intersubjetiva como anuladora del individuo. Ahora bien, la modernidad como negación de la ontoteología y centralidad del materialismo, el escepticismo, el relativismo y la ideología, establece los dos grandes macro-sujetos totalitarios de nuestro tiempo, según Olavo de Carvalho: la academia y el partido de masas. Palabras-Clave: Olavo de Carvalho; Modernidad; Intelectuales Públicos; Materialismo; Ideología. Data de registro: 03/12/2020 Data de aceite: 15/06/2022. (shrink)

Elizabeth Anscombe is well-known for her insistence that there are absolutely prohibited actions, though she is somewhat obscure about why this is so. Nonetheless, I contend in this paper that Anscombe is more concerned with the epistemology of absolute prohibitions, and that her thought on connatural moral knowledge – which resembles moral intuition – is key to understanding her thought on moral prohibitions. I shall identify key features of Anscombe’s moral epistemology before turning to investigate its sources, examining the roots (...) of connaturality in Aquinas and comparing it with rationalist ethical intuitionism, which Anscombe differs from in rejecting “good” as a simple, non-natural property. I then develop a two-stage argument about absolute prohibition: The first will be loosely Thomistic, while the second will suggest how Anscombe’s absolute prohibitions can be seen as a continuation of Wittgenstein’s anti-scepticism in On Certainty. I develop an account of absolute prohibitions as a form of Wittgensteinian hinge proposition – they are not the conclusions of deductive arguments, but the foundations for intelligibility in action. (shrink)

Resumo 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”. A partir dessa distinção conceitual, será abordado o principal problema desse artigo, i.e., o problema da possibilidade teórica de uma infinitude de estrelas tratado por Dummett em sua obra Elements of Intuitionism. O filósofo inglês sugere que, mesmo diante dessa possibilidade teórica, deveria ser possível predicar apenas infinitude (...) ordinal. A questão principal surge do fato de que parece ser problemático predicar ordinalmente infinitude de “estrelas”. Mesmo diante dessa possibilidade, Dummett sugere que o intuicionista poderia apenas reinterpretar infinitude cardinal como sendo infinitude ordinal. Ora, iremos mostrar que, se Dummett não fornece razões extras que sustentem essa posição, então será difícil interpretar um caso empírico infinitário como sendo também um caso ordinal ou potencial de infinitude. Para resolver esse problema de Dummett, em Brouwer se encontram alguns pressupostos idealistas necessários para argumentar em favor da ideia de que, mesmo em um contexto empírico, como o de uma infinitude de estrelas, poderíamos predicar infinitude ordinal. Então, depois de discutir as duas noções de “infinitude” e apresentar o problema de Dummett, será apresentada a abordagem idealista de Brouwer – a qual pelo menos explicaria de modo mais plausível as razões que poderiam motivar um intuicionista a predicar infinitude ordinal até mesmo de um caso empírico e espacial. (shrink)

A critical interpretation on Zubiri is put forward as an essential element for grasping the current importance of his thought, since this puts his potential contributions to the test and proposes corrections and creative extensions within the contemporary horizon of philosophy, with regard to phenomenology, hermeneutics, neurosciences and emergentism. The book focusses mainly on the evolution of Zubiri’s philosophy, his metaphysics, noology, anthropo- logy and the relationship between science and philosophy, but also on his serious crises. It should be placed (...) in context by associating this with today’s proposals for a new realism, linked to new forms of both ontology and hermeneutics. (shrink)

Resumen: El presente texto trata de la teoría de Charles Larmore, más precisamente, de las relaciones entre las concepciones de desacuerdo razonable, de pluralismo y de liberalismo. Tal teoría tiene como características el intuicionismo racional, contextualismo y defiende una posición realista de la moralidad. Palabras clave: desacuerdo razonable, pluralismo, liberalismo, intuicionismo, contextualismo.

RESUMO: Esse trabalho tem por objetivo analisar o construtivismo político da Terceira Conferência da obra Liberalismo Político, de John Rawls. Especificamente, vamos tentar compreender como, limitando o universo de construção aos parâmetros estabelecidos pelo discurso político, podemos estender o alcance dos princípios acordados na posição original para uma comunidade muito mais ampla frente às doutrinas morais abrangentes. Demonstraremos o construtivismo político coerentista não em oposição ao intuicionismo moral utilitarista nem ao construtivismo moral kantiano, mas como capaz de absorver modelos (...) com esse grau de razoabilidade. Isso será disposto através de uma justificação pública tanto do conteúdo quanto da forma do modelo adotado. Assim, o consenso sobreposto apresentado por Rawls é responsável direto pelo resultado democrático que esperamos de uma sociedade onde a publicidade ocupa espaço enquanto fato e possui um valor aceito como legítimo. Nosso método de trabalho envolve uma leitura analítica do texto e de comentadores pertinentes ao assunto proposto.ABSTRACT: This study aims to objective analyze the political constructivism of the Third Conference of the work Political Liberalism, by John Rawls. Specifically, we understand how limiting the universe of construction to the parameters by the political discourse, we can extend the reach of the principles agreed in the original position to a much larger universe in the face of comprehensive moral doctrines. We demonstrate what political constructivism no consistent as opposed to utilitarian moral intuitionism or the Kantian moral constructivism, but as capable of absorbing models with this degree of reasonableness. This will be provided through a public justification of both the content and form of the model adopted. Thus, the overlapping consensus presented by Rawls is directly responsible for the democratic results we expect from a society where democracy takes up space as a fact and has a value accepted as legitimate. KEYWORDS: Constructivism; justification; liberalism. (shrink)

Resumo: o presente artigo tem o objetivo central de sugerir uma aproximação entre a teoria da justiça de Rawls e o liberalismo de Mill. Vamos nos apoiar em dois elementos metodológicos para isso: o fato de Rawls ter admitido um tipo de consequencialismo pela via institucional e a sua filiação a um nível mitigado de intuicionismo na base da sua teoria da justiça. A primeira característica busca a correção de políticas institucionais, levando em consideração determinadas finalidades sociais de comunidades (...) políticas liberais: coordenação, eficiência e estabilidade; a segunda, por seu turno, se refere a não podermos provar uma teoria normativa, no sentido tradicional de prova empírica, algo antecipado por Mill. Para Rawls, teorias normativas em geral devem ter a sua disposição elementos de especulação que não podem ser demonstrados aprioristicamente. No construtivismo político, essa postura não está expressa no sentido reducionista, empregado pelo princípio da utilidade de Mill, mas enquanto procedimento. Por fim, vamos apresentar uma vantagem do consequencialismo utilitarista tendo em vista a adjudicação em casos de dolo e culpa, nos quais, segundo tal interpretação, é extrapolado o limite institucional. Mesmo assim, resguarda-se o mérito de Rawls de se aproximar do liberalismo político de Mill, se afastando de uma teoria moral abrangente. (shrink)

The present work tries to analyze the moral philosophy of William David Ross. First, Ross's ethics precedents are exposed, focusing on three authors against whom he acknowledges entering into discussion: Kant, the utilitarians and Moore. This is the aim of the second chapter. Next, Ross's proposal is explained through three axes: 1) the theory of moral knowledge, where his well-known intuitionist theory will appear; 2) the doctrine of correction, composed of deontological pluralism; 3) and the doctrine of good, in which (...) its axiology appears. The following three chapters, respectively, will be dedicated to all this. Finally, we provide the critical vision of some Ross followers and propose half a dozen conclusions. (shrink)

This is the Spanish translation, by María Gabriela Fulugonio, of Arend Heyting’s classical text “Die logizistische Grundlegung der Mathematik”, which was originally presented at the Königsberg’s Symposium on Philosophy of Mathematics in 1930, and finally published in Erkenntnis in 1931.

Elizabeth Anscombe is well-known for her insistence that there are absolutely prohibited actions, though she is somewhat obscure about why this is so. Nonetheless, I contend in this paper that Anscombe is more concerned with the epistemology of absolute prohibitions, and that her thought on connatural moral knowledge - which resembles moral intuition - is key to understanding her thought on moral prohibitions. I shall identify key features of Anscombe's moral epistemology before turning to investigate its sources, examining the roots (...) of connaturality in Aquinas and comparing it with rationalist ethical intuitionism, which Anscombe differs from in rejecting "good" as a simple, non-natural property. I then develop a two-stage argument about absolute prohibition: The first will be loosely Thomistic, while the second will suggest how Anscombe's absolute prohibitions can be seen as a continuation of Wittgenstein's anti-scepticism in On Certainty. I develop an account of absolute prohibitions as a form of Wittgensteinian hinge proposition - they are not the conclusions of deductive arguments, but the foundations for intelligibility in action. (shrink)

O autor analisa a crítica que fez Wittgenstein aos fundamentos de Matemática na dupla fase do seu pensamento lógico e filosófico. Começa por situá-lo em relação às 3 Escolas que discutiam sobre a fundamentação lógica da matemática: o logicismo, o intuicionismo e o formalismo. Na 1.a fase do Tractatus, vê-se que Wittgenstein é logicista. Mas é original porque não deriva a aritmética do cálculo de classes, como fazia Russell, mas do cálculo proposicional, que generaliza. Considera a matemática como um (...) simples "método lógico". Por isso define o Número como "expoente duma função proposicional"! Mas neste caso trata-se implicitamente, duma nova extensão analógica de princípios e conceitos da aritmética à lógica pura. Por exemplo: noções de número, operação, exponenciação, etc. E se Wittgenstein quer criar, por analogia, números lógicos (símbolos puros), então tem de fazer uma interpretação semântica para passar da lógica formal pura para a aritmética! Só admite o infinito potencial na matemática. Infere-se, pois, que na l.a fase do Tractatus, Wittgenstein, é nominalista e finista. Na 2a fase das Notas (PB ou Remarks) que são manuscritos e fotocópias, (entre 1927 e 1944) Wittgenstein foi variando de pensamento. Agora julga que a matemática se funda a si mesma, como autónoma de lógica pura. Descobre que para além dos "Símbolos" há relações para os "significados" e "usos". E a matemática pode ser teórica e aplicada aos cálculos das ciências. Mas pela sua crítica intuicionista rejeita o valor da teoria dos números irracionais de Dedekind, do teorema e processo da diagonal com que Cantor prova a teoria dos números transfinitos... Wittgenstein aborda ainda os célebres teoremas de Fermat e de Gödel, quando analisa as proposições indecidíveis dos Principia mathematica (de Russell-Whitehead). O autor mostra, no artigo, que Wittgenstein não tem razão na sua crítica pouco profunda ao conceito de número e suas generalizações. .. Na 2.a fase ele continua a ser finitista, mas agora é conceptualista. /// L'auteur analyse la critique que fit Wittgenstein aux fondements des Mathématiques dans la double phase de sa pensée logique et philosophique. Il commence par situer cette pensée en relation avec les trois écoles qui discutaient sur la fondation logique des mathématiques : le logicisme, l'intuitionisme et le formalisme. Dans la première phase du Tractatus, on voit que Wittgenstein est lo-giciste. Mais sa position est originale, parece qu'il ne dérive pas les mathématiques du calcul des classes, comme faisait Russell, mais du calcul propo-sitionnel, qu'il généralise. Il considère les mathématiques comme une simple "méthode logique". C'est pourquoi il définit le Nombre comme "exposant d'une fonction propositionnelle". Mais en ce cas il s'agit implicitement d'une nouvelle extension analogique de principes et de concepts de l'arithmétique à la logique pure. Par exemple : les notions de nombre, d'opération, d'opération exponentionelle etc. Et si Wittgenstein veut créer, par analogie, des nombres logiques (symboles pures), il doit alors faire une interprétation sémantique pour passer de la logique formelle pure aux mathématiques! Il n'admet que l'infini potentiel en mathématiques. Il s'ensuit alors que dans la première phase du Tractatus Wittgenstein est nominaliste et finitiste. Dans la seconde phase des Notes Philosophische Bemerkungen ou Remarks1 qui sont des manuscrits et photocopies (entre 1927 et 1944), Wittgenstein diversifia sa pensée. Il pense alors que les mathématiques se fondent elles-mêmes, de façon autonome par rapport à la logique pure. Il découvre que au-delà des "Symboles" il y a des relations pour les "sens" et les "usages". Et les mathématiques peuvent être théoriques et appliquées aux calculs des sciences. Mais par sa critique intutiuniste, il rejette la valeur de la théorie des nombres irrationnels de Dedekind, du théorème et du procédé de la diagonale par lesquels Cantor prouve la théorie des nombres transfinis. Wittgenstein aborde encore les célèbres théorèmes de Fermât et de Gô-del quand il analyse les propositions indécidables des Principia Mathematica (de Russell – Whitehead). L'auteur montre dans l'article que Wittgenstein n'a pas raison dans sa critique peu profonde au concept de nombre et ses généralisations... Dans la seconde phase, il continue à être finitiste, mais à présent il est conceptualiste. /// The author examines Wittgenstein's criticism of the foundations of mathematics in the two phases of his logical and philosophical thought. He begins by situating it in relation to the three schools which discussed the logical foundations of mathematics: logicism, intuicionism, and formalism. In the first phase of the Tractatus, we can see Wittgenstein as a logicist. His originality resides in his not deriving arithmetic from the calculus of classes, as did Russell, but from propositional calculus that he generalizes. Wittgenstein considers mathemathics as a simple "logical method". This is why he defines "number" as a "exponent of a propositional function". But in this case it is implicitly a matter of a new analogical extension of arithmetical principles and concepts to pure logic. For example, the notions of number, operation, and exponentiation, etc And if Wittgensteinwishes to create by analogy logical numbers (pure symbols), then he has to effectuate a semantical interpretation to pass from pure formal logic to arithmetic! He only allows potencial infinity in mathematics. One can infer that in the Tractatus phase, Wittgenstein is nominalist and finitist. In the second phase of Remarks, manuscripts and copies, dating between 1927 and 1944, Wittgenstein changed his thinking. Now he believes that mathematics founds itself independently of pure logic. He discovers beyond "symbols" there are relations for "meanings" and "uses". And mathematics can be theoretical and applicable to the calculus of sciences. But by his intuitional criticism he can reject the value of the theory of irracional numbers of Dedekind, of the theorem and the process of the diagonal, with wich Cantor proves the theory of transfinit numbers... Wittgenstein refers still the famous theorems of Fermat and Godel when he examines the indecidable propositions of the Prinvipia Mathemativa (of Russell-Whitehead). In this article the author shows that Wittgenstein is not correct in his not too profound criticism of the concept of numbers and its generalizations. In the second phase, he continues to be finitist but now also conceptualist. (shrink)

In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi. DOI:10.5007/1808-1711.2010v14n1p125.

In this paper, we try to expose the fundamental ideas at the basis of Jorge Millas’ axiology. First, we will expose synoptically the core of the legal philosophy that the Chilean thinker develops on his works on the subject, including his conception about philosophy in general , and about legal science in particular . Secondly, we will expose the epistemological suppositions of his legal philosophy , and his consequent conception of law’s essence , the legal rule and its foundation, and (...) the axiological theory that Millas develops on the basis of the distinction and relationship between “is” and “ought” . We conclude with a critical analysis that pretends to expose the strengths and weaknesses of the legal theory of this Chilean author. (shrink)