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)

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 his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...) this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

The paper provides both a description of conspiracy beliefs and an insight into their cultural significance. On one side, it highlights their specific formal features, on the other, and this constitutes its peculiarity in the recent literature on the topic, it considers them within the broader genre of general conceptual beliefs, whose main characteristics are weak methodology and logical structure, strong affective and dispositional constraints, epistemic closure and mauvaise foi, and whose main function is practical and self-representative (not epistemic). The (...) paper also claims that political theory and social sciences had some influence in legitimizing certain ideas and stereotypes that are exacerbated in conspiracy beliefs, while other te(le)ological conceptions, such as finalism and providence, may be an important source of ideas that turn out to be widely spread in contemporary criticism towards those same beliefs. (shrink)

One of the main motivations for having a compositional semantics is the account of the productivity of natural languages. Formal languages are often part of the account of productivity, i.e., of how beings with finite capaci- ties are able to produce and understand a potentially infinite number of sen- tences, by offering a model of this process. This account of productivity con- sists in the generation of proofs in a formal system, that is taken to represent the way speakers grasp (...) the meaning of an indefinite number of sentences. The informational basis is restricted to what is represented in the lexicon. This constraint is considered as a requirement for the account of productivity, or at least of an important feature of productivity, namely, that we can grasp auto- matically the meaning of a huge number of complex expressions, far beyond what can be memorized. However, empirical results in psycholinguistics, and especially particular patterns of ERP, show that the brain integrates informa- tion of different sources very fast, without any felt effort on the part of the speaker. This shows that formal procedures do not explain productivity. How- ever, formal models are still useful in the account of how we get at the seman- tic value of a complex expression, once we have the meanings of its parts, even if there is no formal explanation of how we get at those meanings. A practice-oriented view of modeling gives an adequate interpretation of this re- sult: formal compositional semantics may be a useful model for some ex- planatory purposes concerning natural languages, without being a good model for dealing with other explananda. (shrink)

The naive idea of a mimesis between theory and experiments, a concept still lasing in many epistemologies, is here substituted by a more sophisticated mathematical methexis where theoretical physics is a system of production of formal structures under strong mathematical constraints, such as global and local symmetries. Instead of an ultimate “everything theory”, the image of physical theories here proposed is a totality of interconnected structures establishing the very conditions of its “thinkability” and the relations with the experimental domain.

The aim of the present paper is to offer an interpretation of the Rawlsian original position coherent with its own theory of justice. An evaluation of the aforementioned mechanism is presented. Afterwards, in light of it, a solution of the existing overlapping between its elements is offered. The solution is to consider the formal constraints as «partial conclusions», excluding them from the original position. The original position, as an «intermediate stage» aimed at representing the philosophical foundations of Rawls's theory in (...) a way that could provide the deduction of the principles of justice, cannot include straightforwardly any characteristic of those principles, not even the formal ones. The remainder of the elements of the original position (the idea of a contract, the circumstances of justice, the veil of ignorance and the rationality of the parties), acting conjointly, allow for the deduction of the formal constraints themselves. In addition, they also engender the same effects on the exclusion of egoism as a proposal of principles of justice. (shrink)

Formally-inclined epistemologists often theorize about ideally rational agents--agents who exemplify rational ideals, such as probabilistic coherence, that human beings could never fully realize. This approach can be defended against the well-know worry that abstracting from human cognitive imperfections deprives the approach of interest. But a different worry arises when we ask what an ideal agent should believe about her own cognitive perfection (even an agent who is in fact cognitively perfect might, it would seem, be uncertain of this fact). Consideration (...) of this question reveals an interesting feature of the structure of our epistemic ideals: for agents with limited information, our epistemic ideals turn out to conflict with one another. (shrink)

Evidence hierarchies are widely used to assess evidence in systematic reviews of medical studies. I give several arguments against the use of evidence hierarchies. The problems with evidence hierarchies are numerous, and include methodological shortcomings, philosophical problems, and formal constraints. I argue that medical science should not employ evidence hierarchies, including even the latest and most-sophisticated of such hierarchies.

