Formal relationism in the philosophy of mind is the thesis that folk psychological states should be individuated, at least partially, in terms of the purely formal inference-licensing relations between underlying mental representations. It's supposed to provide a Russellian alternative to a Fregean theory of propositional attitudes. I argue that there's an inconsistency between the motivation for formal relationism and the use to which it's put in defense of Russellian propositions. Furthermore, I argue that formal (...) relationism is committed to epiphenomenalism about singular mental content. (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

The theory that Kit Fine calls 'semantic relationism' replaces standard semantic compositionality with an alternative according to which statements of the form '... A … A ...’ and ‘... A … B ...’ (e.g., ‘Cicero admires Cicero’ and ‘Cicero admires Tully’) differ in semantic content—even where the two terms involved are exactly synonymous—simply in virtue of the recurrence that is present in the former statement and absent from the latter. A semantic-relationist alternative to standard compositionality was first explicitly proffered (...) by Hilary Putnam in 1954 and later by others in the latter part of the 20th Century. However, semantic relationism had already been implicitly rejected in Frege’s 1892 landmark masterpiece "Über Sinn und Bedeutung" (“On Sense and Reference”). The present compilation of three previously published essays cuts through the hype and thoroughly rebuts semantic relationism, particularly Fine’s more developed version (2007). A fatal fallacy is exposed in Fine's high-flown purported formal disproof of Millianism with standard compositionality. Standard Millianism does not implode; Fine's overzealous attempt to demolish it does. The failure of his purported disproof renders Fine's central notion of coordination either redundant or empty. So-called coordination is non-semantic if it is anything real. (shrink)

Frege's puzzle is a fundamental challenge for accounts of mental and linguistic representation. This piece surveys a family of recent approaches to the puzzle that posit representational relations. I identify the central commitments of relational approaches and present several arguments for them. I also distinguish two kinds of relationism—semantic relationism and formal relationism—corresponding to two conceptions of representational relations. I briefly discuss the consequences of relational approaches for foundational questions about propositional attitudes, intentional explanation, and compositionality.

Standard compositionality is the doctrine that the semantic content of a compound expression is a function of the semantic contents of the contentful component expressions. In 1954 Hilary Putnam proposed that standard compositionality be replaced by a stricter version according to which even sentences that are synonymously isomorphic (in the sense of Alonzo Church) are not strictly synonymous unless they have the same logical form. On Putnam’s proposal, the semantic content of a compound expression is a function of: (i) the (...) contentful component expressions; and (ii) the expression’s logical form. Kit Fine recently expanded and modified Putnam’s idea into a sweeping theory in philosophy of language and philosophy of mind. The present paper is a detailed critique of Fine’s “semantic relationism.” Fine’s notion of coordination is explained in terms of the familiar pragmatic phenomenon of recognition. A serious error in Fine’s formal disproof of standard Millianism is exposed. It is demonstrated furthermore that Church’s original criticism of Putnam’s proposal can be extended to Fine’s semantic relationism. Finally, it is also demonstrated that the positive position Fine proffers to supplant standard Millianism is in fact exactly equivalent to standard Millianism, so that Fine’s overall position not only does not displace standard Millianism but is in fact inconsistent. (shrink)

I will introduce and motivate eliminativist super-relationism. This is the conjunction of relationism about spacetime and eliminativism about material objects. According to the view, the universe is a big collection of spatio-temporal relations and natural properties, and no substance (material or spatio-temporal) exists in it. The view is original since eliminativism about material objects, when understood as including not only ordinary objects like tables or chairs but also physical particles, is generally taken to imply substantivalism about spacetime: if (...) properties are directly instantiated by spacetime without the mediation of material objects, then, surely, spacetime has to be a substance. After introducing briefly the two debates about spacetime (§1) and material objects (§2), I will present Schaffer's super-substantivalism (§3), the conjunction of substantivalism about spacetime and eliminativism about material objects at the fundamental level. I shall then expose and discuss the assumption from which the implication from eliminativism to substantivalism is drawn, and discuss the compatibility of eliminativism with relationism: if spacetime is not a substance, and if material objects are not real, how are we to understand the instantiation of properties (§4)? And what are the relata of spatio-temporal relations (§5)? I then show that each argument in favor of super-substantivalism offered by Schaffer also holds for super-relationism (§6) and examine several metaphysical consequences of the view (§7). I conclude that both super-substantivalism and super-relationism are compatible with Schaffer's priority monism (§8). (shrink)

