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 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)

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)

I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had (...) very detailed procedures for identifying the formal cause, and that he is aware of several problems which might lead one to erroneously identify the wrong form as the cause of a property. Finally, I show that Aristotle’s account can easily be adapted to material causation, and through some modifications (introduction of process universals related through parthood), hinted at in II 11-12 and 16-17, to efficient and final causation. (shrink)

Formal views of autonomy rule out substantive rational capacities (reasons-responsiveness) as a condition of autonomous agency. I argue that such views face a number of underappreciated problems: they have trouble making sense of how autonomous agents could be robustly responsible for their choices, face the burden of explaining why there should be a stark distinction between the importance of factual and evaluative information within autonomous agency, and leave it mysterious why autonomy is the sort of thing that has (...) value and ought to be promoted. Moreover, I argue that the alternative view that includes substantive rational capacities need not have the unacceptable political implications it is sometimes thought to have. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and (...) physiology, which are examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

We investigate the formal cause of diagrams, initially realizing that diagrams have no obvious form. It is argued their form is to mimic expert perspectives. This perspective provides a organizational structure that represents the relations important in understanding the worldly situation. We then shift to a study of how we are to understand an expert perspective. Using the distinction between intuitive and formal logic, logica utens versus logica docens, we identify games of habituation: games of focus and (...) distraction. The skills required for games of focus and distraction are phenomenological in regulating the way we see, i.e., how we approach and analyze different situations. This unique phenomenological skill is characteristic of diagrammatic reasoning. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...) and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

Etiquette and other merely formal normative standards like legality, honor, and rules of games are taken less seriously than they should be. While these standards are not intrinsically reason-providing in the way morality is often taken to be, they also play an important role in our practical lives: we collectively treat them as important for assessing the behavior of ourselves and others and as licensing particular forms of sanction for violations. This chapter develops a novel account of the normativity (...) of formal standards where the role they play in our practical lives explains a distinctive kind of reason to obey them. We have this kind of reason to be polite because etiquette is important to us. We also have this kind of reason to be moral because morality is important to us. This parallel suggests that the importance we assign to morality is insufficient to justify it being substantive. (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)

We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. We advocate a clear distinction of the four kinds of (...) representation in order to provide a more rational basis for using ontologies and related artifacts to advance integration of data and enhance interoperability of associated reasoning systems. We highlight the fact that only a minor portion of scientifically relevant facts in a domain such as biomedicine can be adequately represented by formal ontologies as long as the latter are conceived as representations of entity types. In particular, the attempt to encode default or probabilistic knowledge using ontologies so conceived is prone to produce unintended, erroneous models. (shrink)

In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...) naturalistic perspective, and formalizing it seems to be a way to strengthen its scientificity. The paper shows that, on the contrary, those directions of research may be seen as conflicting, since the conception of knowledge on which they rest may be undermined by the consequences of accepting an evolutionary perspective. (shrink)

The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and (...) object-pieces, but also relations between what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

Reasons-based accounts of our normative conclusions face difficulties in distinguishing between what ought to be done and what is required. This article addresses this problem from a formal perspective. I introduce a rudimentary formalization of a reasons-based account and demonstrate that that the model faces difficulties in accounting for the distinction between oughts and requirements. I briefly critique attempts to distinguish between oughts and requirements by appealing to a difference in strength or weight of reasons. I then present (...) a formalized reasons-based account of permissions, oughts and requirements. The model exploits Joshua Gert (2004; 2007) and Patricia Greenspan’s (2005; 2007; 2010) suggestion that some reasons perform a purely justificatory function. I show that the model preserves the standard entailment relationships between requirements, oughts and permissions. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...) longer play a distinctive role. This account employs a new notion of semantic. (shrink)

