Vardi, M.Y., Verification of concurrent programs: the automata-theoretic framework, Annals of Pure and Applied Logic 51 79–98. We present an automata-theoretic framework to the verification of concurrent and nondeterministic programs. The basic idea is that to verify that a program P is correct one writes a program A that receives the computation of P as input and diverges only on incorrect computations of P. Now P is correct if and only if a program PA, obtained by combining P and A, (...) terminates. We formalize this idea in a framework of ω-automata with a recursive set of states. This unifies previous works on verification of fair termination and verification of temporal properties. (shrink)

In 1960, E. P. Wigner, a joint winner of the 1963 Nobel Prize for Physics, published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences [61]. This paper can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”. To this effect, Wigner presented a large number of examples that demonstrate the effectiveness of mathematics in accurately describing physical phenomena. Wigner viewed these examples as (...) illustrations of what he called the empirical law of epistemology, which asserts that the mathematical formulation of the laws of nature is both appropriate and accurate, and that mathematics is actually the correct language for formulating the laws of nature. At the same time, Wigner pointed out that the reasons for the success of mathematics in the natural sciences are not completely understood; in fact, he went as far as asserting that “… the enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious and there is no rational explanation for it.”. (shrink)

Numerous results about capturing complexity classes of queries by means of logical languages work for ordered structures only, and deal with non-generic, or order-dependent, queries. Recent attempts to improve the situation by characterizing wide classes of finite models where linear order is definable by certain simple means have not been very promising, as certain commonly believed conjectures were recently refuted (Dawar's Conjecture). We take on another approach that has to do with normalization of a given order (rather than with defining (...) a linear order from scratch). To this end, we show that normalizability of linear order is a strictly weaker condition than definability (say, in the least fixpoint logic), and still allows for extending Immerman-Vardi-style results to generic queries. It seems to be the weakest such condition. We then conjecture that linear order is normalizable in the least fixpoint logic for any finitely axiomatizable class of rigid structures. Truth of this conjecture, which is a strengthened version of Stolboushkin's conjecture, would have the same practical implications as Dawar's Conjecture. Finally, we suggest a series of reductions of the two conjectures to specialized classes of graphs, which we believe should simplify further work. (shrink)

SummaryP. Vardy asserts the thesis that the vicious circle principle has the same structure as Russell's paradox. But structure is not the thing itself. It is the thing objectivated from the wiewpoint of a mathematician. So this structure can be expressed in a mathematical formalism, e. g. the Λ‐calculus. Russell's paradox is understood as a result of the error of taking purely logical concepts, like negation, as lkiewise formalisable without change of meaning. The illusion of meaning in the liar's (...) proposition: Yl'am telling a lie can also be explained be the formalisable self‐referential structure of this proposition. Yet it remains an illusion because the logical intention cannot follow the structure.ResumeLe « Principe du cercle vicieux » a la même structure que le paradoxe de Russel: c'est une thèse de P. Várdy. Mais la structure n'est pas la chose même. Elle est la chose objectivée du point de vue du mathématicien et peut done être exprimée dans un formalisme mathématique, p. ex. le Λ‐calcul. L'erreur qui conduit au paradoxe de Russel, c'est de juger des concepts purement logique, p. ex. la négation, comme étant également exprimable dans un formalisme sans que leur sens ne change.L'illusion de sens que donne l'énoncé«je mens» dans le paradoxe du menteur peut aussi être expliquée par la structure formalisable d'autoréférence de cette proposition. Mais l'illusion persiste, parce que l'intention logique ne peut pas suivre la structure.ZusammenfassungRussells «Vicious circle principle» hat dieselbe Struktur wie die Russellsche Antinamie. So lautet die These P. Várdys. Aber die Struktur ist nicht die Sache selbst, sondern nur die vom mathematischen Standpunkte aus objektivierte Sache, die in einem Formalis‐onus ausgedrückt werden kann. Die Antinomie Russells wird Als Folge der irrigen Auffassung verstanden, rein logische Begriffe, wie z. B. die Negation, konnten formalisiert werden, ohne dass dabei ihr Sinn verwandelt würde. Die Sinnillusion des Satzes «Ich lüge» kann dann auch aus der selbstbezüglichen formalen Struktur des Satzes erklärt werden. Doch bleibt dies blosse Illusion, weil die logische Intention der Struktur nicht gerecht werden kann. (shrink)

M. Wetzel: Objektiver Idealismus und Prinzip Subjektivität in der Philosophie der Natur - G. F. Frigo: Aristoteles' Einfluß auf Hegels Naturphilosophie - W. Neuser: Das Anderssein der Idee, das Außereinandersein der Natur und der Begriff - H.-H. von Borzesz-kowski / R. Wahsner: Gibt es eine Logik der Physik als Vorstufe zur Hegelschen Begriffslogik - E.-O. Onnasch: System und Methode in der Philosophie Hegels - B. Braßler: Vorzüge einer Theorie der Dialektik - L. Fleischhacker: Mathematik und Natur, Verwandte oder Fremde - (...) P. Stekeler-Weithofer: Mathematisches und begriffliches Denken in Hegels Wissenschaft der Logik - M. J. Petry: Physik und Mathematik um 1790: Hegel und Schelling als Schüler Pfleiderers - P. Ziche: Raumdimensionen und Prinzipienreduktion. Beweise für die Dreidimensionalität des Raumes bei Schelling und Hegel - T. Bach: Leben als Gattungsprozeß: Historisch-systematische An-merkungen von Pflanze und Tier bei Hegel - S. Büttner: Das Manko des Organischen und die Krankheit als dessen Wahrheit - O. Breidbach: Überlegungen zur Typik des Organischen in Hegels Denken - C. Illies: Die Gene, die Meme und Wir - W. Kellerwessel: Reschers idealistische Dialektik - V. Hösle: Wahrheit und Verstehen. Davidson, Gadamer und das Desiderat einer objektiv-idealistsichen Hermeneutik - P. Várdy: Das Lächerliche und das Absolute - A. Rieckers: Photons and Mcroscopic Reality. (shrink)

SummaryP. Vardy asserts the thesis that the vicious circle principle has the same structure as Russell's paradox. But structure is not the thing itself. It is the thing objectivated from the wiewpoint of a mathematician. So this structure can be expressed in a mathematical formalism, e. g. the Λ‐calculus. Russell's paradox is understood as a result of the error of taking purely logical concepts, like negation, as lkiewise formalisable without change of meaning. The illusion of meaning in the liar's (...) proposition: Yl'am telling a lie can also be explained be the formalisable self‐referential structure of this proposition. Yet it remains an illusion because the logical intention cannot follow the structure.ResumeLe « Principe du cercle vicieux » a la même structure que le paradoxe de Russel: c'est une thèse de P. Várdy. Mais la structure n'est pas la chose même. Elle est la chose objectivée du point de vue du mathématicien et peut done être exprimée dans un formalisme mathématique, p. ex. le Λ‐calcul. L'erreur qui conduit au paradoxe de Russel, c'est de juger des concepts purement logique, p. ex. la négation, comme étant également exprimable dans un formalisme sans que leur sens ne change.L'illusion de sens que donne l'énoncé«je mens» dans le paradoxe du menteur peut aussi être expliquée par la structure formalisable d'autoréférence de cette proposition. Mais l'illusion persiste, parce que l'intention logique ne peut pas suivre la structure.ZusammenfassungRussells «Vicious circle principle» hat dieselbe Struktur wie die Russellsche Antinamie. So lautet die These P. Várdys. Aber die Struktur ist nicht die Sache selbst, sondern nur die vom mathematischen Standpunkte aus objektivierte Sache, die in einem Formalis‐onus ausgedrückt werden kann. Die Antinomie Russells wird Als Folge der irrigen Auffassung verstanden, rein logische Begriffe, wie z. B. die Negation, konnten formalisiert werden, ohne dass dabei ihr Sinn verwandelt würde. Die Sinnillusion des Satzes «Ich lüge» kann dann auch aus der selbstbezüglichen formalen Struktur des Satzes erklärt werden. Doch bleibt dies blosse Illusion, weil die logische Intention der Struktur nicht gerecht werden kann. (shrink)

Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57–104, 1998) set out to search for fragments of satisfying the dichotomy property: every problem definable in is either in P or else NP-complete. Feder and Vardi considered in this connection two logics, strict NP (or SNP) and monadic, monotone, strict NP without inequalities (or MMSNP). The former consists of formulas of the form , where is a quantifier-free formula in a relational vocabulary; and the latter is (...) the fragment of SNP whose formulas involve only negative occurrences of relation symbols, only monadic second-order quantifiers, and no occurrences of the equality symbol. It remains an open problem whether MMSNP enjoys the dichotomy property. In the present paper, SNP and MMSNP are characterized in terms of partially ordered connectives. More specifically, SNP is characterized using the logic D of partially ordered connectives introduced in Blass and Gurevich (Annals of Pure and Applied Logic, 32, 1–16, 1986), Sandu and Väänänen (Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 38, 361–372 1992), and MMSNP employing a generalization C of D introduced in the present paper. (shrink)

