We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (...) (section 3). On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander. (shrink)

I prove that invoking the univalence axiom is equivalent to arguing 'without loss of generality' (WLOG) within Propositional Univalent Foundations (PropUF), the fragment of Univalent Foundations (UF) in which all homotopy types are mere propositions. As a consequence, I argue that practicing mathematicians, in accepting WLOG as a valid form of argument, implicitly accept the univalence axiom and that UF rightly serves as a Foundation for Mathematical Practice. By contrast, ZFC is inconsistent with WLOG as it (...) is applied, and therefore cannot serve as a foundation for practice. (shrink)

I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining a (...) 'probability type' on top of the existing machinery of MLTT, whose inhabitants represent pieces of evidence in favor of a proposition. One upshot of this approach is the potential for a mathematical formalism which treats 'conjectures' as mathematical objects in their own right. Other intuitive properties of evidence occur as theorems in this formalism. (shrink)

A condensed summary of the adventures of ideas (1990-2020). Methodology of evolutionary-phenomenological constitution of Consciousness. Vector (BeVector) of Consciousness. Consciousness is a qualitative vector quantity. Vector of Consciousness as a synthesizing category, eidos-prototecton, intentional meta-observer. The development of the ideas of Pierre Teilhard de Chardin, Brentano, Husserl, Bergson, Florensky, Losev, Mamardashvili, Nalimov. Dialectic of Eidos and Logos. "Curve line" of the Consciousness Vector from space and time. The lower and upper sides of the "abyss of being". The existential tension of (...) being. Five reference “points” (existential-extremum) - world events in the evolution of Consciousness from “homo habilis” to “homo sapiens sapiens”. “Prometheus Effect". Inversion and reversion of Сonsciousness. "Open" and "closed" Сonsciousness. Consciousness and Self-Consciousness. Protogeometer: fall in the future, in the "EgoLand". The problem of justification/substantiation of mathematics (knowledge) is an ontological problem. The crisis of ontology and ontological limits of cognition. Ontological structure of space. The project of constructive dialectic ontology. The methodology of dialectical-ontological construction (modeling): conceptual-figure synthesis, total unification of matter, coincidence of ontological opposites, primordial Meta-Axioma and Superprinciple, vector (bivector) of the absolute state (states) of matter (absolute forms of existence). The ontological "celestial triangle" (Plato). Ontological invariants of the Universum and their ontological paths. Ontological and gnoseological dimensions of space. Triune (ontological) space of nine gnoseological dimensions: absolute rest (linear state, "Continuum")+ absolute motion (absolute vortex, "Discretuum") + absolute becoming (absolute wave, "Dis-Continuum"). Primordial generating structure: ontological framework, ontological carcass and ontological foundation. Ontological (structural, cosmic) memory - the semantic core of the conceptual construction of the Universum being as an eternal process of generation of new meanings and structures. Consciousness is an absolute (unconditional) attractor of meanings, a univalent phenomenon of ontological memory, which manifests itself at a certain level of the Universum being. Ontological space-MatterMemory-Ontological time (S-MM-T). Ontological Rhythm and Cycle. The nature and structure of ontological time. Natural (absolute) determinism. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

Practical wisdom (hereafter simply ‘wisdom’), which is the understanding required to make reliably good decisions about how we ought to live, is something we all have reason to care about. The importance of wisdom gives rise to questions about its nature: what kind of state is wisdom, how can we develop it, and what is a wise person like? These questions about the nature of wisdom give rise to further questions about proper methods for studying wisdom. Is the study of (...) wisdom the proper subject of philosophy or psychology? How, exactly, can we determine what wisdom is and how we can get it? In this chapter, we give an overview of some prominent philosophical answers to these questions. We begin by distinguishing practical wisdom from theoretical wisdom and wisdom as epistemic humility. Once we have a clearer sense of the target, we address questions of method and argue that producing a plausible and complete account of wisdom will require the tools of both philosophy and empirical psychology. We also discuss the implications this has for prominent wisdom research methods in empirical psychology. We then survey prominent philosophical accounts of the nature of wisdom and end with reflections on the prospects for further interdisciplinary research. (shrink)

