In this paper, the set-theoretic approach in the logical theory of normative systems is extended using Broome’s definition of the normative code function. The syntax and semantics for first order metanormative language is defined, and metanormative language is applied in the formalization of the basic principles in Broome’s approach and in the construction of a logical typology of normative systems. Special attention is given to the types of normative systems which are not definable in terms of the properties of singular (...) sets of requirements (e.g. the realization equivalence of codes, the social compatibility of codes, and the compatibility of codes issued by different normative sources). Examples are given of the application of the typology in the interpretation of philosophical texts. Von Wright’s hypothesis on the connection of logical properties of normative systems, conceived set-theoretically, with standard deontic logic is proved by introducing the translation function between the metanormative language and the restricted language of standard deontic logic. The translation reveals that von Wright’s hypothesis must be appended. The problems of narrow and wide scope readings of the deontic conditionals and of the meaning of iterated deontic operators are addressed using the distinction between relative and absolute normative codes. The theorem on the existence of a realization equivalent absolute code for any relative code is proved. (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)

The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) (...) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms. (shrink)

Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative principles (...) are directed second-order obligations and, in particular, that the requirement related to deductive closure is directed to the norm-applier role rather than to the norm-giver role. The approach has been applied to the case of pure derogation yielding a new result, namely, that an independence property is a perfection-property of a norm-set in view of possible derogation. This paper in a polemical way touches upon several points raised by Kristan in his recent paper. (shrink)

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

This discussion note points to some verbal imprecisions in the formulation of the Enhanced Indispensability Argument. The examination of the plausibility of alternative interpretations reveals that the argument’s minor premise should be understood as a particular, not a universal, statement. Interpretations of the major premise and the conclusion oscillate between de re and de dicto readings. The attempt to find an appropriate interpretation for the EIA leads to undesirable results. If assumed to be valid and sound, the argument warrants the (...) rationality of the belief in an unusual variant of Platonism. On the other hand, if taken as it stands, the argument is either invalid or is unsound or does not support the mathematical Platonism. Thus, the EIA in its present form cannot serve as a useful device for the Platonist. (shrink)

The investigation into logical form and structure of natural sciences and mathematics covers a significant part of contemporary philosophy. In contrast to this, the metatheory of normative theories is a slowly developing research area in spite of its great predecessors, such as Aristotle, who discovered the sui generis character of practical logic, or Hume, who posed the “is-ought” problem. The intrinsic reason for this situation lies in the complex nature of practical logic. The metatheory of normative educational philosophy and theory (...) inherits all the difficulties inherent in the general metatheory but has also significantly contributed to its advancement. In particular, the discussion on its mixed normative-descriptive character and complex composition has remained an important part of research in educational philosophy and theory. The two points seem to be indisputable. First, the content of educational philosophy and theory is a complex one, connecting different disciplines. Second, these disciplines are integrated within the logical form of practical inference or means-end reasoning. On the other hand, the character of consequence relation in this field, although generally recognized as specific, represents an unresolved prob- lem, a solution of which requires a sophisticated logical theory and promises to influence the self- understanding of educational philosophy and theory. (shrink)

This paper is divided in four parts. In the first part we introduce the method of internal critique of philosophical theories by examination of their external consistency with scientific theories. In the second part two metaphysical and one epistemological postulate of Wittgenstein's Tractatus are made explicit and formally expressed. In the third part we examine whether Tractarian metaphysical and epistemological postulates (the independence of simple states of affairs, the unique mode of their composition, possibility of complete empirical knowledge) are externally (...) consistent with the theory of quantum mechanics. The result of the inquiry is negative: Tractarian postulates ought to be be revised. Relying on the result we approach the question of the empirical character of logic in the fourth part. The description of theoretical transformations of the notion of disjunction, in its ontological, epistemological, and logical sense, is a common element of in all parts of the text. The conjecture on the existence of different types of disjunctive connectives in the language of quantum mechanics concludes the paper. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...) of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics used in describing psychological and social realities. (...) Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

