The present article aims to analyze systematically the formularization of Kant on the dignity of the human person, in order to offer a interpretative direction to the jurists at the moment of the application of this principle, which today appears as one of the beddings of the Democratic State of Law(art. 1o, III, of the Federal Constitution of 1988). To carry through such task, the work is divided in two parts: the first one studies the conceptual elements of the moral (...) philosophy of Kant, having as base the book Groundwork of the Metaphysics of Morals. The second one investigates the main aspects of the principle of the dignity of the human person - its origin, its meaning and its limits - according to the thought of this philosopher. In this perspective, the kantian's categorical imperative prescribes that the rational being never must be treated merely as a mean, but always as end in itself. (shrink)

RESUMO:O objetivo deste artigo é discutir sobre os conceitos de obrigação e lei natural, tendo como referência o polêmico debate moderno envolvendo intelectualismo e voluntarismo. Em um primeiro momento, destacaremos a rejeição de Wolff ao voluntarismo de Pufendorf e sua orientação em direção ao intelectualismo de Leibniz. Conforme essa nova orientação, uma teoria da lei natural não deve basear seu conceito de obrigação na autoridade das leis e em seu poder coercitivo, mas, por outro lado, unicamente na ideia de necessidade (...) moral, interpretada como expressão da ligação natural universal dos seres racionais com o dever. Em um segundo momento, apresentaremos os efeitos dessa discussão no pensamento inicial de Kant, que, se posicionando diante mesmo de Wolff e Baumgarten, vai empreender a superação de seus predecessores, através de uma revisão conceitual do problema, a qual culminará nos pressupostos de sua doutrina ética madura. -/- ABSTRACT:This paper highlights the debate around the concepts of obligationand natural law, with reference to the controversial modern discussion involving intellectualism and voluntarism. Firstly, we highlight Wolff’s rejection of the voluntarism of Pufendorf and Wolff’s orientation toward the intellectualism of Leibniz. For intellectualism, a theory of natural law should not ground the concept of obligation in the authority of laws and in their coercive power, but in the idea of moral necessity, understood as an expression of the universal natural connection of rational beings with duty. We then present the effects of this discussion on Kant’s early thought. Kant undertook to go beyond Wolff and Baumgarten through a conceptual review of the problem, which culminated in the assumptions of his mature ethics -/- This paper highlights the debate around the concepts of obligation and natural law , with reference to the controversial modern discussion involving intellectualism and voluntarism. Firstly, we highlight Wolff’s rejection of the voluntarism of Pufendorf and Wolff’s orientation toward the intellectualism of Leibniz. For intellectualism, a theory of natural law should not ground the concept of obligation in the authority of laws (established as an arbitrary decree of God) and in their coercive power (interpreted as fear of punishment), but in the idea of moral necessity, understood as an expression of the universal natural connection of rational beings with duty. We then present the effects of this discussion on Kant’s early thought. Kant undertook to go beyond Wolff and Baumgarten through a conceptual review of the problem, which culminated in the assumptions of his mature ethics. (shrink)

O pensamento de Leibniz foi, sem dúvida, essencial para o desenvolvimento das linhas fundamentais da filosofia crítico-transcendental de Kant. A interlocução entre Kant e Leibniz é evidente no decorrer do pensamento kantiano, seja diretamente, nos diversos momentos em que Kant busca um enfrentamento explícito com seu predecessor, seja indiretamente, quando Kant discute com os autores da escolástica alemã que são considerados discípulos de Leibniz Pretendo observar, em particular, que uma das discussões pouco noticiadas, mas de grande relevância para o desenvolvimento (...) do pensamento kantiano, é aquela em relação ao problema da teodiceia. Com isso em foco, meu objetivo nesse capítulo é o de tentar mostrar alguns aspectos do diálogo de Kant com a teodiceia de Leibniz. Primeiro, apresentarei alguns aspectos da teodiceia de Leibniz. Depois, mostrarei o tratamento que Kant dispensa ao problema da teodiceia em alguns de seus escritos iniciais. Por fim, apresentarei o seu tratamento no período crítico, da maneira como se expõe em um artigo de 1791 intitulado Sobre o Fracasso de todas as Tentativas Filosóficas na Teodiceia. De modo complementar, ao abordar o problema no período crítico, farei algumas remissões às três Críticas, às Lições sobre a Doutrina Filosófica da Religião de 1783/84, às Lições de Ética e à Religião nos Limites da Simples Razão de 1793. (shrink)

