ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

Hidden cluster problems can manifest when broad ethnic categories are used as proxies for cultural traits, especially when traits are assumed to encode cultural distances between groups. We suggest a granular understanding of cultural trait distributions within and between ethnic categories is fundamental to the interpretation of heritability estimates as well as general behavioral outcomes.

We suggest that the accounts offered by the target articles could be strengthened by acknowledging the role of group selection and cultural niche construction in shaping the evolutionary trajectory of human music. We argue that group level traits and highly variable cultural niches can explain the diversity of human song, but the target articles' accounts are insufficient to explain such diversity.

Recently Robert Almeder has invoked Aristotle's celebrated regress argument to argue for the existence of basic knowledge that does not require the satisfaction of any justification condition. After outlining Almeder's argument, I shall show why it ultimately fails.Aristotle's regress argument in Book I of the Posterior Analytics is basically that because we have inferential knowledge, we must also have non-inferential knowledge. Aristotle plausibly assumes that to know the conclusion of an argument on the basis of its premises, one must know (...) its premises. But he notes that if knowledge of any premise requires knowledge of some other proposition, then knowing any proposition would require knowledge of each member of an infinite regress of propositions. According to Aristotle, we cannot know each member of such a regress, but we do have some inferential knowledge; consequently there must be some basic, non-inferential knowledge, i.e., knowledge that does not depend for its justification on inferential relations to other known propositions. (shrink)

Quale atteggiamento deve assumere il cristiano in filosofia? Se la condizione di cristiano è tale da influire sulle modalità della riflessione filosofica, che cosa ne consegue per il rapporto tra la fede e la ricerca della verità? I due autori, entrambi cristiani, hanno approcci diversi al riguardo, sotto il profilo dell’ispirazione intellettuale, degli approfondimenti tematici e dello stile espositivo, ma è comune a entrambi il desiderio di riflettere sull’amore e l’obbedienza come fonti della filosofia del credente. -/- Questo piccolo libro (...) realizza un’eco italiana del dibattito intorno a «una filosofia conforme a Cristo», molto vivo soprattutto nei paesi anglosassoni, qui articolato con un costante riferimento al pensiero di san Tommaso d’Aquino, così centrale nella tradizione religiosa e culturale del nostro Paese. (shrink)

The paper examines a possible ethics for the current scenario, in order to bring human beings closer together and awaken in them a feeling of solidarity. For such an examination, at first, theories such as the utilitarianism reviewed by Rawls are questioned. It searches for a valid criterion for all participants of a certain universalism or for a real and non-exclusive “us”. The call for solidarity is proposed as a way of uniting people, as opposed to selfishness. Then solidarity is (...) defended, according to Richard Rorty. This philosopher affirms the need for an agreement among the members of society, because only then would there be a real “we”. Next, there is the question about how to make people more supportive, but without resorting to the traditional metaphysical perspective on humanity: there is a bet on the existence of shared characteristics that lead to democratic equality, however, respecting the differences of each one. It is still questioned what would lead the richest to sympathize with the poorest, observing the proposals made by Rorty about raising awareness, presenting the risk of poverty to the rich and appealing to the feeling of humanity. Finally, Rortyan egalitarianism is considered, according to which solidarity is beyond rationality. It would be historically constituted and based on the relationship with the other, on the common feeling of vulnerability, crucial to society in times of pandemic. (shrink)

This article deals with socio?cultural ethical relativism. An attempt is made to analyze an ethical relativistic statement, i.e. a statement which, prima facie, ascribes different value?qualities to the same type of conduct, depending on the society in which it occurs. The conclusion arrived at is that, in the main, such statements do not express genuine relativism. On the other hand, views which can be regarded as genuinely relativistic, arc found to lack plausibility.

