In this paper we characterize, classify and axiomatize all universal classes of MV-chains. Moreover, we accomplish analogous characterization, classification and axiomatization for congruence distributive quasivarieties of MV-algebras. Finally, we apply those results to study some finitary extensions of the Łukasiewicz infinite valued propositional calculus.

The proofs of universally quantified statements, in mathematics, are given as “schemata” or as “prototypes” which may be applied to each specific instance of the quantified variable. Type Theory allows to turn into a rigorous notion this informal intuition described by many, including Herbrand. In this constructive approach where propositions are types, proofs are viewed as terms of λ-calculus and act as “proof-schemata”, as for universally quantified types. We examine here the critical case of Impredicative Type Theory, i. (...) e. Girard's system F, where type-quantification ranges over all types. Coherence and decidability properties are proved for prototype proofs in this impredicative context. (shrink)

In this paper, we study multiplicative extensions of propositional many-place sequent calculi for finitely-valued logics arising from those introduced in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) through their translation by means of singularity determinants for logics and restriction of the original many-place sequent language. Our generalized approach, first of all, covers, on a uniform formal basis, both the one developed in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) for singular (...) finitely-valued logics (when singularity determinants consist of a variable alone) and conventional Gentzen-style (i.e., two-place sequent) calculi suggested in Pynko (Bull Sect Logic 33(1):23–32, 2004) for finitely-valued logics with equality determinant. In addition, it provides a universal method of constructing Tait-style (i.e., one-place sequent) calculi for finitely-valued logics with singularity determinant (in particular, for Łukasiewicz finitely-valued logics) that fits the well-known Tait calculus (Lecture Notes in Mathematics, Springer, Berlin, 1968) for the classical logic. We properly extend main results of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) and explore calculi under consideration within the framework of Sect. 7 of Pynko (Arch Math Logic 45:267–305, 2006), generalizing the results obtained in Sect. 7.5 of Pynko (Arch Math Logic 45:267–305 2006) for two-place sequent calculi associated with finitely-valued logics with equality determinant according to Pynko (Bull Sect Logic 33(1):23–32, 2004). We also exemplify our universal elaboration by applying it to some denumerable families of well-known finitely-valued logics. (shrink)

Concerns regarding the possibility of a phenomenological science of consciousness emerged almost from its inception. Naturalism was quick to attack phenomenology. Philosophers such as Heidegger, Sartre, Merleau-Ponty, and others have too argued that a phenomenological science of consciousness can succeed if repositioning classical phenomenology from an existentialist perspective. One way to close this debate is to revisit several key classical phenomenological concepts. In this paper I depart from the premise that it is possible to have a phenomenological science of consciousness (...) but in order to do that we must distinguish between the problem of objectivity and the problem of consciousness keeping in mind that the two are intimately related. I will be discussing some of the differences between universally valid and experimental statements and make some remarks with respect to the phenomenological origins of consciousness without getting in too many details. The present purpose is to tackle some of these epistemological and ontological aspects pertaining to science and consciousness without making strong claims. (shrink)

Regarding the famous Sea Battle Argument, which Aristotle presents in De Interpretatione 9, there has never been a general agreement not only about its correctness but also, and mainly, about what the argument really is. According to the most natural reading of the chapter, the argument appeals to a temporal concept of truth and concludes that not every statement is always either true or false. However, many of Aristotle’s followers and commentators have not adopted this reading. I believe (...) that it has faced so much resistance for reasons of hermeneutic charity: denying the law of universal bivalence seems to be overly disruptive to logical orthodoxy – the kind of logical orthodoxy represented by what we now call classical propositional logic, much of which Aristotle clearly supports in many texts. I intend to show that the logical-semantic theses that the traditional reading finds in De Interpretatione 9 are much more conservative than they may seem to be at first glance. First, I will show that they complement, and do not contradict in any way, the orthodox definitions of the concepts of truth and statement that Aristotle advances in other texts. Second, by resorting in an anachronistic vein to concepts and methods peculiar to contemporary logic, I will show that a trivalent modal semantics conforming to those theses can be built for a standard formal language of the classical propositional calculus. It is remarkable that reasonable concepts of logical truth and logical consequence that may be defined on the basis of this trivalent modal semantics are coextensive with their orthodox counterparts, the concepts of tautology and tautological consequence of classical bivalent and extensional semantics. (shrink)

In the paper * we discuss a distinctive versatility of the non-Fregean approach to the sentential identity. We present many-valued and referential counterparts of the systems of SCI, the sentential calculus with identity, including Suszko’s logical valuation programme as applied to many-valued logics. The similarity of different constructions: many-valued, referential and mixed, leads us to the conviction of the universality of the non-Fregean paradigm of sentential identity as distinguished from the equivalence, cf. [9].

The main purpose of the article is to consider the following problem: Is the naturalistic explanation of the cosmic coincidences proposed by the the Wheeler's version of the Many Worlds Hypothesis justified? To give the plausible answer for this question three main topics are presented. The first question concens the main issues of the Wheeler's version of the Hypothesis. They state that the Universe may have a cyclic character, oscillating ad infinitum through a sequence of expanding and contracting phases. (...) At each "bounce" where contraction is exchanged for expansion, the singularity may introduce a permutation in the values of the physical "constants" of Nature and the form of the expansion dynamics. The next point of the article presents the essence of the explanation given by the Wheeler's version. of the Hypothesis. This explanation is based on the very important statement of the probability calculus that the repetition improves the chances of getting at least one rare event in a sequence of trials. The Wheeler's version offers an ifinite sequence of oscillating universes with very differnt features so also our universe allowing life must appear at last in this sequence. The corectness of the proposed explanation is discussed at the third point of the article. It considers the problerm of the scientific and philosofical status of the Hypothesis and also some objections agaist the way of reasoning accepted in the course of explanation. In the context of the presented discussions one might say that proposed explanation of the cosmic coincidences in the frame of the Wheeler's version of the Many Worlds Hypothesis is at least dubious. Therefore, this explanation cannot be used as an argument in the controversy between naturalism and theism. (shrink)

We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic logical matrices. Our constructions preserve finite-valuedness in the context of multiple-conclusion logics, whereas, unsurprisingly, it may be lost in the context of single-conclusion logics. Besides illustrating our constructions over a wide range of examples, we also develop concrete applications of our semantic characterizations, namely regarding (...) the semantics of strengthening a given many-valued logic with additional axioms, the study of conditions under which a given logic may be seen as a combination of simpler syntactically defined fragments whose calculi can be obtained independently and put together to form a calculus for the whole logic, and also general conditions for decidability to be preserved by the combination mechanism. (shrink)

