What role, if any, does formal logic play in characterizing epistemically rational belief? Traditionally, belief is seen in a binary way - either one believes a proposition, or one doesn't. Given this picture, it is attractive to impose certain deductive constraints on rational belief: that one's beliefs be logically consistent, and that one believe the logical consequences of one's beliefs. A less popular picture sees belief as a graded phenomenon.

In this paper several recent factor- and dimension-based models of precedential constraint are formally investigated and an alternative dimension-based model is proposed. Simple factor- and dimension-based syntactic criteria are identified for checking whether a decision in a new case is forced, in terms of the relevant differences between a precedent and a new case, and the difference between absence of factors and negated factors in factor-based models is investigated. Then Horty’s and Rigoni’s recent dimension-based models of precedential constraint are critically (...) examined. An alternative to their reason models is proposed which is less expressive but arguably easier to apply in practice. (shrink)

We present a rendering of some common grammatical formalisms in terms of evolving algebras. Though our main concern in this paper is on constraint-based formalisms, we also discuss the more basic case of context-free grammars. Our aim throughout is to highlight the use of evolving algebras as a specification tool to obtain grammar formalisms.

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)

Harmonic Grammar (HG) and Optimality Theory (OT) are closely related formal frameworks for the study of language. In both, the structure of a given language is determined by the relative strengths of a set of constraints. They differ in how these strengths are represented: as numerical weights (HG) or as ranks (OT). Weighted constraints have advantages for the construction of accounts of language learning and other cognitive processes, partly because they allow for the adaptation of connectionist and (...) statistical models. HG has been little studied in generative linguistics, however, largely due to influential claims that weighted constraints make incorrect predictions about the typology of natural languages, predictions that are not shared by the more popular OT. This paper makes the case that HG is in fact a promising framework for typological research, and reviews and extends the existing arguments for weighted over ranked constraints. (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)

Building a meaningful model of biological regulatory network is usually done by specifying the components and their interactions, by guessing the values of parameters, by comparing the predicted behaviors to the observed ones, and by modifying in a trial-error process both architecture and parameters in order to reach an optimal fitness. We propose here a different approach to construct and analyze biological models avoiding the trial-error part, where structure and dynamics are represented as formal constraints. We apply the (...) method to Hopfield-like networks, a formalism often used in both neural and regulatory networks modeling. The aim is to characterize automatically the set of all models consistent with all the available knowledge. The available knowledge is formalized into formal constraints. The latter are compiled into Boolean formula in conjunctive normal form and then submitted to a Boolean satisfiability solver. This approach allows to formulate a wide range of queries, expressed in a high level language, and possibly integrating formalized intuitions. In order to explore its potential, we use it to find cycles for 3-nodes networks and to determine the flower morphogenesis regulatory network of Arabidopsis thaliana. Applications of this technique are numerous and concern the building of models from data as well as the design of biological networks possessing specified behaviors. (shrink)

Life scientists increasingly rely upon abstraction-based modeling and reasoning strategies for understanding biological phenomena. We introduce the notion of constraint-based reasoning as a fruitful tool for conceptualizing some of these developments. One important role of mathematical abstractions is to impose formal constraints on a search space for possible hypotheses and thereby guide the search for plausible causal models. Formal constraints are, however, not only tools for biological explanations but can be explanatory by virtue of clarifying general (...) dependency-relations and patterning between functions and structures. We describe such situations as constraint-based explanations and argue that these differ from mechanistic strategies in important respects. While mechanistic explanations emphasize change-relating causal features, constraint-based explanations emphasize formal dependencies and generic organizational features that are relatively independent of lower-level changes in causal details. Our distinction between mechanistic and constraint-based explanations is pragmatically motivated by the wish to understand scientific practice. We contend that delineating the affordances and assumptions of different explanatory questions and strategies helps to clarify tensions between diverging scientific practices and the innovative potentials in their combination. Moreover, we show how constraint-based explanation integrates several features shared by otherwise different philosophical accounts of abstract explanatory strategies in biology. (shrink)

To extend the hypothesis that bizarre discontinuities in dreams result from the interaction of chaotic, "bottom-up" brainstem activation with "top-down" cortical synthesis, we have performed a detailed analysis of dream discontinuities using a new methodology that allows for objective characterization of this formal dream feature. Transformations of characters and objects in dream reports were found to follow definite associational rules. While there were 11 examples of character–character transformation and 7 of inanimate object–inanimate object transformation, transformations of characters into inanimate (...) objects and vice versa were never observed. Judges′ scores on a transformation-matching task further showed that the nature of the transformed character or object is highly constrained by the features of the initial character or object . We conclude that despite the threat to dream coherence posed by bizarre discontinuities, significant coherence is maintained by associational constraints, especially in the case of object and character transformations. (shrink)