In arguing against the likelihood of consciousness in non-human animals, Descartes advances a slippery slope argument that if thought were attributed to any one animal, it would have to be attributed to all, which is absurd. This paper examines the foundations of Thomas Willis’ comparative neuroanatomy against the background of Descartes’ slippery slope argument against animal consciousness. Inspired by Gassendi’s ideas about the corporeal soul, Thomas Willis distinguished between neural circuitry responsible for reflex behaviour and that responsible for cognitively (...) or consciously mediated behaviour. This afforded Willis a non-arbitrary basis for distinguishing between animals with thought and consciousness and those without, a methodology which retains currency for neuroscience today. (shrink)

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more precisely, (...) to Hilbert’s main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

Discussions concerning whether there is a natural right to health care may occur in various forms, resulting in policy recommendations for how to implement any such right in a given society. But health care policies may be judged by international standards including the UN Universal Declaration of Human Rights. The rights enumerated in the UDHR are grounded in traditions of moral theory, a philosophical analysis of which is necessary in order to adjudicate the value of specific policies designed to enshrine (...) rights such as a right to health care. We begin with an overview of the drafting of the UDHR and highlight the primary influence of natural law theory in validating the rights contained therein. We then provide an explication of natural law theory by reference to the writings of Thomas Aquinas, as well as elucidate the complementary “capabilities approach” of Martha Nussbaum. We conclude that a right to health care ought to be guaranteed by the state. (shrink)

How can we be responsible for our attitudes if we cannot normally choose what we believe, desire, feel, and intend? This problem has received much attention during the last decades, both in epistemology and in ethics. Yet its connections to discussions about reasons and rationality have been largely overlooked. Responsibility for Rationality is the first book that connects recent debates on responsibility and on rationality in a unifying dialectic. It achieves four main goals: first, it reinterprets the problem of responsibility (...) for attitudes as a problem about the normativity of rationality; second, it breaks the stalemate between rationalist and voluntarist accounts of mental responsibility by defending a hybrid view; third, it provides novel support to recent accounts of the normativity of rationality by arguing that epistemic reasons and other ‘right-kind’ reasons are genuine normative reasons; fourth, it sets the foundations and the research agenda for an ‘ethics of mind’, including an illustration of how to approach applied issues in epistemology within the presented framework. After spelling out connections between responsibility and rationality (part I), the book engages in debates in normative epistemology (part II) and brings them to bear on the broader field of an ethics of mind (part III). -/- Full draft of current version available on request, comments welcome! (shrink)

This thesis explores and discusses foundational issues concerning the relationship between phenomenological philosophy and the enactive approach to cognitive science, with the aim of clarifying, developing, and promoting the project of enactive phenomenology. This project is framed by three general ideas: 1) that the sciences of mind need a phenomenological grounding, 2) that the enactive approach is the currently most promising attempt to provide mind science with such a grounding, and 3) that this attempt involves both a naturalization of phenomenology (...) and a phenomenologization of the concept of nature. More specifically, enactive phenomenology is the project of pursuing mutually illuminative exchanges between, on the one hand, phenomenological investigations of the structures of lived experience and embodied existence and, on the other, scientific accounts of mind and life – in particular those framed by theories of biological self-organization. The thesis consists of two parts. Part one is an introductory essay that seeks to clarify some of enactive phenomenology’s overarching philosophical commitments by tracing some of its historical roots. Part two is a compilation of four articles, each of which intervenes in a different contemporary debate relevant to the dissertation’s project. (shrink)

This paper provides a critical review of the debate over the philosophical foundations of mixed methods research and examines the notion of philosophical foundations. It distinguishes axiology-oriented from ontology-oriented philosophical foundations. It also identifies three different senses of philosophical foundations of mixed methods research. The weak sense of philosophical foundations (e.g., pragmatism) merely allows the possibility of the integration of both quantitative and qualitative methods/data/designs. The moderate sense of philosophical foundations (e.g., transformativism) provide a (...) good reason to use mixed methods in (at least some) social scientific research. The strong sense of philosophical foundations (e.g., dialectical pluralism) justifies a normative thesis that mixed methods research should be encouraged in (at least some) social scientific research. (shrink)