This book offers new readings of Kant’s “universal law” and “humanity” formulations of the categorical imperative. It shows how, on these readings, the formulas do indeed turn out being alternative statements of the same basic moral law, and in the process responds to many of the standard objections raised against Kant’s theory. Its first chapter briefly explores the ways in which Kant draws on his philosophical predecessors such as Plato (and especially Plato’s Republic) and Jean-Jacque Rousseau. The second chapter (...) offers a new reading of the relation between the universal law and humanity formulas by relating both of these to a third formula of Kant’s, viz. the “law of nature” formula, and also to Kant’s ideas about laws in general and human nature in particular. The third chapter considers and rejects some influential recent attempts to understand Kant’s argument for the humanity formula, and offers an alternative reconstruction instead. Chapter four considers what it is to flourish as a human being in line with Kant’s basic formulas of morality, and argues that the standard readings of the humanity formula cannot properly account for its relation to Kant’s views about the highest human good. (shrink)

Whereas the universal law formula says to choose one’s basic guiding principles (or “maxims”) on the basis of their fitness to serve as universal laws, the humanity formula says to always treat the humanity in each person as an end, and never as a means only. Commentators and critics have been puzzled by Kant’s claims that these are two alternative statements of the same basic law, and have raised various objections to Kant’s suggestion that these are the most basic formulas (...) of a fully justified human morality. This dissertation offers new readings of these two formulas, shows how, on these readings, the formulas do indeed turn out being alternative statements of the same basic moral law, and in the process responds to many of the standard objections raised against Kant’s theory. Its first chapter briefly explores the ways in which Kant draws on his philosophical predecessors such as Plato (and especially Plato’s Republic) and Jean-Jacque Rousseau. The second chapter offers a new reading of the relation between the universal law and humanity formulas by relating both of these to a third formula of Kant’s, the “Law of Nature” formula, and also to Kant’s ideas about laws in general and human nature in particular. The third chapter considers and rejects some influential recent attempts to understand Kant’s argument for the humanity formula, and offers an alternative reconstruction instead. Chapter four considers what it is to flourish as a human being in line with Kant’s basic formulas of morality, and argues that the standard readings of the humanity formula cannot properly account for its relation to Kant’s views about the highest human good. (shrink)

Dictatorships destroy intellectual freedom, yet universities need it. How, then, can universities function under dictatorships? Are they more a support or a danger for the system? In this volume, leading experts from five countries explore the many dimensions of accommodation and conflict, control and independence, as well as subservience and resistance that characterized the relationship of universities to dictatorial regimes in communist and fascist states during the twentieth century: Nazi Germany, Mussolini’s Italy, Francoist Spain, Maoist China, the Soviet Union, (...) and the Soviet bloc countries of Czechoslovakia, East Germany, Hungary, and Poland. Comparisons across these cases reveal that the higher-education policies of modern dictatorships were characterized by a basic conflict of aims. On the one hand, universities were supposed to propagate reigning ideology and serve as training grounds for a dependable elite. Consequently, university autonomy was restricted, research used for political legitimation, personnel policies subjected to political calculus, and many undesired scholars simply put out on the street. On the other hand, modern dictatorships needed well-educated scientists, physicians, teachers, and engineers for the implementation of their political, economic, and military agendas. Communist and fascist leaders thus confronted the basic question of whether universities should be seen primarily as producers of ideology and functionaries loyal to the party line or as places where indispensable knowledge was made available. Dictatorships that opted to subject universities to rigorous political control reduced their scholarly productivity. But if the institutes of higher learning were left with too much autonomy, there was a danger that they would go astray politically. Besides the editors, the contributors are Ruth Ben-Ghiat, Michael David-Fox, Jan Havránek, Ralph Jessen, György Péteri, Miguel Ángel Ruiz Carnicer, and Douglas Stiffler. (shrink)

The roots of the Lvov-Warsaw School can be traced back to Aristotle himself. But in later times we better put them into thinking GW Leibniz and who somehow inherited many of these ways of thinking, such as the philosopher and mathematician Bernhard Bolzano. Since he would pass the key figure of Franz Brentano, who had as one of his disciples to Kazimierz Twardowski, which starts with the brilliant Polish school of mathematics and philosophy dealt with. Among them, one of (...) the most interesting thinkers must be Jan Lukasiewicz, the father of many-valued logic.Jan Łukasiewicz began teaching at the University of Lvov, and then at Warsaw, but after World War II must to continue in Dublin. Some questions may be very astonishing in the CV of Łukasiewicz. For instance, that a firstly Polish Minister of Education in Paderewski cabinet, into the new Polish Republic, and also Rector for two times at Warsaw University, was awarded with a Doctorate ‘Honoris Causa’ in spring 1936, at University of Münster, into the maximum of effervescency of Nazism in Germany. The explanation must be their good relation with a very good friend, the former theologian, and then logician, Heinrich Schölz, who was the first Chairman of Mathematical Logic in German universities.Łukasiewicz firstly studied Law, and then Mathematics and Philosophy in Lvov. His doctoral supervisor was Kazimierz Twardowski, and in 1902 he obtain his Ph. D. title with a very special mention: ‘sub auspiciis Imperatoris’. Also he received a doctorate ring with diamonds from the Kaiser of the Austro-Hungarian Empire, Franz Joseph I.From 1902, Łukasiewicz was employed as a private teacher, and also as a desk in the Universitary Library of Lvov. So it was until 1904 when he obtained a scholarship to study abroad. He defends his ‘Habilitationschrift’ in 1906, entitled “Analysis and construction of the concept of cause”. This permits to give university courses. His first lectures were on the Algebra of Logic, according to the recent translation to Polish of this book of the French logician Louis Couturat.Between 1902 and 1906, Lukasiewicz continued his studies in the universities of Berlin and Leuwen. In 1906, by his ‘Habilitationschrift’, he obtain the qualification as university professor at Lvov. And the, in 1911, he was appointed as associate professor in his ‘alma mater’.Jan Łukasiewicz was also very active in historical research on logic, giving a new and up-to-date interpretation of Aristotle’s syllogism and of the Stoics’ propositional calculus. According to Scholz, the better pages on history of logic are due to him. And also, as Arianna Betti says, “Jan Lukasiewicz is first and foremost associated with the rejection of the Principle of Bivalence and the discovery of Many-Valued Logic.”The discovery of MVL by Lukasiewicz was in 1918, a little earlier than Emil Leon Post. According to Jan Wolenski, “although Post’s remarks were parenthetical and extremely condensed, Lukasiewicz explained his intuitions and motivations carefully and at length. He was guided by considerations about future contingents and the concept of possibility”. So, he introduces, firstly, three-valued logic, then four-valued logic, generalized to logics with an arbitrary finite number of veritative values, and finally, to logics with a countably infinite-valued number of such values.Very noteworthy is his treatment of the history of logic in the light of the new formal logic. Thus, not only he addressed the issue of future contingents departing from Aristotle, but also put in value logic of the Stoics, at least so far taken. In fact, Heinrich Scholz said, rightly, that Lukasiewicz had written the most lucid pages on the history of logic. (shrink)