This major new study by one of the most penetrating and persistent critics of philosophical and scientific orthodoxy, returns to Aristotle in order to examine the salient categories in terms of which we think about ourselves and our nature, and the distinctive forms of explanation we invoke to render ourselves intelligible to ourselves. The culmination of 40 years of thought on the philosophy of mind and the nature of the mankind Written by one of the world’s leading philosophers, the co-author (...) of the monumental 4 volume _Analytical Commentary on the Philosophical Investigations_ Uses broad categories, such as substance, causation, agency and power to examine how we think about ourselves and our nature Platonic and Aristotelian conceptions of human nature are sketched and contrasted Individual chapters clarify and provide an historical overview of a specific concept, then link the concept to ideas contained in other chapters. (shrink)

In their article, Crutchfield and Redinger (2024) outline the conditions that they have identified as situations in which it is ethically permissible to use chemical restraints, defined as medicati...

... 243-) INTRODUCTION §§243- constitute the eighth 'chapter' of the book. Its point of departure is a natural query with respect to the conclusion of the ...

Incorporating significant editorial changes from earlier editions, the fourth edition of Ludwig Wittgenstein's _Philosophical Investigations_ is the definitive _en face_ German-English version of the most important work of 20th-century philosophy The extensively revised English translation incorporates many hundreds of changes to Anscombe’s original translation Footnoted remarks in the earlier editions have now been relocated in the text What was previously referred to as ‘Part 2’ is now republished as _Philosophy of Psychology – A Fragment_, and all the remarks in it (...) are numbered for ease of reference New detailed editorial endnotes explain decisions of translators and identify references and allusions in Wittgenstein's original text Now features new essays on the history of the _Philosophical Investigations_, and the problems of translating Wittgenstein’s text. (shrink)