This dissertation inquires into the interpretation of agents' actions and utterances, and into the role of narrative theory in that interpretation. My thesis is that psychological explanation is an agent-centred, narrative-based interpretive practice. Agent-centred interpretation takes the form of narrative because such interpretations are governed by the need to discover or impose an intelligible explanatory pattern on events involving others like ourselves. I argue that narrative form is not a secondary way of construing action, but is what enables us to (...) recognize the intelligibility of agents' actions. Thus it is a main task of the dissertation to draw attention to the poetical nature of interpretation, and to the auto-poetical nature of self-interpreting agents. Interpretation is in essence intersubjective and communicative, and is doubly committed to intelligibility, since it must not only make sense of an agent's action, but also show how that action could have made sense to her. Conceiving of interpretation as an example of intersubjective communication allows me to present a poetics of psychological explanation. Not only does such a poetics outline the formal constraints on the interpretation of agents and their actions; it also allows me to show that the constraints in question are narrative constraints. (shrink)

This paper argues that formal models of coherence are useful for constructing a legal epistemology. Two main formal approaches to coherence are examined: coherence-based models of belief revision and the theory of coherence as constraint satisfaction. It is shown that these approaches shed light on central aspects of a coherentist legal epistemology, such as the concept of coherence, the dynamics of coherentist justification in law, and the mechanisms whereby coherence may be built in the course of legal decision-making.

According to some philosophers, a sentence's semantics can fail to constitute a complete propositional content, imposing mere constraints on such a content. Recently, Daniel Harris has begun developing a formal constraint semantics. He claims that the semantic values of sentences constrain what speakers can literally say with them—and what hearers can know about what was said. However, that claim is undermined by his conception of semantics as the study of a psychological module. I argue instead that semantic (...) class='Hi'>constraints should be understood as properties of public languages. (shrink)

Any theory of information needs to comply with what we call the implementation, formalization, and representation constraints. These constraints are justified by basic considerations concerning scientific modelling and methodology. In the first part of this paper, we argue that the implementation and formalization constraints cannot be satisfied because the relation between Shannon information and IIT must be clarified. In the second part of the paper, we focus on the representation constraint. We argue that IIT cannot succeed in (...) satisfying this constraint for semantic contents without offering models for concepts, conceptual roles, and context sensitivity. In the final part of the paper, further complications are raised with respect to the distinction between consciousness and attention, which apply more specifically to the representation constraint. We conclude with some recommendations as to how IIT may succeed in solving these problems, highlighting the advantages and enormous potential of IIT as a scientific theory. (shrink)

This essay considers arguments for and against syntactical constraints on the proper formalization of definitions, originally owing to Alfred Tarski. It discusses and refutes an application of the constraints generalized to include a prohibition against not only object-place but also predicate-place variables in higher-order logic in a criticism of a recent effort to define the concept of heterologicality in a strengthened derivation of Grelling's paradox within type theory requirements. If the objections were correct, they would offer a more (...) general moral for the proper formal definition of terms in philosophical logic. The criticism nevertheless seems mistaken both in the substance and specific application with respect to legitimate synctactical constraints on definitions of key concepts in the case of Grelling's paradox. As such, the critique provides no justification for overturning previous conclusions concerning the possibility of resurrecting a type-observant version of Grelling's heterologicality paradox. (shrink)

Language and culture endow humans with access to conceptual information that far exceeds any which could be accessed by a non-human animal. Yet, it is possible that, even without language or specific experiences, non-human animals represent and infer some aspects of similarity relations between objects in the same way as humans. Here, we show that monkeys’ discrimination sensitivity when identifying images of animals is predicted by established measures of semantic similarity derived from human conceptual judgments. We used metrics from computer (...) vision and computational neuroscience to show that monkeys’ and humans’ performance cannot be explained by low-level visual similarity alone. The results demonstrate that at least some of the underlying structure of object representations in humans is shared with non-human primates, at an abstract level that extends beyond low-level visual similarity. Because the monkeys had no experience with the objects we tested, the results suggest that monkeys and humans share a primitive representation of object similarity that is independent of formal knowledge and cultural experience, and likely derived from common evolutionary constraints on object representation. (shrink)

