Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms (...) is simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics. Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...) simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics.Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

Tendo como referência principal a conferência _O conceito de tempo_, o presente artigo assume o propósito circunstanciar o contexto em que ela foi pronunciada. Além disso, trata-se de evidenciar em que medida a reflexão proposta por Heidegger, naquela ocasião, se movimenta conceitualmente numa perspectiva muito própria e peculiar. Por fim, pretende-se também apontar relações que o texto da conferência de 1924 tem com outros textos do filósofo de Messkirch e, neste caso, tanto a anos anteriores como aos anos seguintes, como (...) é o caso, inequivocamente, do tratado _Ser e tempo_, publicado em 1927. (shrink)

Boethius is largely underrated in the history of Western thought. Scholarship often regarded him and his era Late Antiquity as mere intermediaries between Antiquity and the Middle Ages. This volume shows that Boethius and his time can be appreciated in their own right.".

Dass sich jegliches Geschehen der operativ geschlossenen Verknüpfung von Ereignissen verdankt, ist sicherlich die theorieästhetische Provokation der Moderne. Die Dynamik der Geschlossenheit wird als eine Theoriefigur ins Spiel gebracht, welche die sich seit der Neuzeit entwickelnde Idee der Selbstbezüglichkeit radikalisiert und jegliche Beobachtung von einem Absoluten entlastet. Aus der theorieästhetischen Perspektive wird auch die kultur-phänomenologische Anthropologie Hans Blumenbergs unter dem Signum der operativen Geschlossenheit entfaltet. Indem mit Niklas Luhmann und Hans Blumenberg zwei Perspektiven ins Gespräch gebracht werden, die man sonst (...) nicht in einem Atemzug nennt, kann letztlich Blumenberg in einer innovativen Lesart nicht nur als Denker der Neuzeit, sondern auch als Beobachter der späten Moderne verstanden werden. (shrink)

This article investigates the use of natural law in biolaw from the specific perspective of an attorney practising before the European Court of Human Rights. Starting from an exploration of the question of who is a human and thereby to be protected under the European Convention on Human Rights (ECHR), particular emphasis is placed on the right to life under Art. 2(1) ECHR. It is shown that natural law can – and should – impact the interpretation of the European Convention (...) on Human Rights and that concrete consequences follow from this approach, most notably the requirement to ensure that every human being, including the unborn, is actively protected as concerns the right to life. (shrink)

Normative economics and a hermeneutic approach to interpretation of legal norms are only compatible if - and this is the exception - such legal norms have the goal of accomplishing economic efficiency. But economic analysis of law as a positive approach may be used in the legal interpretation process in order to evaluate different options of norm interpretations. In fields of law where economic issues are at stake such a methodological evaluation of interpretative variants are superior to common sense analysis (...) and should be applied. But even in fields where non-economic issues play a major role an economic analysis is a helpful tool in order to get aware of the opportunity costs of economically sub-optimal solutions. Economic analysis of law thus becomes an integral part of the norm interpretation process without colliding with the autonomy of the legal decision enhancing the rationality of the endeavour. (shrink)

The aim of the present paper is to examine the contribution of evaluative conditioning (EC) to attitude formation theory in social psychology. This aim is pursued on two fronts. First, evaluative conditioning is analysed for its relevance to social psychological research. We show that conditioned attitudes can be acquired through simple co‐occurrences of a neutral and a valenced stimulus. Moreover, we argue that conditioned attitudes are not confined to direct contact with a valenced stimulus, but can be formed and dynamically (...) reformed indirectly, through association chains. Second, social research is examined in an effort to identify evaluative learning mechanisms. We suggest that several important phenomena in social psychology (e.g., ingroup favouritism, prejudice, name letter effect) are at least partly due to simple mechanisms of evaluative learning. The implications for attitude formation theory and for applied settings are discussed. (shrink)

Publisher: Philosophical Library Publication date: 1953 Subjects: Medicine Medical / Diseases Medical / General Medical / Diseases Medical / Microbiology Science / Life Sciences / Biology / Microbiology Notes: This is an OCR reprint. There may be typos or missing text. There are no illustrations or indexes. When you buy the General Books edition of this book you get free trial access to Million-Books.com where you can select from more than a million books for free. You can also preview the (...) book there. (shrink)