Em 1795, a maneira sarcástica com a qual Kant inaugura um de seus textos mais influentes referindo-se ao letreiro de uma pousada holandesa sobre o qual está pintado um cemitério cujo lema é a “paz perpétua”, diz muito sobre a situação permanente de guerra em que se encontrava não só os países europeus daquele tempo, mas também, de um modo geral, os povos na história da humanidade. Com o objetivo de colocar um fim definitivo em todas as guerras, Kant propõe (...) os fundamentos de uma teoria integral do direito público tripartida nos âmbitos do 1) direito do Estado, 2) do direito das gentes e 3) do direito cosmopolita. Exige-se, na primeira esfera, a instituição da constituição republicana, o que deve tornar os Estados sistemas políticos representativos. Em relação à segunda esfera, os Estados republicanos devem se reunir em uma liga livre de povos contrária à guerra E, na última, os seres humanos devem ser reconhecidos como cidadãos do mundo, o que lhes garante um direito à hospitalidade. Não é de se surpreender, levando em conta estas inovações, que o opúsculo kantiano “À paz Perpétua” tenha se tornado tão rapidamente popular e que a sua influência tenha se estendido para o contexto jurídico-político do século XX, materializando-se no aparecimento de organizações internacionais como a Liga das Nações (1919) e a Organização das Nações Unidas (1945). (shrink)

É possível constatar, mesmo em uma leitura superficial, que Kant tem o propósito de empreender em seu opúsculo de 1795, À Paz Perpétua, uma defesa dos princípios normativos do direito em todas as esferas da vida pública. Isso se evidencia na tentativa de desenvolver uma teoria da paz erigida sobre uma teoria tríplice do direito público, dividida nos âmbitos do direito estatal, das gentes e cosmopolita. Mas, se a questão é, por um lado, adequar os princípios puros da doutrina do (...) direito à teoria da paz, por outro, o problema com o qual Kant tem de lidar é essencialmente histórico. Não se trata apenas de justificar, em um contexto abrangente, a normatividade dos princípios do direito, mas também de demonstrar a sua aplicabilidade. Por conseguinte, em seu empreendimento, Kant encontra-se diante do desafio de demonstrar a inconsistência da “expressão corrente”, com a qual teve que lidar antes, que diz que “isto pode ser correto na teoria, mas nada vale na prática”. Tal preocupação pode ser observada direta e indiretamente, em várias passagens, no decorrer do texto, explicitando-se ,sobretudo, na discussão apresentada no Suplemento Primeiro no qual a questão suscitada pelo problema da teoria e prática, acerca das condições de possibilidade de realização do ideal da paz, é discutida no contexto de sua filosofia da história e também no Apêndice I, no qual, através de uma reflexão sobre o consenso entre moral e política, o que se põe em questão é a possibilidade da concordância entre teoria e prática no contexto da filosofia e da prática política. Ocupar-me-ei nesse texto apenas em tratar da questão sob esse segundo aspecto, tentando destacar que a estratégia kantiana para superar o problema da teoria e prática, no âmbito da filosofia política, depende do desenvolvimento de uma “renovada” doutrina da prudência. Como observa Castillo1, “[p]ara provar que a teoria jurídica da paz se aplica na teoria e na prática ao mesmo tempo”, Kant “deve fazer um exame crítico do conceito de prudência do Estado”2 . Esta análise deve nos permitir concluir, em primeiro lugar, que, bem diferente da visão antes difundida de que a filosofia política de Kant é expressão de um moralismo “que é certamente sincero, mas basicamente ingênuo”3, o objetivo de Kant, na verdade, nunca foi o de se afastar da realidade concreta da política em nome de um ideal abstrato de virtude política. Sua preocupação foi, em vez disso, a de ajustar os co. (shrink)

