Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ?upgrade' our preferences by changing the current order among worlds. We present a complete logic of knowledge update plus preference upgrade that works with dynamic-epistemic-style reduction axioms. This system can model changing obligations, conflicting commands, or ?regret'. We then show how to derive reduction axioms from arbitrary definable relation changes. This style of analysis also has a product update version with preferences between (...) actions, as well as worlds. Some illustrations are presented involving defaults and obligations. We conclude that our dynamic framework is viable, while admitting a further extension to more numerical ?utility update'. (shrink)

Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...) change, including new information, suggestions, and commands. In sum, the book creates new bridges between many fields, from philosophy and computer science to economics, linguistics, and psychology. For the experienced scholar access to a large body of recent literature is provided and the novice gets a thorough introduction to the action and techniques of dynamic logic. (shrink)

In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...) attitudes and actions of agents, and help us understand why saying so can make it so in explicit performative utterances. We will also discuss how acts of commanding give rise to so-called “deontic dilemmas” and how we can accommodate most deontic dilemmas without triggering so-called “deontic explosion”. (shrink)

Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the context of normative (...) conflicts. (shrink)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

An incorrect interpretation of Goodman’s theory of counterfactuals is persistently being offered in the literature. I find that strange. Even more so since the incorrectness is rather obvious. In this paper I try to figure out why is that happening. First I try to explain what Goodman did say, which of his claims are ignored, and what he did not say but is sometimes ascribed to him. I emphasize one of the bad features of the interpretation: it gives counterfactuals some (...) formal properties that neither Goodman nor (usually) the interpreter would accept. The usual interpretation (UI), which I claim should not be ascribed to Goodman, considers a counterfactual A>C true iff A, together with natural laws and all contingent truths cotenable with it, entails C. (UI) makes valid the law of conditional excluded middle, which Goodman clearly rejected. Among possible reasons for which the interpreters might find (UI) adequate is that (UI), as I argue, smuggles in the idea of minimal change, which is otherwise attractive, natural to many, but not to be found anywhere in Goodman’s paper. At the end I stress the significance of Goodman’s theory by arguing that we still need some of his notions to test the adequacy of our modern theories. (shrink)

A complete philosophy of mathematics must address Paul Benacerraf’s dilemma. The requirements of a general semantics for the truth of mathematical theorems that coheres also with the meaning and truth conditions for non-mathematical sentences, according to Benacerraf, should ideally be coupled with an adequate epistemology for the discovery of mathematical knowledge. Standard approaches to the philosophy of mathematics are criticized against their own merits and against the background of Benacerraf’s dilemma, particularly with respect to the problem of understanding the distinction (...) between pure and applied mathematics and the effectiveness of applied mathematics in the natural sciences and engineering. The evaluation of these alternatives provides the basis for articulating a philosophically advantageous Aristotelian inherence concept of mathematical entities. An inherence account solves Benacerraf’s dilemma by interpreting mathematical entities as nominalizations of structural spatiotemporal properties inhering in existent spatiotemporal entities. (shrink)

Some central philosophical issues concern the use of mathematics in putatively non-mathematical endeavors. One such endeavor, of course, is philosophy, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or counter-support to various philosophical programs concerning the foundations of mathematics.

What is informal logic, is it ``logic" at all? Main contemporary approaches are briefly presented and critically commented. If the notion of consequence is at the heart of logic, does it make sense to speak about ``informal" consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is because of the logical form of the sentences (...) involved and not because of their specific content that the inference is truth preserving; (ii) it is necessary that if the premises are true, then so is the conclusion. According to the prevalent criteria of informal logic an argument is cogent if and only if (i) its premises are rationally Acceptable, (ii) its premises are Relevant to its conclusion and (iii) its premises constitute Grounds adequate for accepting the conclusion (the ``ARG" conditions according to Govier). The ARG criteria characterize a certain broad kind of consequence relation. We do not (in general) have truth preservence in cogent arguments but if the premises are acceptable and other criteria are met, then so is the conclusion. We can speak about form in a loose sense and finally, there is rational necessity of the grounding or support relation. So a certain broad notion of logical consequence emerges from this comparison. The norms of ARG are norms of elementary scientific methodology in which argument is seen as embodying reasoning within a process of inquiry or of belief formation in subject areas accessible to every informed intellectual. (shrink)

This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality – social, natural or ideal – and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of rationality, normativity and understanding, thus pointing to a wide range of potential applications. -/- -/- The papers collected in this volume address cutting-edge topics in contemporary discussions amongst specialists. (...) Some essays focus on the role of indispensability considerations in the justification of logical competence, and the wide range of challenges within the philosophy of mathematics. Others present advances in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary and development of models of contractive speech act. -/- Table of Contents: Introduction: Majda Trobok, Nenad Miščević and Berislav Žarnić.- I. Logical and Mathematical Structures.- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics: Stewart Shapiro.- Applied Mathemathics in the Sciences: Dale Jacquette.- The Philosophical Impact of the Löwenheim-Skolem Theorem: Miloš Arsenijević.- Debating (Neo)logicism: Frege and the neo-Fregeans: Majda Trobok.- II. Epistemology and Logic.- Informal Logic and Informal Consequence: Danilo Šuster.- Logical Consequence and Rationality: Nenad Smokrović.- Logic, Indispensability and Aposteriority: Nenad Miščević.- III . Dynamic Logical Models of Meaning.- Extended Game-Theoretical Semantics: Manuel Rebuschi.- Dynamic Logic of Propositional Commitments: Tomoyuki Yamada.- Is Unsaying Polite?: Berislav Žarnić.- IV Logical Methods in Ontological and Linguistic Analyses.- Towards a Formal Account of Identity Criteria: Massimiliano Carrara and Silvia Gaio.- A Mereology for the Change of Parts: Pierdaniele Giaretta and Giuseppe Spolaore.- Russell versus Frege: Imre Rusza.- Goodman’s OnlyWorld: Vladan Djordjević.-. (shrink)