Several philosophers have proposed Knowledge-Based Decision Theories (KDTs)—theories that require agents to maximize expected utility as yielded by utility and probability functions that depend on the agent’s knowledge. Proponents of KDTs argue that such theories are motivated by Knowledge-Reasons norms that require agents to act only on reasons that they know. However, no formal derivation of KDTs from Knowledge-Reasons norms has been suggested, and it is not clear how such norms justify the particular ways in which KDTs relate knowledge and (...) rational action. In this paper, I suggest a new axiomatic method for justifying KDTs and providing them with stronger normative foundations. I argue that such theories may be derived from constraints on the relation between knowledge and preference, and that these constraints may be evaluated relative to intuitions regarding practical reasoning. To demonstrate this, I offer a representation theorem for a KDT proposed by Hawthorne and Stanley (2008) and briefly evaluate it through its underlying axioms. -/- In section 1, I present knowledge-based decision theories generally and the versions of such theories suggested in the literature. In section 2, I argue that KDTs and theories of practical reasoning conjoined with Knowledge-Reasons norms generate constraints on the same relation—the relation between knowledge and preference. In section 3, I present a formal framework in which constraints on this relation may be expressed and from which KDTs may be derived. In section 4, I present a representation theorem for a specific KDT. In section 5, I briefly evaluate the axioms of the theory, and in section 6, I conclude. (shrink)

This Open Access book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if knowing requires having good reasons, and reasons can only be good if they are backed by good reasons in turn? The problem has puzzled philosophers ever since antiquity, giving rise to what is often called Agrippa's Trilemma. The current volume approaches the old problem in a provocative and thoroughly contemporary way. Taking seriously the idea that good reasons are (...) typically probabilistic in character, it develops and defends a new solution that challenges venerable philosophical intuitions and explains why they were mistakenly held. Key to the new solution is the phenomenon of fading foundations, according to which distant reasons are less important than those that are nearby. The phenomenon takes the sting out of Agrippa's Trilemma; moreover, since the theory that describes it is general and abstract, it is readily applicable outside epistemology, notably to debates on infinite regresses in metaphysics. (shrink)

Statistical mechanics is a strange theory. Its aims are debated, its methods are contested, its main claims have never been fully proven, and their very truth is challenged, yet at the same time, it enjoys huge empirical success and gives us the feeling that we understand important phenomena. What is this weird theory, exactly? Statistical mechanics is the name of the ongoing attempt to apply mechanics, together with some auxiliary hypotheses, to explain and predict certain phenomena, above all those described (...) by thermodynamics. This paper shows what parts of this objective can be achieved with mechanics by itself. It thus clarifies what roles remain for the auxiliary assumptions that are needed to achieve the rest of the desiderata. Those auxiliary hypotheses are described in another paper in this journal, Foundations of statistical mechanics: The auxiliary hypotheses. (shrink)

E. Husserl’s reflections in Logical Investigations on “intentional feelings” and “non-intentional feelings” are significant in both his later ethical explorations and M. Scheler’s thought on ethics. Through the incorporation of the views of Husserl and Scheler, we find that the phenomenology of the intentional feeling-acts is not only the foundation of the non-formal ethics of values in Scheler’s phenomenology, but also at least the constitutive foundation of the ethics of Husserl’s first orientation.

A variety of philosophical positions have been proposed and developed to motivate, justify, and guide mixed methods research. This chapter provides a brief overview of the main positions in the debate over the philosophical foundations of mixed methods research. It shows that ‘philosophical foundations’ means differently while different positions provide ‘philosophical foundations’ in different senses. It also highlights the significance of the collaboration between researchers and philosophers in the examination of the philosophical foundations of mixed methods (...) research. (shrink)

Throughout much of the first half of the twentieth century, the free-will debate was largely concerned with the question of what kind of freedom was required for moral responsibility and whether the kind of freedom required was compatible with the thesis of determinism. This issue was itself addressed primarily with reference to the question of how freedom is related to alternative possibilities and what the relevant analysis of “could have done otherwise” comes to. The discussion of these topics made little (...) advance on the basic strategies and positions already developed and defended on either side of the compatibilist/incompatibilist divide in the preceding two centuries. When P. F. Strawson’s published his seminal article “Freedom and Resentment” in 1962 the dynamics of this debate were fundamentally altered. This is true both in respect of Strawson’s general methodology, which demands a more empirically informed approach, and in terms of his core conceptual framework, which identifies a different set of considerations and issues at the heart of this debate. In particular, whereas the traditional or classical debate focused on the problem of (moral) freedom, Strawson directed his attention to the role of moral sentiments or “reactive attitudes” as the key to understanding and resolving the core problems lying at the heart of this debate. This essay is devoted to a critical assessment of Strawson’s project and an analysis of the current debate concerning its prospects. (shrink)

