Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, (...) Glymour and Halvorson. (shrink)

Recenzio Kiraly V. Istvan Death and History c. konyverol.

The 2013 Rostock Symposium on Systems Biology and Bioinformatics in Aging Research was again dedicated to dissecting the aging process using in silico means. A particular focus was on ontologies, as these are a key technology to systematically integrate heterogeneous information about the aging process. Related topics were databases and data integration. Other talks tackled modeling issues and applications, the latter including talks focussed on marker development and cellular stress as well as on diseases, in particular on diseases of kidney (...) and skin. (shrink)

It is shown that Tarski’s set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski’s axioms slightly, and in fact by replacing the right-hand distributive law for relative multiplication with its left-hand version, we arrive at an equivalent set of axioms which is redundant in the sense that one of the axioms, namely the second involution law, (...) is derivable from the other axioms. The set of remaining axioms is independent. Finally, it is shown that if both the left-hand and right-hand distributive laws for relative multiplication are included in the set of axioms, then two of Tarski’s other axioms become redundant, namely the second involution law and the distributive law for converse. The set of remaining axioms is independent and equivalent to Tarski’s axiom system. (shrink)

Bringing together the expertise of rhetoricians in English and communication as well as media studies scholars, Arguments about Animal Ethics delves into the rhetorical and discursive practices of participants in controversies over the use of nonhuman animals for meat, entertainment, fur, and vivisection. Both sides of the debate are carefully analyzed, as the contributors examine how stakeholders persuade or fail to persuade audiences about the ethics of animal rights or the value of using animals.

This anthology on creativity represents a lifetime of reading and study by the late Charles Dewey Tenney, a philosopher who had been a student of Alfred North Whitehead at Harvard. In a series of fourteen essays Tenney considers the various factors that can be identified in creativity, followed by the recorded testimony of philosophers, artists, historians, explorers, scientists and others, both theorists and practitioners. The contributors extend in time from Aristotle and Sophocles to Buckminster Fuller and May Sarton. They include (...) such diverse thinkers as Martin Luther, Karl Marx, Lewis Carroll, Julian Huxley, Albert Einstein, Abraham Lincoln, Gertrude Stein, Henry Nelson Wieman and Alfred North Whitehead. In all, more than 300 of the world's most creative individuals are included. Contents: Discovery, Invention and Creation; Roots of Discovery; Environs of Discovery; Agents of Discovery; Hinderances to Discovery; Observation and Discovery; Reason in Discovery; Reverie Discovery; Imagination in Discovery; Sensibility and Discovery; Method in Discovery; Artistry in Discovery; Diffusion; and Foresight and Discovery. (shrink)

Philosophy Compass, Volume 17, Issue 7, July 2022.

If rapid growth (rap) mutants of Escherichia coli could be obtained, these might prove a valuable contribution to fields as diverse as growth rate control, biotechnology and the regulation of the bacterial cell cycle. To obtain rap mutants, a dnaQ mutator strain was grown for four and a half days continuously in batch culture. At the end of the selection period, there was no significant change in growth rate. This result means that selecting rap mutants may require an alternative strategy (...) and a number of such alternatives are discussed. (shrink)

The paper explicates and defends a direct realist view of episodic memory as pastperception, on the model of the more prominent direct realism about perception. First, a number of extant allegedly direct realist accounts are critically assessed, then the slogan that memory is past-perception is explained, defended against objections, and compared to extant rival views. Consequently, it is argued that direct realism about memory is a coherent and defensible view, and an attractive alternative to both the mainstream causal theories and (...) the post-causal and constructivist views. (shrink)

Intercultural Pragmatics studies how language systems are used in social encounters between speakers who have different first languages and cultures, yet communicate in a common language. The field first emerged in the early 21st century, joining two seemingly antagonistic approaches to pragmatics research: the cognitive-philosophical approach, which considers intention as an a priori mental state of the speaker, and the sociocultural-interactional approach, which considers it as a post factum construct created by both speaker and hearer though conversation. Istvan Kecskes, an (...) early proponent of intercultural pragmatics, was among the first to propose merging the two to form the socio-cognitive approach now core to the field. In Intercultural Pragmatics, the first book on the subject, Kecskes establishes the foundations of the field, boldly combining the pragmatic view of cooperation with the cognitive view of egocentrism in order to incorporate emerging features of communication. He argues that people cooperate by generating and formulating intention that is relevant to the given actual situational context. At the same time, however, because of their egocentrism they activate the most salient information to their attention in the construction and comprehension of utterances. Within this approach, interlocutors are considered as social beings searching for meaning with individual minds embedded in a socio-cultural collectivity, and intention is a cooperation-directed practice that is governed by relevance which depends on actual situational experience.Intercultural pragmatics is a rapidly-growing field, and the only subfield of pragmatics to incorporate features of intercultural interaction into mainstream pragmatics. This volume offers both a valuable synthesis of current research and a new way to think about pragmatics. (shrink)