In contemporary discussions of the university’s public role, intellectual complexity often takes center stage. This account, however, rests on a particular understanding of civic engagement, one that views such engagement primarily in terms of constitutional rights, democratic processes, and deliberative discourse. Other understandings of public life apply a different calculus. Drawing on both traditional and liberatory models of intellectual development, the chapter suggests that teaching for civic engagement requires reflection on at least four basic capacities: intellectual complexity; recognition of (...) social location and diverse frames of reference; empathetic accountability; and motivated action. These four guiding objectives represent cumulative, mutually reinforcing capacities. Though it may be unreasonable to expect that any individual assignment could aim for all of these objectives, instructors do well to reflect on them as different aspects of a single, integrated approach to student development, attentive to the multifaceted reality of civic participation itself. (shrink)

Statements on issues in biomedical ethics, purporting to represent international interests, have been put forth by numerous groups. Most of these groups are composed of thinkers in the tradition of European secularism, and do not take into account the values of other ethical systems. One fifth of the world’s population is accounted for by Islam, which is a universal religion, with more than 1400 years of scholarship. Although many values are held in common by secular ethical systems and Islam, (...) their inferences are different. The question, “Is it possible to derive a truly universal declaration of biomedical ethics?” is discussed here by examining the value and extent of personal autonomy in Western and Islamic biomedical ethical constructs. These constructs are then tested vis-à-vis the issue of abortion. It is concluded that having a universal declaration of biomedical ethics in practice is not possible, although there are many conceptual similarities and agreements between secular and Islamic value systems, unless a radical paradigm shift occurs in segments of the world’s deliberative bodies. The appellation “universal” should not be used on deliberative statements unless the ethical values of all major schools of thought are satisfied. (shrink)

As a result of a gradual shifting of the resourcing of universities from the public to the private sector, the academic institution has been required to acquire some of its additional funding from industry via partnerships based on research and development. This paper examines this new condition and asks whether the different mission statements or modi operandi of the university vis à vis industry throws up additional ethical issues. While there are conditions where the interactions between industry and the university (...) may be seen to be between partners with some degree of equivalence, many such interactions, lacking this balance, are in danger of generating more concerns. It should also not be forgotten that independent publicly funded research establishments may also play an important role in the production of the innovation and development needed to maintain the strength of an industrial economy. (shrink)

Many business schools profess a commitment to ethics in their mission statements and focus a spotlight on the intersection between the university’s mission and attention to business ethics. To explore this trend, we analyze a sample of students’ values from two universities with an explicit religious foundation and recognized commitment to ethics against students from another university where this attention is not as explicit. This study identifies the personal values orientations (PVOs) for these students, born between 1980 and 2000, (...) thus millennials, and considers if differences can be attributed to the university’s culture and mission or business school curriculum. We utilize Social Identity Theory as a promising framework for illuminating these considerations. Our results confirm that a religious‐orientation characterizing a university’s mission may influence the business students’ (or millennials’) PVOs. Students at the two religious institutions manifested a stronger social, rather than personal, and moral, rather than competence, value orientation. Only marginal differences were discovered when assessing within group differences in the value orientations among our sample of business students. (shrink)

Many years after the publication of “A Logical Calculus of the Ideas Immanent in Nervous Activity,” Warren McCulloch gave Walter Pitts credit for contributing his knowledge of modular mathematics to their joint project. In 1941 I presented my notions on the flow of information through ranks of neurons to Rashevsky’s seminar in the Committee on Mathematical Biology of the University of Chicago and met Walter Pitts, who then was about seventeen years old. He was working on a mathematical (...) theory of learning and I was much impressed. He was interested in problems of circularity, how to handle regenerative nervous activity in closed loops....For two years Walter and I worked on these problems whose solution depended upon modular mathematics of which I knew nothing, but Walter did.. In this paper, we will fill in some of the details regarding Pitts’s interest in problems of circularity, regenerative activity in closed loops of neurons, and modular mathematics, and the way in which they relate to “A Logical Calculus.”. (shrink)

Theabstract variable binding calculus (VB-calculus) provides a formal frame-work encompassing such diverse variable-binding phenomena as lambda abstraction, Riemann integration, existential and universal quantification (in both classical and nonclassical logic), and various notions of generalized quantification that have been studied in abstract model theory. All axioms of the VB-calculus are in the form of equations, but like the lambda calculus it is not a true equational theory since substitution of terms for variables is restricted. A similar problem (...) with the standard formalism of the first-order predicate logic led to the development of the theory of cylindric and polyadic Boolean algebras. We take the same course here and introduce the variety of polyadic VB-algebras as a pure equational form of the VB-calculus. In one of the main results of the paper we show that every locally finite polyadic VB-algebra of infinite dimension is isomorphic to a functional polyadic VB-algebra that is obtained from a model of the VB-calculus by a natural coordinatization process. This theorem is a generalization of the functional representation theorem for polyadic Boolean algebras given by P. Halmos. As an application of this theorem we present a strong completeness theorem for the VB-calculus. More precisely, we prove that, for every VB-theory T that is obtained by adjoining new equations to the axioms of the VB-calculus, there exists a model D such that T s=t iff D s=t. This result specializes to a completeness theorem for a number of familiar systems that can be formalized as VB-calculi. For example, the lambda calculus, the classical first-order predicate calculus, the theory of the generalized quantifierexists uncountably many and a fragment of Riemann integration. (shrink)

Until the Scientific Revolution, the nature and motions of heavenly objects were mysterious and unpredictable. The Scientific Revolution was revolutionary in part because it saw the advent of many mathematical tools—chief among them the calculus—that natural philosophers could use to explain and predict these cosmic motions. Michel Blay traces the origins of this mathematization of the world, from Galileo to Newton and Laplace, and considers the profound philosophical consequences of submitting the infinite to rational analysis. "One of Michael (...) Blay's many fine achievements in _Reasoning with the Infinite_ is to make us realize how velocity, and later instantaneous velocity, came to play a vital part in the development of a rigorous mathematical science of motion."—Margaret Wertheim, _New Scientist_. (shrink)

How can our societies be stabilized in a crisis? Why do we enjoy and understand Shakespeare? Why are fruitflies uniform? How do omnivorous eating habits aid our survival? What makes the Mona Lisa's smile beautiful? How do women keep their social structures intact? -- Could there possibly be a single answer to all these questions? This book shows that the statement 'weak links stabilize complex systems' provides the key to understanding each of these intriguing puzzles, and many others (...) too. The author...uses weak (low affinity, low probability) interactions as a thread to introduce a vast variety of networks from proteins to economics and ecosystems. --From publisher description. (shrink)