Abstract: There are two traditionally rival views about the nature of time: substantivalism that takes time to be a substance that exists independently of events located in it, and relationism that takes time to be constructed out of events. In this paper, first, I want to make some progress with respect to the debate between these two views, and I do this mainly by examining the strategies they use to face the possibilities of ‘empty time’ and ‘time without change’. (...) As we shall see, the two allegedly very different rival views are much less different than has been thought: their structure is extremely similar, their strategies are extremely similar, and they can both face the possibilities of ‘empty time’ and ‘time without change’ in the same way. Thus, I argue in favour of a certain kind of equivalence between the two views; I discuss a Strong and a Weak version of this claim; and I provide reasons for endorsing the former. I also discuss the parallel between this pair of views about the nature of time and another analogous pair of views: the bundle theory and the substratum theory about the nature of material objects, with respect to the problem with Identity of Indiscernibles. (shrink)

This essay argues for a 'relationist' treatment of intentional identity sentences like (1) "Hob believes that a witch blighted Bob's mare and Nob believes that she killed Cob's sow" (Geach 1967). According to relationism, facts of the form "a believes that p and b believes that q" are not in general reducible to facts of the form "c believes that r". We first argue that extant, non-relationist treatments of intentional identity are unsatisfactory, and then go on to motivate and (...) explore a relationist alternative in some detail. We show that the general thesis of relationism can be directly motivated via cases already discussed in the literature, and then develop a particular version of relationism couched in the possible worlds framework. The resulting theory avoids the problems facing its non-relationist rivals, and yields a natural account of the truth-conditions of (1), truth-conditions which can be generated in a compositional manner by a version of dynamic semantics. The theory also helps us to cleanly separate semantic questions about intentional identity from metasemantic ones. (shrink)

A critical discussion of Shoemaker's argument for the possibility of time without change, intended as an argument against relationist conceptions of time. A relational view of time is proposed based on the primitive identity of events (or whatever entities are the basic subjects of change and lack thereof).

In this paper, I present the enactive theory of color that implies a form of color relationism. I argue that this view constitutes a better alternative to color subjectivism and color objectivism. I liken the enactive view to Husserl’s phenomenology of perception, arguing that both deconstruct the clear duality of subject and object, which is at the basis of the other theories of color, in order to claim the co-constitution of subject and object in the process of experience. I (...) also extend the enactive and phenomenological account of color to the more general topic of the epistemological and ontological status of sensory qualities (qualia), outlining the fields of enactive phenomenology and enactive ontology. (shrink)

Austere relationism rejects the orthodox analysis of hallucinations and illusions as incorrect perceptual representations. In this article, I argue that illusions of optimal motion present a serious challenge for this view. First, I submit that austere-relationist accounts of misleading experiences cannot be adapted to account for IOMs. Second, I show that any attempt at elucidating IOMs within an austere-relationist framework undermines the claim that perceptual experiences fundamentally involve relations to mind-independent objects. Third, I develop a representationalist model of IOMs. (...) The proposed analysis combines two ideas: Evans' dynamic modes of presentation and Fine's relational semantics for identity. (shrink)