O termo respeito é derivado do latim respectus, que corresponde ao uso substantivo do particípio passado do verbo respicere, cujo significado literal é "olhar para trás", "olhar de volta", "olhar novamente", "considerar" (do latim re "de novo" e spicere "olhar"). Derivações do termo latino respectus são encontradas tanto no francês antigo (sec. VIII-XIX), cujo termo respit significa "descansar", "repousar", quanto no inglês médio (sec. XI-XV), cujo termo respect aparece, assumindo a função de nome, no sentido de "relação ou referência a (...) uma coisa ou situação específica" e, na função de verbo, no sentido de "ser digno de consideração ou estima". Na linguagem comum, respeito é uma das palavras cotidianas que aparece em uma multiplicidade de contextos. De um modo mais amplo, poder-se-ia definir respeito como o reconhecimento do valor e da dignidade de algo, do qual decorre um conjunto de comportamentos e estados de ânimo como resposta. Em primeira instância, é importante observar que o conceito de respeito implica sempre uma relação, como no caso em que utilizamos a locução "a respeito de". O respeito leva em conta uma relação responsiva entre sujeito e objeto na qual o sujeito responde ao objeto devido ao reconhecimento de certas características nele. Como o termo latino nos sugere, essa relação envolve um "olhar de volta" que é, ao mesmo tempo, um "considerar", ou seja, trata-se de um certo tipo de apreciação do objeto baseada em elementos tais como a atenção, o julgamento, o conhecimento, a valorização e a deferência. Nesse sentido, respeitar é uma maneira particular de se apreender objeto, na qual uma atenção especial é requerida com o propósito de reconhecer o objeto, não segundo as distorções perpetradas pela nossa subjetividade, mas em sua própria dignidade. Embora o ato de respeitar tenha origem no sujeito, ele não diz respeito primariamente ao sujeito, mas, em vez disso, ao objeto, na medida em que envolve o reconhecimento de uma propriedade que o objeto reivindica para si. Este é o motivo pelo qual respeitar não é meramente uma questão discricionária, baseada em nosso querer e não querer, mas uma experiência [...]. (shrink)

The extent of the originality and relevance of Kant's ethics is undeniable. But it is not so evident the fact that the Kant's moral philosophy as a whole was not suddenly built, but it was dependent on a profound debate with the philosophical tradition, especially with the German scholastic tradition, a debate which led to the assimilation or appropriation of several of its aspects. With special regard to the history of the development of the categorical imperative, it is not possible (...) to be indifferent to the influence of the practical philosophy of the Enlightenment German philosopher and theologian, Christian August Crusius. The aim of this article is thus to try to identify, taking into account the distinction of praxis in problematic and moral and the contrast between prudence and morality, some points of intersection between the moral philosophy of Crusius and Kant in its origin. (shrink)

RESUMO Neste artigo, busco identificar, por meio de algumas passagens da "Fundamentação da Metafísica dos Costumes" e da "Crítica da Razão Prática", o debate de Kant com a Filosofia Prática Universal de Wolff. Em um primeiro momento, apresento, de forma sucinta, alguns aspectos gerais da metafísica e da ética wolffiana com o intuito de, em um segundo momento, explicitar como algumas considerações de Kant, em suas duas primeiras obras morais, incidem diretamente nas teses de seu predecessor. A crítica de Kant (...) é apresentada nas seguintes etapas. Primeiro, destaco, diante das teses de Wolff, o argumento kantiano sobre a impossibilidade de se estabelecerem os princípios da faculdade superior de apetição e da obrigação moral a partir do prazer baseado nas representações e, por conseguinte, no princípio da felicidade. Em um segundo momento, sublinho a reivindicação kantiana de uma razão prática pura como a única base da faculdade superior de apetição. A partir disso, é notável o surgimento dos novos conceitos kantianos de lei formal, de liberdade e de perfeição moral. Por último, destaco, ainda em diálogo com Wolff, como a razão prática pura, compreendida como faculdade superior de apetição, pode representar não apenas as bases da necessidade moral, mas também uma fonte adequada de motivação. ABSTRACT In this Paper, I seek to identify Kant's debate with Wolff`s Universal Practical Philosophy in some passages of the "Foundations of Metaphysics of Morals" and of the "Critique of Practical Reason". At first, I briefly present some general aspects of Wolff`s metaphysics and ethics aiming at, in a second step, stressing how some of Kant's considerations, in his first two moral works, have a direct impact on the theses of his predecessor. First, stressing the discussion with Wolff, I highlight Kant's argument about the impossibility of establishing the principles of the superior faculty of desire and of moral obligation from the pleasure on the representations and, therefore, in the principle of happiness. In a second step, I stress the Kantian claim of pure practical reason as the basis of the superior faculty of desire. Thence, I show how the new Kantian concepts of formal law, freedom and moral perfection emerge. Finally, I highlight, still in a dialogue with Wolff, how the pure practical reason may represent not only the foundations of moral necessity, but also how it may be a proper source of motivation. (shrink)