The paper discusses Leibniz's theory of denominations, expression, and individual notions, the central claim being that the key to many of Leibniz's fundamental theses is to consider his argument, starting from his predicate-in-subject account of truth (that in a true statement the notion of the predicate is contained in that of the subject), against purely extrinsic denominations: this argument shows why there is an internal foundation for all denominations, why everything in the world is interconnected, why each substance (...) expresses all the others, and why every change in the world is reflected as a real, internal change in every substance. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 36.4 (2003) 353-375 [Access article in PDF] A Rhetoric for Polytheistic Democracy: Walt Whitman's "Poem of Many in One" Peter Simonson Department of Communication University of Pittsburgh This essay aims to generate rhetorically oriented normative communication theory useful for the current socio-intellectual moment. It draws upon Walt Whitman's 1850s poetry as an artistically compelling statement of what I call polytheistic democracy, a form of (...) life marked by three overlapping ideals: pluralistic tolerance for multiple gods and moral orientations; commitment to recognizing, preserving, and artfully representing socio-cultural variety; and receptivity to contact with a diverse range of particular others. Whitman offers theory in the sense of a structured way of seeing. It is normative in that it describes a world that might be, not one that is, and provides orienting visions, regulative ideals, and topoi of praise and criticism that stand available to guide the communicative practices of individuals, groups, and institutions alike.The theory is "rhetorically oriented" in that it draws upon techniques and vocabularies developed within the rhetorical tradition. Methodologically, it is generated through rhetorical criticism and imitatio. I offer a reading that brings out the rhetorical dynamics of Whitman's vision of polytheistic democracy as articulated in his 1856 "Poem of Many in One" (later and canonically titled "By Blue Ontario's Shore"), a central social statement in his much-revised masterwork, Leaves of Grass. In so doing, I hold Whitman up as a model for imitatio, the complex interpretive practice whereby, in Michael Leff's words, historical texts come to serve "as equipment for future rhetorical production" (1997, 201). Imitatio is an intellectually generative process. "As the embodied utterances of the past are interpreted for current application, their ideas and modes of articulation are reembodied, and old voices are recovered for use in new circumstances" (203).I couple imitatio with a neo-pragmatist rhetorical criticism oriented toward practice and reflection in the current cultural moment. Whitman gains significance insofar as he helps us experience, think about, and act [End Page 353] within the worlds we now traverse. 1 Among other qualities, those worlds are marked by heterogeneous groups and people who must continuously find ways to live with one another; by large institutions that stand as steady reminders that individuals may not matter very much; by ubiquitous electronic and print media offering copious streams of symbolic culture; and by countervailing geographical forces of circulation and social segmentation of fleshly bodies in the material spaces of public life. In worlds with such qualities, Whitman is a useful locus of imitatio—someone whose cosmopolitan social imagination, deep pluralism, wide-ranging habits of contact, and attention to corporeal individuals all serve as useful equipment for new rhetorical and moral production."Poem of Many in One" has a self-exemplifying 2 aspect to it, for it models what it aims to cultivate in the world. Whitman's print-based rhetoric provides an overarching vision of polytheistic democracy and mass community, scattered across time and space and actualized partly through individuals. His discourse models this social condition by displaying radical openness to high and low, sacred and profane, the admired and the socially despised. It is rhetorically driven by a copious style and an aesthetically oriented democratic ethos that Whitman's mediated eloquence aims also to generate in its readers. Its success thus hinges on readerly receptivity and cultivated ethos that re-embodies aspects of his sensibility and rhetorical techniques, giving them new momentum in scattered realms of social being.I amplify key components of Whitman's normative vision not to trump competing moral principles and orientations but to supplement them. In this sense, my essay is pluralist all the way down. It is socially pluralist in that I believe in encouraging the development and preservation of multiple sets of normative orientations, with no single principle or moral perspective ordering all others. It is individually pluralist in that I understand moral principles as interpretive and rhetorical resources deployed and judged on the basis of their contingent appropriateness and usefulness. 3 "One does not... (shrink)

Referring to James Legge's translation of the Liji 禮記, Supreme Court Justice Anthony Kennedy's justification for legalizing same-sex marriage was based on the statement, "Confucius taught that marriage lies at the foundation of government."1 Justice Kennedy universalized and applied Confucius' comment in a way that Confucius would never have imagined it would be. Yet, Justice Kennedy's universalization fits into a legacy of Western utilizations of the wisdom of the ancient Chinese sage. Although in recent history many Europeans and (...) North Americans regard universal values as a challenge to other societies to reform, it is important to remember that, in the eighteenth century, Europeans looked to China for universal... (shrink)

While there is a longstanding discussion about the interpretation of the extended, general principle of relativity, there seems to be a consensus that the special principle of relativity is absolutely clear and unproblematic. However, a closer look at the literature on relativistic physics reveals a more confusing picture. There is a huge variety of, sometimes metaphoric, formulations of the relativity principle, and there are different, sometimes controversial, views on its actual content. The aim of this paper is to develop a (...) precise language in order to provide a precise formulation of the principle. In view of the fact that the special relativity principle is considered as a universal meta-law, which must be valid for all physical laws in all situations, we try to keep the formalism as general as possible. The benefit of the formal reconstruction is that it makes explicit all the necessary conceptual components of the principle; it brings out many subtle details and the related conceptual problems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Enviornment 6.2 (2001) 119-124 [Access article in PDF] Book Review Eugene Odum: Ecosystem Ecologist and Environmentalis Eugene Odum: Ecosystem Ecologist and Environmentalist. Betty Jean Craige. The University of Georgia Press, Athens, 2001, pp. 226. $34.95. ISBN 0-8203-2281-4 (Hardback) A serendipity initiated this review. A half hour before checking my voice mail and receiving the invitation to write this review, I stood at the University of Georgia (...) Press table at the Association for the Study of Literature and the Environment (ASLE) conference in Flagstaff, Arizona. Picking up Betty Jean Craige's new text, I thought to myself, "This book looks interesting! I'm going to have to read it!" Not only did that wish come true; now I have the opportunity to share my thoughts.Prima facie, it may seem odd to print a review on a biography of a scientific ecologist in an environmental ethics journal. In fact, however, nothing could be more appropriate. The science of ecology is directly relevant--even essential--to the ethics of the environment: the human/nonhuman dynamic is contingent upon the identity of human beings, the essence of natural systems, and the interactive relationship between the two. As an environmental philosopher, it was this realization which directed me to the life sciences. [End Page 119]I recommend that environmental philosophers read Craige's book for at least three reasons. First, as just mentioned, the science of ecology addresses some of the necessary conditions for developing an environmental ethic--the ontology of natural systems and the relationship of biota (including Homo sapiens) with the abiotic environment.Second, and more specifically, Odum is a scientist of special concern to environmental philosophers--not to mention moral philosophers and philosophers of science--with his reticence to take seriously the is/ought (or fact/value) gap first identified by the great David Hume. As is widely known, philosophers and scientists who maintain the existence of such a gap contend that it is logically impossible to derive value-laden statements, such as ethical statements, from value-free statements, such as factual statements. According to this line of reasoning, the only way to move from the observation that human activity is causing species extinction to the imperative PRESERVE SPECIES! is another normative assumption that anthropogenic species extinction is bad. Thus Odum is at loggerheads with Bertrand Russell when the philosopher writes: "... questions as to 'values' lie wholly outside the domain of knowledge. That is to say, when we assert that this or that has 'value,' we are giving expression to our own emotions, not to a fact[.]" Siding with Russell against Odum, many ecologists refrain from making ethical (and hence environmentalist) injunctions.What makes Odum especially fascinating is that he recovered from the hangover of Modernity which numerous scientists and philosophers still suffer from: the inability of moving from descriptive science to prescriptive ethics. As Craige remarks over and over again, Odum moves easi-ly between ecology and environmentalism (p. 64): "His inclusion of human beings in ecosystems turned ecosystem ecologists into environmentalists--that is, advocates of policies and social behaviors protective to the natural environment--erasing the line traditional to Western thought between science and politics" (p. 45. See also p. xvii, p. 41). Odum's attitude marks a major breakthrough for the project of grounding environmental ethics in ecological science.Third, Odum is a great scientist whose work is relevant to a host of other philosophical issues. In our recent book, The Philosophy of Ecology: From Science to Synthesis (University of Georgia Press, 2000), Frank Golley and I struggled not to include a piece by Odum in every section of the book. Odum's work has implications for every area in the philosophy of ecology: the ontology of the ecological entity, the reductionism/holism [End Page 120] debate, the rationalism/empiricism debate, evolutionary ecology, and the relationship of ecology to ethics. In light of my work in the philosophy of ecology and familiarity with Odum's research--not to mention meeting him personally several times--I find several of Craige's statements perplexing. When she writes... (shrink)