I argue that Hume’s philosophy of time is relationist in the following two senses. 1) Standard definition of relationism. Time is a succession of indivisible moments. Hence there is no time independent of change. Time is a relational, not substantial feature of the world. 2) Rigid relationism. There is no evidence of uniform natural standard for synchronization of clocks. No absolute temporal metric is available. There are countless times, and no time is privileged. Combining 1) and 2) shows (...) that Hume’s ontology of time is thoroughly relationist. (shrink)

The problem of intentional inexistence arises because the following (alleged) intuitions are mutually conflicting: it seems that sometimes we think about things that do not exist; it seems that intentionality is a relation between a thinker and what such a thinker thinks about; it seems that relations entail the existence of what they relate. In this paper, I argue for what I call a radical relationist solution. First, I contend that the extant arguments for the view that relations entail the (...) existence of their relata are wanting. In this regard, I defend a kind of pluralism about relations according to which more than one kind of relation involves non-existents. Second, I contend that there are reasons to maintain that all thoughts are relations between thinkers and the things they are about. More accurately, I contend that the radical relationist solution is to be preferred to both the intentional content solution (as developed by Crane) and the adverbial property solution (as developed by Kriegel). Finally, I argue that once the distinction between thinking “X” and thinking about X has been drawn, the radical relationist solution can handle issues like ontological commitment, substitutivity failure, scrutability, and non-specificity. (shrink)

My topic in this paper will be Hume’s claim that we have no idea of a vacuum. I offer a novel interpretation of Hume’s account of our ideas of extension that makes it clear why those ideas cannot include any ideas of vacuums, and I distinguish my interpretation from prominent readings offered by other Hume scholars. An upshot of Hume’s account, I will argue, is his commitment to a remarkable and distinctly Humean view I call “perceptual relationism.” Perceptual (...) class='Hi'>relationism is a fundamental characteristic of Hume’s “universe of the imagination,” and a manifestation of just how “loose and separate” the constituents of that inner universe are. Once we understand perceptual relationism and its entailments, we are in a better position to understand the rest of Hume’s sometimes puzzling remarks on space and the vacuum. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

This paper explores various metaphysical aspects of Leibniz’s concepts of space, motion, and matter, with the intention of demonstrating how the distinctive role of force in Leibnizian physics can be used to develop a theory of relational motion using privileged reference frames. Although numerous problems will remain for a consistent Leibnizian relationist account, the version developed within our investigation will advance the work of previous commentators by more accurately reflecting the specific details of Leibniz’s own natural philosophy, especially his handling (...) of the dynamical interactions of plenum bodies. (shrink)

Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as (...) ontology-based multi-database querying, automated ontology alignment and ontology-based text-mining. These theses are illustrated by means of a case study of the Gene Ontology, a project of increasing importance within the field of biomedical data integration. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks (...) for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of (...) in each case factically existing as a sexual and gendered being? The answer lies in Heidegger’s elucidation of the existential-ontological structure of Dasein: Dasein is always relationally instituted in its factical entangled life through “being-with.” The sexual difference of human existence is not merely biologically or anthropologically given, but disclosed and enacted according to one’s relations with others, the environment, and oneself. The formally indicating concept “Dasein” indicates, accordingly, the concrete diversity and plurality of individuated sexual and gendered ways of being. (shrink)

Customer behavior, market dynamics, and technological advances have made it challenging for marketing theorists to provide comprehensive explanations and actionable insights. Although there are numerous substantive marketing frameworks, no formal marketing theory exists. This study aims to develop the first formal grounded theory in marketing by incorporating artificial intelligence and Forde's conceptual framework as a guiding lens. Charmaz's constructivist grounded theory tradition and Forde's conceptual framework and data analysis strategy were employed for this purpose. The data analysis strategy (...) used with grounded theory’s constant compare-and-contrast method comprises holistic and systems thinking, dramaturgical and situational analysis, perspective-taking, and deconstruction. To evaluate Glaser’s assertion that all is data, artificial intelligence was incorporated into the research as the data source for retrieving the theoretical samples to address the primary research question: How can Forde's conceptual framework and artificial intelligence be leveraged to develop a formal marketing theory grounded in evidence? Of significance was the emergence of democratic marketing behaviors and the normalization of anti-democratic marketing approaches leveraged to manipulate buyers or gain access to segments of customers. Buyers and sellers can simultaneously benefit from and be prejudiced by marketing exchange dynamics. This finding lends credibility to the newly emerged framework of strategic actions where empowerment and disempowerment are leveraged to achieve specific goals. Considering this finding, it is suggested that businesses view marketing as a symbiotic relationship between two power centers, buyers and sellers, who respectively strive to maintain human dignity and sustainability. Researchers are encouraged to apply the framework across substantive areas, international markets, public relations, political campaigns, and others. (shrink)