Autour du Manifeste de Vienne se trouvent reunis des textes fondateurs ecrits autour de 1929. Leurs auteurs: Carnap, Hahn, Neurath, Schlick l'ame du Cercle de Vienne, et Waismann plus proche de Wittgenstein, temoignent d'un courant philosophique constituant aujourd'hui la tradition analytique de source continentale a la fois empiriste et logique. Forme de maniere informelle a Vienne, au coeur de l'Europe, le Cercle reunissait des savants de differentes branches qui voulaient se donner une philosophie susceptible d' unifier leurs vues. Echo (...) aux reves d'unite de la science, cette philosophie en exprime aussi le renversement complet. Veritable Discours de la methode, mais d'esprit anti-cartesien, elle entend reconstruire la science de maniere a evincer la speculation metaphysique, le but etant qu'aucun enonce ne soit laisse a l'exterieur de cette grande architecture de symboles s'il etait pourvu de sens. La declaration de guerre contre la metaphysique est un geste de militance a une epoque riche en differents manifestes. Incomprehensible en dehors du contexte socio-politique viennois de ces annees, elle porte aussi un programme de reconstruction rationnelle qui, au dela du langage de la science, devait toucher tous les secteurs de la vie. Plus complexe qu'il n'y parait, ce programme contient, en reference a Wittgenstein, son prestigieux representant a cote d'Einstein et Russell, une mise en garde contre differentes formes d'irrationalismes, qui est d'actualite. (shrink)

Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to (...) computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives. Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics. The book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and decision problems in equational logic. (shrink)