Schelling's 1806 polemic against Fichte, and his last major work on the philosophy of nature. The heat of anger can concentrate the mind. Convinced that he had been betrayed by his former collaborator and colleague, Schelling attempts in this polemic to reach a final reckoning with Fichte. Employing the format of a book review, Schelling directs withering scorn at three of Fichte’s recent publications, at one point likening them to the hell, purgatory, and would-be paradise of Fichtean philosophy. The central (...) bone of contention is the understanding of nature: Fichte sees it as lifeless matter in motion, sheer opposition to be overcome, while Schelling waxes poetic in his defense of a living, organic nature of which humanity is a vital part. Indeed, we do not know ourselves without understanding our connection to nature, argues Schelling, anticipating many thinkers in contemporary environmental ethics. Dale E. Snow’s introduction sets the stage and explains the larger context of the conflict, which was already visible in the correspondence of the two philosophers, which broke off by 1802. Notes are included throughout the text, providing background information and identifying the many references to Fichte. Dale E. Snow is Associate Professor of Philosophy at Loyola University of Maryland and the author of Schelling and the End of Idealism, also published by SUNY Press. (shrink)

Laws of nature take center stage in philosophy of science. Laws are usually believed to stand in a tight conceptual relation to many important key concepts such as causation, explanation, confirmation, determinism, counterfactuals etc. Traditionally, philosophers of science have focused on physical laws, which were taken to be at least true, universal statements that support counterfactual claims. But, although this claim about laws might be true with respect to physics, laws in the special sciences (such as biology, psychology, economics (...) etc.) appear to have—maybe not surprisingly—different features than the laws of physics. Special science laws—for instance, the economic law “Under the condition of perfect competition, an increase of demand of a commodity leads to an increase of price, given that the quantity of the supplied commodity remains constant” and, in biology, Mendel's Laws—are usually taken to “have exceptions”, to be “non-universal” or “to be ceteris paribus laws”. How and whether the laws of physics and the laws of the special sciences differ is one of the crucial questions motivating the debate on ceteris paribus laws. Another major, controversial question concerns the determination of the precise meaning of “ceteris paribus”. Philosophers have attempted to explicate the meaning of ceteris paribus clauses in different ways. The question of meaning is connected to the problem of empirical content, i.e., the question whether ceteris paribus laws have non-trivial and empirically testable content. Since many philosophers have argued that ceteris paribus laws lack empirically testable content, this problem constitutes a major challenge to a theory of ceteris paribus laws. (shrink)

Has art theory any function and any importance? A function and importance for who? For the practising artist, theorists, writers on art? Art speak and its place in art theory, art criticism and artists’ statement. - Many tools to create an intersubjective and universal frame of reference to make sense of any art exist., for example art history, labels such as expressionism, impressionism, modern art, contemporary art, Fine art, Visual Arts, Northern Baroque Art, minimalist, post-minimalist, anti-art, anti-anti-art, New (...) Aesthetics, new media, slow art movement, etc and ‘art speak”. (shrink)

This well‐researched book will be of immense value to the person who will someday write the full story of broadcast regulation in the United States. That story still needs to be written; although in this book the facts are all presented, the story behind the facts is not.Well, actually, not quite all the facts are here either. For example, similar problems tackled in other countries such as Canada, even before the United States began looking into them, aren't even mentioned. True, (...) the title of the book specifies that it is limited to the United States, but to understand the regulations presented we should certainly have some knowledge of how others had attacked the same problem.More important, Hugh Slotten totally ignores the personalities of the people involved. This is a tremendously important consideration, for to understand what happened we must know something about the motives of the people who made the decisions, and since many of the motives were hidden under layers of varying complexity and political beliefs we would like to know something about the personalities of the players. Someone at the Johns Hopkins Press evidently noticed the problem, but the only attempt at fixing it was to lie blatantly on the bookjacket: “His [Slotten's] discussion of the early years of radio examines powerful personalities—including navy secretary Josephus Daniels and commerce secretary Herbert Hoover.” But there is no discussion at all of the personalities of these men. Daniels is mentioned in only two sentences, neither of which touches on him as a person, and although Hoover occurs in several more, nothing of his “personality” is thrown in.Lee De Forest is another example. On page 4 he is identified as the inventor of the audion . On page 61 we read of his “invention” [sic] of that device. Why the quotation marks around “invention”? Did he or didn't he invent it? Actually, there is a good story to be told about that, but you won't read it here. De Forest played an active role in the regulation controversies, and this role is made clear in the book. But precisely because of this, wouldn't it be interesting to know that De Forest was arrested and went to trial for crooked stock manipulation in connection with the audion? The only hint at such activities is Slotten's statement that De Forest was a “maverick.” Wouldn't that one word make you want to know more about him, if only to evaluate his quoted remarks on governmental interference and regulations?Other matters of interest are passed by, as when on page 48 we read: “Decisions about who should receive licenses … could … be based on such qualitative issues as the character of broadcasts … and the educational benefits.” What a can of worms this opens up! Or should open up. Is the government going to censor broadcasting by denying licenses to stations that publicize alternative methods of government, such as communism? How about religious or ethnic controversies: will these be deemed “educational” or subversive? Is the government, through its licensing powers, going to let the public hear only what it wants it to hear, à la Goebbels and Germany? Well, we'll never know, for this particular can is not opened by the author; after this one mention, the subject is never broached again.In summary, if you are actively researching this field, Slotten's book is a must for you. But the full story of radio and television regulation in the United States is still to be written. (shrink)