A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topological relations and functions taking these subsets as arguments. Thus, topological constraint languages typically allow us to make assertions such as “region V1 touches the boundary of region V2”, “region V3 is connected” or “region V4 is a proper part of the closure of region V5”. A formula f in a topological constraint language is said (...) to be satisfiable if there exists an assignment to its variables of regions from some topological space under which φ is made true. This paper introduces a topological constraint language which, in addition to the usual mechanisms for expressing Boolean combinations of regions and their topological closures, includes primitives for bounding the number of components of a region. We call this language T CC, a rough acronym for “topological constraint language with component counting”. Our main result is that the problem of determining the satisfiability of a T CC-formula is NEXPTIME-complete. (shrink)

In this paper we attempt to supply answers to questions of the following kinds: How are database Integrity Constraints to be characterised formally? How is the concept of violation of an IC to be understood? What is the epistemic status of an IC? Following an analysis of the standard treatment of ICs, based on a simple example, we recall how Reiter provided a clear definition of the epistemic status of ICs. On Reiter's approach, ICs are implicitly supported by statements (...) that are guaranteed to be true; this property is explicit in the standard view of ICs, and we proceed to show how the standard view of ICs may be refined in the light of Reiter's work. We then supply formal definitions of the properties of Validity and Completeness which have to be enforced using ICs, and we give general formal results concerning techniques which can be used to check these properties. We propose to split the overall information involved in Integrity Checking into three components called DB, SAF and IC. DB represents a description of the world that is not necessarily guaranteed to be correct; SAF represents the information about the world that is guaranteed to be true, and which is used to check violations of Validity or Completeness; and IC defines the parts of DB for which the properties of Validity or Completeness must be enforced. (shrink)

This paper contributes to our formal understanding of the common law — especially the nature of the reasoning involved, but also its point, or justification, in terms of social coordination. I present two apparently distinct models of constraint by precedent in the common law, establish their equivalence, and argue for a perspective according to which courts are best thought of, not as creating and modifying rules, but as generating a social priority ordering on reasons through a procedure that is (...) piecemeal, distributed, and responsive to particular circumstances. (shrink)

The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name. It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation, the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology, which provides (...) a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon. The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online. (shrink)

This paper explores how the meaning of evidentiality is temporally constrained, by investigating the meaning of Korean evidential sentences with –te. Unlike evidential sentences in languages that have previously been formally analyzed , e.g. Cuzco Quechua and Cheyenne, Korean evidential sentences with –te are compatible with both direct and indirect evidence types. In this paper, I analyze –te as an evidential that lexically encodes the meaning of a ‘sensory observation’. I account for the availability of both direct and indirect evidential (...) readings in terms of the variable temporal relation between relevant eventualities. I show that this temporal relation is compositionally determined by the interaction between –te and tense, and that it in turn constrains possible (direct vs. indirect) evidence types. I also provide empirical evidence for the modal meaning contributions of –te sentences, and develop a formal analysis in terms of Kratzer’s modal theory. The paper concludes by discussing the empirical and theoretical improvements of the proposed analysis over earlier analyses by Chung, and the implications for crosslinguistic studies of evidentials. (shrink)

One of the more distinctive features of Bob Hale and Crispin Wright’s neologicism about arithmetic is their invocation of Frege’s Constraint – roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization. In particular, they maintain that, if adopted, Frege’s Constraint adjudicates in favor of their preferred foundation – Hume’s Principle – and against alternatives, such as the Dedekind-Peano axioms. In what follows we establish two main claims. First, we (...) show that, if sound, Hale and Wright’s arguments for Frege’s Constraint at most establish a version on which the relevant application of the naturals is transitive counting – roughly, the counting procedure by which numerals are used to answer “how many”-questions. Second, we show that this version of Frege’s Constraint fails to adjudicate in favor of Hume’s Principle. If this is the version of Frege’s Constraint that a foundation for arithmetic must respect, then Hume’s Principle no more – and no less – meets the requirement than the Dedekind-Peano axioms do. (shrink)

