Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

In this thesis, I will explore the epistemological evolutionary debunking arguments in meta-ethics. I will defend these arguments by accomplishing two tasks: I will offer the best way to understand the EDA and I will also respond to two strongest objections to the EDA. Firstly, in Part I of this thesis, I will offer my account of how the EDA should be best formulated. I will start from how evolution has significantly influenced our moral beliefs. I will then explain why, (...) due to their evolutionary origin, our moral beliefs are not tracking the moral truth reliably. Furthermore, I will argue that the fact that our moral beliefs are not tracking the moral truth also provides an undercutting and a higher-order defeater for those beliefs. As a result, I will conclude that the epistemic status of our moral beliefs is undermined because of these two kinds of defeaters. Secondly, in Part II of this thesis, I will turn my attention to the two strongest objections to the EDA – the Conceptual Truth Objection and the Third Factor Objection. I will first offer two responses to the Conceptual Truth Objection and, based on these two responses, I will argue that the Conceptual Truth Objection fails as a challenge to the EDA. I will then also argue that there currently doesn’t exist an acceptable version of the Third Factor Objection and it is also unlikely that such a version could be constructed in the future. I will finally conclude that both objections are problematic and they are thus unable to give us reason to doubt the EDA. (shrink)

Here, we defend the thesis whereby the event plays a main role of sense in the meaning of certain sentences. This thesis is based on the one hand on recent work in the metaphysics of so-called “happening” entities, which has led to a distinction between concrete physical processes and abstract events, the latter being conceived as psychological constructs accounting for stabilities or changes in the world. Furthermore, we look back at the work on intentionality carried out in the Brentanian school (...) at the turn of the 20th century and we relate abstract events to the mental states of affairs studied by Twardowski but which were then neglected by contemporary philosophers of language. Abstract events, thus characterized, have the contingent property of occurring, when facts obtain and realize them. We suggest that the facts in question correspond to Wittgensteinian states of affairs. (shrink)

The main thesis of this paper is directed against the traditional (cognitivetheoretical) definition of the concept which claims that the concept is the '' thought about the essence of the object being thought'', i.e. that it is “a set of essential features or essential characteristics of an object''. But the '' set of essential features or essential characteristics of an object of thought'' is a '' content’’ of the thought. The thought about the essence of an object is definition and (...) the concept is not definition but the part of definition! Besides as the part of formal structure of thought, the concept possesses calculative logical properties that in formal logic (be it syllogistics, or the logic of propositions, or the logic of predicates) come to the front place of formal logical computation. Without the calculative properties of the concept, there would be no calculative properties of propositions which express the thought (thought structures). The calculative properties of a concept include the (1) degree of its logical generality (degree of variability), the (2) logical relations it can establish within the whole of the conceptual content, the (3) operability of the concept in structure of affirmation and negation, the (4) deducibility of either axiomatic or probabilistic systems. Therefore, I believe that, from the logical point of view, the definition of a concept should be applied in favor of its calculative properties that it possesses. (shrink)

Newton’s First Law of Motion is typically understood to govern only the motion of force-free bodies. This paper argues on textual and conceptual grounds that it is in fact a stronger, more general principle. The First Law limits the extent to which any body can change its state of motion –– even if that body is subject to impressed forces. The misunderstanding can be traced back to an error in the first English translation of Newton’s Principia, which was published a (...) few years after Newton’s death. (shrink)