A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: “representation”, “reality”, “language”, “ontology”, etc. All are based on Hilbert space. A few statements (...) about a quantum computer are implied: The sodefined reality is inherent and internal to it. It can report a result only “metaphorically”. It will demolish transmitting the result “literally”, i.e. absolutely exactly. A new and different formal definition of metaphor is introduced as a few entangled wave functions corresponding to different “signs” in different language formally defined as above. The change of frames as the change from the one to the other formal definition of metaphor is interpreted as a formal definition of thought. Four areas of cognition are unified as different but isomorphic interpretations of the mathematical model based on Hilbert space. These are: quantum mechanics, frame semantics, formal semantics by means of quantum computer, and the theory of metaphor in linguistics. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...) for both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples such (...) as Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

Einstein acknowledged that his reading of Hume influenced the development of his special theory of relativity. In this article, I juxtapose Hume’s philosophy with Einstein’s philosophical analysis related to his special relativity. I argue that there are two common points to be found in their writings, namely an empiricist theory of ideas and concepts, and a relationist ontology regarding space and time. The main thesis of this article is that these two points are intertwined in Hume and Einstein.

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a (...) symbolic computational model of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

Inspired by impossibility theorems of social choice theory, many democratic theorists have argued that aggregative forms of democracy cannot lend full democratic justification for the collective decisions reached. Hence, democratic theorists have turned their attention to deliberative democracy, according to which “outcomes are democratically legitimate if and only if they could be the object of a free and reasoned agreement among equals” (Cohen 1997a, 73). However, relatively little work has been done to offer a formal theory of democratic deliberation. (...) This article helps fill that gap by offering a formal theory of three different modes of democratic deliberation: myopic discussion, constructive discussion, and debate. We show that myopic discussion suffers from indeterminacy of long run outcomes, while constructive discussion and debate are conclusive. Finally, unlike the other two modes of deliberation, debate is path independent and converges to a unique compromise position, irrespective of the initial status quo. (shrink)

Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological (...) forms of entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. (...) The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for (...) such formalizations, and finally iv) the choice of the underlying logic. This introductory discussion is supplemented by a brief description of the genesis of the special issue, acknowledgements, and summaries of each article. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...) a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are (...) characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, (...) Knuth and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

When we ask ourselves about the meaning of life, two analyses are possible in principle: 1. that we are asking something about the purpose or the reason of being of life or of a life, or 2. that we are asking something the value of life or of a life. At the present article, I do not approach 1 neither the life as a whole, but I take the individual lives in the context of 2. I briefly explain what would (...) be to someone to have an objectivist conception of the meaning of life and what would be to someone to have a subjectivist one; and, then, I try to show how we can think in formulas that can capture the intuitions of those conceptions, without acquiring commitment with none of them. My way is to show that both objectivist and subjectivist conceptions think the meaning of life as related to projects or realizations that fulfill principles of value (the value can be objective or subjective according to the adopted conception), and ten I try to indicate that the projects or realizations from a person’s life come together through a simple sum to make the meaning of life of such a person’s life. The way I suggested for us to find the value of one of those realizations does not seem to present none theoretical problem. But the simple sum of realizations (and/or projects) to represent the value of the meaning of a person’s life simply did not work. That’s because it seems to lack some kind of index that is able to formalize the relations between realizations. Thus, although we couldn’t properly formalize the relation between the realizations that achieve the meaning of someone’s life at a certain moment, we get a good intuitive formalization of the value of a realization and we hope to have started an interesting investigation for future logicians, metaphysicians, mathematicians and theorists of value. (shrink)