The previous volume of the series Logic, Methodology and Philosophy of Science at Warsaw University---entitled Imperatives from Different Points of View---was the first result of the project Theory of Imperatives and Its Applications realized by the group composed by Anna Brożek, Jacek Jadacki and Berislav Žarnić. The project was supported by the Foundation for Polish Science within the program Homing Plus. One of the most important points of this project was the International Symposium Imperatives in Theory and Practice (...) which took place in Warsaw, on the 18th and 19th May, 2012. The symposium was the meeting of many specialists in the domain of the theory of imperatives – from China, Croatia, Japan, Poland and The United States. Contents: Berislav Žarnić, Logical Root of Linguistic Commitment; Jacek Jadacki, Witwicki’s Square; Tomoyuki Yamada, On the Very Idea of Imperative Inference; Fengkui Ju, Semantics of Sentences in Mixed Moods of Indicative and Imperative; Piotr Kulicki & Robert Trypuz, Two Faces of Obligation; Bartosz Brożek, Types of Obligations; Anna Brożek, Functional Ambiguity of Imperatives; Anna Brożek, Logic of Prescriptions and Instruction; Aleksandra Horecka, Imperative Sentence as a Performative Sentence, which Refers to the Optative State of Affairs; Jakub Bazyli Motrenko, The Concept of Praxiological Directive; Maciej Witek, How to Establish Authority with Words: Imperative Utterances and Presupposition Accommodation; Wojciech Załuski, Remarks on the Lexical Order of Rawls’s Two Principles of Justice; Natalia Miklaszewska, Acts of Will as Convictions; Anna Brożek, Imperatives in the Gospel. (shrink)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the (...) purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...) other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.

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)

Basin-Matthews-Viganò approach to construction of labelled deduction systems for normal modal logics is adapted to „Fitch proof-format“, and it is applied to the language of deontic-praxeological logic. Segerberg's suggestion on how to asses the adequacy of a logic for Kanger's theory of rights is being formally explicated and it is proved that herewith proposed system of labelled deduction satisfies Segerberg's criteria of adequacy. For the purpose of building the proof a semantics is given, which connects „the simplest semantics of action“ (...) with standard semantics of deontic logic. Soundness and completeness of the proposed labelled deduction with respect to aforementioned semantics is proved. (shrink)

SOCREAL 2010: 2nd International Workshop on Philosophy and Ethics of Social Reality. Sapporo, Japan, 2010-03-27/28. Session 2: Normative Systems.

Basin-Matthews-Viganò approach to construction of labelled deduction systems for normal modal logics is adapted to „Fitch proof-format“, and it is applied to the language of deontic-praxeological logic. Segerberg's suggestion on how to asses the adequacy of a logic for Kanger's theory of rights is being formally explicated and it is proved that herewith proposed system of labelled deduction satisfies Segerberg's criteria of adequacy. For the purpose of building the proof a semantics is given, which connects „the simplest semantics of action“ (...) with standard semantics of deontic logic. Soundness and completeness of the proposed labelled deduction with respect to aforementioned semantics is proved. (shrink)

SOCREAL 2013 : 3rd International Workshop on Philosophy and Ethics of Social Reality 2013. Hokkaido University, Sapporo, Japan, 25-27 October 2013. Session 2 : Imperatives and Norms.

Kritičko čitanje Alchourrónove i Bulyginove skupovnoteorijske defnicije normativnoga sustava pokazuje da njegova deduktivna zatvorenost nije neizbježno svojstvo. Slijedeći von Wrightovu pretpostavku da aksiomi standardne deontične logike opisuju svojstva savršenoga normativnog sustava, uvodi se algoritam za prevođenje iz modalnoga u skupovnoteorijski jezik. Prijevod nam otkriva da plauzibilnost pojedinih metanormativnih načela leži na različitim osnovama. Koristeći se metodološkim pristupom koji prepoznaje različite aktere u normama upravljanome međudjelovanju, pokazuje se da su metanormativna načela obveze drugoga reda upućene različitim ulogama. Poseban slučaj jest zahtjev (...) koji se odnosi na deduktivnu zatvorenost jer se pokazuje da je upućen ulozi koja primjenjuje, a ne onoj koja izdaje norme. Pristup je primijenjen i na slučaj čiste derogacije, što dovodi do novoga rezultata; svojstvo neovisnosti biva svojstvom savršenoga normativnog sustava u odnosu na moguću derogaciju. Ovaj članak na polemički način dodiruje nekoliko točaka iznesenih u Kristanovome nedavnom članku. (shrink)