Law, Morality and Society Essays in Honour of H.L.A Hart.

The concept of consciousness has been the source of much philosophical, cognitive scientific and neuroscientific discussion for the past two decades. Many scientists, as well as philosophers, argue that at the moment we are almost completely in the dark about the nature of consciousness. Stuart Sutherland, in a much quoted remark, wrote that.

This chapter contains section titled: The Emergence of the Philosophers' Self The Illusion of the Philosophers' Self The Body The Relationship Between Human Beings and Their Bodies.

This fourth and final volume of the monumental commentary on Wittgenstein's _Philosophical Investigations_ covers pp 428-693 of the book. Like the previous volumes, it consists of philosophical essays and exegesis.

This paper is an examination of Donald Davidson's writings on the idea of a conceptual scheme--and idea which he famously rejects. O relevance in this is the notion of linguistic relativity and the famous Whorf-Sapir thesis.

Throughout its history philosophy has been thought to be a member of a community of intellectual disciplines united by their common pursuit of knowledge. It has sometimes been thought to be the queen of the sciences, at other times merely their under-labourer. But irrespective of its social status, it was held to be a participant in the quest for knowledge – a cognitive discipline.

1. Naturalism Naturalism, it has been said, is the distinctive development in philosophy over the last thirty years. There has been a naturalistic turn away from the a priori methods of traditional philosophy to a conception of philosophy as continuous with natural science. The doctrine has been extensively discussed and has won considerable following in the USA. This is, on the whole, not true of Britain and continental Europe, where the pragmatist tradition never took root, and the temptations of scientism (...) in philosophy were less alluring. Contemporary American naturalism originates in the writings of Quine, the metaphysician of twentieth-century science. With extraordinary panache, he painted a largescale picture of human nature, of language and of the web of belief. I believe that in almost every major respect, it is, like the picture painted by Descartes, the great metaphysician of seventeenth-century science, mistaken. But it evidently appeals to the spirit of the times. So it is worthy of critical examination and careful refutation. I shall argue that the naturalistic turn is a cul-de-sac – a turn that is to be passed by if we are to keep to the highroad of good sense. Naturalism, like so many of Quine’s doctrines, was propounded in response to Carnap. As Quine understood matters, Carnap had been persuaded by Russell’s Our Knowledge of the External World that it is the task of philosophy to demonstrate that our knowledge of the external world is a logical construction out of, and hence can be reduced to, elementary experiences. Quine rejected the reductionism of Carnap’s Logischer Aufbau, and found the idealist basis uncongenial to his own dogmatic realist behaviourism, inspired by Watson and later reinforced by Skinner. The rejection of reductionism and ‘unregenerate realism’, Quine averred, were the sources of his naturalism (FME 72). What exactly was this? We can distinguish in Quine between three different but inter-related programmes for future philosophy: epistemological, ontological and philosophical naturalism. Naturalized epistemology is to displace traditional epistemology, transforming the investigation into ‘an enterprise within natural science’ (NNK 68) – a psychological enterprise of investigating how the ‘input’ of radiation, etc., impinging on the nerve endings of human beings can ‘ultimately’ result in an ‘output’ of our theoretical descriptions of the external world.. (shrink)