Abstract -/- Before Descartes, middle age philosophers like Thomas Aquinas (1225-1274), Duns Scotus (1266-1308), and Francisco Suarez (1548-1617) used to discuss the distinction between essence and existence in three ways (of course, Ibn-Sina was the first who made this distinction to rehabilitate Aristotelian philosophy in the Islamic heritage). Descartes was aware of that, but discussed it according to the relation between mind and body. Yet, he told us many times that he was used to separate essence from existence (...) in metaphysical issues. The objective of this paper is first to rephrase his untold opinion about the relation between essence and existence on the basis of his conception of the problem of distinction according to mind and body, and second, to disclose that Descartes's conception of existence is twofold. At the end, it is claimed that his twofold notion of existence and his inability to overcome it, is the principal factor in his failure to explicate everything according to first principles, and so in his failure to defeat skepticism. (shrink)

A speculative exploration of the distinction between a relational formal ontology and a classical formal ontology for modelling phenomena in nature that exhibit relationally-mediated wholism, such as phenomena from quantum physics and biosemiotics. Whereas a classical formal ontology is based on mathematical objects and classes, a relational formal ontology is based on mathematical signs and categories. A relational formal ontology involves nodal networks (systems of constrained iterative processes) that are dynamically sustained through signalling. The (...) nodal networks are hierarchically ordered and exhibit characteristics of deep learning. Clarifying the distinction between classical and relational formal ontologies may help to clarify the role of interpretative context in physics (eg. the role of the observer in quantum theory). (shrink)

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

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)

In his book, History as a Science and the System of the Sciences, Thomas Seebohm articulates the view that history can serve to mediate between the sciences of explanation and the sciences of interpretation, that is, between the natural sciences and the human sciences. Among other things, Seebohm analyzes history from a phenomenological perspective to reveal the material foundations of the historical human sciences in the lifeworld. As a preliminary to his analyses, Seebohm examines the formal and material presuppositions (...) of phenomenological epistemology, as well as the emergence of the human sciences and the traditional distinctions and divisions that are made between the natural and the human sciences. -/- As part of this examination, Seebohm devotes a section to discussing Husserl’s formal mereology because he understands that a reflective analysis of the foundations of the historical sciences requires a reflective analysis of the objects of the historical sciences, that is, of concrete organic wholes (i.e., social groups) and of their parts. Seebohm concludes that Husserl’s mereological ontology needs to be altered with regard to the historical sciences because the relations between organic wholes and their parts are not summative relations. Seebohm’s conclusion is relevant for the issue of the reducibility of organic wholes such as social groups to their parts and for the issue of the reducibility of the historical sciences to the lower-order sciences, that is, to the sciences concerned with lower-order ontologies. -/- In this paper, I propose to extend Seebohm’s conclusion to the ontology of chemical wholes as object of quantum chemistry and to argue that Husserl’s formal mereology is descriptively inadequate for this regional ontology as well. This may seem surprising at first, since the objects studied by quantum chemists are not organic wholes. However, my discussion of atoms and molecules as they are understood in quantum chemistry will show that Husserl’s classical summative and extensional mereology does not accurately capture the relations between chemical wholes and their parts. This conclusion is relevant for the question of the reducibility of chemical wholes to their parts and of the reducibility of chemistry to physics, issues that have been of central importance within the philosophy of chemistry for the past several decades. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composed of matter and form. If a house is a substance, then its matter would be a collection of bricks and timbers, and its form is something like the structure of those bricks and timbers. It is widely agreed that matter bears a mereological relationship to substance; the bricks and timbers are parts of the house. But with form things are more controversial. Is the structure of the bricks and timbers (...) best conceived as a part of the house, or is it related to the house in some non‐mereological fashion? Kathrin Koslicki argues that substances have formal parts and that forms are best conceived as bearing a mereological relation to substances. This paper shows that her argument fails, given the traditional and plausible distinction between substances and accidental unities. I close with a brief suggestion for a non‐mereological construal of forms. (shrink)

The standard model of precedential constraint holds that a court is equally free to modify a precedent of its own and a precedent of a superior court—overruling aside, it does not differentiate horizontal and vertical precedents. This paper shows that no model can capture the U.S. doctrine of precedent without making that distinction. A precise model is then developed that does just that. This requires situating precedent cases in a formal representation of a hierarchical legal structure, and adjusting (...) the constraint that a precedent imposes based on the relationship of the precedent court and the instant court. The paper closes with suggestions for further improvements of the model. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to (...) philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

