We argued that formal objections to the error theory overgeneralize and therefore fail. Christine Tiefensee and Gregory Wheeler deny this. We argue that they are wrong, for two reasons. The first concerns how we should adjudicate conflicts between formal and substantive commitments. The second concerns an overlooked tension between formal objections and non-error-theoretic views. Our discussion shows that the commitments behind formal objections to the error theory, such as the dual schema, should be regarded as much (...) more contentious than is often assumed. (shrink)

Many philosophers argue that the error theory should be rejected because it is incompatible with standard deontic logic and semantics. We argue that such formal objections to the theory fail. Our discussion has two upshots. First, it increases the dialectical weight that must be borne by objections to the error theory that target its content rather than its form. Second, it shows that standard deontic logic and semantics should be revised.

Recent debate about the error theory has taken a ‘formal turn’. On the one hand, there are those who argue that the error theory should be rejected because of its difficulties in providing a convincing formal account of the logic and semantics of moral claims. On the other hand, there are those who claim that such formal objections fail, maintaining that arguments against the error theory must be of a substantive rather than a formal kind. In (...) this paper, we argue that formal objections to the error theory cannot be eschewed but must be met head-on. (shrink)

What is a fact ? Are there such things ?

It is often claimed that emotions are linked to formal objects. But what are formal objects? What roles do they play? According to some philosophers, formal objects are axiological properties which individuate emotions, make them intelligible and give their correctness conditions. In this paper, I evaluate these claims in order to answer the above questions. I first give reasons to doubt the thesis that formal objects individuate emotions. Second, I distinguish different ways in which emotions are (...) intelligible and argue that philosophers are wrong in claiming that emotions only make sense when they are based on prior sources of axiological information. Third, I investigate how issues of intelligibility connect with the correctness conditions of emotions. I defend a theory according to which emotions do not respond to axiological information, but to non-axiological reasons. According to this theory, we can allocate fundamental roles to the formal objects of emotions while dispensing with the problematic features of other theories. (shrink)

SummaryUnder the assumption of the materialistic‐mechanistic ontology implicit in classical physics, quantum theory as interpreted through Niels Bohr's epistemology of complementarity is not formally objective; i. e., it is not informative of the state of physical systems independent of particular phenomenal manifestations of them. However, an analysis of the notion of the “physical system”, in theory, as experienced, and as existing “in‐itself”, reveals that if the older ontology is replaced, quantum mechanics through complementarity becomes formally objective, points the way toward (...) a new ontology based on the notion of the power to structure interaction between systems, and provides new insights into the relations between theory, observation, and the natural world. (shrink)

What is the relation between the intentionality of states and attitudes which can miss their mark, such as belief and desire, and the intentionality of acts, states and attitudes which cannot miss their mark, such as the different types of knowledge and simple seeing? Two theories of the first type of intentionality, the theory of correctness conditions and the theory of satisfaction conditions, are compared. It is argued that knowledge always involves knowledge of formal objects such as facts and (...) values, that emotions are reactions to (apparently) known values and that beliefs are reactions to known or apparently known facts or to the objects of relational states. (shrink)

Consider "Sam is sad" and "Sam exemplifies the property of being sad". The second sentence mentions a property and predicates the relation of exemplification. It belongs to a large class of sentences which mention such formal objects as propositions, states of affairs, facts, concepts and sets and predicate formal properties such as the truth of propositions, the obtaining of states of affairs and relations such as falling under concepts and being members of sets. The first sentence belongs to (...) a distinct class of sentences in which only non-formal objects are mentioned and only non-formal properties and relations are predicated. We can, it seems, infer validly from the first sentence to the second. They are also equivalent. And Sam exemplifies the property of sadness because Sam is sad. What is the relation between inference, equivalence and explanation in the case of our two sentences and in analogous cases? What right have we to assume that there are formal objects? (shrink)

The scientific status of logic is ambiguous within a broadly Aristotelian framework. As is well known, the Stoic position is frequently contrasted with that of the the classic Peripatetic outlook on these matters. For the former, logic is a unique division of philosophy, whereas for the latter, logic plays a merely instrumental role. This article explores how several Dominican thinkers articulated an outlook concerning logic that granted it a robust scientific status while maintatining a generally Peripatietic philosophical outlook. Clarity in (...) these matters required the passing of several centuries. This article presents a set of historical vignettes showing the development of an increasingly clearer definition of the nature of the subject of logic, tracing the topic in Aristotle, Avicenna, Aquinas, Hervaeus Natalis, and Antoine Goudin. (shrink)