To encourage new research on the role of institutions in the entrepreneurial process in less developed countries, the authors propose a conceptual framework to investigate concurrent institutional constraints. The authors define these constraints as geopolitical contexts that encounter simultaneous challenges to well functioning formal and informal institutions. Systems of stronger institutions compensating for weaker institutions are hampered in these settings and such systems weigh heavier on local entrepreneurs and further challenge their ability to mobilize resources and access (...) market opportunities. By investigating the extreme operating conditions of these settings, scholars gain a deeper understanding of how entrepreneurs confront operational dilemmas and express agency through engaging with bricolage and cultural entrepreneurship. To animate these proposals, the authors consider a case illustration of a venture operating under such constraints. (shrink)

This paper uses the framework of Formal Darwinism (FD) to evaluate organism-centric critiques of the Modern Synthesis (MS). The first section argues that the FD project reconciles two kinds of selective explanations in biology. Thus it is not correct to say that the MS neglects organisms—instead, it explains organisms’ design, as argued in the second section. In the third section I employ a concept of the organism derived from Kant that has two aspects: the parts presupposing the whole, and (...) the productivity of the parts in relation to the whole. The first aspect corresponds to the “design” that FD explains, whereas the second aspect is something about which the MS is largely silent. (shrink)

This paper explores the extension of formal accounts of precedential constraint to make use of a factor hierarchy with intermediate factors. A problem arises, however, because constraints expressed in terms of intermediate factors may give different outcomes from those expressed only using base level factors. We argue that constraints that use only base level factors yield the correct outcomes, but that intermediate factors play an important role in the justification and explanation of those outcomes. The discussion is (...) illustrated with a running example. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 10.2 (2003) 161-167 [Access article in PDF] Social, Cognitive, and Neural Constraints on Subjectivity and Agency:Implications for Dissociative Identity Disorder Peter Q. Deeley In this commentary, I consider Matthew's argument after making some general observations about dissociative identity disorder (DID). In contrast to Matthew's statement that "cases of DID, although not science fiction, are extraordinary" (p. 148), I believe that there are natural analogs (...) of the disorder that, when considered, make it seem less puzzling and exotic. After discussing these examples, I examine the relations between social, cognitive, and neural processes supporting subjectivity and agency, to identify sources of personal identity in cases of DID that can be used as a basis for assessing Matthew's points against Behnke and Sinnott-Armstrong. I am not proposing a comprehensive theory, but rather identifying what I believe are components of such a theory. I then outline an approach to determining criminal responsibility in DID, drawing on analogies with other psychiatric disorders. Dissociative Identity Disorder DID is a disorder described in DSM-IV, which "is characterised by the presence of two or more distinct identities or personality states that recurrently take control of the individual's behaviour accompanied by an inability to recall important personal information that is too extensive to be explained by ordinary forgetfulness" (American Psychiatric Association, p. 519). Recognizing Personal Identity How is personal identity recognized in normal cognition? If we take personhood to involve recognition of continuity of social, psychological, and physical identity for a given individual, then such judgments are routinely made rapidly and automatically as an aspect of what has come to be termed social cognition (Adolphs 2003). There is likely to be considerable redundancy in [End Page 161] the types of information used to make judgments about whether a person is the same as one who was previously encountered, or perhaps heard about—for example, facial features, movement patterns, speech prosody, dress, speech content, gender, ethnicity, social role, among other features, all provide information about individual identity, and hence personhood. When uncertainty exists, it is likely to reflect a loss or alteration of cues that would ordinarily be used in a rapid, automatic, unexamined way (Adolphs 2003). In such extreme cases (for example, severe mental illness or disfigurement), the problem of identification becomes the subject of explicit reasoning (and hence of potential disagreement, because we then engage in post hoc rationalizations to establish criteria for determining personhood, whereas normally we rely on essentially automatic, implicit abilities that work in most circumstances, some of which make little use of linguistic representations and formal reasoning—for example, individual facial identity recognition, which may occur as quickly as 170 ms after stimulus onset [Adolphs 2003]). Nevertheless, examining our judgments and intuitions in cases that force us to explicitly consider whether personal identity is preserved may provide analogies and clues for how we should proceed with DID. Let us consider, then, some natural analogs of DID. Natural Analogs of DID Method Acting I suggest that method acting is an analog of DID (Manderino 1985). Method acting refers to an approach to acting training and performance in which emphasis is placed on intensely imagining and identifying with the mental life of the character being portrayed. Training courses and manuals list many techniques and practices that can be used to facilitate absorption in a role, drawing on different kinds of memory—for example, experiential memories, memories of others, general knowledge (semantic memory), and memories of sensations and feelings, to creative a vivid sense of the subjective experience and actions of the character. Manderino, a method acting teacher, comments: "it is important to investigate the way in which your own mental makeup can improperly influence a character. Insecurities, self-consciousness, shyness or self-doubts can maintain a strong hold, and permitting any of these feelings to enter a performance is to remain the actor and not enter into the mental life of the character. For some, acting allows personal problems to be left behind, and they are thankful for the complete escape that... (shrink)