Ten of the twelve essays in this fine collection treat subjects that are relevant to any reasonably comprehensive understanding of the nature of the history of science. The first four essays are either completely or largely historiographical. Each explores the extent to which the natural sciences have been, or should be, seen as central to the Scottish Enlightenment. As all four provide extended descriptive historiographies, there is extensive repetition here, but as the four also offer radically different answers, they are (...) worth reading.In the first essay Paul Wood argues that Dugald Stewart created an imaginary picture of the Scottish Enlightenment that has influenced almost all subsequent interpretations of the movement. These interpretations have promoted the idea that there was a coherent “Scottish school” of philosophy of which David Hume and Francis Hutcheson were the cofounders; that the Scottish school emphasized moral philosophy and social theory; and that it included figures from Glasgow, Edinburgh, and Aberdeen. Wood claims that Stewart downplayed the relationship between natural knowledge and social theory, except for some minor methodological commonalities, for several reasons. In part, he desperately wanted to maintain the mind‐body dualism that characterized the Scottish school. In addition, his main statement on the Scottish Enlightenment appeared as an essay on the history of the progress of metaphysics and morals that was paired with John Leslie's essay on the progress of the natural sciences in the supplement to the fourth edition of the Encyclopaedia Britannica, and he was simply responding to the limits of his assignment. Regardless of his motives, one major consequence of Stewart's approach has been the exclusion of the natural sciences from a central role in most subsequent interpretations of the Scottish Enlightenment not written by historians of science—an exclusion Wood laments.The second essay, by John Robertson, seems, on one level, almost designed to prove Wood's main point, for it explicitly denies natural science a significant role. For Robertson, moral philosophy, history, and, above all, political economy are at the core of Scottish concerns. He departs from Stewart, however, by insisting on a fundamental opposition between Hume and Hutcheson and by arguing that the Scottish Enlightenment would be better understood as part of a broader European Enlightenment, with less patriotic fervor about Scots exceptionalism.Richard Sher's essay on what book history can tell us about science and medicine in the Scottish Enlightenment is remarkably insightful and illuminating; it left me waiting with great anticipation for his book‐length study on the subject. Although Sher rejects Roger Emerson's claims that the natural sciences were the driving force for the Enlightenment in Scotland, he insists that science and medicine were important. He then goes on to suggest a series of fascinating ways in which characteristics of the book trade both shaped and can illuminate the place of science.Among the other essays likely to interest historians of science are those by Anita Guerrini, John Wright, and Fiona MacDonald. These authors explore aspects of medical theory and medical care in very different but very illuminating ways. One other related set of essays consists of pieces by James Moore, Christopher Berry, and Alexander Broadie, all of which focus on aspects of the theorized relationship between science and religion. Here, the major theme is the difference in emphases between those who followed the ancient materialists in seeing fear as the primary motive in the origins of religion and those who emphasized some version of the design argument.This volume provides a good introduction to the current state of interpretations of the Scottish Enlightenment, and its special emphasis on the place of science among eighteenth‐century Scottish intellectuals should make it attractive to many readers of Isis. (shrink)

In my review, I analyze the main theses of Anastasiya Medova’s monograph entitled Phenomenology of Musical Experience (2021). The author of the book raises the issue of what it is that we generally hear as music, as well as many directly or indirectly related other issues with regard to both the essence and the ontological status of music. According to her, it is only the phenomenological methodology that can provide an answer to these questions, which deals with the specifics (...) of a musical object always in the context of the specifics of musical experience. Particular emphasis in the review is placed on the concept of reduction, as it is used in relation to music. It is designed to clear the experience of all elements not related to music as such, including sensitive shape-associations that often arise while listening to music. Another important point in the study of A. A. Medova is her posing of the question as to the regional nature of music and its possible correlation with the sphere of aesthetic in general. In this regard, I point out that the author of the monograph seeks to justify the irreducibility of music to the aesthetic sphere and that her solution of the problem of the possible regionality of music remains insufficiently determined. I also emphasize that one of the points of interest in the book is that Medova works with specific material, notably with the interpretation of significant works of musical art and the analysis of important theoretical statements about the essence of music. (shrink)

Our normal discourse is replete with discussion of things which do not exist — the objects of fiction, of illusion and hallucination, of religious worship, of misguided fears and other intentional states. Let us call such discourse empty. How to account for the meaning of empty discourse, and such truth values as its statements have, are perennial and thorny philosophical topics. Many positions are well known; in this book of five chapters Azzouni advocates another. Empty discourse is literally about (...) nothing; nonetheless, one may give an account of how its sentences are both meaningful and have appropriate truth values. In the first three chapters, the ideas are applied to the objects of mathematics, hallucination, and fiction, respectively. Chapter 5 fills out the picture with a discussion of truth-conditional semantics. Chapter 4 broaches the question of how all this is relevant to a broader question: the unity of the sciences.The book is ingenious and clearly argued.1 There are many perceptive discussions — for example, of the way we talk about fictional objects, and about hallucination. And although it is not the main aim of the book, it mounts a number of telling arguments against alternative positions. And even if the book did not persuade at least this reader of its main thesis, it has estabished a genuinely novel and intriguing position …. (shrink)

In this chapter we will deal with “mechanizing” induction, i.e. with ways in which theoretical computer science approaches inductive generalization. In the field of Machine Learning, algorithms for induction are developed. Depending on the form of the available data, the nature of these algorithms may be very different. Some of them combine geometric and statistical ideas, while others use classical reasoning based on logical formalism. However, we are not so much interested in the algorithms themselves, but more on the philosophical (...) and theoretical foundations they share. Thus in the first of two parts, we will examine different approaches and inductive assumptions in two particular learning settings. While many machine learning algorithms work well on a lot of tasks, the interpretation of the learned hypothesis is often difficult. Thus, while e.g. an algorithm surprisingly is able to determine the gender of the author of a given text with about 80 percent accuracy [Argamon and Shimoni, 2003], for a human it takes some extra effort to understand on the basis of which criteria the algorithm is able to do so. With that respect the advantage of approaches using logic are obvious: If the output hypothesis is a formula of predicate logic, it is easy to interpret. However, if decision trees or algorithms from the area of inductive logic programming are based purely on classical logic, they suffer from the fact that most universal statements do not hold for exceptional cases, and classical logic does not offer any convenient way of representing statements which are meant to hold in the “normal case”. Thus, in the second part we will focus on approaches for Nonmonotonic Reasoning that try to handle this problem. Both Machine Learning and Nonmonotonic Reasoning have been anticipated partially by work in philosophy of science and philosophical logic. At the same time, recent developments in theoretical computer science are expected to trig- ger further progress in philosophical theories of inference, confirmation, theory revision, learning, and the semantic and pragmatics of conditionals. We hope this survey will contribute to this kind of progress by building bridges between computational, logical, and philosophical accounts of induction. (shrink)