A resolution to the Russell Paradox is presented that is similar to Russell's “theory of types” method but is instead based on the definition of why a thing exists as described in previous work by this author. In that work, it was proposed that a thing exists if it is a grouping tying "stuff" together into a new unit whole. In tying stuff together, this grouping defines what is contained within the new existent entity. A corollary is that a thing, (...) such as a set, does not exist until after the stuff is tied together, or said another way, until what is contained within is completely defined. A second corollary is that after a grouping defining what is contained within is present and the thing exists, if one then alters what is tied together (e.g., alters what is contained within), the first existent entity is destroyed and a different existent entity is created. A third corollary is that a thing exists only where and when its grouping exists. Based on this, the Russell Paradox's set R of all sets that aren't members of themselves does not even exist until after the list of the elements it contains (e.g. the list of all sets that aren't members of themselves) is defined. Once this list of elements is completely defined, R then springs into existence. Therefore, because it doesn't exist until after its list of elements is defined, R obviously can't be in this list of elements and, thus, cannot be a member of itself; so, the paradox is resolved. This same type of reasoning is then applied to Godel's first Incompleteness Theorem. Briefly, while writing a Godel Sentence, one makes reference to a future, not yet completed and not yet existent sentence, G, that claims its unprovability. However, only once the sentence is finished does it become a new unit whole and existent entity called sentence G. If one then goes back in and replaces the reference to the future sentence with the future sentence itself, a totally different sentence, G1, is created. This new sentence G1 does not assert its unprovability. An objection might be that all the possibly infinite number of possible G-type sentences or their corresponding Godel numbers already exist somehow, so one doesn't have to worry about references to future sentences and springing into existence. But, if so, where do they exist? If they exist in a Platonic realm, where is this realm? If they exist pre-formed in the mind, this would seem to require a possibly infinite-sized brain to hold all these sentences. This is not the case. What does exist in the mind is the system for creating G-type sentences and their corresponding numbers. This mental system for making a G-type sentence is not the same as the G-type sentence itself just as an assembly line is not the same as a finished car. In conclusion, a new resolution of the Russell Paradox and some issues with proofs of Godel's First Incompleteness Theorem are described. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

Leibniz believed in a God that has the power to create beings and whose existence could be a priori demonstrated. Kant objected that similar demonstrations all presuppose the false claim that existence is a real property. Russell added that if existence were a real property Leibniz should have concluded that God does not actually have the power to create anything at all. First, I show that Leibniz’ conception of existence is incompatible with the one that Russell presupposes. Subsequently, I argue (...) that on Leibniz’ conception of existence Russell’s objection is immediately undermined. (shrink)

I argue against the skeptical epistemological view exemplified by the Groarkes that “all theories of informal argument must face the regress problem.” It is true that in our theoretical representations of reasoning, infinite regresses of self-justification regularly and inadvertently arise with respect to each of the RSA criteria for argument cogency (the premises are to be relevant, sufficient, and acceptable). But they arise needlessly, by confusing an RSA criterion with argument content, usually premise material.

This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual (...) engineering for intensions and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal and hyperintensional expressivist approaches here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This essay argues that the main lesson of Lewis Carroll's Regress is that arguments are constitutively presuppositional.

The philosophical investigation of perceptual illusions can generate fruitful insights in the study of subjective time consciousness. However, the way illusions are interpreted is often controversial. Recently, proponents of the so-called dynamic snapshot theory have appealed to the Waterfall Illusion, a kind of motion aftereffect, to support a particular view of temporal consciousness according to which experience is structured as a series of instantaneous snapshots with dynamic qualities. This dynamism is meant to account for familiar features of the phenomenology of (...) time, such as succession, continuity, and change. Previous theories have typically appealed to a subjective present occupying an interval of time; that is, a “specious present.” I argue, through analysis of motion aftereffect illusions and the rare condition of akinetopsia, i.e. motion-blindness, that the Waterfall Illusion fails to support the dynamic snapshot theory as intended. Furthermore, I suggest that future theories of subjective time should see temporal phenomenology as the result of non-localised processes closely tied to the mechanism underlying consciousness generally. (shrink)

