We study the process of observation (measurement), within the framework of a “perspectival” (“relational,” “relative state”) version of the modal interpretation of quantum mechanics. We show that if we assume certain features of discreteness and determinism in the operation of the measuring device (which could be a part of the observer's nerve system), this gives rise to classical characteristics of the observed properties, in the first place to spatial localization. We investigate to what extent semi-classical behavior of the object system (...) itself (as opposed to the observational system) is needed for the emergence of classicality. Decoherence is an essential element in the mechanism of observation that we assume, but it turns out that in our approach no environment-induced decoherence on the level of the object system is required for the emergence of classical properties. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Ramsey et al.'s article provides a more sensitive framework for comparative innovation than others' operationalisations have done. Nevertheless, a methodology has to be elaborated in order to determine to what degree a behaviour is novel. Psychological processes have to be considered when evaluating the value of reference groups and in order to figure out where to look for innovation.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper argues for two principal conclusions about natural language semantics based on John Buridan's considerations concerning the notion of formal consequence, that is, formally valid inference. (1) Natural languages are essentially semantically closed, yet they do not have to be on that account inconsistent. (2) Natural language semantics has to be token based, as a matter of principle. The paper investigates the Buridanian considerations leading to these conclusions, and considers some obviously emerging objections to the Buridanian approach.

Part of the appeal of the biological approach to personal identity is that it does not have to countenance spatially coincident entities. But if the termination thesis is correct and the organism ceases to exist at death, then it appears that the corpse is a dead body that earlier was a living body and distinct from but spatially coincident with the organism. If the organism is identified with the body, then the unwelcome spatial coincidence could perhaps be avoided. It is (...) argued that such an identification would be a mistake. A living organism has a different part/whole relationship and persistence conditions than the alleged body. A case will be made that the concept ‘human body’ is a conceptual mess, vague in an unprincipled manner, and that an eliminativist stance towards dead bodies is the appropriate response. CiteULike Connotea Del.icio.us What's this? (shrink)

As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets. Applied to the special case (...) of differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable. (shrink)

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

In this classic work David Bohm, writing clearly and without technical jargon, develops a theory of quantum physics which treats the totality of existence as an unbroken whole.

Oxford Philosophical Texts Series Editor: John Cottingham The Oxford Philosophical Texts series consists of authoritative teaching editions of canonical texts in the history of philosophy from the ancient world down to modern times. Each volume provides a clear, well laid out text together with a comprehensive introduction by a leading specialist, giving the student detailed critical guidance on the intellectual context of the work and the structure and philosophical importance of the main arguments. Endnotes are supplied which provide further commentary (...) on the arguments and explain unfamiliar references and terminology, and a full bibliography and index are also included. The series aims to build up a definitive corpus of key texts in the Western philosophical tradition, which will form a reliable and enduring resource for students and teachers alike. David Hume's aim in writing An Enquiry concerning Human Understanding was to introduce his philosophy to a European culture in which many educated people read original works of philosophy. He gives an elegant and accessible presentation of strikingly original and challenging views about the limited powers of human understanding, the attractions of scepticism, the compatibility of free will and determinism, and weaknesses in the foundations of religion. Hume's philosophy was highly controversial in the eighteenth century and remains so today. The text printed in this edition is that of the Clarendon critical edition of Hume's works. A substantial introduction by the editor explains the intellectual background to the work and surveys its main themes. The volume also includes detailed explanatory notes on the text, a glossary of terms, a full list of references, and a section of supplementary readings. (shrink)

Religion, science, and naturalism -- Perception and religious experience -- Panexperientialism, freedom, and the mind-body relation -- Naturalistic, dipolar theism -- Natural theology based on naturalistic theism -- Evolution, evil, and eschatology -- The two ultimates and the religions -- Religion, morality, and civilization -- Religious language and truth -- Religious knowledge and common sense.

Buridan's life, works, and influence -- Buridan's logic and the medieval logical tradition -- The primacy of mental language -- The various kinds of concepts and the idea of a mental language -- Natural language and the idea of a formal syntax in Buridan -- Existential import and the square of opposition -- Ontological commitment -- The properties of terms (proprietates terminorum) -- The semantics of propositions -- Logical validity in a token-based, semantically closed logic -- The possibility of scientific (...) knowledge -- Buridan's anti-skepticism -- Buridan's essentialist nominalism. (shrink)

Alarm management is an important task to ensure the safety of industrial process technologies. A well-designed alarm system can reduce the workload of operators parallel with the support of the production, which is in line with the approach of Industry 5.0. Using Process Mining tools to explore the operator-related event scenarios requires a goal-oriented log file format that contains the start and the end of the alarms along with the triggered operator actions. The key contribution of the work is that (...) a method is presented that transforms the historical event data of control systems into goal-oriented log files used as inputs of process mining algorithms. The applicability of the proposed process mining-based method is presented concerning the analysis of a hydrofluoric acid alkylation plant. The detailed application examples illustrate how the extracted process models can be interpreted and utilized. The results confirm that applying the tools of process mining in alarm management requires a goal-oriented log-file design. (shrink)

In this innovative study, Lea David critically investigates the relationship between human rights and memory, suggesting that, instead of understanding human rights in a normative fashion, human rights should be treated as an ideology. Conceptualizing human rights as an ideology gives us useful theoretical and methodological tools to recognize the real impact human rights has on the ground. David traces the rise of the global phenomenon that is the human rights memorialization agenda, termed 'Moral Remembrance', and explores what happens once (...) this agenda becomes implemented. Based on evidence from the Western Balkans and Israel/Palestine, she argues that the human rights memorialization agenda does not lead to a better appreciation of human rights but, contrary to what would be expected, it merely serves to strengthen national sentiments, divisions and animosities along ethnic lines, and leads to the new forms of societal inequalities that are closely connected to different forms of corruptions. (shrink)

Liberal thinkers of the eighteenth and nineteenth centuries were alert to the political costs and human cruelties involved in European colonialism, but they also thought that European expansion held out progressive possibilities. In Progress, Pluralism, and Politics David Williams examines the colonial and anti-colonial arguments of Adam Smith, Immanuel Kant, Jeremy Bentham, and L.T. Hobhouse. Williams locates their ambivalent attitude towards European conquest and colonial rule in a set of tensions between the impact of colonialism on European states, the possibilities (...) of progress in distant and diverse places, and the relationship between universalism and cultural pluralism. In so doing he reveals some of the central ambiguities that characterize the ways that liberal thought has dealt with the reality of an illiberal world. Of particular importance are appeals to various forms of universal history, attempts to mediate between the claims of identity and the reality of difference, and the different ways of thinking about the achievement of liberal goods in other places. Pointing to key elements in still ongoing debates within liberal states about how they should relate to illiberal places, Progress, Pluralism, and Politics enriches the discussion on political thought and the relationship between liberalism and colonialism. (shrink)

Thus, Meyers provides a valuable account, not only of current medical attitudes, but also of relevant case and statute law as it stands at present.

David Charles presents a major new study of Aristotle's views on meaning, essence, necessity, and related topics. These interconnected views are central to Aristotle's metaphysics, philosophy of language, and philosophy of science, and are also highly relevant to current philosophical debates. Charles aims to reach a clear understanding of Aristotle's claims and arguments, to assess their truth, and to evaluate their importance to ancient and modern philosophy.

Confronted with the apparent explanatory gap between physical processes and consciousness, there are many possible reactions. Some deny that any explanatory gap exists at all. Some hold that there is an explanatory gap for now, but that it will eventually be closed. Some hold that the explanatory gap corresponds to an ontological gap in nature.

An argument with roots in ancient Greek philosophy claims that only humans are capable of a certain class of thought termed conceptual, as opposed to perceptual thought, which is common to humans, the higher animals, and some machines. We outline the most detailed modern version of this argument due to Mortimer Adler, who in the 1960s argued for the uniqueness of the human power of conceptual thought. He also admitted that if conceptual thought were ever manifested by machines, such an (...) achievement would contradict his conclusion. We revisit Adler’s criterion in the light of the past five decades of artificial-intelligence research, and refine it in view of the classical definitions of perceptual and conceptual thought. We then examine two well-publicized examples of creative works produced by AI systems and show that evidence for conceptual thought appears to be lacking in them. Although clearer evidence for conceptual thought on the part of AI systems may arise in the near future, especially if the global neuronal workspace theory of consciousness prevails over its rival, integrated information theory, the question of whether AI systems can engage in conceptual thought appears to be still open. (shrink)

In Phenomenology and the Problem of History. David Carr examines the paradox involving Husserl's transcendental philosophy and his later historicist theory.

This is a brief, accessible introduction to the thought of the philosopher John Buridan (ca. 1295-1361). Little is known about Buridan's life, most of which was spent studying and then teaching at the University of Paris. Buridan's works are mostly by-products of his teaching. They consist mainly of commentaries on Aristotle, covering the whole extent of Aristotelian philosophy, ranging from logic to metaphysics, to natural science, to ethics and politics. Gyula Klima argues that many of Buridan's academic concerns are (...) strikingly similar to those of modern philosophy and his work sometimes quite directly addresses modern philosophical questions. (shrink)