In this text I propose a formal framework for the study of phenomenal objectness - the distinction in an a priori undifferenciated experience of the phenomenal field of certain 'objects'. The purpose of this framework is to represent (even partially) the reality of phenomenal experience in its structure (which participates conceptually to consciousness as such) and at the same time to allow the production of a tractable formalism in order to search for a mathematical explanation for the fundamental (...) phenomenon of objectness. The constitution of this framework is based on intuitions from consciousness literature as well as the recent integrated information theory. Before coming to the framework's definition, I analyse this theory from the point of view of the discourse, through concepts that I introduce here (statical and dynamical phases of the discourse), and explain some severe epistemic difficulties it encounters. The definition of a general combination criterion for the inter-discourse between philosophy and mathematics (which is necessary for the project of explaining consciousness scientifically) in these terms leads in this text to disentangle this theory into the proposed framework. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

This publication defends a phenomenalist interpretation of Kant’s idealism, which, however, deviates from usual phenomenalist interpretations in several respects. According to my reading, appearances are the content of representations, but not the true object of cognition. The object to which our cognition refers is rather the thing itself as the transcendental object. Nonetheless, we only cognize them as they appear and not as they are in themselves. Thus the unknowability of things as they are in themselves is retained. In the (...) course of my presentation, I discuss a number of aspects of Kant’s philosophy, among which are the distinction between appearances and things in themselves, Kant’s relationship to Cartesian epistemology, the refutation of idealism, and not least his theory of synthesis. My aim is not only to show that Kant is a phenomenalist, but also to characterize the kind of his phenomenalism. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order (...) to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

The mapping of numbers onto space is fundamental to measurement and to mathematics. Is this mapping a cultural invention or a universal intuition shared by all humans regardless of culture and education? We probed number-space mappings in the Mundurucu, an Amazonian indigene group with a reduced numerical lexicon and little or no formal education. At all ages, the Mundurucu mapped symbolic and nonsymbolic numbers onto a logarithmic scale, whereas Western adults used linear mapping with small or symbolic numbers and (...) logarithmic mapping when numbers were presented nonsymbolically under conditions that discouraged counting. This indicates that the mapping of numbers onto space is a universal intuition and that this initial intuition of number is logarithmic. The concept of a linear number line appears to be a cultural invention that fails to develop in the absence of formal education. (shrink)

The Formalist tradition in late-scholastic philosophy has gone unnoticed in standard historiography. This article’s overall objective is to add the Formalist tradition to what we know about Renaissance philosophy. I first show how the Formalist tradition was born out of some innovative considerations of hierarchies of distinctions in the wake of the Franciscan John Duns Scotus’s teaching on the formal distinction in the beginning of the fourteenth century (especially Francis of Meyronnes’s model of four distinctions and Petrus Thomae’s (...) more elaborate doctrine of seven kinds of distinctions). I then trace how Formalist literature developed from being an exclusively Franciscan affair to becoming a much more widespread phenomenon. Thus, from the decades up to 1500 and onwards, authors from various late-scholastic schools (Thomism, Lullism, Averroism, and others) produced Formalist literature, i.e., treatises on multiple kinds of distinctions. I highlight particularly how one Franciscan philosopher of the sixteenth century, Jean Du Douet, proposed to view the Formalist preoccupation with distinctions as a discipline in its own right, a proper scientia formalitatum. I finally argue that while this proposal met with dismissive reactions, Du Douet’s idea does in fact reflect the role Formalism played in the scholastic curriculum in the late sixteenth century, at least in Franciscan milieus. (shrink)

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This thesis (...) is supported by examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

We propose that the restrictive/non restrictive distinction found in relative clauses corresponds to the Inalienable vs Alienable distinction of the Nominal Possessive constructions. We propose to extend this distinction to adjectives suggesting that is not construction specific.