In recent years philosophers have given much attention to the ‘ontological problem’ of events. Donald Davidson puts the matter thus: ‘the assumption, ontological and metaphysical, that there are events is one without which we cannot make sense of much of our common talk; or so, at any rate, I have been arguing. I do not know of any better, or further, way of showing what there is’. It might be thought bizarre to assign to philosophers the task of ‘showing what (...) there is’. They have not distinguished themselves by the discovery of new elements, new species or new continents, nor even of new categories, although there has often been more dreamt of in their philosophies than can be found in heaven or earth. It might appear even stranger to think that one can show what there actually is by arguing that the existence of something needs to be assumed in order for certain sentences to make sense. More than anything, the sober reader will doubtlessly be amazed that we need to assume, after lengthy argument, ‘that there are events’. (shrink)

The place of the emotions among the passions -- The analytic of the emotions I -- The analytic of the emotions II -- The dialectic of the emotions -- Pride, arrogance, and humility -- Shame, embarrassment, and guilt -- Envy -- Jealousy -- Anger -- Love -- Friendship -- Sympathy and empathy.

The equation of the world with 'life' and 'life' with consciousness ramified into the baffling account Wittgenstein gave of the 'philosophical self '. The physical world, as Descartes argued, is made of material substance, and the mental world 'is liable to be imagined as gaseous, or rather, aethereal'. Conceiving of consciousness as a private realm populated by private experiences, one is bound to be puzzled at its evolutionary emergence. Consciousness is attributable to an organism as a whole, not to its (...) parts, no matter how complex. And it is attributable to the organism on the grounds of the behaviour of the organism, its exercise of its perceptual faculties, its susceptibility to sensation, and its voluntary action. A venerable tradition going back at least as far as Descartes conceived of consciousness as the immovable rock against which the waves of scepticism break. (shrink)

Originally published in 1936, this book presents the ancient Greek text of the paraphrases and quotations of Zeno's philosophical arguments, together with a facing-page English translation and editorial commentary. Detailed notes are incorporated throughout and a bibliography is also included. This book will be of value to anyone with an interest in Zeno and ancient philosophy.

Explores mind-body philosophy from an Asian perspective.

The present volume is, we believe, the first-ever edited volume devoted to the emotion of disgust. In this chapter we address the following issues: 1. Why was disgust almost completely ignored until about 1990, 2. Why has there been a great increase in attention to disgust since about 1990?, 3. The outline of an integrative, body-to-soul preadaptation theory of disgust, 4. Some specific features of disgust that make it particularly susceptible to laboratory research and particularly appropriate to address some fundamental (...) issues in psychology. In the final section, we outline some new questions that arise from the recent increased interest in disgust in the areas of brain mechanisms, psychopathology, the psychometric approach to the structure of disgust, and disgust and morality. We then indicate some important aspects of disgust that have yet to receive systematic investigation. (shrink)

The experimental study of the emotions as pursued by LeDoux and Damasio is argued to be flawed as a consequence of the inadequate conceptual framework inherited from the work of William James. This paper clarifes the conceptual structures necessary for any discussion of the emotions. Emotions are distinguished from appetites and other non-emotional feelings, as well as from agitations and moods. Emotional perturbations are distinguished from emotional attitudes and motives. The causes of an emotion are differentiated from the objects of (...) an emotion, and the objects of an emotion are distinguished into formal and material ones. The links between emotions and reasons for the emotion, for associated beliefs and for action are explored, as well as the connection between emotion and care or concern, and between emotion and fantasy. The behavioural criteria for the ascription of an emotion are clarified. In the light of this conceptual network, Damasio’s theory of the emotions is subjected to critical scrutiny and found wanting. (shrink)

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