The scientific status of logic is ambiguous within a broadly Aristotelian framework. As is well known, the Stoic position is frequently contrasted with that of the the classic Peripatetic outlook on these matters. For the former, logic is a unique division of philosophy (i.e., rational philosophy), whereas for the latter, logic plays a merely instrumental role. This article explores how several Dominican thinkers articulated an outlook concerning logic that granted it a robust scientific status while maintatining a generally Peripatietic philosophical (...) outlook. Clarity in these matters required the passing of several centuries. This article presents a set of historical vignettes showing the development of an increasingly clearer definition of the nature of the subject of logic, tracing the topic in Aristotle, Avicenna, Aquinas, Hervaeus Natalis, and Antoine Goudin. (shrink)

According to Streumer and Wodak, a particular type of formal objection to normative error theory fails because it rests on a questionable assumption about the logical duality of the normative concepts of permissibility and impermissibility. In this discussion, we argue that there is an error in their indictment; as such, the formal objection to normative error theory might still prevail.

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (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.

We propose a formal representation of objects , those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject’s role, which is constructive for the mathematical objects and constitutive for the empirical ones.

I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address (...) these challenges in two steps. First, given Kant’s distinction between an object in general = x from an object of sensible intuition, I argue that analytic judgments are about objects in the former sense, no matter whether the purported objects can be given in our intuition. Second, using Kant’s method of representing certain logical relations of concepts with such figures as circles, I construct a model to show that analytic truths are truths about objects in general = x and yet can be determined solely by the intensional relation between the given concepts plus certain Kantian-logical laws. Analytic truths are thus shown as formal in the Kantian sense that they do not presuppose the purported objects as givable in our intuition. This account of the formality of analytic truths captures Kant’s diagnosis of the Leibnizian illusion that we can make material claims about the world by analytically true judgments. (shrink)

Recently mereological hylomorphism, the theory in which form and matter are considered to be proper parts of objects, has become very important among contemporary metaphysicians. The present work aims to analyse and dismantle Bennett’s criticism regarding the existence of formal proper parts. To do this, I will start by presenting Koslicki’s mereological hylomorphism. Next, I will focus on Bennett’s critique which seeks to deny the existence of formal proper parts. Finally, I will analyse critically the Bennett’s criticism focusing (...) on the scenario of lump of clay and statue. I will show Bennett’s proposal is not explanatorily better than Koslicki’s hylomorphism because she needs to accept a counter-intuitive thesis. Therefore, we should prefer Koslicki’s mereological hylomorphism. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of (...) the laws of physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of (...) the laws of physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)

Mathematics, and mechanics conceived as a formal science, have their own proper subject matters, their own proper unities, which ground the characteristic way of constituting problems and solutions in each domain, the discoveries that expand and integrate domains with each other, and so in particular allow them, in the end, to be connected in a partial way with empirical fact. Criticizing both empiricist and structuralist accounts of mathematics, I argue that only an account of the formal sciences which (...) attributes to them objects as well as structure, proper semantics as well as syntax, can do justice to their intelligibility, heuristic force and explanatory power. (shrink)

According to a long interpretative tradition, Aristotle holds that the formal cause is the ultimate object of induction when investigating perceptible substances. For, the job of induction is to find the essential nature common to a set of individuals, and that nature is captured solely by their shared formal cause. Against this view, I argue that Aristotle understands perceptible individuals as irreducibly composite objects whose nature is constituted by both their formal and their material cause. As (...) a result, when investigating perceptible objects, the job of induction is to discover their composite, formal and material nature. The process by which universal claims about this composite nature are justified, I argue, is similar to what we now know as mathematical induction. In particular, such claims are grounded in a non-enumerative, but replicable process in which things are resolved into their simplest components. As a result, the observation of past uniformities has, at most, a heuristic function in scientific inquiry. (shrink)