As Reflexões sobre o otimismo são as mais antigas reflexões kantianas sobre metafísica que aparecem no legado manuscrito [ handschiftlicher Nachlass ], remetendo-se ao fecho de 1753 ou 1754. Para justificar a importância de sua tradução, eu argumento que as consequências oriundas do problema da teodicéia, que cerceiam sua problemática, apresentam-se como alguns dos aspectos fundamentais do desenvolvimento intelectual kantiano no que concerne aos âmbitos da teologia racional e da ética. Por um lado, argumento que a crítica à teodicéia de (...) Leibniz abre espaço para as primeiras reflexões kantianas em torno da teologia racional, proporcionando as bases para o fundamento da prova apresentada em o Único argumento possível para uma demonstração da existência de Deus. Por outro, eu deixo indicado que as reflexões são, do mesmo modo, o ponto de partida para profundas investigações em torno do conceito de perfeição, investigações essas que vão incidir diretamente no próprio modo kantiano de caracterização da vontade. (shrink)

In this paper, my aim is to reconstruct, through the material presented in the handschrifter Nachlaß, Kant`s criticism to Hutcheson and to the doctrine of moral feeling in the 1770s in the so called silent decade. As we can note, this criticism generally is addressed to the fact that the doctrine of moral feeling is lacking an objective ground on which can be established a categorical conception of ethics. Moreover, I argue that in this context Kant already demonstrates, from his (...) critical position in the Reflexionen and Vorlesungen, the general lines of his mature conception on moral feeling as something strictly linked to our awareness of the law. (shrink)

Esta edição contém a única transcrição estudantil sobrevivente das Lições de Metafísica de Kant da década de 1770. A Lição foi ministrada o mais tardar no inverno de 1779/80 e, portanto, antes mesmo da publicação da Crítica da Razão Pura (1781). Um exceção é, contudo, a parte sobre a ontologia que seguramente se remonta a uma Lição que Kant ministrou depois de 1781. Estas transcrições de Lições são de valor inestimável para a história do desenvolvimento da filosofia de Kant e, (...) em especial, para a gênese de sua Crítica da Razão Pura . Elas representam também um complemento importante para suas outras Lições, como por exemplo, as de antropologia, nas quais Kant também se ocupou com as questões da psicologia empírica e racional. É interessante observar que Kant se serve de métodos distintos, nas Lições de Antropologia e de Metafísica, para demonstrar a substancialidade e a imortalidade da alma. Embora Kant ainda leve a doutrina da alma da psicologia racional muito a sério na Metafísica-Pölitz, ele rejeitará de fato suas pretensões de conhecimento pouco tempo depois na Crítica na seção sobre os paralogismos da doutrina pura da alma. Aquele que deseja se aprofundar na filosofia de Kant e conhecer seu contexto histórico-filosófico não pode deixar de ler as Lições de Metafísica-Pölitz. Heiner F. Klemme Martin-Luther-Universität Halle-Wittenberg. (shrink)

The article On the Miscarriage of All Philosophical Trials in Theodicy was published in 1791 on the pages of the monthly periodical berlinische Monatsschrift. By itself, the title of the article already seems to us quite enlightening. What would it be but a criticism of every attempt to justify the God's cause? Nevertheless, there are evidences that there is much more at stake. Thus, the purpose of this paper is to raise the question about the true meaning of the Kant`s (...) text, arguing in favor of the fact that, for some reasons, the essay should not be interpreted exclusively as a criticism, but otherwise as a effort to establish a positive foundation of theodicy. If, indeed, the limits of reason prohibit any attempt to defend the good cause of God by speculative means, on the other hand, practical reason opens the way, throught of the concept of a "authentic theodicy", to answer the objections which the experience raises against the government and justice of God. My purpose, from this, is to stress the important role of theodicy in the system of reason of Kantian philosophy. (shrink)

A filosofia do direito internacional de Hegel tem recebido certa atenção nos últimos anos. As pesquisas mais recentes têm buscado apresentar uma visão diferente daquela, apresentada no século XIX e primeira metade do século XX, que retratava Hegel como um entusiasta do estado de guerra. Com efeito, também se passou a reavaliar a relação de Hegel com Kant no que diz respeito às questões do direito internacional, sobretudo, a possibilidade da paz. Meu objetivo nesse artigo é, primeiramente, apresentar os aspectos (...) gerais da filosofia do direito internacional de Hegel, enfatizando seu diálogo com Kant. Tento mostrar como Hegel está, em sua discussão, em referência a importantes aspectos do texto kantiano sobre a paz perpétua. Em segunda instância, partindo desse diálogo, argumento que, embora Hegel seja certamente muito mais um crítico do projeto kantiano do que um simpatizante, as implicações últimas de seu pensamento mostram-se, em alguma medida, alinhadas com as da filosofia de Kant. (shrink)