Causal models have proven extremely useful in offering formal representations of causal relationships between a set of variables. Yet in many situations, there are non-causal relationships among variables. For example, we may want variables LDL, HDL, and TOT that represent the level of low-density lipoprotein cholesterol, the level of lipoprotein high-density lipoprotein cholesterol, and total cholesterol level, with the relation LDL+HDL=TOT. This cannot be done in standard causal models, because we can intervene simultaneously on all three variables. The goal (...) of this paper is to extend standard causal models to allow for constraints on settings of variables. Although the extension is relatively straightforward, to make it useful we have to define a new intervention operation that disconnects a variable from a causal equation. We give examples showing the usefulness of this extension, and provide a sound and complete axiomatization for causal models with constraints. (shrink)

What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: the (...) meaning of an utterance of a natural language sentence is derived from the place of that sentence within a system that includes other sentences, and is structured in virtue of primitive semantic facts about complete sentences. This constraint calls for a formal semantics program where the meaning of natural language sentences is represented by an appropriate assignment of the elements of an algebraic structure to sentences, an assignment that represents facts concerning complete sentences. I call the above constraint 'The Algebraic Thesis', and the corresponding formal semantics program 'Algebraic Semantics.' ;I introduce AT by carving it out of the holistic views of language of Quine and Davidson, and I show that it is independent of other important features of these philosophers' views. I then argue for AT, taking into account recent work by Brandom, Dummett, Fodor and Lepore, Gaifman and Perry. In developing Algebraic Semantics I present structures of two basic types: Boolean algebras and cylindric algebras; these structures are construed in the context of AT in a novel way: they are treated as applying to classes of sentences as numbers apply to physical objects in measurement. Applying algebraic methodology to formal semantics and to the theory of meaning, I develop these results: ; An account of the semantics of necessity and possibility that avoids both Quine's dismissal of these notions and their reduction by David Lewis to quantification over possible worlds; ; The application of the model-theoretic notion of expansion to capture the process of our learning progressively more of the meaning of expressions in our first languages. (shrink)

A theory of analogical mapping between source and target analogs based upon interacting structural, semantic, and pragmatic constraints is proposed here. The structural constraint of isomorphism encourages mappings that maximize the consistency of relational corresondences between the elements of the two analogs. The constraint of semantic similarity supports mapping hypotheses to the degree that mapped predicates have similar meanings. The constraint of pragmatic centrality favors mappings involving elements the analogist believes to be important in order to achieve the purpose (...) for which the analogy is being used. The theory is implemented in a computer program called ACME (Analogical Constraint Mapping Engine), which represents constraints by means of a network of supporting and competing hypotheses regarding what elements to map. A cooperative algorithm for parallel constraint satisfaction identities mapping hypotheses that collectively represent the overall mapping that best fits the interacting constraints. ACME has been applied to a wide range of examples that include problem analogies, analogical arguments, explanatory analogies, story analogies, formal analogies, and metaphors. ACME is sensitive to semantic and pragmatic information if it is available, and yet able to compute mappings between formally isomorphic analogs without any similar or identical elements. The theory is able to account for empirical findings regarding the impact of consistency and similarity on human processing of analogies. (shrink)