This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, (...) namely what is known as geometric logic. (shrink)

In my old manuscript “Formal Theology” that now is out as a preprint I show that science and theology can be founded upon the same set of basic assumptions. I now follow up this idea with the thought that Formal Theology may be used to ground also a religion. “Religion“, in this regard, as related to beliefs. I’m not going into any details, neither concerning the original manuscript, nor this new idea. The important thing, I think, is to (...) explore if this kind of “religion”, in any way, can be accommodated with “ordinary” religions. I leave more rigorous work to myself or to others for the future. (shrink)

Cidadania Formal e Cidadania Real: Divergências e Direitos Infantis -/- 1 Introdução sobre o que seria cidadania -/- Para o clássico sociólogo francês Durkheim, a ideia de cidadania é questão de coesão social, isto é, essa coesão social nada mais é do que uma ideia de um Estado que mantém os indivíduos unidos (mais parecido com a ideia do fascismo em seus primórdios, que consistia basicamente na união do povo como um feixe), integrados a um grupo social, ou simplesmente, (...) um Estado de integração coesa do grupo social. Isso nos dá uma ideia genérica do que seria um cidadão para o pensador. -/- Na perspectiva de sociedade como um conjunto integrado, Dallari afirma que a sociedade humana é um conjunto de pessoas, ligadas entre si pela necessidade de se ajudarem umas às outras… a fim de que possam garantir a continuidade da vida e satisfazer seus interesses e desejos . -/- Já constitucionalmente, a cidadania está ligada ao direito, e a mesma é garantida e estabelecida em lei conforme a Constituição de um determinado país. O conceito, tal qual aceitado nas Ciências Sociais, é definido a partir dos conjuntos de direitos e deveres que foram conquistados ao longo de anos, mediante insistentes lutas para garantir e assegurar esses direitos. A cidadania também está ligada às condições sociais e locais dos indivíduos. Nessa perspectiva, a cidadania como estudo praxista, é dividida em duas esferas sociais divergenciadas em toda sua totalidade: Cidadania Formal e Cidadania Real. Logo, faz-se necessário desmembrar acerca de ambas para uma melhor análise e compreensão do texto. -/- 2 Breve divergência acerca das cidadanias formal e real -/- Sob um estudo superficial acerca do tema, podemos conceituar a cidadania formal como sendo a cidadania descrita em papel, isto é, a cidadania como ela deveria ser teoricamente, descrita sob lei universal onde descreve a igualdade entre todos, liberdade dos indivíduos e que garante a capacidade de lutar pelos direitos através do âmbito jurídico. Exemplo: o Estado deve priorizar proteção física, psicológica, etc a crianças e adolescentes, bem como outros direitos, como educação básica de qualidade conforme prescrita no ECA (Estatuto da Criança e do Adolescente). Uma vez que o Estado desobedeça tais regras constitucionais, o mesmo fere a universalidade dos direitos dos seus cidadãos que estão assegurados em lei. Então, pela cidadania formal, tais cidadãos negligenciados pelo governo, podem lutar pela proteção, educação, etc dos indivíduos que compõem a comunidade territorial, uma vez que a cidadania formal garante a possibilidade de luta pelos direitos no espaço jurídico. -/- Segundo Correa a cidadania formal nada mais é do que, conforme o direito universal, um indicativo de nacionalidade . Ainda ressalta que o termo ganha mais relevância no campo das Ciências Sociais e que se define mediante a posse dos direitos civis, políticos e sociais. A cidadania formal para a conformação infantil brasileira é platônica, isto é, está mais ligada a ideia utópica de teoria das ideias teóricas do que esperava-se da vida pragmática dessas crianças. -/- Em contrapartida, a cidadania real, por vezes alcunhada de substantiva, está ligada a vida tal qual ela é vivenciada; em termos sociais é concernente a vida pragmática dos indivíduos, em que os mesmos participam da arenga social, do debate de ideias, etc. Em contradição a formal que diz que todos os indivíduos são iguais, na vida real é observada uma sociedade estruturada sob uma divergência totalitária em diferentes ordens, seja a social, monetária, educacional, política, cultural, etc e, com isso, é levado ao grande problema social do Brasil e demais países, em que determinados grupos ditos “inferiores” sofrem os mais diversos tipos de preconceito. -/- É na cidadania real que se explicita todas as contradições sociais entre brancos e negros, ricos e pobres, homens e mulheres, etc. Por lei, todos esses indivíduos de diferentes classes e status social como elenca Marshall, são iguais e, por fim, são cidadãos aptos a receber os mesmos tratos, os mesmos privilégios, etc, só que no Brasil, como em demais países brancos agridem verbalmente e fisicamente os negros que todos os dias sofrem racismos e preconceitos; pobres ficam cada vez mais pobres, uma vez que o dinheiro cada vez se concentra nas mãos dos mais ricos e com maior poder e influência social e mulheres que trabalham igual ou até mais que os homens e não recebem o mesmo salário por serem “inferiores” dentro da cultura e sociedade machista e patriarcalista. -/- Exemplo claro: Um estudante de ensino público que não consegue pleitear uma competição em condições de igualdade com um estudante de ensino privado, tem sua cidadania “formal” conquistada, uma vez que a lei lhe garante acesso à educação de boa qualidade tal qual oferecida em escolas particulares, contudo, a cidadania “real” está bem longe de ser alcançada. E o mesmo acontece com negros e deficientes que conquistaram direitos formalmente, todavia tem um longo caminho para alcançar a cidadania real. Para que todos os indivíduos possam assegurar e garantir seus direitos na vida pragmática, direitos pelo qual encontram-se previstos em lei pela cidadania formal, é necessário uma “luta” entre os divergentes grupos sociais, como dizia Karl Marx, visando a justiça e a soberania social. -/- 3 Cidadania e Direitos Infantis -/- Para garantir e assegurar uma melhor faculdade de vida para as crianças -e também adolescentes-, bem como caucionar os direitos dos mesmos como cidadãos, a partir de 1990, pós Constituição brasileira, entrou em firmeza o ECA -Estatuto da Criança e do Adolescente-. Na produção e institucionalização do ECA, priorizou-se a ideia de que as crianças estão em processo de desenvolvimento e, com isso, demandam de mais necessidades específicas que demais camadas etárias, e que tais necessidades devem ser identificadas e respeitadas, sobretudo pelas leis. -/- Com toda essa institucionalização de direitos infantis, a camada etária de até 12 anos de idade -crianças-, passaram a ter adjutório integral reconhecida por lei como um direito. E que, a partir de tais prescritos, nenhuma criança pode sofrer violência das mais variadas possíveis, nenhum tipo de negligência, falta de cuidado, certo tipos de crueldade, discriminação, nenhum tipo de preconceito e nenhum tipo de exploração seja para trabalho ou demais áreas e que cabem aos adultos respeitar e fazer valer as regras estabelecidas pelo ECA. -/- O ECA, institucionalizou e definiu os direitos à vida, ao lazer, à nutrição, à liberdade, à altivez, à educação de boa qualidade, à profissionalização, ao respeito acima de tudo, à cultura e ao convívio e vivenciamento familiar e em comunhão. Não obstante, mesmo com todos esses direitos assegurados e garantidos em lei, crianças de todo os países sofrem por faltas de cuidados, sobretudo pelos pais e que gera um grande problema social que é o do suicídio; crianças são exploradas para labotar nos mais diversos ramos e até mesmo na prostituição; crianças são vítimas de violência e agressões físicas e verbais em casa ou na escola; crianças se envolvem com o tráfico e uso de drogas e entorpecentes; enfim, cabe aos familiares e ao Estado, garantir a integridade física e mental da camada infantil, com acompanhamento pedagógico, psicológico, etc, e que punam os responsáveis pela denigração física, motora e mental das crianças. -/- O que nos leva a questões de discussão social. As crianças gozam de todos os direitos essenciais inerentes à pessoa humana? “Menores drogados ameaçam quem passa pelo entorno da Rodoviária Laura Machado | Rio+ | 19/06/2011 10h33” -/- Esses menores, não têm direito real à cidadania? Como explanado anteriormente, a comunidade de infantes está amparada pelas leis e instituições do ECA em todo o país, no entanto, cabe aos adultos garantir a prioridade e o acompanhamento desses menores que, com toda a maldade do mundo e propriamente das pessoas, perdem o direito de gozar de sua infância. -/- . (shrink)