Universities want to prepare students intellectually so that they might eventually find successful, fulfilling work. Since work is synonymous with business – no work ever exists outside of business – one of the academy's primary goals is to help students enter the world of business, regardless of their majors. Many universities also declare within their mission statements a desire to cultivate a student body capable of making ethically informed decisions. Consequently we might conceptualize "business ethics" as not simply one (...) field within the academic constellation, but rather the conceptual glue holding together the curriculum. And since the most significant new development in business within the past decade is arguably the emergence of theories of sustainable business practice, we would do well to consider the role business ethics can play in the creation of a new "sustainable curriculum.". (shrink)

The most remarkable aspect of Einstein’s 1946 address at Lincoln University is that it has vanished from Einstein’s recorded history. Its disappearance into a historical black hole symbolizes what seems to happen in the creation of a cultural icon. It is but one of many political statements by Einstein to have met such a fate, though his civil rights activism is most glaringly missing. One explanation for this historical amnesia is that those who shape our official memories felt that (...) Einstein’s “controversial” friends like Paul Robeson and activities like co‐chairing the anti‐lynching crusade might tarnish Einstein as an icon. That icon, sanctified by Time magazine when it dubbed Einstein “Person of the Century” at the end of 1999, is a myth, albeit a marvelous one. Yet it is not so much the motive for the omission but the consequence of it that should concern us. Americans and the millions of Einstein fans around the world are left unaware that he was an outspoken, passionate, committed antiracist. (shrink)

The college athletics environment within the USA is ethically complex and often controversial. From an academic standpoint, athletes are often viewed as a privileged class receiving undue benefit. Yet closer inspection reveals that student athletes are at risk psychologically, physically, and intellectually in ways that undermine development and flourishing. This reality stands in troubling contrast to the prosocial, virtue-based goals expressed by university mission statements. Given the role of sport in many university business models, college athletics invites scrutiny from (...) a business ethics standpoint. Using a humanistic leadership perspective (Pirson in: Humanistic management: protecting dignity and promoting well-being, Cambridge University Press, Cambridge, 2017), we organize our analysis around three challenges facing the college athletics system: (1) navigating the tension between claiming college athletes are amateurs rather than professionals; (2) defining the ethical edge between winning and winning fairly; and (3) moderating the insatiable drive to win while protecting student athlete well-being. We then articulate three strategies for successfully addressing these challenges: leadership role modeling, putting structural supports in place and holding people accountable. We argue that humanistic leadership and a ‘balanced motivational drive mindset’ (Lawrence and Nohria in: J Bus Ethics 128:383–394, 2002, https://doi.org/10.1007/s10551-014-2090-2 ; Pirson 2017) could help move college athletics from an economistic model toward a more humanistic model that prioritizes the dignity and well-being of its participants, particularly student athletes. (shrink)

Definiensposition: Problem in der Erkenntnistheorie, dass Schlüsse von endlich vielen, wahren Einzelaussagen über Beobachtungen niemals die Wahrheit einer Allaussage oder Prognose garantieren. Englische Definiensposition: problem in epistemology that inferences from finitely many, true, individual statements about observations can never ensure the truth of a universal statement or prediction.

[Toril] Moi says that my misunderstanding of Kristeva lies in taking the “semiotic process” 1 for the whole of “poetic language”: “He does not seem to have noticed Kristeva’s account of the symbolic, her repeated insistence that language—the signifying process—is the product of a dialectical interaction between the symbolic and the semiotic” . But how could I not notice what Kristeva herself reiterates over and over? Not notice that “textual practice is that most intense struggle toward death, which runs alongside (...) and is inseparable from the differentiated binding of its charge in a symbolic texture”—words I quoted on page 814 ? The reader will find in my essay many other statements to the same effect. I noticed, I noticed, but Moi did not notice I noticed. She’s so certain Kristeva’s book is difficult that she may underestimate the ability of others to grasp its essential points. But despite the pine-knot paroxysms of grotesqueness in the Englished version , Kristeva makes herself understood well enough through her sharp logicality and by dint of repetition. Calvin Bedient is professor of English at the University of California, Los Angeles. His most recent book is He Do the Police in Different Voices , a study of The Waste Land. (shrink)

My aim in this paper is to explain how universal statements, as they occur in scientific theories, are actually tested by observational evidence, and to draw certain conclusions, on that basis, about the way in which scientific theories are tested in general. 1 But I am pursuing that aim, ambitious enough in and of itself, in the service of even more ambitious projects, and in the first place: (a) to say what is distinctive about modern science, and especially modern physical (...) science, as a human intellectual activity; and (b) to show how this distinctiveness explains the unique status of modern science in human intellectual life. So I will begin by saying a few words about that larger project. One might doubt, first, whether that project is legitimate. Although everything is different from everything else, the question “What is distinctive about X?” is not necessarily well put, because X may not be anything—that is, anything distinct. And there are indeed many philosophers, otherwise of the most diverse intellectual backgrounds and tendencies, who would deny, in various ways, that modern science is a distinct thing, or that its status is unique. It seems to me that they deny something terrifyingly obvious— a fact which confronts us far more urgently than the fact that, say, ravens are black. I will put off further remarks about this until the end of the paper, however, because the discussion of my more limited present aim will focus precisely on the ways to tell when a question is well put, and whether there is such a (distinct) thing as X. That one’s methodological problems are also the subject of one’s investigation is a sign that that investigation is philosophical, although (or because) also a threat to its coherence. Second, some points about methodology. I am not a sociologist, or even a historian, nor (unlike some recent philosophers of science) will I pretend to be.. (shrink)

The discussion about the Raven Paradox is ever-renewing: after nearly 70 years, many authors propose from time to time new solutions, and many authors state that these solutions are unsatisfactory. It is worthy to be carefully noted that though most arguments in favor or against the paradox are based on the notion of “probability” and on the application of Bayes’ law, not one of them makes use of the Kolmogorov axiomatic theory of probability and on the subsequent notion (...) of “random variable”. This seems to be due to a preference for the purely logical interpretation of the notion of “probability” which makes it possible to assign a probability value to propositions expressing natural (universal) laws. This paper aims at presenting an attempt to contribute a solution to the paradox by the proposal of a different way to express universal natural laws and by the use of a language which does not allow one to apply probability to universal statements. (shrink)

I formulate and defend a version of the many universes (or multiverse) reply to the atheistic argument from evil. Specifically, I argue that (i) if we know that any argument from evil (be it a logical or evidential argument) is sound, then we know that God would be (or at least probably would be) unjustified in actualizing our universe. I then argue that (ii) there might be a multiverse and (iii) if so, then we do not know that (...) God would be (or at least probably would be) unjustified in actualizing our universe. It follows that we cannot know that the atheistic argument from evil is sound, in which case we cannot be certain that the argument succeeds, and so it is rational to refuse to reject theism because of such arguments. (shrink)

Quite often the compatibility of the EPR correlations with the relativity theory has been questioned; it has been stated that “the first in time of two correlated measurements instantaneously collapses the other subsystem”; it has been suggested that a causal asymmetry is built into the Feynman propagator. However, the EPR transition amplitude, as derived from the S matrix, is Lorentz andCPT invariant; the correlation formula is symmetric in the two measurements irrespective of their time ordering, so that the link of (...) the correlations is the Feynman zigzag, and that causality isCPT invariant at the microlevel; finally, although the Feynman propagator has theP andCT symmetries, no causal asymmetry follows from that. As for Stapp's views concerning “process” and “becoming,” and his Whiteheadean concept of an advancing front, I object that they belong to “factlike macrophysics,” and are refuted at the microlevel by the EPR phenomenology, which displays direct Fokker-like space-time connections. The reason for this is a radical one. The very blending of a space-time picture and of a probability calculus is a paradox. The only adequate paradigm is one denying objectivity to space-time—but this, of course, is also required by the complementary of the x and the k pictures, which only “look” compatible at the macrolevel. Therefore, the classical “objectivity” must yield in favor of “intersubjectivity.” Only the macroscopic preparing and measuring devices have “factlike” objectivity; the “transition” of the “quantal system” takes place beyond both thex and thek 4-spaces. Then, the intrinsic symmetries between retarded and advanced waves, and statistical prediction and retrodiction, entails that the future has no less (but no more) existence than the past. It is the future that is significant in “creative process,” the “elementary” forms of which should be termed “precognition” or “psychokinesis”—respectively symmetric to the factlike taboos that “we can neither know into the future nor act into the past.” It is gratifying that Robert Jahn, at the Engineering School of Princeton University, is conducting (after others) conclusive experiments demonstrating “low level psychokinesis”—a phenomenon implied by the very symmetry of the negentropy-information transition. So, what pierces the veil of “maya” is the (rare) occurrence of “paranormal phenomena.” The essential severance between “act” and “potentia” is not a spacelike advancing front, but the “out of” and the “into” factlike space-time. Finally, I do not feel that an adequate understanding of the EPR phenomenology requires going beyond the present status of relativistic quantum mechanics. Rather, I believe that the potentialities of this formalism have not yet been fully exploited. (shrink)

The goal of the paper is to develop a universal semantic approach to derivable rules of propositional multiple-conclusion sequent calculi with structural rules, which explicitly involve not only atomic formulas, treated as metavariables for formulas, but also formula set variables, upon the basis of the conception of model introduced in :27–37, 2001). One of the main results of the paper is that any regular sequent calculus with structural rules has such class of sequent models that a rule is derivable (...) in the calculus iff it is sound with respect to each model of the semantics. We then show how semantics of admissible rules of such calculi can be found with using a method of free models. Next, our universal approach is applied to sequent calculi for many-valued logics with equality determinant. Finally, we exemplify this application by studying sequent calculi for some of such logics. (shrink)