Freud's core interest in the psyche was the dynamic unconscious: that part of the psyche which is unconscious due to conflict (Freud, 1923/1961 ). Over the course of his career, Freud variously described conflict as an opposition to the discharge of activation (Freud, 1950 ), opposition to psychic activity due to the release of unpleasure (Freud, 1990/1991 ), opposition between the primary principle and the reality principle (Freud, 1911/1963 ), structural conflict between id, ego, and superego (Freud, 1923/1961 ), and (...) ambivalence (Freud, 1912/1963 ). Besides this difficulty of the shifting description of conflict, an underlying question remained the specific shared terrain in which emotions, thoughts, intentions or wishes could come into conflict with one another (the neuronal homolog of conflict), and most especially how they may exist as quantities in opposition within that terrain. Friston's free-energy principle (FEP henceforth) connected to the work of Friston (Friston et al., 2006 ; Friston, 2010 ) has provided the potential for a powerful unifying theory in psychology, neuroscience, and related fields that has been shown to have tremendous consilience with psychoanalytic concepts (Hopkins, 2012 ). Hopkins ( 2016 ), drawing on a formulation by Hobson et al. ( 2014 ), suggests that conflict may be potentially quantifiable as free energy from a FEP perspective. More recently, work by Friston et al. ( 2017a ) has framed the selection of action as a gradient descent of expected free energy under different policies of action. From this perspective, the article describes how conflict could potentially be formalized as a situation where opposing action policies have similar expected free energy, for example between actions driven by competing basic prototype emotion systems as described by Panksepp ( 1998 ). This conflict state may be avoided in the future through updating the relative precision of a particular set of prior beliefs about outcomes: this has the result of tending to favor one of the policies of action over others in future instances, a situation analogous to defense. Through acting as a constraint on the further development of the person, the defensive operation can become entrenched, and resistant to alteration. The implications that this formalization has for psychoanalysis is explored. (shrink)

This article discusses pragmatic aspects of our interpretation of intensional constructions like questions and prepositional attitude reports. In the first part, it argues that our evaluation of these constructions may vary relative to the identification methods operative in the context of use. This insight is then given a precise formalization in a possible world semantics. In the second part, an account of actual evaluations of questions and attitudes is proposed in the framework of bi-directional optimality theory. Pragmatic meaning selections are (...) explained as the result of specific rankings of potentially conflicting generation and interpretation constraints. (shrink)

Despite the depiction of decisions to formalize informal firms as rational and ethical, many entrepreneurs in developing countries continue to operate informally regardless of its perceived illicit status. While existing research on why entrepreneurs choose informality emphasizes the economic costs and benefits of such decisions, this often overlooks the realities of the informal economy and the constraints which marginal populations—particularly women—face. In this paper, we use institutional theory and sensemaking to understand the experiences of women in the informal economy (...) and what formalization means to them. We use a qualitative approach to collect data from 90 women entrepreneurs in three different cities in Nepal. In our findings we identify three groups of women with distinctive understandings of formalization—business sustainability, livelihood sufficiency and strategic alignment. Their interpretation of formalization reveals the complex, dynamic, and cyclical nature of formalization decisions. Decisions are also guided by the optimization of social and emotional logics, whereby formalization is conceived differently depending on different life stages, experiences within the informal economy and wider socio-cultural contexts. Our findings highlight the ethical implications of formalization where being a ‘good citizen’, rather than complying with formal rules and regulations, is about attuning to and fitting in with socially prescribed roles. Our research provides a nuanced view of formalization decisions, challenging idealized and ethical notions of formalization as a desired end state. (shrink)

Is medieval logic formal? And if yes, in what sense? There are striking affinities between medieval and contemporary theories of language. Authors from the two periods share formal ambitions and maintain complex, and at time uneasy, relations with natural language. However, modern scholars became careful not to overlook the specificities of theories developed more than five hundred years apart, in particular with respect to their 'formal' character. In 1972, Alfonso Maieru noted that the efforts of medieval logicians (...) to identify logical structures in language formal enough to become objects of scientific consideration. He also stressed that the language investigated is a historical one, Latin, so that one can legitimately wonder to which extent... one is allowed to speak of 'formal logic' in the middle ages. In other words, medieval logic is characterized by a tension between 'formalist ambitions' and constraints proper to natural language. Today, our knowledge of the field has considerably expanded, calling for a new assessment of the question. (shrink)

Given resource constraints in healthcare, demands justice and equity require the constant development of material principles for resource distribution. In many cases, such material principles are formulated as mid-level principles, well-adapted to handle healthcare distribution but suffering from aspects outside the healthcare context that affect their application. In healthcare, factors outside the healthcare system will sometimes affect patients’ equal opportunity to receive treatment and achieve health. Examples of such factors might include an individual’s economic means, the cost of drugs, (...) geography, etc. This article explores whether the formal equality principle could help us address such problems. It is argued that the traditional (thin) formal equality principle can aid in priority setting, both as a heuristic tool to aid in consistency and also in handling under-determined cases. However, it appears to be too ‘thin’ to handle problems caused by factors outside the healthcare context. In the article, I explore a more robust version of the formal equality principle and argue that such a principle can be used to address such cases. However, even a more comprehensive formal equality principle will need to consider whether some other actors have a moral responsibility to address the problem or whether the issue could be solved more effectively by others. Furthermore, such a principle needs to consider whether the opportunity cost of achieving ‘thick’ formal equality is acceptable, given the material principles of distribution. (shrink)