The most immediately appealing model for formal constraints on degrees of belief is provided by probability theory, which tells us, for instance, that the probability of P can never be greater than that of (P v Q). But while this model has much intuitive appeal, many have been concerned to provide arguments showing that ideally rational degrees of belief would conform to the calculus of probabilities. The arguments most frequently used to make this claim plausible are the so-called "Dutch Book" (...) arguments. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines (...) deRosset’s challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

The guise of the good thesis can be understood as an attempt to distinguish between human motivations that are intelligible as desires and those that are not. I propose, first, that we understand the intelligibility at stake here as the kind necessary for the experience of reactive attitudes, both negative and positive, to the behavior and motivations of an agent. Given this, I argue that the thesis must be understood as proposing substantive content restrictions on how human agents perceive objects (...) of their desires; it cannot be a purely formal constraint. Moreover, while proponents of the guise of the good thesis who posit substantive content restrictions on human desire are right to do so, they are mistaken to claim that we always desire the apparently good. Instead, I propose a different limit: the naturally attractive. This alternative to the guise of the good thesis nonetheless captures the compelling idea that human desires are intelligent, quasi-perceptual responses to the world. (shrink)

This article begins with the claim that the Formula of Universal Law, interpreted as a test of the deontic status of actions, can't be made to work. If not, then one might wonder whether what other work it might do in the overall economy of Kant's ethics. I defend what I call the "formal constraint" interpretation of FUL, explaining how it can figure in a defense of the Formula of Humanity, and its psychological significance in moral thinking.

God is dead, but, contrary to Nietzsche’s diagnosis, ‘we’ didn’t kill him; he died of cancer. This perhaps crudely cold and off-putting opening does not refer to a naively metaphorically constituted transcendental abstraction, but to a spatio-temporally situated rock legend, Ronnie James Dio. This study aims at contributing to the burgeoning research field of memory and collective identity by providing a sociosemiotic account of the formation of collective narrative identity. By drawing on the three major categories whereby collective memory is (...) formed, that is artifacts, processes, places, as well as on the three key sociosemiotic metafunctions which are responsible for shaping a cultural event as sign system, the pursued interpretive route seeks to effectively contextualize how collective memory is fleshed out situationally in the context of Dio’s memorial. At the same time, by expanding the interpretive canvass to incorporate phenomenological perspectives on the mode of formation of collective memory, the offered analytic is intent on tracing invisible structures that point to operative mechanisms beyond the formal constraints of a sociosemiotic reading. Both phenomenological and sociosemiotic approaches are reinscribed within an overarching narrativity paradigm, wherein their relative merits in addressing the scrutinized phenomenon are discussed in an attempt to formulate a hybrid sociosemiotic phenomenological perspective of memorial events. (shrink)

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading in terms of (...) dependence of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (shrink)

Much recent cognitive neuroscientific work on body knowledge is representationalist: “body schema” and “body images”, for example, are cerebral representations of the body (de Vignemont 2009). A framework assumption is that representation of the body plays an important role in cognition. The question is whether this representationalist assumption is compatible with the variety of broadly situated or embodied approaches recently popular in the cognitive neurosciences: approaches in which cognition is taken to have a ‘direct’ relation to the body and to (...) the environment. A “direct” relation is one where the boundaries between the body and the head, or between the environment and the animal are not theoretically important in the understanding of cognition. These boundaries do not play a theoretically privileged role in cognitive explanations of behavior. But representationalism appears to put a representational veil between the locus of cognition and that which is represented, making cognitive relations to the body and to the environment be indirect, with a high associated computational load. For this reason, direct approaches have tried to minimize the use of internal representations (Suchman 1987; Barwise 1987; Agre and Chapman 1987; Brooks 1992; Thelen and Smith 1994; van Gelder 1995; Port and van Gelder 1995; Clark 1997, 1999; Rupert 2009, p. 180). Does a cognitive neuroscience committed to direct relations rule out a representationalist approach to body knowledge? Or is direct representationalism possible? (shrink)

Non-Consequentialist moral theories posit the existence of moral constraints: prohibitions on performing particular kinds of wrongful acts, regardless of the good those acts could produce. Many believe that such theories cannot give satisfactory verdicts about what we morally ought to do when there is some probability that we will violate a moral constraint. In this article, I defend Non-Consequentialist theories from this critique. Using a general choice-theoretic framework, I identify various types of Non-Consequentialism that have otherwise been conflated in (...) the debate. I then prove a number of formal possibility and impossibility results establishing which types of Non-Consequentialism can -- and which cannot -- give us adequate guidance through through a risky world. (shrink)

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (shrink)