It is shown that, for certain classes of cosmological model which either postulate or give rise to infinitely many universes, only a measure zero subset of the set of possible universes above a given size can in fact be physically realized. It follows that claims to explain the fine tuning of our universe on the basis of such models by appeal to the existence of all possible universes fail.

“The universe is expanding, not contracting.” Many statements of this form appear unambiguously true; after all, the discovery of the universe’s expansion is one of the great triumphs of empirical science. However, the statement is time-directed: the universe expands towards what we call the future; it contracts towards the past. If we deny that time has a direction, should we also deny that the universe is really expanding? This article draws together and discusses what I call ‘C-theories’ of (...) time — in short, philosophical positions that hold time lacks a direction — from different areas of the literature. I set out the various motivations, aims, and problems for C-theories, and outline different versions of antirealism about the direction of time. (shrink)

Many years ago Degas said "Il faut décourager les arts." I am far from agreeing, but I am ready to say that critics of a certain kind are in need of active discouragement. Too much is written about matters that should be taken in by the beholder as he hears or scans the work. It is not desirable that his conscious mind should entertain - or be prepared to entertain - clear statements of what he experiences under the spell (...) of a masterpiece. The very reason why art is finer when it shows rather than tells is that comprehension is then immediate, not discursive. Ideally, the spectator must absorb - in order to be absorbed; and this means that the critic should shut up until he is wanted. We have no need of a study of "Punctuality in Thomas Hardy." I am making up the subject, but everybody can think of dozens of comparable works of pseudo-scholarship and pseudo-criticism. Their only excuse is that the authors wrote them under Ph.Duress and cannot be blamed for being coerced. Jacques Barzun is University Professor at Columbia University. Among his numerous books are Classic, Romantic and Modern, Berlioz and the Romantic Century, The Use and Abuse of Art and, most recently, Clio and the Doctors: Psycho-History, Quanto-History, and History. (shrink)

The article explores the evolution of the idea of correlating numbers and meanings, from ancient numerological systems to modern models of natural language processing based on vector representations and neural networks. The authors demonstrate that the aspiration to uncover hidden properties of objects by associating them with numbers and performing operations on these numbers has been a common thread across various cultures for millennia. The article traces the stages in the formation of the concept of mathesis universalis (universal mathematics), starting (...) from Aristotle and Proclus’s reflections on general mathematics and culminating in R. Descartes’s ideas about the existence of a universally applicable science of order and measure. Particular attention is devoted to G.W. Leibniz’s ambitious project of creating a universal characteristic – a formalized language in which all knowledge could be precisely expressed and logical inference could be carried out through calculations. It is noted that, despite inherent limitations, some of Leibniz’s intuitions have found embodiment in natural language processing technologies based on vector representations of words. However, the simple correlation of concepts with vectors is insufficient for the full realization of the idea of a calculus of reasoning, as it lacks a mechanism for deriving true statements from others. The development of the transformer architecture, which employs the mechanism of self-attention to construct context-dependent vector representations, has been a significant stride towards the automation of reasoning. Nevertheless, modern language models are based on the principle of maximizing likelihood rather than rigorous logical rules. The authors analyze conceptual solutions proposed for creating a comprehensive calculus of knowledge. In conclusion, it is emphasized that, while the idea of reducing reasoning to mathematical operations is undeniably attractive, one should be cautious about its maximalist interpretations. Cognition is constructive in nature, and even the most perfect model of formalization of reasoning cannot substitute for the practical wisdom and freedom of human thought. (shrink)