No centro da filosofia moral de Kant está sem dúvida sua doutrina do imperativo categórico. Por esse motivo não é de se surpreender que a Fundamentação da Metafísica dos Costumes (1785), na qual Kant explica, em detalhes, essa doutrina pela primeira vez, tenha sido o foco da atenção por décadas. Mas há alguns anos é observável uma significativa mudança na literatura que é univocamente bem vinda: ao lado da pesquisa das Doutrinas da Virtude e do Direito publicadas por Kant nos (...) anos noventa do século 18, agora também são intensamente estudadas suas perspectivas filosófico-morais desenvolvidas antes de 1781. Nesse sentido assume uma posição de destaque o manuscrito estudantil de uma lição de ética ministrada no meio dos anos 70, que é publicada aqui, em língua portuguesa, pela primeira vez em uma tradução comentada. Ainda hoje, esta lição serve como uma introdução à ética de Kant, muito embora pareça divergir, em alguns aspectos, da doutrina crítica do imperativo categórico. As Lições de Ética são um „trabalho em andamento“. Por um lado, somos capazes de assistir Kant "pensando" e compreender como ele se reporta ao livro de Alexander Baumgarten sobre os Príncípios da Metafísica Prática (Initia philosophiae practicae primae, 1760). E, por outro lado, somos capazes de vivenciar como ele desenvolve suas próprias perspectivas filosófico-morais em contraste a Baumgarten. Para todos que se interessam pela filosofia moral de Kant e pela história da ética na época da Aufklärung, o estudo desse manuscrito é indispensável. -/- Heiner F. Klemme (Martin Luther Universität - Halle-Wittenberg) . (shrink)

Apresentamos aqui a tradução de uma pequena seleção das notas kantianas sobre ética. A maioria dos fragmento traduzidos é parte das chamadas Reflexões de Filosofia Moral publicadas no tomo XIX de Kants gesammelte Schriften, que se constituem, em sua maior parte, como as anotações de Kant (algumas em folhas soltas) na margem de um dos exemplares de referência para seus cursos de ética17, a Initia philosophiae practicae primae de Alexander Baumgarten, em sua edição de 1760. Acrescentamos à mesma seleção, no (...) entanto, algumas Reflexões presentes em outros volumes do Legado Manuscrito que, de alguma maneira, abordam os mesmos temas. As Reflexões foram dispostas em ordem numérica e separadas de acordo com seus respectivos assuntos. Considerando a diversidade dos temas comentados por Kant, de acordo com o manual, tais como obrigação, coerção, imputação, lei, justiça, punição etc, tentamos selecionar alguns tópicos que assumem uma função basilar dentro da teoria moral kantiana. Dessa forma, o primeiro grupo de Reflexões contém algumas notas que tratam com o problema da liberdade e da lei moral. O segundo é um compilado contendo comentários sobre o sentimento moral. O terceiro apresenta algumas reflexões esparsas sobre imputabilidade e o mal moral e o quarto grupo traz algumas notas comentadas sobre o problema do sumo bem, sendo, em alguns casos, apenas trechos de anotações maiores. As traduções foram realizadas diretamente a partir dos fragmentos originais, embora, em alguns casos, tenha sido feito o cotejamento com outras versões, dentre as quais cito a tradução para o espanhol, Reflexiones sobre Filosofia Moral, publicada por J. Herceg, a seleção de notas da Cambridge Edition intitulada Notes and Fragments e a tradução francesa de Luc Langlois, Réflexions Sur La Philosophie Morale. Com o objetivo de dar mais clareza aos apontamentos, facilitando a interpretação, optei por completar, em alguns casos, as sentenças de Kant nas quais certas palavras ficam subentendidas. Este complemento está apresentado entre colchetes. Para fins comparativos, todas as Reflexões traduzidas são acompanhadas por sua correspondente original nas notas de rodapé. Ciente de todas as dificuldades desse tipo de trabalho, desde já, deixo aberto à comunidade acadêmica o espaço para críticas, sugestões e correções. (shrink)

