In this article we prove step by step the main theorem of Smullyan sets. This main theorem says that each element of a Smullyan set is simultaneously satisfiable in a semantic system of model sets and therefore also, for example, in a semantic system of truth sets as well as in a semantic system according to Henkin. After that, we prove the semantical compactness of a propositional logic system as an example of a utilisation of Smullyan sets and its main (...) theorem. (shrink)

In this article we prove step by step the main theorem of Smullyan sets. This main theorem says that each element of a Smullyan set is simultaneously satisfiable in a semantic system of model sets and therefore also, for example, in a semantic system of truth sets as well as in a semantic system according to Henkin. After that, we prove the semantical compactness of a propositional logic system as an example of a utilisation of Smullyan sets and its main (...) theorem. (shrink)

In this article we compare three different semantic theories for a propositional language, namely a valuation-semantic, a truth-set- semantic and a modal-set-semantic theory. We prove step by step that these semantic theories are mutually equivalent.

In this article we compare three different semantic theories for a propositional language, namely a valuation-semantic, a truth-set- semantic and a modal-set-semantic theory. We prove step by step that these semantic theories are mutually equivalent.

We define the term \a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view\ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is (...) independent of any specific sentential-logical calculus. (shrink)

We define the term ⌜\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ulcorner $$\end{document}a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view⌝\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\urcorner $$\end{document} in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important (...) being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is independent of any specific sentential-logical calculus. (shrink)

Some of the short pieces attributed in various Arabic manuscripts to Alexander of Aphrodisias in fact derive from Proclus's Elements of Theology. Twenty such pieces were published in 1973 by G. Endress, who traced the unnamed translator to the circle of Kindi. Another such piece is here identified, published, and assigned to the same translator. Its beginning and end seem to have been revised by a later transmitter. Section II of the article adduces a parallel case where the original (...) Arabic version still exists. Section III surveys a number of related pieces that would also appear to have been changed in transmission. Section IV argues that most if not all were once united in a single collection of Proclus and Alexander. Section V argues that since certain changes of detail were evidently made during or soon after translation, the general arrangement of the Kindi-circle Alexander, as of the Kindi-circle Liber de Causis and the Kindi-circle, is also likely to be peculiar to the Arabic tradition. The text from which Proclus Arabus was first translated need not have differed substantially from the transmitted Greek. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

Dance provides natural conditions for studying relationships between coordination patterns and human experience. von Zimmermann and colleagues investigate whether relatively simple or more complex forms of movement coordination are related to pro‐social experiences during group dance. They find that pro‐social experience depends on the degree to which movement patterns are distributed and diversified, but not the degree to which movement patterns are simply unitary.

Die MISCELLANEA MEDIAEVALIA präsentieren seit ihrer Gründung durch Paul Wilpert im Jahre 1962 Arbeiten des Thomas-Instituts der Universität zu Köln. Das Kernstück der Publikationsreihe bilden die Akten der im zweijährigen Rhythmus stattfindenden Kölner Mediaevistentagungen, die vor über 50 Jahren von Josef Koch, dem Gründungsdirektor des Instituts, ins Leben gerufen wurden. Der interdisziplinäre Charakter dieser Kongresse prägt auch die Tagungsakten: Die MISCELLANEA MEDIAEVALIA versammeln Beiträge aus allen mediävistischen Disziplinen - die mittelalterliche Geschichte, die Philosophie, die Theologie sowie die Kunst- und Literaturwissenschaften (...) sind Teile einer Gesamtbetrachtung des Mittelalters. (shrink)

Two sources of possible disagreement in bioethics may be associated with pessimism about what bioethics can achieve. First, pluralism implies that bioethics engages with interlocutors who hold divergent moral beliefs. Pessimists might believe that these disagreements significantly limit the extent to which bioethics can provide normatively robust guidance in relevant areas. Second, the interdisciplinary nature of bioethics suggests that interlocutors may hold divergent views on the nature of bioethics itself—particularly its practicality. Pessimists may suppose that interdisciplinary disagreements could frustrate the (...) goals of bioethics. In this article, I explore how wonder may alleviate the concerns of the first group of pessimists regarding problems associated with pluralism, provided that we are willing to accept some interdisciplinary frustrations. Then, I invite readers of this issue of The Journal of Medicine & Philosophy to test these intuitions by considering the role of wonder in these articles. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor’s (...) proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