Legal epistemology has been an area of great philosophical growth since the turn of the century. But recently, a number of philosophers have argued the entire project is misguided, claiming that it relies on an illicit transposition of the norms of individual epistemology to the legal arena. This paper uses these objections as a foil to consider the foundations of legal epistemology, particularly as it applies to the criminal law. The aim is to clarify the fundamental commitments of legal (...) epistemology and suggest a way to vindicate it. (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of knowledge. (...) 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

Our senses provide us with information about the world, but what exactly do they tell us? I argue that in order to optimally respond to sensory stimulations, an agent’s doxastic space may have an extra, “imaginary” dimension of possibility; perceptual experiences confer certainty on propositions in this dimension. To some extent, the resulting picture vindicates the old-fashioned empiricist idea that all empirical knowledge is based on a solid foundation of sense-datum propositions, but it avoids most of the problems traditionally associated (...) with that idea. The proposal might also explain why experiences appear to have a non-physical phenomenal character, even if the world is entirely physical. (shrink)

This is a commentary on the article by Augusto (2022; this issue) on categories and foundation ontology (FO). We agree that the notion of categories of kinds of elements to devise a FO deserves more attention than it has received to date. From a practical point of view sensu developing domain ontologies, however, it probably does not matter much as long as a FO is used and that that one was understood.

While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the patient. (...) We here present a view of mental disease that is based on ontological realism and which follows the principles embodied in Basic Formal Ontology and in the application of BFO in the Ontology of General Medical Science. We analyzed statements about what counts as a mental disease provided in the research agenda for the DSM-V, and in Pies' model. The results were used to assess whether the representational units of BFO and OGMS were adequate as foundations for a formal representation of the entities in reality that these statements attempt to describe. We then analyzed the representational units specific to mental disease and provided corresponding definitions. Our key contributions lie in the identification of confusions and conflations in the existing terminology of mental disease and in providing what we believe is a framework for the sort of clear and unambiguous reference to entities on the side of the patient that is needed in order to avoid these confusions in the future. (shrink)

The present study defines the function of the foundation of science in early modern Dutch philosophy, from the first introduction of Cartesian philosophy in Utrecht University by Henricus Regius to the acceptance of Newtonian physics by Willem Jacob ‘s Gravesande. My main claim is that a foundation of science was required because the conceptual premises of new ways in thinking had to be justified not only as alternatives to the established philosophical paradigms or as an answer to the “sceptical crisis” (...) signalled by Richard Popkin, but also in order to be introduced in the academia. This being my general thesis, different kinds of foundation of scientific knowledge are analysed in the light of the specific problems philosophers had to face. To this end, foundational theories are analysed in the light of 1) the overall aim of their philosophy, 2) the relations of disciplines they thought out, 3) what they regarded as scientific knowledge. Through this analysis, I assess that the foundation of science was carried out by metaphysical, logical and theological arguments, which fitted the needs of answering the didactical and introductory requirements of new paradigms, assessed the reliability of new methodology in leading us to grasp the truth, and provided philosophy with its conceptual apparatus. Finally, I demonstrate that a philosophy of science as a reflection on the principles, methods, concepts and application of modern science emerged in the Dutch Republic. (shrink)

How do we ascribe subjective probability? In decision theory, this question is often addressed by representation theorems, going back to Ramsey (1926), which tell us how to define or measure subjective probability by observable preferences. However, standard representation theorems make strong rationality assumptions, in particular expected utility maximization. How do we ascribe subjective probability to agents which do not satisfy these strong rationality assumptions? I present a representation theorem with weak rationality assumptions which can be used to define or measure (...) subjective probability for partly irrational agents. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