Living Reference Work. Continuously updated edition.

This book is an introduction to elementary logic (classical propositional and first-order logic), comprising brief summaries of the basics of elementary logic, with the emphasis on typical questions and procedure descriptions and with a large number of corresponding exercises and problems. Solutions are given for each problem and exercise, often with commentaries. The first part, Basics of Logic, deals with (a) formal language, models, Venn diagrams for sentences, and translation from natural into formal language and vice versa, (b) deduction and (...) refutation methods in the format of natural deduction (Fitch and Suppes-Lemmon styles), tableau system and Venn diagrams, and (c) basic logical properties and relations (consistency, validity, consequence, equivalence, various types of opposition, logical completeness and independency, relationship between syntax and semantics). The second part, Logic in Understanding and Analysis, introduces into (a) logical approach to problem solving in concrete situations and events as presented in brief tales and anecdotes, (b) discovering the meaning, and reconstruction of logical interconnections, in ordinary, scholarly and philosophical texts, (c) application of already mastered logical tools in examining and defining further theoretical (logical, scientific) concepts and in building formal languages. The shorter third part, From the Traditional Logic, is dedicated to the traditional logic of concepts, judgements and syllogisms, largely with the use of Venn diagrams. (shrink)

Obituary for Berislav Žarnić, an outstanding, internationally influential, Croatian logician and philosopher. His main contributions are in logic of practical inference, logic of imperatives, logic of norms and philosophy of education.

We argue that intentions are beliefs—beliefs that are held in light of, and made rational by, practical reasoning. To intend to do something is neither more nor less than to believe, on the basis of one’s practical reasoning, that one will do it. The identification of the mental state of intention with the mental state of belief is what we call strong cognitivism about intentions. It is a strong form of cognitivism because we identify intentions with beliefs, rather than maintaining (...) that beliefs are entailed by intentions or are components of them. (shrink)

Name der Zeitschrift: Nietzscheforschung Jahrgang: 24 Heft: 1 Seiten: 283-294.

We take a tremendous interest in how other people think of us. We have certain expectations of others, concerning how we are to figure in their thought and judgment. And we often feel wronged if those are disappointed. But it is puzzling how others’ beliefs could wrong us. On the one hand, moral considerations don’t bear on the truth of a belief and so seem to be the wrong kind of reasons for belief. On the other hand, truth-directed considerations seem (...) to render moral considerations redundant. In this paper, we argue that to understand the possibility of doxastic wronging, we need to understand beliefs, no less than actions, as ways of relating to one another. In particular, how we take account of what others think and say will depend on whether we take up what P. F. Strawson calls the participant stance toward them. We show how this helps to make sense of an example Miranda Fricker identifies as a case of epistemic injustice. We then use the example to spell out the ethical significance of Tyler Burge’s idea that we have a default entitlement to accept at face value what we receive from a rational source. (shrink)

Suppose we suffer a loss, such as the death of a loved one. In light of her death, we will typically feel grief, as it seems we should. After all, our loved one’s death is a reason for grief. Yet with the passage of time, our grief will typically diminish, and this seems somehow all right. However, our reason for grief ostensibly remains the same, since the passage of time does not undo our loss. How, then, could it not be (...) wrong for grief to diminish? Or how are we to make sense of the diminution of grief? Do reasons expire? —The paper clarifies the puzzle and then considers four responses. It argues that all of them are inadequate and that there are principled reasons why this should be so: In experiencing grief we are apprehending a loss. Yet in our effort to understand the diminution of grief, we must apprehend ourselves. But because grief is not about ourselves, our apprehension of the diminution of grief is at odds with our apprehension of the object of grief. This gives rise to a kind of double-vision, which is why the puzzle eludes a solution. (shrink)