It is commonly said that some standards, such as morality, are ‘normatively authoritative’ in a way that other standards, such as etiquette, are not; standards like etiquette are said to be ‘not really normative’. Skeptics deny the very possibility of normative authority, and take claims like ‘etiquette is not really normative’ to be either empty or confused. I offer a different route to defeat skeptics about authority: instead of focusing on what makes standards like morality special, we should focus on (...) what makes standards like etiquette ‘not really normative’. I defend a fictionalist theory on which etiquette is ‘not really normative’ in roughly the same way that Sherlock is ‘not really a detective’, and show that fictionalism about some normative standards helps us explain the possibility of normative authority. (shrink)

This paper investigates the question of, and the degree to which, Newton’s theory of space constitutes a third-way between the traditional substantivalist and relationist ontologies, i.e., that Newton judged that space is neither a type of substance/entity nor purely a relation among such substances. A non-substantivalist reading of Newton has been famously defended by Howard Stein, among others; but, as will be demonstrated, these claims are problematic on various grounds, especially as regards Newton’s alleged rejection of the traditional substance/accident dichotomy (...) concerning space. Nevertheless, our analysis of the metaphysical foundations of Newton’s spatial theory will strive to uncover its unique and innovative characteristics, most notably, the distinctive role that Newton’s “immaterialist” spatial ontology plays in his dynamics. (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give rise (...) to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of (...) class='Hi'>Formal Inconsistency (LFI) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

Wittgenstein asks: “Now what do the words of this language signify?—What is supposed to shew what they signify, if not the kind of use they have?” Might one answer that rhetorical question by giving a compositional semantics for Wittgenstein’s builder language?

ABSTRACT Let wF, wC+, and wC− be three distinct worlds, each of which contains only a single point-sized material particle, and in each of which spacetime is: uniformly flat, constantly positively curved, and constantly negatively curved, respectively. By the relationist’s lights, these worlds seem to be qualitatively identical. Nevertheless, for each world, there are propositions concerning possible arrangements of material points that are true in that world, but false in the other two. I argue that, surprisingly, the relationist can ground (...) these differences in the distinct non-modal and intrinsic relations that are instantiated in each of wF, wC+, and wC–. (shrink)

Let wF, wC+, and wC– be three distinct worlds, each of which contains only a single point-sized material particle, and in each of which spacetime is: uniformly flat, constantly positively curved, and constantly negatively curved, respectively. By the relationist’s lights, these worlds seem to be qualitatively identical. Nevertheless, for each world, there are propositions concerning possible arrangements of material points that are true in that world, but false in the other two. I argue that, surprisingly, the relationist can ground these (...) differences in the distinct non-modal and intrinsic relations that are instantiated in each of wF, wC+, and wC–. (shrink)