Intuitivamente, la realidad está formada por entidades y hechos existentes y concretos. Sin embargo, nuestro lenguaje y pensamiento versa también sobre hechos meramente posibles, sobre cosas inexistentes y entidades abstractas. ¿Cómo es esto posible? ¿Significa ello que cuando hablamos y pensamos de estas otras cosas no hablamos de nada real? ¿o mas bien la realidad está mas poblada de lo que pensábamos y hay diferentes maneras de formar parte de la realidad además de la de existir de manera positiva y (...) concreta? En este libro trataremos de arrojar luz a estas y otras preguntas similares, poniendo atención a las estrategias argumentativas generales que suelen esgrimirse en esta rama de la filosofía. (shrink)

Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...) logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more. It circulated in typescript in the late 1970s before appearing as the Appendix to Exploring Meinong's Jungle and Beyond. With engaging, forceful prose, unsparing criticism of entrenched institutions, and many tantalizing proof sketches, Ultralogic? has had a major influence on the development of paraconsistent and relevant logic. This new edition makes this work available for a modern audience, newly typeset and corrected, along with extensive notes, and new commentary essays. (shrink)

This paper deals with Natorp’s version of the Marburg mathematical philosophy of science characterized by the following three features: The core of Natorp’s mathematical philosophy of science is contained in his “knowledge equation” that may be considered as a mathematical model of the “transcendental method” conceived by Natorp as the essence of the Marburg Neo-Kantianism. For Natorp, the object of knowledge was an infinite task. This can be elucidated in two different ways: Carnap, in the Aufbau, contended that this endeavor (...) can be divided into two distinct parts, namely, a finite “constitution” of the object of knowledge and an infinite incompletable empirical description. In contrast, and more in the original spirit of Cohen and Natorp, the physicist and philosopher Margenau in The Nature of Physical Reality (Margenau. 1950) conceived the infinity of this “Aufgabe” as an infinite dialectical process, in which relative “data” and “conceptual constructs” determine each other. This dialectical process eliminates the dichotomy between Anschauung and Begriff that distinguished the Marburg Neo-Kantianism from Kantian orthodoxy, namely, the abandonment of the difference between intuition and concept. Finally, the paper deals with the non-Archimedean geometrical systems that played a central role in Natorp’s defence of Cohen’s “infinitesimal” metaphysics. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...) reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

Eternalists believe that there is no ontological difference between the past, present and future. Thus, a challenge arises: in virtue of what does time have a direction? Some eternalists, Oaklander and Tegtmeier ) argue that the direction of time is primitive. A natural response to positing primitive directionality is the suspicion that said posit is too mysterious to do any explanatory work. The aim of this paper is to relieve primitive directionality of some of its mystery by offering a novel (...) way to understand the phenomenon in terms of the recently popularised notion of grounding. (shrink)

Aquinas’ theory of being has received a growing amount of attention from contemporary scholars, both from a historic and a philosophical point of view. An important source of this attention is Geach’s seminal Form and Existence. In it, Geach argues that Aquinas subscribes to a tensed notion of existence and a theory of time according to which past and future entities do not exist in act. Subsequent commentators, such as Kenny in his Aquinas on Being, have agreed with Geach on (...) both points. In this paper, I argue that in several passages of his corpus, most notably those in which he is concerned with God’s knowledge of future contingents, Aquinas implicitly subscribes to a theory of being and time according to which: past and future entities are attributed existence in act, there is theoretical need for introducing a tenseless notion of existence. (shrink)