A formal theory of oppositions and opposites is proposed on the basis of a non- Fregean semantics, where opposites are negation-forming operators that shed some new light on the connection between opposition and negation. The paper proceeds as follows. After recalling the historical background, oppositions and opposites are compared from a mathematical perspective: the first occurs as a relation, the second as a function. Then the main point of the paper appears with a calculus of oppositions, by means of a (...) non-Fregean semantics that redefines the logical values of various sorts of sentences. A num- ber of topics are then addressed in the light of this algebraic semantics, namely: how to construct value-functional operators for any logical opposition, beyond the classical case of contradiction; Blanché's "closure problem", i.e., how to find a complete structure connecting the sixteen binary sentences with one another. All of this is meant to devise an abstract theory of opposition: it encompasses the relation of consequence as subalternation, while relying upon the use of a primary "proto- negation" that turns any relatum into an opposite. This results in sentential negations that proceed as intensional operators, while negation is broadly viewed as a difference-forming operator without special constraints on it. (shrink)

This article explores the usefulness of interdisciplinarity as method of enquiry by proposing an investigation of the concept of information in the light of semiotics. This is because, as Kull, Deacon, Emmeche, Hoffmeyer and Stjernfelt state, information is an implicitly semiotic term (Biological Theory 4(2):167–173, 2009: 169), but the logical relation between semiosis and information has not been sufficiently clarified yet. Across the history of cybernetics, the concept of information undergoes an uneven development; that is, information is an ‘objective’ entity (...) in first order cybernetics, and becomes a ‘subjective’ entity in second order cybernetics. This contradiction relegates the status of information to that of a ‘true’ or ‘false’ formal logic problem. The present study proposes that a solution to this contradiction can be found in Deely’s reconfiguration of Peirce’s ‘object’ (as found in his triadic model of semiosis) into ‘thing’ and ‘object’ (Deely 1981). This ontology allows one to argue that information is neither ‘true’ nor ‘false’, and to suggest that, when considered in light of its workability, information can be both true and false, and as such it constitutes an organism’s purely objective reality (Deely 2009b). It is stated that in the process of building such a reality, information is ‘motivated’ by environmental, physiological, emotional (including past feelings and expectations) constraints which are, in turn, framed by observership. Information is therefore found in the irreducible cybersemiotic process that links at once all these conditions and that is simultaneously constrained by them. The integration of cybernetics’ and semiotics’ understanding of information shows that history is the analytical principle that grants scientific rigour to interdisciplinary investigations. As such, in any attempt to clarify its epistemological stance (e.g. the semiotic aspect of information), it is argued that biosemiotics does not need only to acknowledge semiotics (as it does), but also cybernetics in its interdisciplinary heritage. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...) models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