This chapter uncovers a less investigated aspect of the relationship between the two most important scholastic schools of the Renaissance, Thomism and Scotism: the influence of Scotist literature on distinctions as seen in some sixteenth-century Thomists. The chapter has a primary focus on Chrysostomus Javelli’s engagement in his discussion of divine attributes with the Scotist doctrine of distinctions, but also considers other Thomist sources. First, the beginnings of the highly specialised Scotist literature on distinctions are traced back to the start (...) of the fourteenth century; I show how some early followers of Duns Scotus, in particular Francis of Meyronnes and Petrus Thomae, systematised Scotus’ ontology of the various grades of being by compiling lists of subtle distinctions to be applied to various levels of reality. I give some indications as to the later reception of these models of distinctions in the Scotist school. Special attention is paid to Étienne Brulefer, since his summary of Petrus Thomae’s model of seven distinctions was Javelli’s source for the Scotist doctrine. I then investigate how Javelli worked with Brulefer’s summary, and how he sought to integrate the Scotist doctrine into his own discussion of divine attributes. Thomists traditionally allowed only a rational or mental kind of distinction among divine attributes, and between them and the divine essence. Javelli, however, endeavours to show how the Thomist position may be reconciled with the Scotist doctrine of a formal or ex natura rei distinction. He did not always endorse this conciliatory approach; I hypothesise that he changed his mind on the subject over time. Finally, I show how other Renaissance Thomists reacted to the Scotist system of distinctions; in particular, I draw attention to the Thomists Andreas Bodenstein von Karlstadt, Bartolomeo Manzoli, and Mattia Gibboni da Aquario, who all wrote treatises on Thomist distinction theory modelled on the Scotist system of distinctions. In some of this literature, lists of distinctions based on Thomist metaphysics were compiled in order to replace the Scotist system. I argue that Javelli’s approach is more conciliatory and, in fact, has some overlap with the concordist thought of Giovanni Pico della Mirandola, who himself considered Scotus and Aquinas to be in fundamental agreement as regards the distinction between divine attributes. (shrink)

One of the hottest philosophical debates in recent years concerns the nature of the semantics/pragmatics divide. Some writers have expressed the reserve that this might be merely terminological, but in my view it ultimately concerns a substantive issue with empirical implications: the scope and limits of a serious scientific undertaking, formal semantics. In this critical note I discuss two arguments by Recanati: his main methodological argument --viz. that the contents posited by what he calls 'literalists' play no relevant role (...) in communication--, and some phenomenological considerations regarding the "Availability Principle" that he appeals to in order to buttress that main argument. /// Uno de los más encarnizados debates filosóficos recientes atañe a la naturaleza de la distinción entre semántica y pragmática. Aunque algunos autores han expresado reservas en el sentido de que èste pudiera ser sólo terminológico, en mi opinión tiene que ver con una cuestión sustantiva con implicaciones empíricas: el alcance y los límites de una empresa científica seria, la semántica formal. En este texto discuto dos argumentos de Recanati: su principal argumento metodológico, que los contenidos postulados por los autores que él denomina "literalistas" no desempeñan ningùn papel relevante en la comunicación, y, en segundo lugar, ciertas consideraciones fenomenológicas en torno a su "Principio de Accesibilidad", a las cuales apela para apoyar el argumento metodológico. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and (...) One over Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests calling pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different parts (...) or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models. (shrink)

We argue that P. F. Strawson's hugely influential account of moral responsibility in ‘Freedom and Resentment’ (FR) is inextricably bound up with his barely known account of morality in ‘Social Morality and Individual Ideal’ (SMII). Reading FR through the lens of SMII has at least three far-reaching implications. First, the ethics–morality distinction in SMII gives content to Strawson's famous distinction between personal and moral reactive attitudes, which has often been thought to be a merely formal distinction. (...) Second, the ethics–morality distinction sheds light on the scope of moral responsibility in FR, which is narrower than commentators think. Third, Strawson's discussion of morality shows that he was not insensitive to issues of power, as several critics have claimed. The link between morality and power helps to make clear that Strawson allows for criticism of our moral responsibility practices. (shrink)