Stojnić et al. (2013, 2017) argue that the reference of demonstratives is fixed without any contribution from the extra-linguistic context. On their `prominence/coherence' theory, the reference of a demonstrative expression depends only on its context-independent linguistic meaning. Here, we argue that Stojnić et al.’s striking claims can be maintained in only the thinnest technical sense. Instead of eliminating appeals to the extra-linguistic context, we show how the prominence/coherence theory merely suppresses them. Then we ask why one might be tempted to (...) try and offer such a view. Since we are rather sympathetic to the motivations we find, we close by sketching a more plausible alternative. (shrink)

Este texto tem como objetivo apresentar a principal motivação filosófica para se defender uma teoria causal da memória, que é explicar como pode um evento que se deu no passado estar relacionado a uma experiência mnêmica que se dá no presente. Para tanto, iniciaremos apresentando a noção de memória de maneira informal e geral, para depois apresentar elementos mais detalhados. Finalizamos apresentando uma teoria causal da memória que se beneficia da noção de veritação (truthmaking).

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

Carroll’s paradox calls the most fundamental concept of logic, namely the concept of inference, into challenge, and appears to convey that one cannot pass, in any inferences, legitimately from premises to conclusion. So as to get hold of any possible solution out of their writings, the current article puts the paradox under three giant thinkers’ views. Wittgenstein puts forward an “inexpressible” but “showable” modus ponens in all inferences that leads ultimately to the distinction between “rule” and “premise”. Ibn Sīnā recognizes (...) the logical principles as criterion not as matter for which the same exactly holds as the above distinction. Also, Tūsī speaks of the necessity of any syllogism to have an “assistant” and “concomitant” modus ponens that can be considered as the iteration of Wittgenstein’s “inexpressible-but-showable modus ponens” leading as before to the mentioned distinction. As a key solution to Carroll’s paradox, one should make a robust distinction between “rule” and “premise”, and bring inadmissibility to converting the former to the latter. (shrink)

This paper is a conceptual study in the philosophy of logic. The question considered is 'How may formulae of the propositional calculus be brought into a representational relation to the world?'. Four approaches are distinguished: (1) the denotational approach, (2) the abbreviational approach, (3) the truth-conditional approach, and (4) the modelling approach. (2) and (3) are very familiar, so I do not discuss them. (1), which is now largely obsolete, led to some interesting twists and turns in early analytic philosophy (...) which will come as news to many contemporary readers, so I discuss it in some detail. The modelling approach is, to the best of my knowledge, newly introduced here. I am not presenting it as a rival to the other approaches, but as a philosophically interesting possibility. (shrink)

Neste ensaio, discutem-se cinco questões acerca da existência: 1. É a existência representável em termos de quantificação? 2. É a existência um predicado" real", de primeira ordem? 3. É existir o mesmo que ser? 4. Existe tudo? 5. Qual é a forma lógica de afirmações de existência? São introduzidas e examinadas algumas das mais salientes posições acerca destas questões, em especial a concepção Frege-Russell da existência e diversas concepções recentes neo-Meinongianas. Defendemos as seguintes três teses acerca daquilo que deve ser (...) um bom predicado de existência:(a) um predicado puramente lógico e parcialmente definível em termos do quantificador existencial;(b) invariavelmente um predicado de primeira ordem (dadas certas suposições de partida acerca do universo do discurso);(c) um predicado universal, verdadeiro de tudo e falso de nada. (shrink)

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...) not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

The topic of this article is the ontology of practical reasons. We draw a critical comparison between two views. According to the first, practical reasons are states of affairs; according to the second, they are propositions. We first isolate and spell out in detail certain objections to the second view that can be found only in embryonic form in the literature – in particular, in the work of Jonathan Dancy. Next, we sketch possible ways in which one might respond to (...) each one of these objections. A careful evaluation of these complaints and responses, we argue, shows that the first view is not as obviously compelling as it is thought by Dancy. Indeed, it turns out that the view that practical reasons are propositions is by no means unworkable and in fact, at least under certain assumptions, explicit considerations can be made in favour of a propositional construal of reasons. (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 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 higher 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 interpretational and objective modalities and the 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 in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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 is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity (...) statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (shrink)

Although the economic thought of Marshall and Pigou was united by ethical positions broadly considered utilitarian, differences in their intellectual milieu led to degrees of difference between their respective philosophical visions. This change in milieu includes the influence of the little understood period of transition from the early idealist period in Great Britain, which provided the context to Marshall’s intellectual formation, and the late British Idealist period, which provided the context to Pigou’s intellectual formation. During this latter period, the pervading (...) Hegelianism and influences of naturalism arising from the ideas of Charles Darwin and Herbert Spencer were challenged by Hermann Lotze, a key transitional thinker influencing the Neo-Kantian movement, who recognised significant limits of naturalism, on the one hand, and the metaphysical tenor of absolute idealism, on the other, and attempted to provide a balance between the two. The goal of this paper is to make the provisional case for the argument that Pigou’s views on ethics were not only directly influenced by utilitarian thinkers like Mill and Sidgwick, but they were also indirectly influenced by Hermann Lotze, via the influence of the Neo- Kantian movement on late British idealism. To that end, Pigou’s essays in The Trouble with Theism (1908), including his sympathetic consideration of the ethics of Friedrich Nietzsche, reflect the influence of Lotze indirectly through the impact at Cambridge of: James Ward’s critique of associationist psychology, and consideration of the limits of naturalism including the critique of evolutionary ethics; Bertrand Russell’s rejection of neo-Hegelianism and, together with Alfred North Whitehead, the development of Logicism; and G.E. Moore’s critique of utilitarian ethics on the basis of the naturalistic fallacy and the development of his own intuitionist system of ethics. (shrink)

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory and (...) is focused on the interpretation and application of the mathematical concepts. (shrink)

Je parlerai dans cet article du si-alors-sinon comme d’une stratégie de nos obligations ontologiques dans les mathématiques. Je commencerai par la définition du si-alors-sinon dans les Principia mathematica. Ensuite, je discuterai la critique du si-alors-sinon par Putnam. Suivront certains arguments de Ciana Dorra qui l’appuient. Finalement, il sera question de la « parcimonie » ontologique en tant que motif d’adoption du si-alors-sinon. Je traiterai de la parcimonie ontologique en liaison avec le naturalisme en essayant de démontrer que la parcimonie ontologique (...) n’est pas une exigence découlant du naturalisme. (shrink)

What is the Bare Particular Theory? Is it committed, like the Bundle Theory, to a constituent ontology: according to which a substance’s qualities—and according to the Bare Particular Theory, its substratum also—are proper parts of the substance? I argue that Bare Particularists need not, should not, and—if a recent objection to ‘the Bare Particular Theory’ succeeds—cannot endorse a constituent ontology. There is nothing, I show, in the motivations for Bare Particularism or the principles that distinguish Bare Particularism from rival views (...) that entails a constituent ontology. I outline a version of Bare Particularism that in rejecting a constituent ontology avoids the New Objection. I argue against Theodore Sider that this really is a distinct theory to the version of Bare Particularism that endorses a constituent ontology, and not a mere terminological variant. I show that this, the best version of the Bare Particular Theory, is also defensible against the old objections. (shrink)

در این مقاله نخست به گزارش و تحلیل مختصر ادعا و ادلة ثبوت معتزلی، دیدگاه سابق راسل دربارة شیء اعم از وجود در مبادی ریاضیات، و دیدگاه بعدی راسل دربارة واقعیت سلبی خواهم پرداخت، سپس به این مسئله اشاره خواهیم کرد که به‌ علت پویایی و احیای چنین دیدگاه‌هایی، حتی در سال‌های اخیر، بایسته است از نو به تحلیل و نقد جدی دیدگاه‌هایی چون واقع سلبی و نظریه‌های ثبوت پرداخته ‌شود و در رد آن‌ها صرفاً به حس شهودی خلاف آن‌ها (...) بسنده نشود. بر این اساس این جستار می‌کوشد برخی از مشکلات چنین دیدگاه‌هایی را نمایان سازد؛ اگر آن‌ها درست باشند به تسلسلی بی‌پایان می‌انجامند. (shrink)

This paper has a negative and a positive claim. The negative claim is that the Frege-Russell account of existence as a higher-order predicate is mistaken and should be abandoned, even with respect to general statements of existence such as “Flying mammals exist” (where statements of this sort are supposed to be best accommodated by the account). The Frege-Russell view seems to be supported by two ideas. First, the idea that existence is entirely expressed by the existential quantifier of standard predicate (...) logic. Second, the idea that the existential quantifier is a higher-order predicate, a predicate of predicates, not of individuals. I think that both ideas are wrong but will focus on the latter. By construing prima facie first-order statements such as “Flying Mammals exist” as higher-order predications such as “The Fregean Concept Flying Mammal maps at least one individual onto the True”, the Frege-Russell view commits one - merely on the basis of the meaning it assigns to the existence predicate – to abstract objects such as concepts (Gottlob Frege), or propositional functions (Bertrand Russell), or classes (Rudolf Carnap), or properties, kinds, and so on. This cannot be right, I think. The positive claim of the present paper is that, at least in the context of first-order discourse, the existence predicate is just what it seems to be: a bona fide first-order predicate (pace Kant, Hume, Frege, Russell and others). Three important ideas about existence are shared with the Frege-Russell conception of existence, though. (1) Being and existence are one and the same thing: there is no difference between “Unicorns are not”, or “There are no unicorns”, and “Unicorns do not exist”, or “There exist no unicorns”. (2) To be is to be the value of a bound variable, to belong to a domain of quantification (Willard Quine). (3) Anti-Meinongianism, the idea that there are no non-existent objects (Russell). However, we diverge from the Frege-Russell tradition with respect to the following claim. (4) The best concept of existence, in the sense of the one that is best understood and best enables us to formulate ontological disputes, is a purely logical first-level concept defined in terms of existential quantification and identity. First-order statements of existence and non-existence like “Flying Mammals exist” and “Unicorns do not exist” are accordingly taken at face value and analyzed in terms of a logical first-order predicate of existence, the predicate “is (identical to) something”. Reasons are given to prefer this notion of existence to other first-order non-logical notions that have been proposed in the literature, notions characterized in terms of predicates such as “is in space-time”, “is concrete”, “is causally efficacious”, “is actual”, “is real”, etc. (shrink)

The paradox of the concept horse has often been taken to be devastating for Frege’s ontological distinction between objects and concepts. I argue that if we consider how the concept-object distinction is supposed to account for the unity of linguistic meaning, it transpires that the paradox is in fact not paradoxical.

Recent debates between representational and relational theories of perceptual experience sometimes fail to clarify in what respect the two views differ. In this essay, I explain that the relational view rejects two related claims endorsed by most representationalists: the claim that perceptual experiences can be erroneous, and the claim that having the same representational content is what explains the indiscriminability of veridical perceptions and phenomenally matching illusions or hallucinations. I then show how the relational view can claim that errors associated (...) with perception should be explained in terms of false judgments, and develop a theory of illusions based on the idea that appearances are properties of objects in the surrounding environment. I provide an account of why appearances are sometimes misleading, and conclude by showing how the availability of this view undermines one of the most common ways of motivating representationalist theories of perception. (shrink)

The main task of this paper is to understand if and how static images like photographs can represent and/or depict temporal extension (duration). In order to do this, a detour will be necessary to understand some features of the nature of photographic representation and depiction in general. This important detour will enable us to see that photographs (can) have a narrative content, and that the skilled photographer can 'tell a story' in a very clear sense, as well as control and (...) guide the attention of the spectator of the photograph. The understanding and defence of this claim is a secondary aim of this paper, and it will then allow us to provide a good treatment of the particular case of photographic representation and depiction of temporal extension. (shrink)

In his “Space, supervenience and substantivalism”, Le Poidevin proposes a substantivalism in which space is discrete, implying that there are unmediated spatial relations between neighboring primitive points. This proposition is motivated by his concern that relationism suffers from an explanatory lacuna and that substantivalism gives rise to a vicious regress. Le Poidevin implicitly requires that the relationist be committed to the “only x and y ” principle regarding spatial relations. It is not obvious that the relationist is committed to this (...) principle in such a context. An additional motivation for Le Poidevin's argument, that space should be considered to be discrete, is that he believes that substantivalists are committed to a vicious regress. I show that the regress is in fact not of the vicious variety. These two main arguments show that Le Poidevin's suggestion that we drop the density postulate for space is unnecessary. (shrink)

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)