Is medieval logic formal? And if yes, in what sense? There are striking affinities between medieval and contemporary theories of language. Authors from the two periods share formal ambitions and maintain complex, and at time uneasy, relations with natural language. However, modern scholars became careful not to overlook the specificities of theories developed more than five hundred years apart, in particular with respect to their 'formal' character. In 1972, Alfonso Maieru noted that the efforts of medieval logicians (...) to identify logical structures in language which are formal enough to become objects of scientific consideration. He also stressed that the language investigated is a historical one, Latin, so that one can legitimately wonder to which extent... one is allowed to speak of 'formal logic' in the middle ages. In other words, medieval logic is characterized by a tension between 'formalist ambitions' and constraints proper to natural language. Today, our knowledge of the field has considerably expanded, calling for a new assessment of the question. (shrink)

Abstract…observations of skylfull pylotts is the onlye waye to bring it in rule; for it passeth the reach of naturall philosophy. – Michael Gabriel, 1576 (Collinson, 1867, p. 30)Abstract The tension between empirical data and formal theory pervades the entire history of geomagnetism, from the Middle Ages up to the present day. This paper explores its early-modern history (1500–1800), using a hybrid approach: it applies a methodological framework used in modern geophysics to interpret early-modern developments, exploring to what extent (...) formal conjectures shaped observation and vice versa. A range of pertinent case studies supports classification of this entire period as proto-scientific, characterised by the initial formation of theories being largely disconnected from observational constraints, and their subsequent evolution being advanced primarily by their empirical falsification, and not necessarily associated with the introduction of an alternative. The few exceptional instances of purely data-driven discovery were essentially due to an improved signal-to-noise ratio. (shrink)

The article considers two different interpretations of the reason model of precedent pioneered by John Horty. On a plausible interpretation of the reason model, past cases provide reasons to prioritize reasons favouring the same outcome as a past case over reasons favouring the opposing outcome. Here I consider the merits of this approach to the role of precedent in legal reasoning in comparison with a closely related view favoured by some legal theorists, according to which past cases provide reasons for (...) undercutting (or ‘excluding’) reasons favouring the opposing outcome. After embedding both accounts within a general default logic, I note some important differences between the two approaches that emerge as a result of plausible distinctions between rebutting and undercutting defeat in formal models of legal reasoning. These differences stem from the ‘preference independence’ of undercutting defeat. Undercutting reasons succeed in defeating opposing reasons irrespective of their relative strength. As a result, the two accounts differ in their account of the way in which precedents constrain judicial reasoning. I conclude by suggesting that the two approaches can be integrated within a single model, in which the distinction between undercutting and rebutting defeat is used to account for the distinction between strict and persuasive forms of precedential constraint. (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)

What is it that semanticists think they are doing when using formalisation? What kind of endeavour is the formal semantics of natural language: scientific; linguistic; philosophical; logical; mathematical? If formal semantics is a scientific endeavour, then there ought to be empirical criteria for determining whether such a theory is correct, or an improvement on an alternative account. The question then arises as to the nature of the evidence that is being accounted for. It could be argued that the (...) empirical questions are little different in kind to other aspects of linguistic analysis, involving questions of performance and competence (Chomsky 1965; Saussure 1916). But there are aspects of formal accounts of meaning that appear to sit outside this scientific realm. One key issue concerns the precise nature of the formalisation that is adopted; what criteria are to be used to decide between accounts that are founded on different formal systems, with different ontological assumptions? Indeed, is it necessary to judge semantic frameworks on such grounds? In other words, are two theoretical accounts to be treated as equivalent for all relevant purposes if they account for exactly the same linguistic data? Broadly speaking, there are two related perspectives on the analysis of propositional statements, one “truth conditional” — reducing sentence meaning to the conditions under which the sentence is judged to be true (e.g. Montague 1973) — the other “proof theoretic” — reducing sentence meanings to patterns of entailments that are supported (e.g. Ranta 1994, Fox & Lappin 2005 ,Fox 2000). Variations of these perspectives might be required in the case of non-assertoric utterances. We may wonder what critieria might be used to decide between these approaches. This brings us back to the nature of the data itself. If the data is (merely) about which arguments, or truth conditions, subjects agree with, and which they disagree with, then the terms in which the theory is expressed may be irrelevant. But it may also be legitimate to be concerned with either (a) the intuitions that people have when reasoning with language, or (b) some technical or philosophical issues relating to the chosen formalism. The truth-conditional vs proof-theoretic dichotomy might broadly be characterised as model-theoretic vs axiomatic, where the model-theoretic tend to be built around a pre-existing formal theory, and the axiomatic involves formulating rules of behaviour “from scratch”. In some sense, fitting an analysis of a new problem into an existing framework could be described as providing some kind of “explanatory” power, assuming that the existing framework has some salient motivation that is independent of the specific details of the phenomena in question. In contrast, building a new theory that captures the behaviour might then be characterised as “descriptive”, as — superficially at least — it does not show how an existing theory “already” accounts for the data in some sense. Here we observe instead that the argument can be run in the other direction. that a reductive model-theoretic account merely “describes” how some aspects of a problem can be reduced to some formalisation, but may fail to capture a subject’s understanding or intuitions about meaning. It is surely appropriate for the formal theory itself to be at least sympathetic to the ontological concerns and intuitions of its subjects — if not inform them (Dummett 1991). The alternative amounts to little more than carving out otherwise arbitrary aspects of a system that mimics the required behaviour, without a coherent explanation of why some aspects of a formal theory characterise, or capture, the intended meaning, but not others (cf. Benacerraf 1965). That seems an impoverished approach, weakening any claim to “explain”. Any constraint this imposes on what is it to be an explanatory account of meaning then faces the same problem as naive notions of compositionality (Zadrozny 1994) — that is, what appears to be a meaningful restriction is, in reality, a mirage. (shrink)