Purpose: This paper aims to mediate Josef Mitterer's non-dualistic philosophy with the claim that speaking is a process of embodied experience. Approach: Key assumptions of enactive cognitive science, such as the crossmodal integration of speech and gesture and the perceptual grounding of linguistic concepts are illustrated through selected performance pieces of multimedia artist Laurie Anderson. Findings: The analysis of Anderson's artistic work questions a number of dualisms that guide truth-oriented models of language. Her performance pieces demonstrate that language is both (...) sensually enacted and conceptually reflected through the integration of iconic signing (e.g. sound play, dance) with symbolic communication. Moreover, Anderson's artistic practice demonstrates that media such as voice, gesture and recording technologies realize different forms of embodied language. Benefits: Media aesthetics in the vein of embodied cognition can overcome a number of the dualisms that inform analytical philosophy of language, linguistics, and communication studies, such as perceptual/conceptual meaning, iconicity/symbolicity, emotion/cognition, body/technology and voice/script. (shrink)

Este artigo tem como objetivo apresentar, como Introdução, a definição de Lógica como o estudo das formas válidas de raciocínio. Raciocinar é inferir conclusões de proposições tidas ou dadas por verdadeiros, denominadas premissas. Como estudo das formas válidas não é escopo da Lógica determinar se as premissas são verdadeiras ou falsa. Apenas considera as premissas como tidas por verdadeiras. A seguir trata-se da filosofia da ciência que estuda, entre outras questões, em que consiste a natureza da ciência, quais são suas (...) características, o que a diferencia do senso comum. Entre seus objetivos está em determinar em que consiste a explicação científica em especial o modelo da explicação dedutivo nomológico, sobretudo. Em terceiro lugar, trata-se deste modelo específico, que o tema central destas reflexões, sua estrutura um conjunto de proposições que constituem o Explanans no qual figuram 1. As condições iniciais em que se produz o fenômeno a ser explicado (denominado de Explanandum) e 2. As leis universais que estimadas como explicações do fenômeno a ser explicado. Do Explanans por meio de regras lógicas deduz-se o Explanandum. Este modelo é também denominado modelo de Hempel-Openheim considerado clássico e vigente até a década de 1960. A dedução lógica acarreta necessidade da ocorrência do Explanandum. A quarta secção do capítulo examina em que consiste esta necessidade, sobretudo quando é notório que em ciência tudo é revisível e sujeito ao princípio de incerteza de Heisenberg. Segue finalmente a conclusão. (shrink)

We aim at a conceptually clear and technically smooth investigation of Ackermann’s substitution method [W. Ackermann, Zur Widerspruchsfreiheit der Zahlentheorie, Math. Ann. 117 162–194]. Our analysis provides a direct classification of the provably recursive functions of , i.e. Peano Arithmetic framed in the ε-calculus.

Offering a unique and wide-ranging examination of the theory of knowledge, the new edition of this comprehensive collection deftly blends readings from the foremost classical sources with the work of important contemporary philosophical thinkers. Human Knowledge: Classical and Contemporary Approaches, 3/e, offers philosophical examinations of epistemology from ancient Greek and Roman philosophy (Plato, Aristotle, Sextus Empiricus); medieval philosophy (Augustine, Aquinas); early modern philosophy (Descartes, Locke, Leibniz, Berkeley, Hume, Reid, Kant); classical pragmatism and Anglo-American empiricism (James, Russell, Ayer, Lewis, Carnap, Quine, (...) Rorty); and other influential Anglo-American philosophers (Chisholm, Kripke, Moore, Wittgenstein, Strawson, Putnam). Organized chronologically and thematically, Human Knowledge, 3/e, features exceptionally broad coverage and nontechnical selections that are easily accessible to students. An ideal text for both undergraduate and graduate courses in epistemology, it is enhanced by the editors' substantial general introduction, section overviews, and up-to-date bibliographies. The third edition offers expanded selections on contemporary epistemology and adds selections by Thomas Reid, Richard Rorty, David B. Annis, Richard Feldman and Earl Conee, Ernest Sosa, Barry Stroud, and Louise M. Antony. Human Knowledge, 3/e, offers an unparalleled introduction to our ancient struggle to understand our own intellectual experience. (shrink)