The main response to the multiple crises besetting Western societis in the past decades has been the attempt of the academic and scientific as well as political circles to gain a sense of orientation—and of social cohesion—by two main modes of thinking: identity politics and evidence-based knowlegde. Regarding the latter, I argue that if scientific knowledge is reduced to facts, data and numbers, as the basis for political decisions without any alternatives, it would become a dogma propagating the truth—that is, (...) a new religion. Politicians will no longer have to struggle with other perspectives, once there is a consensus about following the line that “the numbers or the facts speak for themselves.” While many people would perhaps find in this new religion a guarantee of security in an insecure world, this sense would be illusionary. I argue that the role intellectuals should play in a spiritual crisis of this kind is paradoxically to cultivate a sense of more security by strengthening a culture of “insecureness” or docta ignorantia against the dogmas within science and religion. To create and encourage a new art of questioning and listening, and of learning to appreciate non-knowledge as the basis of coming together. This notion is found in the Greek and Christian as well as the Jewish tradition of European thought, and it continues in the works of modern thinkers such as Paul Ricoeur, Hermann Cohen, Martin Buber, Hartmut Rosa, and of philosophers who focus on the question of the ineffable. My aim is to present this quality of certainty within uncertainty by examples from different fields, including philosophy, art and psychotherapy, and to elaborate on the paradoxical question: does a troubled Geist need more trouble in order to help us find a sense of orientation through disorientation? (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

The cognitive science of religion that has emerged over the last twenty years is a multidisciplinary field that often challenges established theories in anthropology and comparative religion. This new approach raises many questions for biblical studies as well. What are the cross-cultural cognitive mechanisms which explain the transmission of biblical texts? How did the local and particular cultural traditions of ancient Israel and early Christianity develop? What does the embodied and socially embedded nature of the human mind imply for the (...) exegesis of biblical texts? "Mind, Morality and Magic" draws on a range of approaches to the study of the human mind - including memory studies, computer modeling, cognitive theories of ritual, social cognition, evolutionary psychology, biology of emotions, and research on religious experience. The volume explores how cognitive approaches to religion can shed light on classical concerns in biblical scholarship - such as the transmission of traditions, ritual and magic, and ethics - as well as uncover new questions and offer new methodologies. (shrink)

Against its prominent compatiblist and libertarian opponents, I defend Galen Strawson’s Basic Argument for the impossibility of moral responsibility. Against John Martin Fischer, I argue that the Basic Argument does not rely on the premise that an agent can be responsible for an action only if he is responsible for every factor contributing to that action. Against Alfred Mele and Randolph Clarke, I argue that it is absurd to believe that an agent can be responsible for an action when no (...) factor contributing to that action is up to that agent. Against Derk Pereboom and Clarke, I argue that the versions of agent-causal libertarianism they claim can immunize the agent to the Basic Argument actually fail to do so. Against Robert Kane, I argue that the Basic Argument does not rely on the premise that simply the presence of indeterministic factors in the process of bringing an action about is itself what rules out the agent’s chance for being responsible for that action. (shrink)

The Covid-19 pandemic has brought to surface new and puzzling manifestations of the culture wars between liberals and conservatives, especially in the US. One such manifestation is the one centered around mask-wearing as a way to protect others from viral infection. In public spaces, mask-wearing has become a signal as to whether one is a liberal or a conservative. Liberals tend to wear the mask and condemn as immoral conservatives, who tend not to wear it. I argue that the liberal (...) attitude does not cohere with liberal theory. I use the issue of the permissibility of abortion and the liberal consensus about it as the benchmark for what a genuine liberal attitude toward mask-wearing should be. (shrink)

The dictionary tells you that a shadow is a dark area or volume caused by an opaque object blocking some light. The definition is correct, but we need to clarify a couple of its elements: darkness and blocking. The clarification leads to the view that to see a shadow is a degree of failing to see a surface. I will also argue that seeing a silhouette (i.e. a backlit object) is a particular way of failing to see an object. Thus (...) visual discriminability is not sufficient for seeing. Finally, I argue that comparative empirical research on shadows' contribution to amodal completion in apes and humans supports the view that humans, unlike apes, perceive shadows as shadows rather than as black objects, thus lending indirect support for my view that to see a shadow is a way and degree of failing to see a surface. (shrink)

Mainstream metaphysics has been preoccupied by inquiring into the nature of major kinds of entities, like objects, properties and events, while avoiding minor entities, like shadows or holes. However, one might want to hope that dealing with such minor entities could be profitable for even solving puzzles about major entities. I propose a new ontological puzzle, the Shadow of Constitution Puzzle, incorporating the old puzzle of material constitution, with shadows in the role of the minor entity to guide our approach (...) to the issues involved. I then analyze the standard answers to the original puzzle of constitution, in their role as potential solutions to the new puzzle. Finally, I discuss three views that can solve the proposed puzzle. (shrink)

This paper is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey character, too. The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some (...) directions we tried to give an overview of the most recent results and research trends, too. (shrink)

Abstract: What follows is a contribution to the field of user modeling for adaptive teaching and learning programs especially in the medical field. The paper outlines existing approaches to the problem of extracting user information in a form that can be exploited by adaptive software. We focus initially on the so-called stereotyping method, which allocates users into classes adaptively, reflecting characteristics such as physical data, social background, and computer experience. The user classifications of the stereotyping method are however ad hoc (...) and unprincipled, and they can be exploited by the adaptive system only after a large number of trials by various kinds of users. We argue that the remedy is to create a database of user ontologies from which readymade taxonomies can be derived in such a way as to enable associated software to support a variety of different types of users. (shrink)

The present paper aims to shed light on the contribution of Richirian phenomenology to the problem of ipseity. To do so, I show how Marc Richir’s perspective can be situated in relation to the Husserlian issue of the transcendental genesis of the I, contrasting it with other positions elaborated in contemporary French philosophy (Henry and Levinas). I show that ipseity must be thought within the framework of a genetic phenomenology of the self in its facticity related to an archaic, unprethinkable (...) dimension of affectivity. However, the archaic self can never be conceived of independently of its institutions. I argue that in the framework of the Richirian architectonics one can distinguish three institutions of the self: the institution of the self-positing ego, the symbolic ins itution of narrative identity, and the imaginary institution of the imagery of the self. This coalescence of the archaic dimension and the institutions of the self alsomakes it possible to envisage a phenomenology of the ages of the self. (shrink)

In this paper some parallelisms and differences are presented between two ancient theological traditions concerning their model of Christ by comparing two representative figures of both schools, namely Theodoret of Cyrus and Cyril of Alexandria. Since the Christology of the two authors could not be compared in detail within such a paper, the investigation resumes itself to the mode how they interpret the Lord’s Temptation by the devil in the wilderness. The works involved in the analysis include Theodoret’s treatise On (...) the incarnation written in 431 before the Council of Ephesus, the fragments of Cyril’s Commentary on Matthew as well as his Commentary on Luke. The doctrinal conclusion of this comparison is that the two traditions represented by these illustrious theologians—despite their conspicuous and undeniable differences— signify rather complementary than flatly opposing views and that the two ancient traditions have found their revival even in the sixteenth century, and continue to influence the theologians of our time. This is why the author considers Chalcedon as being a corridor rather than a narrow path or a tightrope-walking, where only one is able to go through. (shrink)