A publicação do volume XX dos escritos completos de Kant publicado pela Academia de Berlin, editado por Lehmann em 1942, representou uma contribuição fundamental para a interpretação do desenvolvimento da filosofia moral de Kant, uma vez que, pela primeira vez, os intérpretes tiveram acesso ao extrato completo das decisivas Anotações (Bemerkungen) kantianas em seu exemplar particular de Observações sobre o Sentimento do Belo e do Sublime. De fato, pouca progressão havia sido observada no trabalho dos primeiros intérpretes do desenvolvimento, que, (...) com acesso apenas aos excertos incompletos organizados anteriormente por Schubert, não foram capazes de avaliar adequadamente os problemas fundamentais da filosofia moral com os quais Kant, em sigilo, estava preocupado nesse contexto. Em certo ponto, estas anotações deixam de ser um adendo aos temas da obra de Observações para tornarem-se reflexões críticas profundas sobre os escritos rousseaunianos, que, surpreendentemente,nos permite reconhecer os traços mais básicos da teoria ética que, mais tarde, seria apresentada na Fundamentação da Metafísica dos Costumes. Com efeito, isso levou a literatura, desde a segunda metade do século XX, a reconhecer“uma perfeição inicial” da ética kantiana, uma vez que, já naquele tempo, Kant parece compreendera consciência moral “totalmente a partir da essência da vontade”, o que o conduz à“fórmula do imperativo categórico a partir da universalidade da vontade”. (shrink)

Kant‘s moral philosophy is one of the great cornerstones of the Western ethical reflection. The little that is known is that the basic conception on which Kantian ethics was built – videlicet, the concept of autonomy of the will – was developed from the attempt to solve a set of problems of metaphysical and theological character that could only have been overcome through the adoption of a new practical metaphysics. With this in mind, this research is an attempt at a (...) reconstruction of the Kantian moral thought in its development, having as a higher aim the emphasis on the importance of the problem of theodicy in the genesis of Kant‘s original conceptions of freedom and the moral world, which emerged from the middle of the 1760s and only came to a bloom on the next decade. Such an attempt at a reconstruction will be guided by the chronological sequel of the pre-critical writings and Kant‘s reflections on the Manuscript Legacy, besides his Lectures on Ethics, sources that are temporally circumscribed from the late 1750s and the first half of the 1780 decade. In a first moment, the genesis of the moral problem will be analyzed from Kant‘s critical position – due to the objections that were raised precisely by the theodicy – in front of the intellectualistic comprehension of the concepts of perfection and will such as they were received by the German Scholastic. In a second moment, the beginning of a reformulation directly influenced by Crusius and the British moralists will be highlighted, and it will culminate in a repositioning of the ethical problem, having in mind the roles of reason and feeling. The third moment is marked by the Kantian assimilation of Rousseau‘s thought. Rousseau‘s influence will propel the emergency of a new understanding of the concept of perfection as an inner attribute of the will, enabling support for a new concept of practical philosophy. Indeed, a solution to the ethical problem regarding the conditions of possibility of free actions within the natural world will emerge and, besides that, a path to an adequate answer to the problem of theodicy will rise by means of the concept of a practical rational faith. Finally, the development of the Kantian doctrine of the categorical imperative will be highlighted – by means of the debate with Baumgarten‘s compendium – as the first attempts to lay down a systematic and unified view of morality that will try to establish a connection between the concepts of virtue and happiness – in this contexts, approach from the perspective of the highest Good. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

O presente trabalho visa demonstrar como a relação entre corpo e alma são indispensáveis para o viver. Para tanto, considera a tese de que o ser animado é uma substância composta de matéria e forma, que também pode ser analisada sob a perspectiva de potência e ato. Neste sentido, o trabalho inicia com a compreensão sobre o que é uma substância, qual tipo de substância é o ser vivo para, em seguida, mediante as definições de alma presentes no livro Β (...) do De Anima, perceber como se dá a relação entre corpo e alma e porque tal relação é necessária ao viver. (shrink)

It is commonly assumed that blameworthiness is epistemically constrained. If one lacks sufficient epistemic access to the fact that some action harms another, then one cannot be blamed for harming. Acceptance of an epistemic condition for blameworthiness can give rise to a worry, however: could agents ever successfully evade blameworthiness by deliberately stunting their epistemic position? I discuss a particularly worrisome version of such epistemic shirking, in which agents pre-emptively seek to avoid access to potentially morally relevant facts. As Roy (...) Sorensen and Jan Willem Wieland have argued, we seem to be faced with a potentially troubling regress when trying to explain what goes wrong in such situations. I argue that the solution to this so-called Shirker Problem is not to be found in complicated and demanding anti-shirking-principles with universal scope and potentially self-reflexive content. Instead, careful consideration of the necessary motivational make-up of genuine shirkers reveals their ignorance to lack the necessary depth to be exculpatory. Since shirkers by definition react to the possibility of the revelation of morally relevant facts with acts of epistemic self-limitation, they necessarily prove guilty of a form of culpable moral recklessness. Epistemic shirking thus does not pose a worrisome problem for ethical theory. (shrink)