Is there something as masculine and feminine values? Attempt of an everyday language approach The aim of the paper is to answer a question that has often been raised but not thoroughly explored, namely, whether there are masculine and feminine values. In axiology values are mostly considered in a gender-blind way, while in feminist critique, e.g., in difference feminism, there is a valorization of the feminine but a differentiated axiological consideration is not undertaken. By the use of the hermeneutic method (...) of interpretation and linguistic analysis, as well as of an axiological and feminist critical approach, the paper will unfold some ambiguities, and respectively the possible answers of the question, by showing the crucial importance of the value system, which defines the order of discourse and thus legitimizes or puts in question the sociocultural order. (shrink)

Os Objetivos de Desenvolvimento Sustentável (ODS) abrangem diversas questões socioambientais e são aplicáveis a todos os países. O ODS 15, Vida Terrestre, visa proteger os ecossistemas terrestres, conservar a biodiversidade e reduzir a perda de biodiversidade, e o estado do Paraná é um dos estados com uma das maiores proporções de área de remanescentes florestais do Brasil e conta com uma política de preservação ambiental. Em vista disso, o estudo tem como objetivo analisar a eficiência dos municípios paranaenses no atendimento (...) ao Objetivo do Desenvolvimento Sustentável 15 - Proteger a vida terrestre. Para isso, foi utilizada a abordagem da Análise Envoltória de Dados (DEA – Data Envelopment Analysis), tendo como input o Imposto sobre Circulação de Mercadorias e Serviços Ecológico (ICMS Ecológico) e como output o percentual de áreas florestais dos municípios. Os resultados apontaram que os municípios Campo do Tenente, Céu Azul, Guaratuba, Imbituva, Ipiranga, Mirador, Morretes e Teixeira Soares foram eficientes, tendo como característica principal, a presença de parques ecológicos. Por outro lado, foi observado que as regiões mais industrializadas e urbanas concentraram mais municípios com ineficiência forte. Além disso, os municípios Piraquara, Pinhais, Campo Magro e Quatro Barras apresentaram os maiores excessos no recebimento de recursos do ICMS Ecológico. Enquanto os municípios de Pinhais, Curitiba, São Jorge do Patrocínio, Altônia, São Pedro do Paraná e Quatiguá apresentaram as maiores necessidades relativas de aumentar as áreas remanescentes florestais. (shrink)

In some of the most important recent work in religious epistemology, Paul Moser (2002, 2004, 2008) develops a multifaceted reply to a prominent attack on belief in God—what we’ll call the Hiddenness Argument. This paper raises a number of worries about Moser’s novel treatment of the Hiddenness Argument. After laying out the version of that argument Moser most explicitly engages, we explain the four main elements of Moser’s reply and argue that it stands or falls with (...) two pieces in particular—what we call the Purposively Available Evidence Argument and the Cognitive Idolatry Argument. We then show that the Cognitive Idolatry Argument fails, leaving the Purposively Available Evidence Argument as Moser’s only potentially viable objection to the Hiddenness Argument. We conclude that Moser’s treatment of the Hiddenness Argument depends crucially on some controversial epistemological claims about certain of our moral beliefs, and is thus considerably more vulnerable than many have recognized. (shrink)