Complex constraints like conditionals ('If A, then B') and probabilistic constraints ('The probability that A is p') pose problems for Bayesian theories of learning. Since these propositions do not express constraints on outcomes, agents cannot simply conditionalize on the new information. Furthermore, a natural extension of conditionalization, relative information minimization, leads to many counterintuitive predictions, evidenced by the sundowners problem and the Judy Benjamin problem. Building on the notion of a `paradigm shift' and empirical research in psychology and economics, I (...) argue that the model of hypothesis testing can explain how people learn complex, theory-laden propositions like conditionals and probability constraints. Theories are formalized as probability distributions over a set of possible outcomes and theory change is triggered by a constraint which is incompatible with the initial theory. This leads agents to consult a higher order probability function, or a 'prior over priors,' to choose the most likely alternative theory which satisfies the constraint. The hypothesis testing model is applied to three examples: learning a simple probabilistic constraint involving coin bias, the sundowners problem for conditional learning, and the Judy Benjamin problem for learning conditional probability constraints. (shrink)

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

Modern semiotics is a branch of logics that formally defines symbol-based communication. In recent years, the semiotic classification of signs has been invoked to support the notion that symbols are uniquely human. Here we show that alarm-calls such as those used by African vervet monkeys (Cercopithecus aethiops), logically satisfy the semiotic definition of symbol. We also show that the acquisition of vocal symbols in vervet monkeys can be successfully simulated by a computer program based on minimal semiotic and neurobiological constraints. (...) The simulations indicate that learning depends on the tutor-predator ratio, and that apprentice-generated auditory mistakes in vocal symbol interpretation have little effect on the learning rates of apprentices (up to 80% of mistakes are tolerated). In contrast, just 10% of apprentice-generated visual mistakes in predator identification will prevent any vocal symbol to be correctly associated with a predator call in a stable manner. Tutor unreliability was also deleterious to vocal symbol learning: a mere 5% of “lying” tutors were able to completely disrupt symbol learning, invariably leading to the acquisition of incorrect associations by apprentices. Our investigation corroborates the existence of vocal symbols in a non-human species, and indicates that symbolic competence emerges spontaneously from classical associative learning mechanisms when the conditioned stimuli are self-generated, arbitrary and socially efficacious. We propose that more exclusive properties of human language, such as syntax, may derive from the evolution of higher-order domains for neural association, more removed from both the sensory input and the motor output, able to support the gradual complexification of grammatical categories into syntax. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

In contrast to a stereotypical account of Indian philosophy that are entailments of the interpreter’s beliefs (an approach that violates basic standards of reason), an approach to Indian philosophy grounded on the constraints of formal reason reveals not only a wide spread disagreement on dharma (THE RIGHT OR THE GOOD), but also a pervasive commitment to the practical foundation of life’s challenges. The flip side of this practical orientation is the criticism of ordinary experience as erroneous and reducible to the (...) agent’s mental states. If we ignore the background practical orientation in Indian philosophy, this seems not like an error theory, that I call Ironic Idealism, but as a defense of idealism. I consider salient candidates for Indian Idealism (Advaita Vedānta, Yogācāra Buddhism, Kāśmīra Śaivism and the Yogavāsiṣṭha) and note that these positions continue a theme in Indian philosophy of articulating Ironic Idealism. Ironic Idealism depends upon the very Indian distinction between ultimate and provisional truth, and Ironic Idealism criticizes the mundane, provisional sort of "truth" as psychological and mental --- and ultimately false. Interpretation, the common approach to the study of Indian philosophy, is an example of what Ironic Idealism criticizes. This explains why authors incorrectly find Idealism everywhere in Indian thought. (shrink)

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...) is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

In this paper I suggest ways in which vision theory and psychology of perception may illuminate our understanding of beauty. I identify beauty as a phenomenon which is (i) ineffable, (ii) subjectively universal (intersubjective), and (iii) manifested in objects as formal structure. I present a model of perception by which I can identify a representation whose underlying principles would explain these features of beauty. The fact that these principles underlie the representation rather than constitute the content of representation, provides an (...) explanation for the ineffability and subjective universality of the perception of beauty in the form of objects. In part one, I set out two models of perception conducive to this approach. In part two, I suggest how such theories can offer a way of explaining and understanding the experience of beauty. (shrink)

By extending Husserl’s own historico-critical study to include the conceptual mathematics of more contemporary times – specifically category theory and its emphatic development since the second half of the 20th century – this paper claims that the delineation between mathematics and philosophy must be completely revisited. It will be contended that Husserl’s phenomenological work was very much influenced by the discoveries and limitations of the formal mathematics being developed at Göttingen during his tenure there and that, subsequently, the rôle he (...) envisaged for his material a priori science is heavily dependent upon his conception of the definite manifold. Motivating these contentions is the idea of a mathematics which would go beyond the constraints of formal ontology and subsequently achieve coherence with the full sense of transcendental phenomenology. While this final point will be by no means proven within the confines of this paper it is hoped that the very fact of opening up for the possibility of such an idea will act as a supporting argument to the overriding thesis that the relationship between mathematics and phenomenology must be problematised. (shrink)

Structural idealism uses formal and computational techniques to describe an idealist ontology composed of God and a set of finite minds. A finite mind is a system of private intentional worlds. An intentional world is a connectionist hierarchy of intentional objects (propositions, concepts, sensible things, sensations). Intentional objects, similar to Leibnizian monads, are computing machines. To escape the egocentric predicament, Leibnizian relations of (in)compossibility exist between finite minds, linking them together into a constraint-satisfaction network, thereby coordinating their private intentional (...) worlds. (shrink)

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, (...) we gather lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

This paper aims to better motivate the naturalization of metaphysics by identifying and criticizing a class of theories I call ’free range metaphysics’. I argue that free range metaphysics is epistemically inadequate because the constraints on its content—consistency, simplicity, intuitive plausibility, and explanatory power—are insufficiently robust and justificatory. However, since free range metaphysics yields clarity-conducive techniques, incubates science, and produces conceptual and formal tools useful for scientifically engaged philosophy, I do not recommend its discontinuation. I do recommend, however, ending the (...) discipline’s bad faith. That is, I urge that free range metaphysics not be taken to have fully satisfactory epistemic credentials over and above its pragmatic ones. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adheres to all (...) three principles. The point here is not merely to provide a “possibility proof”, but to reveal the hard constraints on the theory of quotation, and to highlight certain assumptions at the syntax/semantics/post-semantics interfaces. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

An organizing theme of the dissertation is the issue of how to make philosophical theories useful for scientific purposes. An argument for the contention is presented that it doesn’t suffice merely to theoretically motivate one’s theories, and make them compatible with existing data, but that philosophers having this aim should ideally contribute to identifying unique and hard to vary predictions of their theories. This methodological recommendation is applied to the ranking-theoretic approach to conditionals, which emphasizes the epistemic relevance and the (...) expression of reason relations as part of the semantics of the natural language conditional. As a first step, this approach is theoretically motivated in a comparative discussion of other alternatives in psychology of reasoning, like the suppositional theory of conditionals, and novel approaches to the problems of compositionality and accounting for the objective purport of indicative conditionals are presented. In a second step, a formal model is formulated, which allows us to derive quantitative predictions from the ranking-theoretic approach, and it is investigated which novel avenues of empirical research that this model opens up for. Finally, a treatment is given of the problem of logical omniscience as it concerns the issue of whether ranking theory (and other similar approaches) makes too idealized assumptions about rationality to allow for interesting applications in psychology of reasoning. Building on the work of Robert Brandom, a novel solution to this problem is presented, which both opens up for new perspectives in psychology of reasoning and appears to be capable of satisfying a range of constraints on bridge principles between logic and norms of reasoning, which would otherwise stand in a tension. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really (...) local? - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

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

In this paper we show how a realistic normative democratic theory can work within the constraints set by the most pessimistic empirical results about voting behaviour and elite capture of the policy process. After setting out the empirical evidence and discussing some extant responses by political theorists, we argue that the evidence produces a two-pronged challenge for democracy: an epistemic challenge concerning the quality and focus of decision-making and an oligarchic challenge concerning power concentration. To address the challenges we then (...) put forward three main normative claims, each of which is compatible with the evidence. We start with a critique of the epistocratic position commonly thought to be supported by the evidence. We then introduce a qualified critique of referenda and other forms of plebiscite, and an outline of a tribune-based system of popular control over oligarchic influence on the policy process. Our discussion points towards a renewal of democracy in a plebeian but not plebiscitarian direction: Attention to the relative power of social classes matters more than formal dispersal of power through voting. We close with some methodological reflections about the compatibility between our normative claims and the realist program in political philosophy. (shrink)

Conceptual combination performs a fundamental role in creating the broad range of compound phrases utilised in everyday language. This article provides a novel probabilistic framework for assessing whether the semantics of conceptual combinations are compositional, and so can be considered as a function of the semantics of the constituent concepts, or not. While the systematicity and productivity of language provide a strong argument in favor of assuming compositionality, this very assumption is still regularly questioned in both cognitive science and philosophy. (...) Additionally, the principle of semantic compositionality is underspecifi ed, which means that notions of both "strong" and "weak" compositionality appear in the literature. Rather than adjudicating between different grades of compositionality, the framework presented here contributes formal methods for determining a clear dividing line between compositional and non-compositional semantics. In addition, we suggest that the distinction between these is contextually sensitive. Compositionality is equated with a joint probability distribution modeling how the constituent concepts in the combination are interpreted. Marginal selectivity is introduced as a pivotal probabilistic constraint for the application of the Bell/CH and CHSH systems of inequalities. Non-compositionality is equated with a failure of marginal selectivity, or violation of either system of inequalities in the presence of marginal selectivity. This means that the conceptual combination cannot be modeled in a joint probability distribution, the variables of which correspond to how the constituent concepts are being interpreted. The formal analysis methods are demonstrated by applying them to an empirical illustration of twenty-four non-lexicalised conceptual combinations. (shrink)

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...) from that model theory, one of which I will find to be more plausible than the other. (shrink)

According to the `grammatical account', scalar implicatures are triggered by a covert exhaustification operator present in logical form. This account covers considerable empirical ground, but there is a peculiar pattern that resists treatment given its usual implementation. The pattern centers on odd assertions like #"Most lions are mammals" and #"Some Italians come from a beautiful country", which seem to trigger implicatures in contexts where the enriched readings conflict with information in the common ground. Magri (2009, 2011) argues that, to account (...) for these cases, the basic grammatical approach has to be supplemented with the stipulations that exhaustification is obligatory and is based on formal computations which are blind to information in the common ground. In this paper, I argue that accounts of oddness should allow for the possibility of felicitous assertions that call for revision of the common ground, including explicit assertions of unusual beliefs such as "Most but not all lions are mammals" and "Some but not all Italians come from Italy". To adequately cover these and similar cases, I propose that Magri's version of the Grammatical account should be refined with the novel hypothesis that exhaustification triggers a bifurcation between presupposed (the negated relevant alternatives) and at-issue (the prejacent) content. The explanation of the full oddness pattern, including cases of felicitous proposals to revise the common ground, follows from the interaction between presupposed and at-issue content with an independently motivated constraint on accommodation. Finally, I argue that treating the exhaustification operator as a presupposition trigger helps solve various independent puzzles faced by extant grammatical accounts, and motivates a substantial revision of standard accounts of the overt exhaustifier "only". (shrink)