Die MISCELLANEA MEDIAEVALIA präsentieren seit ihrer Gründung durch Paul Wilpert im Jahre 1962 Arbeiten des Thomas-Instituts der Universität zu Köln. Das Kernstück der Publikationsreihe bilden die Akten der im zweijährigen Rhythmus stattfindenden Kölner Mediaevistentagungen, die vor über 50 Jahren von Josef Koch, dem Gründungsdirektor des Instituts, ins Leben gerufen wurden. Der interdisziplinäre Charakter dieser Kongresse prägt auch die Tagungsakten: Die MISCELLANEA MEDIAEVALIA versammeln Beiträge aus allen mediävistischen Disziplinen - die mittelalterliche Geschichte, die Philosophie, die Theologie sowie die Kunst- und Literaturwissenschaften (...) sind Teile einer Gesamtbetrachtung des Mittelalters. (shrink)

What is the fruit of a searching dialogue between faith and reason? This book collects theological and philosophical perspectives on the richness of the faith-reason dialogue, including examples from literature, continental and analytic philosophy, worship and liturgy, and radical approaches to issues of racism and prejudice. The authors strongly resist the temptations to either disregard the faith-reason dialogue or take it for granted. Through their explorations and reflections they open up new vistas and horizons on a topic more necessary than (...) ever. (shrink)

Mental causation is notoriously threatened by the causal exclusion argument. A prominent strategy to save mental causation from causal exclusion consists in subscribing to an interventionist account of causation. This move has, however, recently been challenged by several authors. In this paper, we do two things: We (i) develop what we consider to be the strongest version of the interventionist causal exclusion argument currently on the market and (ii) propose a new way how it can in principle be overcome. In (...) particular, we propose to replace strict supervenience in the assumption that the mental supervenes on the physical by probabilistic supervenience and show how this move has the potential to license the inference to mental causation. Finally, we argue that probabilistic supervenience captures some of the most important intuitions that strict supervenience captures and discuss possible objections to weakening strict supervenience in the way we suggest. (shrink)

A new speculative ontology of aesthetics. In Aesthesis and Perceptronium, Alexander Wilson presents a theory of materialist and posthumanist aesthetics founded on an original speculative ontology that addresses the interconnections of experience, cognition, organism, and matter. Entering the active fields of contemporary thought known as the new materialisms and realisms, Wilson argues for a rigorous redefining of the criteria that allow us to discriminate between those materials and objects where aesthesis (perception, cognition) takes place and those where it doesn't. (...) Aesthesis and Perceptronium negotiates between indiscriminately pluralist views that attribute mentation to all things and eliminative views that deny the existence of mentation even in humans. By recasting aesthetic questions within the framework of "epistemaesthetics," which considers cognition and aesthetics as belonging to a single category that can neither be fully disentangled nor fully reduced to either of its terms, Wilson forges a theory of nonhuman experience that avoids this untenable dilemma. Through a novel consideration of the evolutionary origins of cognition and its extension in technological developments, the investigation culminates in a rigorous reevaluation of the status of matter, information, computation, causality, and time in terms of their logical and causal engagement with the activities of human and nonhuman agents. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The authors of this volume discuss the relevance and influence of various Old and New Testament documents, and early Christian and Jewish texts in terms of their impact in shaping the moral character, identity, and behaviour of the specific communities in which they were produced as well as their ethical application throughout the centuries. Against a narrow understanding of ethics, the term "application" is not used to analyse the texts of the Bible as step-by-step manuals for moral conduct. Rather, the (...) contributors engage with biblical texts within the framework of a complex hermeneutical process of application of the relevance of these texts in contemporary ethical discourse. Contributors: Paul N. Anderson, Robert L. Brawley, Cilliers Breytenbach, Ulrich Busse, R. Alan Culpepper, Jan Willem van Henten, Rainer Hirsch-Luipold, Stephan Joubert, Craig R. Koester, Bart J. Koet, Michael Labahn, Tobias Nicklas, Bert Jan Lietaert Peerbolte, Udo Schnelle, Michael Theobald, D. Francois Tolmie, Joseph Verheyden, Ben Witherington, III, Ellen van Wolde, Michael Wolter, Mirjam Zimmermann, Ruben Zimmermann. (shrink)