After a long hiatus, psychology and philosophy are returning to formal study of imagination. While excellent work is being done in the current environment, this article argues for a stronger thesis than usually adopted. Imagination is not just a peripheral feature of cognition or a domain for aesthetic research. It is instead the core operating system or cognitive capacity for humans and has epistemic and therapeutic functions that ground all our sense-making activities. A sketch of imagination as embodied cognition is (...) offered, followed by suggestions of how to organize imagination studies into a more rigorous science–humanities research area. (shrink)

Statistical mechanics is often taken to be the paradigm of a successful inter-theoretic reduction, which explains the high-level phenomena (primarily those described by thermodynamics) by using the fundamental theories of physics together with some auxiliary hypotheses. In my view, the scope of statistical mechanics is wider since it is the type-identity physicalist account of all the special sciences. But in this chapter, I focus on the more traditional and less controversial domain of this theory, namely, that of explaining the thermodynamic (...) phenomena.What are the fundamental theories that are taken to explain the thermodynamic phenomena? The lively research into the foundations of classical statistical mechanics suggests that using classical mechanics to explain the thermodynamic phenomena is fruitful. Strictly speaking, in contemporary physics, classical mechanics is considered to be false. Since classical mechanics preserves certain explanatory and predictive aspects of the true fundamental theories, it can be successfully applied in certain cases. In other circumstances, classical mechanics has to be replaced by quantum mechanics. In this chapter I ask the following two questions: I) How does quantum statistical mechanics differ from classical statistical mechanics? How are the well-known differences between the two fundamental theories reflected in the statistical mechanical account of high-level phenomena? II) How does quantum statistical mechanics differ from quantum mechanics simpliciter? To make our main points I need to only consider non-relativistic quantum mechanics. Most of the ideas described and addressed in this chapter hold irrespective of the choice of a (so-called) interpretation of quantum mechanics, and so I will mention interpretations only when the differences between them are important to the matter discussed. (shrink)

The primary aim of this paper is the presentation of a foundation for causal decision theory. This is worth doing because causal decision theory (CDT) is philosophically the most adequate rational decision theory now available. I will not defend that claim here by elaborate comparison of the theory with all its competitors, but by providing the foundation. This puts the theory on an equal footing with competitors for which foundations have already been given. It turns out that it will (...) also produce a reply to the most serious objections made so far against CDT and against the particular version of CDT I will defend. (shrink)

The physical foundations of mathematics in the theory of emergent space-time-matter were considered. It is shown that mathematics, including logic, is a consequence of equation which describes the fundamental field. If the most fundamental level were described not by mathematics, but something else, then instead of mathematics there would be consequences of this something else.