We argue that a semantics for counterfactual conditionals in terms of comparative overall similarity faces a formal limitation due to Arrow’s impossibility theorem from social choice theory. According to Lewis’s account, the truth-conditions for counterfactual conditionals are given in terms of the comparative overall similarity between possible worlds, which is in turn determined by various aspects of similarity between possible worlds. We argue that a function from aspects of similarity to overall similarity should satisfy certain plausible constraints while Arrow’s impossibility (...) theorem rules out that such a function satisfies all the constraints simultaneously. We argue that a way out of this impasse is to represent aspectual similarity in terms of ranking functions instead of representing it in a purely ordinal fashion. Further, we argue against the claim that the determination of overall similarity by aspects of similarity faces a difficulty in addition to the Arrovian limitation, namely the incommensurability of different aspects of similarity. The phenomena that have been cited as evidence for such incommensurability are best explained by ordinary vagueness. (shrink)

The enduring problem of free will has defied resolution across centuries. There is reason to believe that novel factors must be integrated into the analysis to make progress. Within the current physicalist framework, these factors encompass emergence and information theory, in the context of constraints imposed by physical limits on the representation of information. Furthermore the common, but vague, characterization of free will as 'being able to act differently' is rephrased into an explicatum more suitable for formal analysis. It is (...) argued that the mind is an ontologically open system; a causal high-level system, the dynamics of which cannot be reduced to the states of its associated low-level neural systems, not even if it is rendered physically closed. A positive answer to the question of free will for conscious agents is subsequently outlined. (shrink)

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which extended (...) causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of (...) discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. -/- The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis. (shrink)

The quotational theory of free indirect discourse postulates that pronouns and tenses are systematically unquoted. But where does this unquotation come from? Based on cases of apparent unquotation in direct discourse constructions (including data from Kwaza speakers, Catalan signers, and Dutch children), I suggest a general pragmatic answer: unquotation is essentially a way to resolve a conflict that arises between two opposing constraints. On the one hand, the reporter wants to use indexicals that refer directly to the most salient speech (...) act participants and their surroundings (Attraction). On the other hand, the semantics of direct discourse (formalized here in terms of event modification) entails the reproduction of referring expressions from the original utterance being reported (Verbatim). Unquotation (formalized here also in terms of event modification), allows the reporter to avoid potential conflicts between these constraints. Unquotation in free indirect discourse then comes out as a special case, where the salient source of attraction is the story protagonist and her actions, rather than the reporting narrator and his here and now. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)