AB THE DIFFICULTIES RAISED BY "TRACTATUS" 3.263 AND ITS USE OF THE TERM "ERLAUTERUNG" ARE EXAMINED. LIGHT IS THROWN ON THE MATTER BY THE SYSTEMATIC USE OF THIS TERM BY FREGE IN HIS DISCUSSION OF UNDEFINABLES. RUSSELL'S VIEWS ON UNDEFINABLES ARE ALSO TOUCHED UPON. IT IS SUGGESTED THAT THE "TRACTATUS" CONCEPTION OF AN 'ELUCIDATION' CONFUSEDLY COMBINED THE INCOMPATIBLE ROLES OF EMPIRICAL STATEMENT AND GRAMMATICAL SENTENCE (AN OSTENSIVE DEFINITION).

In worlds that lack life, there is no value. For all that, there is no mystery about 'the existence of values in a world of facts'. The world does not consist of facts, rather true descriptions of the world consist of statements of fact. It is as much a fact concerning the world that there are things that are of value to living things, that human beings value things and possess valuable characteristics, perform valuable deeds, stand in valuable relationships to (...) others, as it is a fact that there is life on earth. (shrink)

The term ‘consciousness’ is a latecomer upon the stage of Western philosophy. The ancients had no such term. Sunoida, like its Latin equivalent conscio, meant the same as ‘I know together with’ or ‘I am privy, with another, to the knowledge that’. If the prefixes sun and cum functioned merely as intensifiers, then the verbs meant simply ‘I know well’ or ‘I am well aware that’. Although the ancients did indeed raise questions about the nature of our knowledge of our (...) own perceptions and thought, and introduced the idea of an inner sense, they did not characterize the mind as the domain of consciousness. Aristotelians conceived of the mind as the array of powers that distinguish humanity from the rest of animate nature. The powers of self-movement, of perception and sensation, and of appetite, are shared with other animals. What is distinctive of humanity, and what characterizes the mind, are the powers of the intellect – of reason, and of the rational will. Knowledge of these powers is not obtained by consciousness or introspection, but by observation of their exercise in our engagement with the world around us. The mediaevals followed suit. They likewise lacked any term for consciousness, although they too indulged in reflections upon ‘inner senses’ – in the wake of Avicenna's distinguishing, arguably to excess, five such senses. (shrink)

The ontic structural realist stance is motivated by a desire to do philosophical justice to the success of science, whilst withstanding the metaphysical undermining generated by the various species of ontological underdetermination. We are, however, as yet in want of general principles to provide a scaffold for the explicit construction of structural ontologies. Here we will attempt to bridge this gap by utilizing the formal procedure of quantization as a guide to ontic structure of modern physical theory. The example of (...) non-relativistic particle mechanics will be considered and, for that case, it will be shown that a viable candidate for an ontic structural realism framework can be constituted in terms of the combination of a state-space with Poisson bracket structure, and a set of observables, with Lie algebra structure. 1 Introduction2 Formulation Underdetermination and Structural Ontologies3 Quantization and Structural Ontologies4 The Case of Non-relativistic Particle Mechanics4.1 Formulation underdetermination4.2 The classical ontology4.3 Quantum theory and the generalized structural ontology4.4 Interpretation of results5 Conclusion and Prospects. (shrink)

Throughout its long history metaphysics has been variously conceived. At its most sublime, it has been taken to be the study of the super‐sensible, in particular of the existence of a god, the nature of the soul, and the possibility of an afterlife. When the young Ludwig Wittgenstein entered the lists, it was entirely reasonable to conceive of metaphysics in this manner. Its subject matter was held to be the language‐independent and thought‐independent de re necessities of the world. The Tractatus (...) is dominated by three problems: first, the nature of logic and logical necessity; secondly, the essence of the proposition and hence the characterization of the general propositional form; and thirdly, the intentionality of the proposition. Logical propositions are combinations of elementary propositions by means of truth‐functional logical connectives. The metaphysics adumbrated in the Tractatus, Wittgenstein thought, was required for the possibility of representation and for the possibility of logic. (shrink)

1. _The project_ Over the last two and a half centuries three main strands of opinion can be discerned in philosophers.