It is common to cite the child’s “right to an open future” in discussions of how parents and the state may and should treat children. However, the right to an open future can only be useful in these discussions if we have some method for deriving the content of the right. In the paper in which he introduces the right to an open future Joel Feinberg seems to provide such a method: he derives the right from the content of adult (...) autonomy rights. In this paper I argue that his argument fails. If it is to give us guidance about the content of the child’s right to an open future, then the right should be interpreted as a right to a maximally open future. But this strong interpretation is unjustified: the arguments that can be found in Feinberg in favor of the right are invalid, and, in any case, this interpretation has implausible implications. A moderate interpretation of the right to an open future, according to which children have a right to acquire some reasonable range of skills and options, is more plausible. However, if a moderate interpretation is correct, there is not only no argument in Feinberg to support it, there is also no method for deriving the content of the right. Without such a method we have to bring in other moral considerations in order to work out the limits on parental discretion and what children are owed. The right to an open future then does no normative work. (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

Representation theorems are often taken to provide the foundations for decision theory. First, they are taken to characterize degrees of belief and utilities. Second, they are taken to justify two fundamental rules of rationality: that we should have probabilistic degrees of belief and that we should act as expected utility maximizers. We argue that representation theorems cannot serve either of these foundational purposes, and that recent attempts to defend the foundational importance of representation theorems are unsuccessful. As a result, (...) we should reject these claims, and lay the foundations of decision theory on firmer ground. (shrink)

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as a process that (...) is the bringing into being, sustaining, modifying, or terminating of a mental representation. We conclude by outlining some benefits and applications of this approach. (shrink)

Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

This chapter looks at Euler’s relation to Newton, and at his role in the rise of ‘Newtonian’ mechanics. It aims to give a sense of Newton’s complicated legacy for Enlightenment science, and to raise awareness that some key ‘Newtonian’ results really come from Euler.

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

At the core of political liberalism is the claim that political institutions must be publicly justified or justifiable to be legitimate. What explains the significance of public justification? The main argument that defenders of political liberalism present is an argument from disagreement: the irreducible pluralism that is characteristic of democratic societies requires a mode of justification that lies in between a narrowly political solution based on actual acceptance and a traditional moral solution based on justification from the third-person perspective. But (...) why should we take disagreements seriously? This – epistemic question – has not received the attention it deserves so far. I argue that the significance of public justification can be explained through the possibility of reasonable disagreement. In a reasonable disagreement, the parties hold mutually incompatible beliefs, but each is justified to hold the belief they do. I shall use the notion of a reasonable disagreement to explain the possibility of an irreducible pluralism of moral and religious doctrines and, on that basis, why the justification of political institutions has to be public. (shrink)

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

I examine here if Kant’s metaphysics of matter can support any late-modern versions of classical mechanics. I argue that in principle it can, by two different routes. I assess the interpretive costs of each approach, and recommend the most promising strategy: a mass-point approach.

Following Shelly Kagan’s useful terminology, foundational consequentialists are those who hold that the ranking of outcomes is at the foundation of all moral assessment. That is, they hold that moral assessments of right and wrong, virtuous and vicious, morally good and morally bad, etc. are all ultimately a function of how outcomes rank. But foundational consequentialists disagree on what is to be directly evaluated in terms of the ranking of outcomes, which is to say that they disagree on what the (...) primary evaluative focal point is. Act-consequentialists take acts to be the primary evaluative focal point. They evaluate acts in terms of how their outcomes rank (the higher ranked the outcome, the morally better the act), but evaluate everything else in terms of the morally best acts. Thus, the morally best rules are those that would, if internalized, most reliably lead us to perform the morally best acts. Rule-consequentialists, by contrast, take rules to be the primary evaluative focal point. They evaluate rules according to how their outcomes rank and then assess everything else in terms of the morally best rules. Thus, the morally best acts are those that conform to the morally best rules. In this paper, I argue that foundational consequentialists should not take the primary evaluative focal point (or points) to be acts, rules, virtues, or even everything. In so doing, I argue against act-consequentialism, rule-consequentialism, and global consequentialism. But my project is not entirely negative, for I argue that the primary evaluative focal point should be a complex of acts and attitudes. In the end, then, I claim that foundational consequentialists should accept a new kind of consequentialism, which I call attitude-consequentialism. (shrink)

A Significant percentage of the people outside their country of citizenship or residence who are unable to meet their basic needs on their own, and need international protection, do not fall under the definition set out in the UN Refugee Convention. This has led many - both academic commentators and activists - to call for a new, expanded refugee definition, preferably backed up by a new, binding, international convention. In earlier work I have resisted this call, arguing that there is (...) good reason to pick out a sub-stet of those in need of international aid - a set that largely, if not completely, corresponds to those picked out by the Refugee Convention - for special benefit and protection. However, even if Convention refugees are in some ways special, we are left with the question of what, if anything, is owed to those in need of aid who are not Convention refugees. In this chapter, I set out philosophical foundations for so-called complementary protection, and show how this may and should apply to people in need of international aid who are not Convention refugees. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed (...) by Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

Some skeptical theists use Wykstra’s CORNEA constraint to undercut Rowe-style inductive arguments from evil. Many critics of skeptical theism accept CORNEA, but argue that Rowe-style arguments meet its constraint. But Justin McBrayer argues that CORNEA is itself mistaken. It is, he claims, akin to “sensitivity” or “truth-tracking” constraints like those of Robert Nozick; but counterexamples show that inductive evidence is often insensitive. We here defend CORNEA against McBrayer’s chief counterexample. We first clarify CORNEA, distinguishing it from a deeper underlying principle (...) that we dub “CORE.” We then give both principles a probabilistic construal, and show how, on this construal, the counterexample fails. (shrink)

This is a revised version of the introductory essay in C. Eschenbach, C. Habel and B. Smith (eds.), Topological Foundations of Cognitive Science, Hamburg: Graduiertenkolleg Kognitionswissenschaft, 1994, the text of a talk delivered at the First International Summer Institute in Cognitive Science in Buffalo in July 1994.