Should the use of performance-enhancing drugs be banned in sport? A proper response to this question depends upon ideas of the meaning and value of sport. To a certain extent, sport is associated with ideal values such as equality of opportunity, fair play, performance and progress. PED use is considered contrary to these values. On the other hand, critics see sport as an expression of non-sustainable and competitive individualism that threatens human welfare and development. PED use is considered a logical (...) consequence of these values. I challenge both views as simplistic and inadequate. I develop what I refer to as the normative structure of sport consisting of self-imposed constraints at three levels: in the formal rules, in norms for fair play, and in the interpretation of athletic excellence as a morally relevant instantiation of human excellence. I argue that the question of a ban on PED should be discussed at the third level and depends upon interpretations of athletic excellence as a form of human excellence. I conclude that, in the current situation of elite sport, proponents of a ban on PED seem to have the strongest arguments. (shrink)

In this article, we argue that the application of mathematics in the construction of physical theories constrains the form of our scientific understanding. Specifically, we discuss the constraints that the mathematical structure of the differential calculus imposes on the understanding of the structure of the world within a Newtonian worldview. In the first section of the paper, we develop the formal structure of the differential calculus. In the second section, we provide a discussion of the constraints that (...) the differential calculus imposes on the application of Newton's second law. In the final section, we present a case study of a thought experiment by John Norton, simply called `the dome'. We argue that the pathological nature of Norton's dome cannot serve as an argument to sustain the claim that Newton's second law is indeterministic because the constraints of the differential calculus dictate that Newton's second law cannot be well-defined in the infinitesimal neighbourhood of the apex of Norton's dome. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about (...) the world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance.In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

LikeI thinkin English,(eu) acho quein Brazilian Portuguese can function as a discourse marker (DM) with more than one meaning, and these meanings are curiously diametrically opposed. Certainty, doubt or uncertainty is inferred by hearers in an interactional context. In a sample of audio-video recorded interviews, the occurrences of this DM were classified by meaning, and association tests between meanings and linguistic factors (pronoun realization, polarity, position in utterance), real-world features (type of evidence from which the speaker says something, and discursive (...) topic), prosody (F0, intensity and duration), and facial expressions were carried out. Differences that distinguish these factors were identified among certainty, doubt and uncertainty uses. The certainty meaning of(eu) acho quewas associated with pronoun presence, more formality and topics in which the speaker had direct evidence. Uncertainty and doubt were associated with pronoun absence, less formality and topics in which the speaker did not have direct evidence. Patterns of intensity and duration acted to distinguish the certainty, doubt and uncertainty meanings of(eu) acho que. In a conditional decision tree, the position in utterance, presence of a pronoun, type of speaker’s evidence, discursive topic, and duration helped to disambiguate the meanings of(eu) acho que. These results suggest the relevance of a multilevel approach to describe DM, in different languages, at least with respect to mental state verbs. (shrink)