We often promise to ϕ despite having evidence that there is a significant chance that we won’t ϕ. This gives rise to a pressing philosophical problem: Are we irresponsible in making such promises since, it seems, we are insincere or irrational in making them? I argue that we needn’t be. When it’s up to us to ϕ, our practical reasons for ϕ-ing partly determine whether it is rational for us to believe that we will ϕ. That is why we can (...) sometimes rationally believe that we will ϕ even if our belief goes against the evidence. (shrink)

Suppose you decide or promise to do something that you have evidence is difficult to do. Should you believe that you will do it? On the one hand, if you believe that you will do it, your belief goes against the evidence—since having evidence that it’s difficult to do it constitutes evidence that it is likely that you won’t do it. On the other hand, if you don’t believe that you will do it but instead believe, as your evidence suggests, (...) that it is likely that you will fail, your decision is not serious and your promise is not sincere. This problem—I call it the Epistemological Problem of Difficult Action—is a pressing philosophical problem that each of us faces. In this paper I consider several possible responses to it. I conclude that the right response is to say that we should believe against the evidence. Cases in which we decide or promise to do something that we have evidence is difficult to do are the best counterexamples to evidentialism. (shrink)

It is common to think of the attitude of trust as involving reliance of some sort. For example, Annette Baier argues that trust is reliance on the good will of others, and Richard Holton argues that trust is reliance from a participant stance. However, it is puzzling how trust could involve reliance, because reliance, unlike trust, is responsive to practical reasons: we rely in light of reasons that show it worthwhile to rely, but we don’t trust in light of reasons (...) that show it worthwhile to trust. To address the puzzle, I sketch an account of reliance, according to which reliance consists in action, and I sketch an account of trust, according to which trust consists in belief held from a participant stance. I conclude that it is plausible to see trust as the grounds for reliance. (shrink)

This paper proposes to reorient the philosophical debate about peer disagreement. The problem of peer disagreement is normally seen as a problem about the extent to which disagreement provides one with evidence against one's own conclusions. It is thus regarded as a problem for individual inquiry. But things look different in more collaborative contexts. Ethical norms relevant to those contexts make a difference to the epistemology. In particular, we argue that a norm of mutual answerability applies to us when we (...) engage in shared inquiry with others, and precludes us from treating one another's conflicting judgments as evidence relevant to the dispute. From this it follows that standard philosophical accounts of peer disagreement—e.g., the Equal Weight View and the Total Evidence View—presuppose that the disagreeing parties are in a sense alienated from one another. It's doubtful that such forms of alienated disagreement should be treated as the central case. (shrink)

The ethics of belief is concerned with the question what we should believe. According to evidentialism, one should believe something if and only if one has adequate evidence for what one believes. According to classic pragmatism, other features besides evidence, such as practical reasons, can make it the case that one should believe something. According to a new kind of pragmatism, some epistemic notions may depend on one’s practical interests, even if what one should believe is independent of one’s practical (...) reasons. In this paper I recount and briefly assess the debate between evidentialism and pragmatism. (shrink)

How does evidence figure into the reasoning of an agent? This is an intricate philosophical problem but also one we all encounter in our daily lives. In this chapter, we identify the problem and outline a possible solution to it. The problem arises, because the fact that it is up to us whether we do something makes a difference to how we should think of the evidence concerning whether we will actually do it. Otherwise we regard something that is up (...) to us as if it were not: We regard something that is up to us as if it were the outcome of a lottery. Nonetheless, we would be wrong to ignore the evidence. Otherwise we could not make a rational decision. In this chapter, we first show that a decision-theoretic approach to this problem cannot succeed. This approach does not explain how we can take evidence into account in practical reasoning without making predictions concerning matters that are up to us. It also gives rise to incoherence between our practical and our theoretical conclusions. We then argue that what is required to solve the problem is recognizing that beliefs about matters that are up to us can be grounded in practical reasoning. We argue that such beliefs are not subject to an evidential norm, because they are not meant to reflect a reality that is independent of them but instead are meant to bring about the reality they represent. Finally, we argue that, even if we are fully rational agents, we will sometimes lack practical knowledge of what we will do. That is because when it is practically rational to do something that will require resolve, we may be in a position to rationally conclude that we will do it, even though we have evidence that there is a non-negligible chance that we won’t. In such cases, our evidence serves as a defeater for our practical knowledge. (shrink)