Este artigo objetiva demonstrar a importância do pensamento de Martin Heidegger (1889-1976) para uma melhor compreensão dos fenômenos da atualidade, tais como as novas tecnologias e o ambiente digital. Heidegger apresenta a essência da técnica como algo não técnico que acaba por atingir diretamente a humanidade numa dominação da técnica sobre o ser humano. O avanço técnico-científico ganha novo espaço e nova abordagem no fim do século XX com o nascimento da internet. Entendemos que a proposta de Heidegger pode auxiliar (...) numa análise crítica da sociedade pós-moderna marcada pela cibercultura e o ciberespaço. A reflexão tem como pano de fundo o livro Ensaios e conferências que, entre outros textos, contém a conferência proferida em 1953: “A questão da técnica”. Nosso autor mais utilizado é Francisco Rüdiger, professor da UFRS e da PUCRS. Os resultados obtidos apontam que a essência da técnica presente nas novas tecnologias, sobretudo, no ambiente digital, a partir de meados do XX, tem afetado a humanidade em seu modo de ser e viver. Com efeito, o pensar técnico gera na humanidade uma grande crise na formação da sua própria identidade, assim como no seu modo de ser e de agir no mundo. Conclui-se, então, que é necessário – como afirma Rüdiger – olhar para as questões da tecnologia e do ambiente digital numa perspectiva analítica e criticamente hermenêutica. A metodologia utilizada foi a hermenêutica fenomenológica a partir de uma ampla análise bibliográfica da temática abordada. (shrink)

ARISTOTLE'S Ethics are not focused on a group of moral principles; they are developed from the affirmation of an end which subordinates all human activities. This end is sought for itself and is called "the good and the best".

This paper analyses ethical training in neuroscience curricula at universities in Australia, Canada, Germany, the United States and the United Kingdom. The main findings are that 52 % of all courses have ethical training available, while in 82 % of those cases, the training is mandatory. In terms of specific contents of the teaching, ethical issues about ‘animal subjects and human participation in research’, ‘scientific misconduct’, and ‘treatment of data’ were the most prominent. A special emphasis during the research was (...) placed on the prevalence of dual-use bioethics. In total, only 3 % of all courses mention it in any of their modules. One of the major findings of the survey was the trend towards ‘mainstreaming’ ethics education particularly in the UK, which is to disperse ethics among the various modules within the education instead of relying on a single ethics module. The paper discusses the utility of this approach for science education as well as describes the overall difficulties that course coordinators face when trying to teach ethics based on the responses to the qualitative part to the survey. (shrink)

Thema dieses Buchs ist die Sprachkritik, vor allem, wie sie sich als Teil der offentlichen Sprachdiskussion darstellt, aber auch, welche Position sie in der linguistischen Fachwissenschaft einnimmt. In einer allgemeinen Orientierung im ersten Teil werden der Begriff der Sprachkritik, ihre Erscheinungsformen, Ziele und Bewertungskriterien analysiert. In einem weiteren Abschnitt erlautert der Autor seine Sicht auf die Rolle der Sprachkritik innerhalb der Sprachwissenschaft und ihre mogliche Wirkung auf den offentlichen Bereich des Nachdenkens uber Sprache. Die metakritischen Analysen des zweiten Teils behandeln (...) zunachst zwei methodologische Schwachstellen der popularen Sprachkritik und nehmen dann eine Reihe bevorzugter Gegenstande der Sprachkritik - u.a. Sprachwandel als Sprachverfall, Fremdworter, Unworter, Nazi-Worter - auf. Mit der exemplarischen Behandlung der gleichen Gegenstande versucht der Autor, der offentlichen Sprachkritik von linguistischer Seite ein Korrektiv zu bieten. (shrink)

Este artigo tem como escopo fazer uma interpretação fenomenológica do texto da aula de habilitação pronunciada por Martin Heidegger em 1915 na Universidade de Friburgo. Apesar de ser um texto citado muitas vezes pelos estudiosos da obra heideggeriana, pouco se conhece a seu respeito e, sobretudo, que e como algumas ideias – as quais serão desenvolvidas em Ser e tempo (1927) – já estão embrionariamente presentes na referida aula. Nesse sentido, seguindo a indicação do próprio título, pretende-se evidenciar em que (...) sentido há uma diferença fundamental, segundo Heidegger, entre o conceito de tempo na história e na física. Aspecto importante da presente interpretação consiste em vir acompanhada da tradução inédita de trechos significativos do texto em questão. (shrink)