Moser investigates the relevance of metaphysics to contemporary natural science and technology. He includes an analysis of the Aristotelian and scholastic concept of metaphysics, a discussion of Heidegger and Hartmann, and an exploration of a possibility of a metaphysics of nature and technology along Aristotelian lines. --R. R. E.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Catholic Theological Ethics Past, Present, and Future: The Trento Conference Edited by James F. Keenan, and: The Social Mission of the US Catholic Church: A Theological Perspective by Charles E. CurranDaniel CosacchiCatholic Theological Ethics Past, Present, and Future: The Trento Conference EDITED BY JAMES F. KEENAN Maryknoll, NY: Orbis Books, 2011. 337 pp. $40.00The Social Mission of the US Catholic Church: A Theological Perspective CHARLES E. CURRAN Washington, (...) DC: Georgetown University Press, 2011. 196 pp. $29.95To read both Catholic Theological Ethics Past, Present, and Future and The Social Mission of the US Catholic Church is to take a whirlwind tour—theological, historical, and geographical—through the Roman Catholic ethical tradition. Both volumes present wonderfully rich material and invaluable resources for the study of Christian ethics. Charles Curran and James Keenan are two of the foremost Catholic ethicists in the United States today. Keenan’s case is to be applauded for convening the 2010 conference in Trento, which brought together some six hundred Roman Catholic ethicists from around the world. His book, which assembles that conference’s thirty-one plenary addresses, does justice to this tremendous feat. Curran, for his part, has produced a text that focuses acutely on the Church in the United States and will benefit ethicists for years to come.Keenan uses the introduction to Catholic Theological Ethics Past, Present, and Future to provide an overview of the Trento conference and its attendees and proceedings. Keenan expertly identifies a common theme among the 240 diverse papers at the conference, noting that ethicists “always begin with the premise that there is a deficit in our location, and, therefore, we need to work together to find a way to remedy it” (6). What follows in the remainder of the book boldly moves toward remedies for many of the world’s ills. A few of these essays deserve particular mention.The conference and the collection of essays share the basic organizational principle of looking to the past, the present, and the future of Catholic theological ethics. Unsurprisingly, the Council of Trent played a foundational role in understanding the “past” of Catholic moral theology. Laurenti Magesa [End Page 216] (Kenya) explains that the African experience of the Council of Trent has remained largely unchanged since the conclusion of that council: “The Catholic Church in Africa is essentially a Tridentine church” (57). This essay makes clear that in Africa, the dominant voices are Western males. The missing voices, then, are given attention by Antônio Moser (Brazil), Anne Nasimiyu-Wasike (Kenya), and Bryan Massingale (United States). Massingale’s essay was most impressive, addressing the role of racism in our culture and concluding that Catholic ethicists “need to lament, mourn, and grieve our history” (121). This, he claims, is both a fruitful way to act in the present and a hopeful way to look toward the future.In focusing on the present, the strongest subsection of the book attended to political ethics. Here David Kaulemu’s (Zimbabwe) essay, “Catholic Social Teaching at a Crossroad,” has the potential to open the eyes of any reader. He writes, “It is frustrating and discouraging to the lay faithful to be inspired by Catholic social teaching and yet receive no recognition or support by ‘official’ church structures” (177). This highlights a serious problem to which all Catholic ethicists must attend. As for the future, Julie Hanlon Rubio (United States) points to a tripartite vision for marriage in the twenty-first century that sets high standards not only within the marital unit itself but also for the impact of the spouses on the larger society. Julie Clague (Scotland) presents a wonderful essay on the burgeoning relationship between moral theology and gender.Among the wealth of positive features of this collection is the great geographical diversity of the authors. This affirms that Catholic theological ethics is very healthy throughout the entire world and that on each continent there are voices of women and men willing to contribute fresh ideas to the discipline. In a time when there is so much tension between theologians and bishops, we should also be grateful that there are two essays from members of the episcopacy (Archbishop Bruno... (shrink)

Geleltwort, von L. Landgrebe.--Geschichte und Ünderliefreung, von G. Miyake.--Wahrhelt und Schn̈heit, von K. H. Volkmann-Schluck,--Georg Büchner: Das endlose Drama, von . G. Baumann.--Die Lehre von der Vergangenheit der Kunst, von, J. Patǒcka.--Der Sinn der künstlerischen Revolte, von D. Pejović.--Das problem der Konkretisierung der Transzendentalität, von E. Heintel.--Ontologische Erfahrung. von J. Lohmann.--Philosophie in Orient und Okzident, von S. Moser.--.

Geleltwort, von L. Landgrebe.--Geschichte und Ünderliefreung, von G. Miyake.--Wahrhelt und Schn̈heit, von K. H. Volkmann-Schluck,--Georg Büchner: Das endlose Drama, von . G. Baumann.--Die Lehre von der Vergangenheit der Kunst, von, J. Patǒcka.--Der Sinn der künstlerischen Revolte, von D. Pejović.--Das problem der Konkretisierung der Transzendentalität, von E. Heintel.--Ontologische Erfahrung. von J. Lohmann.--Philosophie in Orient und Okzident, von S. Moser.--.

Scholarship on Kant's practical philosophy has often overlooked its reception in the early days of post-Kantian philosophy and German Idealism. This volume of new essays illuminates that reception and how it informed the development of practical philosophy between Kant and Hegel. The essays discuss, in addition to Kant, Hegel and Fichte, relatively little-known thinkers such as Pistorius, Ulrich, Maimon, Erhard, E. Reimarus, Reinhold, Jacobi, F. Schlegel, Humboldt, Dalberg, Gentz, Rehberg, and Möser. Issues discussed include the empty formalism objection, the separation (...) between right and morality, freedom and determinism, nihilism, the right to revolution, ideology, and the limits of the liberal state. Taken together, the essays provide an historically informed and philosophically nuanced picture of the development of post-Kantian practical philosophy. (shrink)

FENOMENOLOGIA Y FISICA EN HUSSERL, WEYL Y NEELAMKAVIL: MATERIA-CAMPO BASADO EN EXTENSIÓN-CAMBIO Castillo Ochoa, Ruth Transferencias Interculturales e Históricas de la Europa Medieval Mediterránea RESUMEN La historia de la terminología científica posibilita dar cuenta de 'cambios lingüísticos' o contingencia de términos en Ciencia. La Fenomenología de Husserl resulta un marco filosófico completo para elucidar significados en terminología científica enfatizando el carácter a priori de conceptos fundacionales, su aspecto contingente (lenguaje), intersubjetividad, sujeto transcendental y epojé. En tal sentido, soportar las nociones (...) fundacionales en física bajo las categorías universales Extensión-Cambio de Neelamkavil contribuye al ideal husserliano. Aún no se llega a una imagen adecuada de las intricadas relaciones entre Filosofía y Ciencia. Sin embargo, los hallazgos científicos de Moser-Britt (2014) soportan posiciones kantianas y husserlianas en torno a los términos a priori que fundamentan las teorías físicas. Como consecuencia, los resultados han despertado el interés de filósofos y científicos hacia las ideas husserlianas en tanto terminología lingüística y comprensión aprioricista del mundo. De esta forma, dentro del estado actual del arte, P. Berghofer y H. Wiltsche (2018) abordan el rol de fenomenología en Filosofía de la Física; mientras J. Drummond (2019) en "Husserl: German Perspectives" analiza el rol de la fenomenología en Ciencia. R. Neelamkavil (2018) da cuenta de un nuevo conjunto de categorías en física que comulgan con las ideas de Husserl. La comprensión de los términos Masa y Campo en física, se aborda el estudio de H. Grelland "Husserl, Einstein y Weyl and Concepts of Space, Time and Space-Time" y H. Weyl, "Space, Matter and Time". Un análisis metalingüísitico entre términos científicos y fenomenológicos no se ha realizado aún. La intención de la propuesta es abordar este punto ciego. -/- PALABRAS CLAVE Extensión, Cambio, Masa, Campo, Esencia . (shrink)

In 1954 H. L. A. Hart wrote that Austin's work has ‘never, since his death … been ignored’. If it never has been completely ignored, interest in it has periodically waxed and waned. The interest definitely waxed in the 1980s. More books were published about Austin in this period than in any other decade since his death in 1859. Although this literature contains discussions of some of the nineteenth-century responses to his work, they are not the focus of it. Certain (...) of the responses remain completely in the dark, while there is more light to shed on at least some of the others. In short, our knowledge of nineteenth-century interpretations of Austin's legal philosophy is very incomplete. (shrink)