This reviews, motivates, and extends the event analysis of action sentences and shows how it explains the compositionally of adverbial modification of action verbs and event verbs more generally. It includes a treatment of intensional adverbs like 'intentionally' and how it can be extended to the collective reading of plural action sentences.

This article discusses the logical form of action sentences with particular attention to the role of adverbial modification, reviewing and extending the event analysis of action sentences.

This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.

It is typically assumed that actions are events, but there is a growing consensus that negative actions, like omissions and refrainments, are not events, but absences thereof. If so, then we must either deny the obvious, that we can exercise our agency by omitting and refrainment, or give up on event-based theories of agency. I trace the consensus to the assumption that negative action sentences are negative-existentials, and argue that this is false. The best analysis of negative action (...) sentences treats them as quantifying over omissions and refrainments, conceived of as events. (shrink)

In order to understand Hegel's gnomic oracle according to which the ‘I’ is a ‘We’, the notion of apersonalsubject is explained by its competence to perform personal roles in a pre-given partition of roles. Explicit divisions of labour by contractual promises are special cases that presuppose the general case of an already established social practice. On the other hand, methodological individualism is right to stress that we actualize joint intentions only via corresponding instantiations. In performing our parts, we form (...) a plural subject, a we-group. The result of what each of us does is what we do, and the generic ‘We’ turns into the generic ‘I’. (shrink)

This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining and computing with (...) a (coloured) LTS, and another, separate formalism, a modal language interpreted on a (coloured) LTS used to express its properties. We consolidate these two strands. Instead of specifying the obligatory and prohibited states and transitions as part of the construction of a coloured LTS as in nC+, we represent norms in the modal language and use those to construct a coloured LTS from a given regular (uncoloured) one. We also show how connections between norms on states and norms on transitions previously treated as fixed constraints of a coloured LTS can instead be defined within the modal language used for representing norms. (shrink)

Theories of adverbial modification can be roughly distinguished into two sorts. One kind of theory takes logical form to follow surface grammatical form. Adverbs are treated as unanalyzable logical operators that turn a predicate or sentence into a different predicate or sentence respectively. And new rules of logic are stated for these operators. -/- A different kind of theory does not suppose that logical form must parallel surface grammatical form. It allows that (...) logical form may have more to do with deeper structures that might be studied in transformational grammar. Adverbs are treated as surface forms of the underlying predicates represented by corresponding adjectives and verbs. 'Slowly' is derived from 'slow'; 'intentionally' from 'intentional' or 'intend'; etc. And new rules of logic are avoided where they can be. -/- In this paper I attempt to state some of the advantages of the second sort of theory. My procedure will be this. First, I will try to say in outline what theories of logical form are. Then I will state five principles for evaluating such theories. Next, I will sketch the sorts of analyses acceptance of principles (1)-(5) leads to. In particular I will talk about adverbial phrases (e.g. locatives) that are best analyzed in terms of implicit references to events, relative modifiers (like 'large') which relate something to a comparison class, and 'that' clauses taken as names of propositions. By appealing to principles (1)-(5) I will defend these analyses against certain others, one that appeals to many logical operators, a second that treats all sentences as names of propositions, and a third that sees implicit reference to possible worlds in the language being analyzed. Finally, I will offer a pragmatic defense of my approach in terms of principles (1)-(5) as against a different approach that appeals to possible world semantics. (shrink)

The theoretical gap with the action actually performed is one of the fundamental problems of anthropology and the theory of action. To understand it, it is worth turning to the antitheoretical and anti-formalist pathos of the "late" Wittgenstein, which opposes all attempts to describe action and language in terms of rules and abstract structures. A critical analysis of the assumptions of intellectualism borrowed from simple common sense allows us to show that the logical analysis of (...) class='Hi'>action and language deals not with a real language, but with an artificially created abstraction. The article attempts to show the positive significance of this criticism. The main conclusion of the study is that a thinker is able to adequately understand action and language if he also makes his own scientific attitude to them the subject of his analysis. Only in this way can we hope to transform Wittgenstein's antitheoretical pathos into the basis of a constructive study of action and language. The tools of scientific analysis are often much more rigorous and logical than its subject. Wittgenstein's analysis of language games and the life form behind them is an attempt to avoid such too strict and too logical methods and constructions in anthropology, philosophy of action and philosophy of language. The novelty of the research lies in the application of Wittgenstein's ideas to clarify the weaknesses and difficulties faced by the humanities in the XX century and today, as well as to find a way out of these difficulties. The relevance of the work is connected with the great interest of modern logicians and philosophers in Wittgenstein's work, with the urgent need to identify new ways of developing philosophical anthropology. (shrink)

This paper pursues the suggestion of St. Anselm that action expressions can be parsed by saying that the agent makes a certain proposition true. Using the model syntax of Pörn and the relatedness logic of Epstein, it is shown how St. Anselm's approach can reveal the logical form of some common action locutions.