It is accepted that certain mereological concepts and phenomenological conceptualisations presented in Carl Stumpf’s Über den psychologischen Ursprung der Raumvorstellung and Tonpsychologie played an important role in the development of the Husserlian formal ontology. In the third Logical Investigation, which displays the formal relations between part and whole and among parts that make out a whole, one of the main concepts of contemporary formal ontology and metaphysics is settled: ontological dependence or foundation (Fundierung). My main objective is (...) to display Stumpf’s concepts of partial content, independent content, spatial wholes, sound wholes, and the different kinds of connection among parts, in particular, fusion (Verschmelzung). Second, I will show how Husserl improved this background, in particular with regards to the exact nature of the theory of manifolds (Mannigfaltigkeitslehre), in discussion with Georg Cantor, the father of set theory. Third, I will focus on Ingarden’s use of formal ontology and on the different modes of being that can be justified by appealing to the concept of ontological dependence in its Ingardenian variations. If my interpretation is adequate, it should be inferred that formal ontology is the operative theory of phenomenological philosophy, and this must be acknowledged in its full significance with respect to the supposed independence of the phenomenological method since 1913. A further consequence, not developed in this essay, is that formal ontology can be mathematised. (shrink)

As we all know, metaphysics and objective truth are basically antagonistic, while dialectical materialism and objective truth are uniform. This is the common sense of Marxist philosophy and needs no argument. What, then, is the relationship between formal logic as a science and objective truth? This involves the problem of the correctness of thought form and the truthfulness of thought content. As shown, this problem is still an unsettled dispute in philosophy and logic circles. There are two opposite views: (...) one view holds that formal logic should concern itself with the correctness of thought form and the truthfulness of thought content; the other holds that formal logic should concern itself only with the correctness of thought form, but not the truthfulness of thought content. The substance of the issue involves the problem of the relationship between formal logic and objective truth. We consider that the science of formal logic itself does not and cannot assume the task of solving objective truth, since it is basically distinguished from the philosophy of dialectical materialism. However, formal logic does not exclude objective truth. It differs basically from metaphysics in that formal logic is a science. Thus, there is no inherent and necessary link between formal logic and objective truth. Formal logic does not study the problem of objective truth. (shrink)

The project of developing a pragmatic theory of meaning aims at an anti-metaphysical, therefore anti-repre­sen­ta­tio­nalist and anti-subjectivist, analysis of truth and reference. In order to understand this project we have to remember the turns or twists given to Frege's and Witt­genstein's original idea of inferential semantics in later developments like formal axiomatic theo­ries, regularist behaviorism, mental regulism and interpretationism, social behaviorism, intentionalism, con­ventionalism, justificational theories and, finally, Brandom's normative pragmatics.

The project of developing a pragmatic theory of meaning aims at an anti-metaphysical, therefore anti-representationalist and anti-subjectivist, analysis of truth and reference. In order to understand this project we have to remember the turns or twists given to Frege's and Wittgenstein's original idea of inferential semantics (with Kant and Hegel as predecessors) in later developments like formal axiomatic theories (Hilbert, Tarski, Carnap), regularist behaviorism (Quine), mental regulism and interpretationism (Chomsky, Davidson), social behaviorism (Sellars, Millikan), intentionalism (Grice), conventionalism (D. Lewis), (...) justificational theories (Dummett, Lorenzen) and, finally, Brandom's normative pragmatics. (shrink)

This review article explores several senses in which it can be held that the (actual, psychological) concept of an object is a formal concept, as opposed, here, to being a sortal concept. Some recent positions both from the philosophical and psychological literature are analyzed: Object-sortalism (Xu), quasi-sortalist reductive strategies (Bloom), qualified sortalism (Wiggins), demonstrative theories (Fodor), and anti-sortalism (Ayers).

How can we ever judge about the truth of a scientific theory? Ostensibly it seems to be no problems concerning such a judgement. Each scientific theory is expressed by a set of statements, formulated in a definite language; and we know, in principle, to ascertain whether a sentence is true or false, If we take any formula, say in the first order predicate calculus, no matter how complex, and if we know its interpretation, i.e. the appropriate finite domain of individuals, (...) functions, and truth values of the atoms entering the formula, then we immediately come to know whether our formula is true or false. It is admitted by analogy, that if we come to know the truth values of the basic theory statements, then we can judge if a given theory is true or false. It can be shown, however, that there exists no similar reliable prescription [1]. Let me comment on this in some more detail. (shrink)