It is a well-worn platitude that knowledge excludes luck. According to anti-luck virtue epistemology, making good on the anti-luck platitude requires an explicit anti-luck condition along the lines of safety: S knows that p only if S’s true belief that p could not have easily been mistaken. This paper offers an independent, virtue epistemological argument against the claim that safety is a necessary condition on knowledge, one that adequately captures the anti-luck platitude. The argument proceeds by way of analogy. I (...) focus on two paradigmatic kinds of normative achievements that also exclude luck: (i) – having a doxastically justified belief, and (ii) – performing a morally worthy action. I then show that while (i) and (ii) exclude luck, they are nevertheless susceptible to what I call ‘modal luck’. I then move on to show that knowledge, or at least some instance of knowledge, is a normative achievement, which I claim provides strong reasons to expect that knowledge is also susceptible to modal luck. Since safety entails that knowledge is incompatible with modal luck, the argument provides strong reasons to reject safety as a necessary condition on knowledge. (shrink)

Neurath’s scientific utopianism is the proposal that the social sciences should engage in the elaboration, development, and comparison of counterfactual scenarios, the ‘utopias’. Such scenarios can be understood as centerpieces of scientific thought experiments, that is, in exercises of imagination that not only promote conceptual revision, but also stimulate creativity to deal with experienced problems, as utopias are efforts to imagine what the future could look like. Moreover, utopian thought experiments can offer scientific knowledge to inform political debates and decisions, (...) contributing to the shaping of society. This essay reconstructs a historical event as an example of Neurath’s utopianist methodology. In the late 1970s and early 1980s, a scientific and political commission appointed by the Western German Parliament devised and compared four scenarios for future energetic-economic policies. Conclusions of the commission informed political decisions that put Western (later reunified) Germany in a route towards becoming a green industrial power. A fundamental part of the commission’s work involved an appeal to imagination, allowing for the characterization under Neurath’s methodology. (shrink)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he grants—and (...) in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)

Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...) future choices and prevent her future self to act in certain ways. She should ‘bind’ herself to a certain course of action. This is a form of causal commitment. It is generally recognized that this form of self-commitment is the only one that is available to a rational agent. Rational commitment, where the agent gives herself a reason to act in a certain way rather than making herself act in that way, is considered not feasible. In this paper, I question this verdict. I sketch the broad outlines of a model of rational commitment, which takes as its starting point Michael Bratman’s ‘planning theory’ of intention. There are two important objections against this theory (one by John Broome and one by the Dutch philosopher Govert den Hartogh.) Both criticisms claim that such a theory is a form of ‘bootstrapping’ reasons for action into existence. In the remainder of the paper, I will defend the theory against these objections. This way, I hope to establish that defending the feasibility of rational commitment is not an obvious mistake. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for a dialetheist (...) answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

In this paper, we introduce the basics of what we shall call "partial model theory", which is an extension of traditional model theory to partial structures. These are a specific kind of structure developed within the partial structures approach, which is a view constituting the semantic approach of theories. And together with other related semantical concepts, like the concept of quasi-truth, partial structures have been used in contemporary philosophy of science for several purposes. Nonetheless, those uses presuppose certain technical results, (...) or could be improved by resorting to certain technical notions and results, that have not been put forward so far. Thus, in the present work, we intend to introduce part of this particular technical apparatus that is still lacking especially in logic, throughout the development of partial model theory. We begin by extending traditional notions of model theory for partial structures, like the notions of substructure and homomorphism, and by proving some results concerning the notion of quasi-truth. Posteriorly, we show how the content introduced can be used to improve a particular application of partial structures and quasi-truth in the philosophy of science. (shrink)

Philosophical discussions of Molyneux's problem within contemporary philosophy of mind tend to characterize the problem as primarily concerned with the role innately known principles, amodal spatial concepts, and rational cognitive faculties play in our perceptual lives. Indeed, for broadly similar reasons, rationalists have generally advocated an affirmative answer, while empiricists have generally advocated a negative one, to the question Molyneux posed after presenting his famous thought experiment. This historical characterization of the dialectic, however, somewhat obscures the role Molyneux's problem has (...) played in spawning debates within the empiricist tradition. Fortunately, the differences between various empiricist accounts have been widely recognized and discussed among historians of philosophy working on the topic. The focus of the present essay is to develop an interpretation of John Locke's views on Molyneux's problem that best coheres with his other views on human understanding as well as with the predominant scientific opinion about the nature of perception during the period in which he lived. (shrink)