This paper pursues the suggestion of St. Anselm that action expressions can be parsed by saying that the agent makes a certain proposition true. Using the model syntax of Pörn and the relatedness logic of Epstein, it is shown how St. Anselm's approach can reveal the logical form of some common action locutions.

Modern social theory, by and large, has aimed at reducing the complexity of action situations to a set of manageable abstractions. But these abstractions, whether functionalist or linguistic, fail to grasp the indeterminacy of action situations.Action proceeds by discovery and combination. The logic of action is serendipitous and combinative. From these characteristics, a number of consequences flow: The whole field of our intentions is engaged in each action situation, and cannot really be understood apart from (...) the situation itself. In action situations we remain aware of the problems of categorization, including the dangers of infinite regress and the difficulties of specifying borders and ranges of categories. In action situations, attention is in permanent danger of being overwhelmed. We must deal with many features of action situations outside of attention; in doing so, we must entertain simultaneously numerous possibilities of action. Emotional expression is a way of talking about the kinds of possibilities we entertain. Expression and action have a rebound effect on attention. "Effort" is required to find appropriate expressions and actions, and rebound effects play a role in such effort, making it either easier or more difficult.Recent theoretical trends have failed to capture these irreducible characteristics of action situations, and have slipped into a number of errors. Language is not rich in meanings or multivocal, except as put to use in action situations. The role of "convention" in action situations is problematic, and therefore one ought not to talk of "culture." Contrary to the assertions of certain theorists, actors do not follow strategies, except when they decide to do so. Actors do not "communicate," in the sense of exchanging information, except in specially arranged situations. More frequently, they intervene in the effortful management of attention of their interlocutors. Dialogue, that is, very commonly becomes a form of cooperative emotional effort.From these considerations, it follows that the proper method for gaining social knowledge is to examine the history of action and of emotional effort, and to report findings in the form of narrative. (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I (...) think the puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I (...) think the puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

The body of this book contains four original papers, comments, and author's replies, from a conference on the Logic of Decision and Action held at the University of Pittsburgh in March 1966. The principal authors are Herbert Simon, N. Rescher, Donald Davidson, and G. H. von Wright. Commentators are R. Ackermann, A. R. Anderson, N. D. Belnap, R. Binkley, H. N. Castañeda, R. Chisholm, J. Robison, and the late E. J. Lemmon. As appendices, there are articles by A. R. (...) Anderson "The Formal Analysis of Normative Systems," and Rescher's very brief scheme for the classifications of "actions" according to five key generic elements. Problems of decision and action are important for all philosophical critique of norms; in ethics, philosophy of science, of the social sciences, and so forth. The task of a comprehensive logic of action is to describe or prescribe the rules that govern reasoning about the occasions for action, the discovery of action alternatives, and the choice of action. In "The Logic of Heuristic Decision Making," Herbert Simon continues to support the view presented in his earlier work, that "ordinary mathematical reasoning, hence the ordinary logic of declarative statements, is all that is required," as relevant imperatives can be brought into normative systems via correspondence rules for conversion of existential statements. In "Semantic Foundations for the Logic of Preference," Rescher starts from the familiar semantical notion of a "possible world," offering the valuation-measure for such worlds as a determinant of preferabilities, and hoping to show that divergent approaches to problems of preference may be reconciled in this way. Davidson's article, "The Logical Form of Action Sentences" analyzes concepts of agency and intentionality. G. H. von Wright sees a logic of change to be necessary in order to formulate a logic of action. His essay elaborates some of the ideas in his book Norms and Action, but also gives essential modifications of his earlier views.--M. B. M. (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...) current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

This chapter is concerned with plural discourse in the grammatical sense. The goal of the chapter is to urge the value of the event analysis of the matrix of action sentences in thinking about logical form in plural discourse about action. Among the claims advanced are that: -/- 1. The ambiguity between distributive and collective readings of plural action sentences is not lexical ambiguity, either in the noun phrase (NP) or in the verb phrase (VP), (...) but an ambiguity tracing to the scope of the event quantifier introduced by the action verb. 2. This allows us to analyze collective action sentences in a way that commits us only to individual agents acting when we say that groups act, without denying that there are groups as such or that we talk about them as such. 3. Intermediate readings, that seem to be neither purely distributive nor purely collective, can be explained in terms of the same apparatus. (shrink)

Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention (...) today. On the other hand, Davidson provided a general account of what logical form is. This paper is concerned with this general account. Its foremost aim is to give a faithful and detailed picture of what, according to Davidson, it means to give the logical form of a sentence. The structure of the paper is as follows. (1) I will first informally introduce a notion of logical form as the form that matters in certain kinds of entailments, and indicate why philosophers have taken an interest in such a notion. (2) The second section develops constraints that we should arguably abide by in giving an account of logical form. (3) I then turn to Davidson’s view of what is involved in giving such an account. To this end, I will try to reconstruct Davidson’s view of the connection between an assignment of logical forms, a truth theory and a meaning theory. (4) Finally, I will briefly discuss possible problems of Davidson’s account as developed in this paper. (shrink)

This paper is intended to address the work “Against logical form”, authored by Johnson-Laird in 2010. In it, based on the theory of mental models, Johnson-Laird claims that the way people interpret sentences in natural language has nothing to do with logic. This is because that action is not related to logical forms. According to him, the mental activity is mainly linked to semantics and pragmatics. However, here, following arguments provided by López-Astorga, I try to show (...) that the theory of mental models can be linked to syntactic structures. My main point is made by dealing with an argument given in the mentioned Johnson-Laird’s paper. In principle, that argument seems to undermine proposals such as that of López-Astorga. However, the present work proposes otherwise. (shrink)

While many different mechanisms contribute to the generation of spatial order in biological development, the formation of morphogenetic fields which in turn direct cell responses giving rise to pattern and form are of major importance and essential for embryogenesis and regeneration. Most likely the fields represent concentration patterns of substances produced by molecular kinetics. Short range autocatalytic activation in conjunction with longer range “lateral” inhibition or depletion effects is capable of generating such patterns (Gierer and Meinhardt, 1972). Non-linear reactions (...) are required, and mathematical criteria were derived to design molecular models capable of pattern generation. The classical embryological feature of proportion regulation can be incorporated into the models. The conditions are mathematically necessary for the simplest two-factor case, and are likely to be a fair approximation in multi-component systems in which activation and inhibition are systems parameters subsuming the action of several agents. Gradients, symmetric and periodic patterns, in one or two dimensions, stable or pulsing in time, can be generated on this basis. Our basic concept of autocatalysis in conjunction with lateral inhibition accounts for self-regulatory biological features, including the reproducible formation of structures from near-uniform initial conditions as required by the logic of the generation cycle. Real tissue form, for instance that of budding Hydra, may often be traced back to local curvature arising within an initially relatively flat cell sheet, the position of evagination being determined by morphogenetic fields. Shell theory developed for architecture may also be applied to such biological processes. (shrink)

In this paper I argue that there is textual evidence that the chapter on Teleology in Hegel's Science of Logic, read under certain premises, also discusses something that in contemporary analytic philosophy is called a ‘basic action’. The three moments of Teleology—(a) ‘The Subjective Purpose’, (b) ‘The Means’ and (c) ‘The Realized Purpose’—can be interpreted as (a) a certain intentional content in the mind of a subject, which can be expressed in the form of an imperative, (b) the (...) immediate taking in possession of the body, which can be described as a basic action, and (c) the description of the relation of the event brought about by the basic action with other events in the world, which can be described in the terms of event-causality. This reading reveals an astonishing parallel to Donald Davidson's distinction between proper basic actions and their different descriptions in the form of events. In this way we can make Hegel's, at first glance, confusing identification of subjective purpose (intention), means (basic action) and realized purpose (event) comprehensible. Through that, the actual aim is to show that what I call basic actions are in fact an example of a more general thought that Hegel calls a teleological relation. (shrink)

The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given (...) and an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games. (shrink)

This paper addresses an action that, from a Deleuzian perspective, is capable of modifying the despairing current social situation in which we are immersed, through the creation of political Ideas. Even though Deleuze conceives social Ideas as vast civilizing structures, we propose to bring into the political domain the logic of other acts of creation, such as the artistic or the philosophical, where the monumental coexists with minor figures that are nonetheless capable of introducing novelty into the world. The (...) politician is the figure of those who are capable of having an Idea that allows to break the habits that perpetuate the current situation, and gives consistency to the intensive forms of life that continually create and dissolve themselves in the flow of becoming. Thus, macro- and micro-politics do not oppose each other, but offer in their immanence an alternative to social nihilism. (shrink)

Flannery’s volume looks in two directions. On the one hand, as Flannery announces in the book’s introduction, the chapters in the volume were intended to shed light on three specific ‘background’ issues in contemporary ethics and the interpretation of Thomas Aquinas, namely, Aquinas’ notion of ethical theory (as articulated especially in Summa Theologica 1-2.6-21), the ramifications of physical actions on moral evaluation in contemporary ethics (for instance, whether the fact that an abortion consists specifically in the crushing of a fetus’ (...) skull rather than some other form of terminating the fetus has moral relevance), and the understanding of Aquinas’ ‘principle of double effect’ (Summa Theologica 2-2.64.7). On the other hand, the eight chapters (and two appendices) are all devoted to the exegesis of passages in Aristotle’s corpus (primarily the ethical treatises, but with substantial discussions of passages from the Prior Analytics, the Physics, and the Metaphysics insofar as they shed light on passages in the eth-ical corpus). Although the exegetical chapters are motivated by contemporary and Thomistic background issues, the exegesis appears entirely grounded in Aristotle’s (rather than Aristotelian) texts. (shrink)

Abstract In this paper, we show that Greek distinguishes empirically ability as a precondition for action, and ability as initiating and sustaining force for action. In this latter case, the ability verb behaves like an action verb, and the sentence has the logical form of a causative structure φ CAUSE [BECOME ψ] (Dowty 1979). The distinction between ability as potential for action and ability as action itself has a venerable tradition that goes back (...) to Aristotle, and is recently implied in a number of analyses (Mari and Martin 2007, 2009, Thomason 2005). We show first that the phenomenon is not just aspectual ( pace Bhatt 1999, Hacquard 2006, 2009, Pinon 2003): actualized ability emerges with the ability verb also with imperfective aspect and present tense. They key, we argue is causation, which triggers a shift from pure ability, to ability as force (in the sense of Copley and Harley 2010, i.e. as action initiating energy). In Greek, the action reading of the ability modal comes about in an apparent co-ordinate causative structure, where the two clauses are connected with conjunction ke ‘and’— a pattern that we find also in other languages, including English, at least with some action verbs such as try, allow . Our analysis implies a meaning of ability richer than mere possibility ( pace Hacquard); and, by capitalizing on the causative meaning and the presence of force in causative structures, our analysis enables a principled explanation of the shift to action-ability without positing ambiguity for the ability verb ( pace Bhatt 1999). (shrink)

Donald Davidson has prepared a new edition of his classic 1980 collection of Essays on Actions and Events, including two additional essays. In this seminal investigation of the nature of human action, Davidson argues for an ontology which includes events along with persons and other objects. Certain events are identified and explained as actions when they are viewed as caused and rationalized by reasons; these same events, when described in physical, biological, or physiological terms, may be explained by appeal (...) to natural laws. The mental and the physical thus constitute irreducibly discrete ways of explaining and understanding events and their causal relations. -/- Among the topics discussed are: freedom to act; weakness of the will; the logical form of talk about actions, intentions, and causality; the logic of practical reasoning; Hume's theory of the indirect passions; and the nature and limits of decision theory. The introduction, cross-references, and appendices emphasize the relations between the essays and explain how Davidson's views have developed. -/- . (shrink)

Action theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoretic constructs. This ontology isolates various types of actions as structured entities: atomic, sequential, compound, ordered, situational actions etc., and it is a solid and non-removable foundation of any rational activity. The paper is mainly concerned with a bunch of issues (...) centered around the notion of performability of actions. It seems that the problem of performability of actions, though of basic importance for purely practical applications, has not been investigated in the literature in a systematic way thus far. This work, being a companion to the book as reported, elaborates the theory of performability of actions based on relational models and formal constructs borrowed from formal lingusistics. The discussion of performability of actions is encapsulated in the form of a strict logical system. This system is semantically defined in terms of its intended models in which the role of actions of various types is accentuated. Since due to the nature of compound actions the system is not finitary, other semantic variants of are defined. The focus in on the system of performability of finite compound actions. An adequate axiom system for is defined. The strong completeness theorem is the central result. The role of the canonical model in the proof of the completeness theorem is highlighted. The relationship between performability of actions and dynamic logic is also discussed. (shrink)

In this paper I asses Davidson’s analysis of action sentences stressing its quantificational structure and its views on prepositions and adverbial modification. Three arguments inspired by Grice’s ideas are deployed against it. First, I point to weird consequences of taking prepositions as defining predicates; second, I show some obstacles for Davidson’s view on adverbs; finally, I raise some doubts about his putative analysis of “negative actions”. From these, I hope that connections among actions, facts and events should be (...) reconsidered in action theory. (shrink)

People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. (...) We are used to being in overlapping groups and may switch identities, supporting or opposing the claims of particular groups. But rarely do we pause to think: What do we talk about when we talk about groups and their decisions? At the heart of this dissertation is the question of collective agency, i.e., in what sense can we treat a group as a rational agent capable of its action. There are two perspectives we take: a philosophical and logical one. The philosophical perspective mainly discusses the ontological and epistemological issues related to collective agency, sorts out the relevant philosophical history, and argues that the combination of a relational view of collective agency and a dispositional view of collective intentionality provides a rational and realistic account. The logical perspective is associated with formal theories of groups, it disregards the psychological content involved in the philosophical perspective, establishes a logical system that is sufficiently formal and objective, and axiomatizes the nature of a collective. The first topic that is addressed is the ontology of collective agency, i.e., the question what exactly is collective agency. The philosophical discussion of collective agency centres around the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long influenced orthodox theories and made them face the choice between an irreducible concept of a collective and ontological reductionism. Heterodox theories such as functionalism and interpretationism reinterpret the concept of agency and accept it as also realized on the level of a collective. To adequately explain social phenomena that are essentially relational in nature, we propose a relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. While acknowledging the irreducibility of the concept of a collective, we find that there is a deep incompatibility between the concept of a collective and the concept of intentionality as the mark of the mental. To explain how collective intentionality nevertheless is possible and why we tend to use it analogously to how we use the concept of individual intentionality, we explore a dispositional account of intentionality which enables us to give an account of the concept of intentionality at both the individual and collective level. Specifically, we subdivide the dispositional account into three aspects: behavioral, purely mental, and cognitive. We then argue that collective intentionality is real by analyzing different forms of attributive judgments of intentionality and by introducing the perspective of indispensable collective responsibility. We also analyze how philosophical theories about collective agency relate to central features of formal theories about collective decisions, such as game theory. Although the two fields are both concerned with collectives, there are also differences that need to be addressed. For example, game theory is clearly anti-psychologistic since its aim is a formal and objective analysis. However, from the relational and dispositional perspective, intentionality at the individual level and collective intentionality as we analyze it, inevitably involve mental content. In order to explain this difference and identify where the boundary is, we analyze the relationships between the three basic concepts involved, namely intentionality, preference, and dependency, so as to provide a unified picture of collective theory across philosophical and formal theories. After paving the nexus between philosophical and formal perspectives, the logical perspective becomes the theme of our discussion. To be able to express game theoretical concepts and to connect them to our philosophical perspective, We present a logic of preference and functional dependence and its hybrid extension, and provide an axiomatization which is sound and strongly complete. The decidability of this logic is also proved. Its application to modeling non-cooperative and cooperative games in strategic form is explored. The resulting framework provides a unified view of Nash equilibrium, Pareto optimality, and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Finally, we conclude and clarify the position of our theory in the broader field of research on the topics addressed in the thesis. Also, we point out many new questions and directions suggested by our analysis, including philosophical and logical open problems. (shrink)

We consider a quantifier-free language in which there are terms as well as formulas. The proposition-forming propositional operators are the usual ones, and the term-making term operators are the usual lattice theoretical ones. In addition there is a formula-making term operator, does. We study a new logic in which does is claimed to approximate some features of the informal concept the agent performs the action.

Hegel’s Logic reveals an insightful and subtle engagement with the traditional problem of free will as it emerges from our basic commitment to the explicability of the world. While the dominant current interpretations of Hegel’s theory of agency find little of significance in the Logic and suggest that Hegel avoided the traditional problem, Yeomans argues both that the problem is unavoidable, and that the two versions of the Logic fruitfully engage the tensions between explicability and both the control and alternate (...) possibilities constitutive of free agency. In particular, Yeomans examines Hegel’s response to three different versions of the principle of sufficient reason that have historically seemed to make free will problematic. The central three chapters take up each of these versions in turn. For each, Yeomans first explores the nature of its challenge to free will with glances both at Hegel’s precursors and contemporaries and at the philosophy of action of our own time. Then Yeomans delves into the arguments of Hegel’s Logic to see how he construed the problematic concepts in question. Finally, Yeomans returns to the issue of free will to bring Hegel’s interpretations of the concepts in the Logic together with elements of his moral psychology from his practical philosophy both to show how the problem of free will can be resolved, and to trace in outline the shape of free will that such a resolution produces. The key connection between the Logic’s reflections on the form of explanation and the practical philosophy’s theory of the will is that both attempt to do justice to the mutual necessity of self-determination and external influence. (shrink)

We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test (...) operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. (shrink)

Analytical commentary -- Fruits upon one tree -- The continuation of the early draft into philosophy of mathematics -- Hidden isomorphism -- A common methodology -- The flatness of philosophical grammar -- Following a rule 185-242 -- Introduction to the exegesis -- Rules and grammar -- The tractatus and rules of logical syntax -- From logical syntax to philosophical grammar -- Rules and rule-formulations -- Philosophy and grammar -- The scope of grammar -- Some morals -- Exegesis 185-8 (...) -- Accord with a rule -- Initial compass bearings -- Accord and the harmony between language and reality -- Rules of inference and logical machinery -- Formulations and explanations of rules by examples -- Interpretations, fitting and grammar -- Further misunderstandings -- Exegesis 189-202 -- Following rules, mastery of techniques and practices -- Following a rule -- Practices and techniques -- Doing the right thing and doing the same thing -- Privacy and the community view -- On not digging below bedrock -- Private linguists and private linguists : Robinson Crusoe sails again -- Is a language necessarily shared with a community of speakers? -- Innate knowledge of a language -- Robinson Crusoe sails again -- Solitary cavemen and monolinguists -- Private languages and private languages -- Exegesis 203-37 -- Agreement in definitions, judgements, and form of life -- The scaffolding of facts -- The role of our nature -- Forms of life -- Agreement : consensus of human beings and their actions -- Exegesis 238-42 -- Grammar and necessity -- Setting the stage -- Leitmotifs -- External guidelines -- Necessary propositions and norms of representation -- Concerning the truth and falsehood of necessary propositions -- What necessary truths are about illusions of correspondence : ideal objects, kinds of reality, and ultra-physics -- The psychology of the A priori -- Knowledge -- Belief -- Certainty -- Surprise -- Discoveries and conjectures -- Compulsion -- Propositions of logic and laws of thought -- Alternative forms of representation -- The arbitrariness of grammar -- A kinship to the non-arbitrary -- Proof in mathematics -- Conventionalism. (shrink)

Action logic of Pratt [21] can be presented as Full Lambek Calculus FL [14, 17] enriched with Kleene star *; it is equivalent to the equational theory of residuated Kleene algebras (lattices). Some results on axiom systems, complexity and models of this logic were obtained in [4, 3, 18]. Here we prove a stronger form of *-elimination for the logic of *-continuous action lattices and the –completeness of the equational theories of action lattices of subsets of (...) a finite monoid and action lattices of binary relations on a finite universe. We also discuss possible applications in linguistics. (shrink)

Emotional responses to fiction are part of our experience with art and media. Some of these responses (“fictional emotions”) seem to be directed towards fictional entities—entities that we believe do not exist. Some philosophers argue that fictional emotions differ in nature from other emotional responses. (cf. Walton in J Philos 75(1):5–27, 1978, Mimesis as make-believe, Harvard University Press, Cambridge, 1990, Walton, in: Hjort, Laver (ed.) Emotion and the arts, Oxford University, New York, 1997; Currie in The nature of fiction, Cambridge (...) University Press, Cambridge, 1990; Stecker in Br J Aesthet 51(3):295–308, 2011) The claim is supposed to be supported among others by ‘the argument from action.’ In contrast to genuine emotions, proponents of this argument claim, fictional emotions do not motivate their bearers to act. (cf. Yanal in Paradoxes of emotion and fiction, Pennsylvania State University Press, University Park, 1999; Lamarque in Br J Aesthet 21(4):291–304, 1981; Carroll in The philosophy of horror: or, paradoxes of the heart, Routledge, London, 1990; Currie 1990; Walton 1978, 1990; Suits in Pac Philos Q 87(3):369–386, 2006; Friend, in: Kind (ed.) The Routledge handbook of philosophy of imagination, Routledge, New York, 2016) This claim grounds in what may appear to be an obvious fact: that viewers and readers of are not led to act by their fictional emotions. It is certainly true that viewers and readers of fiction do not form intentions to perform actions directed towards fictional entities. In contrast to the proponents of the argument from action, I will argue that the lack of any such intentions can be explained only with reference to intending’s doxastic conditions, conditions that are unsatisfied in the fictional scenario. Decisively, this explanation does not refer to the motivational force of the agent’s emotions; indeed, it doesn’t refer to emotions at all. Thus, the lack of intentions to perform actions directed towards fictional objects provides no support for the claim that fictional emotions are no genuine emotions. (shrink)

Since the publication of Davidson’s influential article ‘The Logical Form of Action Sentences’, semantical considerations are widely thought to support the doctrine that actions are events. I shall argue that the semantics of action sentences do not imply that actions are events. This will involve defending a negative claim and a positive claim, as well as a proposal for how to formalize action sentences. The negative claim is that the semantics of action sentences do (...) not require that we think of actions as events, even if these sentences are best formalized in the manner that Davidson himself favours. The positive claim is that the simplest way of formalizing actions sentences which captures all and only licit inferences requires quantification only, over the results of actions. If this is right, then the argument from semantics evaporates, and the claim that actions are events needs to be freshly argued for – or against. (shrink)

J. L. Austin, in "Ifs and Cans," proclaimed the common hope that we soon "may see the birth, through the joint labors of philosophers, grammarians, and numerous other students of language, of a true and comprehensive science of language." The problem has always been with the "joint labors" part. Philosophers have always been willing to issue linguists dictums and linguists have been happy to teach philosophers "plain facts." Austin’s general view of language, and his particular notion of performative utterance, can (...) be found in the writing of J. R. Firth, the most commanding British linguist of Austin’s generation, but Austin never refers to Firth. In the present volume, however, we find clear and exciting evidence of genuinely joint labors on the part of philosophers and linguists. They stem from a summer conference in 1969 rounded out with contributions from notables. To two thick issues of Synthese the editors have added a dazzling piece by Saul Kripke, two substantial pieces by James McCawley and J. R. Ross, a short paper by Paul Ziff, and a reprint of P. F. Strawson’s "Grammar and Philosophy." This is an invaluable book and the best book among the many now available concerning the interaction of linguistics and philosophy: worth the cost, which the contributors attempted to reduce through foregoing royalties. The philosophers in this volume hold, or hold intriguing, the view that the semantics of a natural language can and must, in effect, be a theory of truth for a language in much the manner that Tarski suggested, and provided, for artificial language: the recursive specification of biconditionals in which the left hand gives the structural description of an object language sentence and the right hand, the truth conditions in the metalanguage. In "homophonic" translation this requirement can be trivially satisfied simply by mentioning the sentence on the left that one uses on the right: one makes the requirement non-trivial by forcing enough into the recursive specification so that one captures the native speaker’s implicit semantic competence. In this volume, the "orthodox" Davidsonian program, which takes the syntax of the metalanguage to be standard predicate logic, is ably argued by John Wallace ; Richard Montague, David Lewis, and Jaakko Hintikka would want an intensional logic covering modality and propositional attitudes. The linguists who find this philosophical climate most appealing are called "generative semanticists": McCawley, Ross, George Lakoff and others argue that any proposed semantic rule will eventually prove necessary to syntax too and that, hence, the deepest level of syntactical form will be equivalent to semantic form. Whatever the ultimate fate of this joint program, it leads here to much exciting interaction between linguists and philosophers: linguists who welcome the machinery and conceptual standards of modern logic, and philosophers who try to grasp the specifics of crucial issues in recent linguistic theory. Even if Quine’s doubts, here sketched, and Chomsky’s currently unpublished more technical objections should be well-founded, nonetheless the joint labor will have been very much worthwhile. Aside from this general debate about semantics, there are several papers covering more specific issues. The papers of J. A. Fodor, Terence Parsons, and Ross concern adverbs and the logical form of action sentences; several papers, particularly B. H. Partee’s, examine "Opacity, Coreference, and Pronouns." In all these papers one notes the fulfillment of Austin’s hope that philosophic and linguistic arguments should become intermixed, if not at times properly indistinguishable. Perhaps the most enjoyable and exciting paper stands aside from linguistics: Saul Kripke’s "Naming and Necessity." Kripke here argues quite informally for the separation of analytic, a priori, and necessary that is required for a Kripke style, S5, modal logic with de re modalities. "Gold is a yellow metal," for example, turns out to be contingent, while "Heat is the motion of particles" is necessary but a posteriori ; and that philosopher’s stone of stones, "The morning star is the evening star," is discovered to be necessary but a posteriori.—J. L. (shrink)

The article looks at sport as a form of human action where the participants display various forms of Intentionality. Intentionality may be defined as ‘that property of many mental states and events by which they are directed at or about or of objects and states of affairs in the world.’ Sporting actions are about human intentions, beliefs, desires, perceptions and not to forget, movements. This means that sports typically display what we call ‘Intentionality.’ The study of Intentionality and (...) intentional actions has previously received relatively little attention among sport philosophers, but deserves more attention. Even though there is a tension and several differences between continental and analytical approaches to philosophical problems, there is a common understanding of the phenomenon we call ‘Intentionality.’ The debate between John Searle, representing the analytical camp, and Hubert Dreyfus, representing the phenomenological camp, is instructive to see the differences, and also the commonalities between the two approaches. The article starts with a clarification of the concept of Intentionality and sketches some of the history and background of the concept. It then presents the main conceptual framework that Searle uses to distinguish the different types and forms of Intentionality and his views on sporting actions. This is followed by a presentation of the phenomenological approach of Dreyfus and the response by Searle. The article ends by discussing the possibility of a combined and enriched view where a clarification of the logic as well as the phenomenology of sporting actions is needed. It may thus be possible to bridge the gap between the two approaches. (shrink)

This paper is taken from a long section of the _Tattva-cintā-maṇi_ by Gaṅgeśa that is devoted to proving the existence of—to use an inadequate word—“God” in a somewhat minimalist sense. The _īśvara_, the “Lord,” is for Gaṅgeśa, following Nyāya predecessors, a divine agent, a self, responsible for much, not all, of the order in the world. Unseen Force, _adṛṣṭa_, which is in effect _karman_ made by human action, is also a powerful agent as well as things’ intrinsic natures. Moreover, (...) ordinary selves, atoms, ether, and universals are uncreated. But the _īśvara_ brings about just desert in reincarnation in actualizing Unseen Force, and is responsible for a broad swathe of what some see as accidental arrangements as well as the forming of the macro elements from eternal, naturally _dis_joined atoms. Thus the cosmos in its general existence and structure is viewed in Nyāya as the work of the Lord. Gaṅgeśa’s argument runs: Earth and the like [_a_ (_pakṣa_) = earth and the like (_kṣity-ādi_)] have a conscious agent as a cause [S (_sādhya_) = having an agential cause (_sakartṛkatva_) (S_a_)], _since_ they are effects [H (_sādhana_) = being an effect [(_kāryatva_) (H_a_)], like a pot [_b_ (_dṛṣṭānta_) = a pot (H_b_,S_b_)]. And so the _vyāpti_ rule is: [H → S (_vyāpti_)] Whatever is an effect has an agential cause. For earth and the like, it is reasoned that only an omniscient _īśvara_ could be that cause. The argument was a target of Buddhists who pointed to counterexamples such as growing grass. Growing grass exhibits the prover property, being-an-effect, but not the property to be proved, having-an-agential-cause. The long section is dominated by Gaṅgeśa’s rebutting this and other potential defeaters, in particular, the _upādhi_, having-a-living-body (God does not have a living body but all the agential causes with which we are familiar do), along with a counterinference (_sat-pratipakṣa_), I_a_ & (x)(Ix → ¬Sx), where I = not-produced-by-an-agent-with-a-body. (shrink)

Virtues can be considered to play a causal role in the production of behaviour and so too can our self-narratives. We identify a point of connection between the two cases and draw a parallel between them. But, those folk psychological notions, virtues and self-narratives, fail to reduce smoothly to the underlying human physiology. As a first step towards handling that failure to connect with the scientific framework that is the familiar grounding for our understanding of causation, we consider the causal (...) theory of action, a leading theory of action, which shows how reasons, understood as an appropriate pair of beliefs and desires, can be treated as causes of action. Davidson’s picture is based on cause as a relation between events, which can have both a description in scientific terms and in folk psychological terms. The character of both virtues and self-narratives is not that of events, even extended ones, so we need to refer to examples of scientific explanation that incorporate structural properties of objects. While we retain the spirit of the causal theory, we wish to guard against any unwarranted optimism that an explicitly scientific explanation for human action lies in our future, drawing on Chomsky’s view that a causal explanation of human actions is likely to remain beyond human science forming capacities. We take a mild-realist view of virtues and self-narratives, in the style of Dennett. We argue that, in spite of that limited form of realism, underlined by Chomsky’s mysterian position in this domain, we still need to frame our explanations of behaviour based on virtues and self-narratives in causal terms. (shrink)

Review from other book by this author `...these intriguing views are ingeniously argued and fruitfully provocative.' Philosophy. 'Review from previous edition 'it must be said that this is one of the most impressive works of analytical philosophy to appear for a good many years.' -Peter Strawson, Times Literary Supplement 'Review from previous edition 'it must be said that this is one of the most impressive works of analytical philosophy to appear for a good many years... The positions adopted are argued (...) for with an extraordinarily sustained seriousness and determination... the work will become, and deserves to become, a classic in its field.' -Peter Strawson, Times Literary SupplementDonald Davidson has prepared a new edition of his classic 1980 collection of Essays on Actions and Events, including two additional essays. This seminal work on the nature of human action features influential discussions of such topics as freedom to act; weakness of the will; the logical form of talk about actions, intentions, and causality; the logic of practical reasoning; Hume's theory of the indirect passions; and the nature and limits of decision theory. 'a classic in its field.' P. F. Strawson. (shrink)

RESUMEN Se analiza el concepto de superstición de Spinoza como dispositivo político de alteración de la lógica afectiva y, por ende, del deseo, instituyendo determinadas formas de acción y pensamiento. En virtud de lo anterior, se propone una lectura sobre su devenir conceptual, considerando las nociones de fetichismo en Marx, religión capitalista en Benjamin, espectáculo en Debord y discurso moral en Coccia, de esta manera se pone en evidencia la actualidad del funcionamiento de la superstición en la época del capitalismo. (...) ABSTRACT The article analyzes Spinoza's concept of superstition as a political mechanism that alters affective logic and, therefore, that of desire, establishing determined forms of action and thought. In this context, we suggest a reading of the concept's development, taking into account the notions of fetishism in Marx, capitalist religion in Benjamin, spectacle in Debord, and moral discourse in Coccia, in order to show how superstition operates in the age of capitalism. (shrink)

A wave of recent philosophical work on practical rationality is organized by the following implicit argument: Practical reasoning is figuring out what to do; to do is to act; so the forms of practical inference can be derived from the structure or features of action. Now it is not as though earlier work, in analytic philosophy, had failed to register the connection between action and practical rationality; in fact, practical reasoning was usually picked out as, roughly, reasoning directed (...) toward action. But for much of the twentieth century, attention moved quickly away from this initial delineation of the subject area, to the interplay of beliefs and desires within the mind (Humean theories, including their Davidsonian and Williamsian variants), or to procedures for checking that a plan of action was supported by sufficient yet consistent reasons (Kantian theories), or to the ultrarefined sensibilities of the practically intelligent reasoner (Aristotelian theories). The hallmark of the emerging family of treatments to be surveyed here is, first, the sustained attention paid to answering the question, "What does it take to be an action (at all)?", and second, the use made of a distinction between full-fledged action and its lesser relatives. (Characterizations and terminology vary, but often the less robust alternative is called "mere activity" or "mere behavior".) Very schematically, these arguments for a theory of practical reasoning try to show that reasons brought to bear on choice must have some particular logical form, if action is not to lapse into something less than that. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act as (...) if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then compared (...) with stronger criteria and assumptions, especially the idea that sentences essentially have just one logical form. (shrink)

Providing a unique interpretation of Kant's theory of judgement as integral to his overall project, Claudia Brodsky explores his continued relevance to contemporary theoretical concerns. The Linguistic Condition traces how Kant combined sensus communis, or common sense with the communicative nature of judgement to reveal that, for him, acts of judgement are dependent on their linguistic articulation, so that in Kantian philosophy language and judgement are inextricably linked. In this first in-depth analysis of language in the Critique of Judgement, Brodsky (...) forms creative connections between literature and philosophy. (shrink)