In De Anima Book III, Aristotle subscribed to a theory of formal identity between the human mind and the extra-mental objects of our understanding. This has been one of the most controversial featu...

In the "Discussion" column of Teaching and Research, 1957, Nos. 1-5, Comrade Wang Fang-ming successively contributed five articles: "Concerning 'Preliminary Laws and Forms of Correct Thought,'" "On the State of Relative Stability and Qualitative Specificity of Objective Entities," and others. In these articles he discusses a series of problems on formal logic and makes some critical comments on some popular current views in studies of logic. In the No. 6 issue of the same journal, Comrade Wang also has a (...) paper, "On Classical Formal Logic and Inductive Logic," in which he systematically and positively presents what he had offered in the previous papers. While we believe that all these papers present some beneficial points , at the same time we think that they contain quite a few mistakes and even include poisonous elements of idealism, which is best shown by his understanding of the object and the objective foundation of formal logic. Therefore, the task of this paper is to set forth our views on the object and the objective foundation of formal logic in order to systematically criticize Comrade Wang's views. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions (...) from his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

These notes discuss formalizing contexts as first class objects. The basic relationships are: ist(c,p) meaning that the proposition p is true in the context c, and value(c,p) designating the value of the term e in the context c Besides these, there are lifting formulas that relate the propositions and terms in subcontexts to possibly more general propositions and terms in the outer context. Subcontextx are often specialised with regard to time, place and terminology. Introducing contexts as formal objects will (...) permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, ie. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. (shrink)

This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different (...) philosophical schools have used this notion to conduct analyses from the external reality to the inner phenomenal status, or even to construct an entire philosophical system. However, there has been a lack of systematic analysis of what a point of view is and what its structure is; this book fills the gap in the literature and makes the transition between semantics and epistemology, and the philosophy of science. (shrink)

This book offers a metaphysical development of the notion of perspective. By explaining the functional nature of point of view, and by providing a concrete definition of point of view as a window through which to see the world, it offers a scientific realist theory that explains that points of view are real structures that ground properties and objects as well as perspectives. The notion of point of view has been of key importance in the history of philosophy, and different (...) philosophical schools have used this notion to conduct analyses from the external reality to the inner phenomenal status, or even to construct an entire philosophical system. However, there has been a lack of systematic analysis of what a point of view is and what its structure is; this book fills the gap in the literature and makes the transition between semantics and epistemology, and the philosophy of science. (shrink)

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists (...) put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

Formal logic is an antiquated science, but there have been no convincing solutions of such theoretical problems as its scientific object and its scientific character. The political report of the Eighth National Party Congress has called on us "to engage in the study of the basic theories of Marxism-Leninism and of the scientific sectors closely related to Marxism-Leninism." Since there is a consensus that formal logic is a discipline that is closely related to the philosophy of Marxism-Leninism, (...) it is therefore necessary to study and clarify some of the basic problems of formal logic. (shrink)

A classic analytic approach to biological phenomena seeks to refine definitions until classes are sufficiently homogenous to support prediction and explanation, but this approach founders on cases where a single process produces objects with similar forms but heterogeneous behaviors. I introduce object spaces as a tool to tackle this challenging diversity of biological objects in terms of causal processes with well-defined formal properties. Object spaces have three primary components: (1) a combinatorial biological process such as protein synthesis (...) that generates objects with parts that are modular, independent, and organized according to an invariant syntax; (2) a notion of “distance” that relates the objects according to rules of change over time as found in nature or useful for algorithms; (3) mapping functions defined on the space that map its objects to other spaces or apply an evaluative criterion to measure an important quality, such as parsimony or biochemical function. Once defined, an object space can be used to represent and simulate the dynamics of phenomena on multiple scales; it can also be used as a tool for predicting higher-order properties of the objects, including stitching together series of causal processes. Object spaces are the basis for a strategy of theorizing, discovery, and analysis in biology: as heuristic idealizations of biology, they help us transform inchoate, intractable problems into articulated, well-structured ones. Developing an object space is a research strategy with a long, successful history under many other names, and it offers a unifying but not overreaching approach to biological theory. (shrink)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason (...) for producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)