In the Vocation of Man, Fichte makes the striking claim that life is eternal, rational, our true being, and the final cause of nature in general and of death in particular. How can we make sense of this claim? I argue that the public lectures that compose the Vocation are a popular expression of Fichte’s pre-existing commitment to what I call immortalism, the view that life is the unconditioned condition of intelligibility. Casting the I as an absolutely self-active or living (...) power enables his philosophical account of both the intelligibility of objects and of what it means to die. This explains his characterization of the Wissenschaftslehre as a system in which ‘all is act, movement, and life’. In Sect. 1, I explain the context of Jacobi’s use of ‘caput mortuum’ as a term for the thing in itself. In Sects. 2 and 3, I reconstruct two immortalist arguments from Fichte’s Jena period. The first is that the I’s self-activity rules out the existence of the thing in itself and thereby vanquishes ‘death’s head’. The second is that, insofar as the I charges us with the moral perfection of nature, it is the final cause of our entire life, including its end. This is to say that the I puts our every moment into question, even our last. In Sect. 4, I use these immortalist arguments to interpret the striking claim from the Vocation. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

In the Freedom essay, Schelling charges that (1) idealism fails to grasp human freedom’s distinctiveness and that (2) this failure undermines idealism's attempt to refute pantheism, as exemplified by Spinoza. This raises two questions, which I will answer in turn: what, for Schelling, is distinctive of human freedom; and how does the idealists’ failure to grasp it render them unable to refute pantheism? To answer these questions, I will reconstruct Schelling’s argument that freedom has the distinctness of being the unconditioned (...) condition of the world’s intelligibility. My reconstruction will illustrate how Schelling’s notion of freedom as primal will grounds the alleged primacy of practical reason as Kant and Fichte conceive it. I will then consider three objections to Schelling’s argument. Throughout, I will develop the Schellingian idea that freedom is enacted in an unprethinkable decision that cannot be anticipated by any law or principle. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

Tradução para o português do artigo de Richard H. Popkin "Did Hume Ever Read Berkeley?", publicado em "The Journal of Philosophy". Volume LVI, número 12, 1959, pp. 535-545.

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

On the classical understanding, an agent is fully excused for an action if and only if performing this action was a case of faultless wrongdoing. A major motivation for this view is the apparent existence of paradigmatic types of excusing considerations, affecting fault but not wrongness. I show that three such considerations, ignorance, duress and compulsion, can be shown to have direct bearing on the permissibility of actions. The appeal to distinctly identifiable excusing considerations thus does not stand up to (...) closer scrutiny, undermining the classical view and giving us reason to seek alternative ways of drawing the justification/excuse distinction. (shrink)

Il existe de nombreuses sources d’exigences. Certaines exigences sont normatives dans la mesure où elles impliquent des affirmations concernant ce que nous avons raison de croire, faire, désirer, etc. À ce titre, les exigences morales sont parmi les meilleures candidates. Si la morale exige que l’on tienne notre promesse, il semble que nous avons une raison de la tenir. Cependant, ce ne sont pas toutes les exigences qui sont normatives en ce sens. Le catholicisme exige que l’on assiste à la (...) messe chaque dimanche. Il ne s’ensuit pas pour autant que nous avons une raison d’y assister. Pourquoi cela? Pourquoi certaines exigences sont normatives en ce sens, mais pas d’autres? En vue de répondre à cette question, je défends la conception reasons-sensitive des exigences normatives, selon laquelle les exigences normatives sont celles et seulement celles qui sont sensibles aux raisons. Par contre, cette conception n’est pas la seule disponible. Selon ce que j’appelle la conception reasons-providing, les exigences normatives sont celles et seulement celles qui fournissent des raisons. Je soutiens que cette conception-ci est vulnérable à deux objections, ce qui nous donne raison de préférer la première. (shrink)

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...) are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

Partindo de uma crítica à condenação kantiana de toda e qualquer mentira, faz-se uma análise da relação entre a decisão de revelar a verdade e as instâncias de poder em que o sujeito se insere. Dada a introjeção das estruturas de poder e seu papel nas deliberações do Eu Consciente, concluímos que mentir implica num reconhecimento do poder da figura a quem se mente. Do ato leviano de mentir decorre prejuízo irreparável ao teste de realidade de quem mente.

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)