Pantheists are often accused of lacking a sufficient account of the unity of the cosmos and its supposed priority over its many parts. I argue that complex theists, those who think that God has ontologically distinct parts or attributes, face the same problems. Current proposals for the metaphysics of complex theism do not offer any greater unity or ontological independence than pantheism, since they are modeled on priority monism. I then discuss whether the formal distinction of John Duns (...) Scotus offers a way forward for complex theists. I show that only those classical theists who affirm divine simplicity are better off with respect to aseity and unity than pantheists. Only proponents of divine simplicity can fairly claim to have found a fully independent ultimate being. (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction (...) of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

I respond to Ferrero’s comments on “What are Conditional Intentions?” in three parts. In the first, I address three arguments Ferrero gives for his account and against mine, the argument from requirement of a formal distinction, the argument from continuity, and the argument from the rational pressures of intention. In the second, I raise some problems for Ferrero’s views on the basis drawing out its consequences and testing those against cases. In the third, I consider in a more (...) theoretical vein how reasons and intentions are related, and offer an explanation of why we should not read reasons for intentions into their contents. (shrink)

In this paper we present the elaborate critique of German Thomistic philosopher Gustav Siewerth against the metaphysics of John Duns Scotus. Siewerth sees in the univocity of being, the formal distinction and the logical point-of-departure of Scotus’ metaphysics the beginning of the ‘forgetfulness-of-being’ between Thomas Aquinas and Martin Heidegger. He argues that Scotus by seeking the condition of possibility of metaphysis bases this science on logic, rather than on reality and by univocally attributing a concept of being to (...) creator and creation fosters in the primacy of thought over being and potency over act. Due to the re-configuration of being by altering the relation of esse and essentia, Siewerth detects a plethora of effects for metaphysics, which he deems as fateful and ultimately leading to metaphysics as merely a transcendental science culminating in German idealism. Siewerth concludes that Scotus thereby paves the way for the separation of subject and object which befalls modern philosophy. (shrink)

Governments standardly deploy a distinction between goods and services in assessing economic health and tracking national income statistics, of which medical goods and services carry significant importance. In what follows we draw on Basic Formal Ontology (BFO) to introduce a third kind of entity called patterns, which help capture the various ways in which goods and services are intertwined and help also to show how many services generate a new kind of non-goods-related products. Patterns are an overlooked yet (...) essential features of many economic sectors including medicine. Studying patterns offers new insights into various components of economic analysis, including outcomes-oriented evaluations of medical services and the value of human capital in the medical sphere. (shrink)

The distinction between the semantic content of a sentence or utterance and its use is widely employed in formal semantics. Semantic minimalism in particular understands this distinction as a sharp dichotomy. I argue that if we accept such a dichotomy, there would be no reason to posit the existence of semantic contents at all. I examine and reject several arguments raised in the literature that might provide a rationale for assuming semantic contents, in this sense, exist, and (...) conclude that Ockham’s razor should be applied to these postulated entities. Since the notion of “semantic content” doubles both as what a semantic theory is a priori supposed to account for and as the product of that same theory, it is methodologically unsound to appeal to this notion to fend off criticisms of and counterexamples to semantic theories. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide (...) boundaries yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called (...) classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

ABSTRACT This article distinguishes nine senses of polarization and provides formal measures for each one to refine the methodology used to describe polarization in distributions of attitudes. Each distinct concept is explained through a definition, formal measures, examples, and references. We then apply these measures to GSS data regarding political views, opinions on abortion, and religiosity—topics described as revealing social polarization. Previous breakdowns of polarization include domain-specific assumptions and focus on a subset of the distribution’s features. This has (...) conflated multiple, independent features of attitude distributions. The current work aims to extract the distinct senses of polarization and demonstrate that by becoming clearer on these distinctions we can better focus our efforts on substantive issues in social phenomena. (shrink)