Investigaciones previas muestran que existe una importante relación entre la capacidad de los estudiantes para realizar una descomposición morfológica de las palabras y sus habilidades para adquirir vocabulario. El objetivo de esta investigación fue evaluar la reproducibilidad de un proyecto didáctico en torno a la descomposición de palabras como estrategia para adquirir vocabulario en estudiantes de tercer grado de secundaria. Participó un grupo experimental cuyas habilidades de descomposición morfológica se compararon en un pre y post-test con las de un grupo (...) control. Los resultados mostraron en el grupo experimental un incremento en las habilidades para segmentar las palabras, aunque no hubo diferencias significativas entre grupos en la obtención del significado de palabras. Un análisis cualitativo de las emisiones del docente y de los estudiantes señaló factores importantes a tomar en cuenta para la reproducibilidad de un proyecto didáctico de esta índole en la escuela secundaria. (shrink)

For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist (...) can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume. (shrink)

In the present work, we will analyze the concept of intuition mainly in relation to the epistemological and the metaphysical theses of Schopenhauerian theory. In the first section, we will discuss the central axes of Schopenhauer’s metaphysical system, especially regarding the concept of will (Wille) and the relationship that this entails with his theory of knowledge. Then, we will examine the difference that the German philosopher establishes between representative —or mediated— rational knowledge and direct —or immediate— intuitive knowledge. Likewise, we (...) will trace at first the theses and the fundamental problems of the dualism of representation and we will furtherly establish the problem of the intuition of one’s own body. Finally, we will consider the scope and the limits of intuition, as well as its different variants: mainly aesthetic intuition and its culmination in mystical intuition. (shrink)

Is there such a sub-discipline as “sociology of valuation and evaluation”? Identifying the main focus, the topics, and the analytical designs, i.e., reflecting on a theoretical profile of such an investigation, is far from complete. The main question is indeed—where to start when addressing the sociology of valuation and evaluation? Is it a specific area of research, analysis, and inquiry, with specific objects? Should we confine it to the many important qualitative and quantitative studies dedicated to the measure of market (...) performance, the efficiency of public policy, profitability of private investment, or identification of best practices in various areas ? Beyond business and administration processes, a huge body of research in economic sociology has developed in recent years that has renewed the investigations on economic experience through a moral lens (Lamont 2000; Vatin 2008; Karpik 2010; Beckert and Aspe .. (shrink)

Perceptual fluency is the subjective experience of ease with which an incoming stimulus is processed. Although perceptual fluency is assessed by speed of processing, it remains unclear how objective speed is related to subjective experiences of fluency. We present evidence that speed at different stages of the perceptual process contributes to perceptual fluency. In an experiment, figure-ground contrast influenced detection of briefly presented words, but not their identification at longer exposure durations. Conversely, font in which the word was written influenced (...) identification, but not detection. Both contrast and font influenced subjective fluency. These findings suggest that speed of processing at different stages condensed into a unified subjective experience of perceptual fluency. (shrink)

Perceptual fluency is the subjective experience of ease with which an incoming stimulus is processed. Although perceptual fluency is assessed by speed of processing, it remains unclear how objective speed is related to subjective experiences of fluency. We present evidence that speed at different stages of the perceptual process contributes to perceptual fluency. In an experiment, figure-ground contrast influenced detection of briefly presented words, but not their identification at longer exposure durations. Conversely, font in which the word was written influenced (...) identification, but not detection. Both contrast and font influenced subjective fluency. These findings suggest that speed of processing at different stages condensed into a unified subjective experience of perceptual fluency. (shrink)

Contemporary conversations about religion and culture are framed by two reductive definitions of secularity. In one, multiple faiths and nonfaiths coexist free from a dominant belief in God. In the other, we deny the sacred altogether and exclude religion from rational thought and behavior. But is there a third way for those who wish to rediscover the sacred in a skeptical society? What kind of faith, if any, can be proclaimed after the ravages of the Holocaust and the many religion-based (...) terrors since? Richard Kearney explores these questions with a host of philosophers known for their inclusive, forward-thinking work on the intersection of secularism, politics, and religion. An interreligious dialogue that refuses to paper over religious difference, these conversations locate the sacred within secular society and affirm a positive role for religion in human reflection and action. Drawing on his own philosophical formulations, literary analysis, and personal interreligious experiences, Kearney develops through these engagements a basic gesture of hospitality for approaching the question of God. His work facilitates a fresh encounter with our best-known voices in continental philosophy and their views on issues of importance to all spiritually minded individuals and skeptics: how to reconcile God's goodness with human evil, how to believe in both God and natural science, how to talk about God without indulging in fundamentalist rhetoric, and how to balance God's sovereignty with God's love. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)