Plausible Logic allows defeasible deduction with arbitrary propositions, and yet when sufficiently simplified it is very similar to the Defeasible Logics of Billington and Nute. This paper presents Plausible Logic, explains some of the ideas behind the definitions, applies Plausible Logic to an example, and proves a coherence result which indicates that Plausible Logic is well behaved. We also report the first complete implementation of propositional Plausible Logic. The implementation has a web interface which makes (...) it available to researchers and students everywhere. The implementation is evaluated experimentally, and is shown to be capable of handling tens of thousands of rules and sufficiently many disjunctions for realistic problems. (shrink)

Plausibility Logic was introduced by Daniel Lehmann. We show—among some other results—completeness of a subset of Plausibility Logic for Preferential Models, and incompleteness of full Plausibility Logic for smooth Preferential Models.

This paper discusses how we understand and use a concept or the meaningof a general term to identify the objects falling under the term. There aretwo distinct approaches to research on the problems of concepts and meaningthe psychological approach and the formal (or logical) approach. My majorconcern is to consider the possibility of reconciling these two differentapproaches, and for this I propose to build a psychologically plausibleformal system of conceptualization. That is, I will develop a theory-basedaccount of concepts and propose (...) an explanation of how an agent activates aperspective (which consists of theories) in response to a situation in whichreasoning using a concept is called for. Theories are represented as sets offacts and rules, both strict and defeasible. Each theory is organized in acoherent perspective which stands for an agent's mental state or an agent'smodel of another agent's perspective. Perspectives are organized intohierarchies and the theory for a concept in one perspective may defeat thetheory for the same concept in another perspective. Which perspective issuperior is context-dependent. (shrink)

So simple and imperfect as it may appear this book has made use of knowledge on invention and discovery accumu lated during a lifetime. Those persons who would be tempted to emphasize only its imperfections should read the correspondence exchanged between Cantor and Dedekind at the end of the nineteenth century; they would then realize how difficult it was, even for an outstanding man, the creator of the set theory, to propose impeccable results in a completely new field. The field (...) I have chosen here is plausibility. I have proposed an intuitive, some would say a naive, presentation as I want to reach as large an audience as possible and because I personally believe that it is easier to axiomatize a mathematical theory precisely than to dis cover it and enunciate its key theorems. Professor Polya said: "The truly creative mathematician is a good guesser first and a good prover afterward. " For centuries a formalized generalized logic was found necessary and many attempts have been made to build it. vi Preface Mine is based on plausibility which covers with precision a wider field than probability and makes the formalization of analogy and generalization possible. As Laplace said: "Even in the mathematical sciences, our principal instru ments to discover the truth are induction and analogy. "* The examples of application I have chosen are not des cribed in detail. (shrink)

In this article, a qualitative notion of subjective plausibility and its revision based on a preorder relation are implemented in higher-order logic. This notion of plausibility is used for modeling pragmatic aspects of communication on top of traditional two-dimensional semantic representations.

We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.

We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four (...) interaction properties between certainty and plausibility and study how these properties translate into properties of belief. We then prove that all the logics considered are minimal logics for the highlighted theorems. We also consider a number of possible interpretations of plausibility, identify the corresponding logics and show that some notions considered in the literature are special cases of our framework. (shrink)

In this two-parts paper we present paranormal modal logic: a modal logic which is both paraconsistent and paracomplete. Besides using a general framework in which a wide range of logics  including normal modal logics, paranormal modal logics and classical logic can be defined and proving some key theorems about paranormal modal logic (including that it is inferentially equivalent to classical normal modal logic), we also provide a philosophical justification for the view that paranormal modal (...) logic is a formalization of the notions of skeptical and credulous plausibility. (shrink)

Induction, conceived as the class of rational non-truth preserving inferences, has been a perennial problem in philosophy. Aside from the problem of justification of induction, a less debated issue is the problem of properly describing inductive inferences. The purpose of this book is to conceptually investigate this descriptive problem of induction from the standpoint of the nonmonotonic logical tradition raised inside the field of Artificial Intelligence in the last thirty years. As we try to show, an essential part of this (...) enterprise involves the analysis of a pragmatically oriented notion of probability, called by us inductive plausibility. This in turn is made from the viewpoint of paraconsistency ? which according to some is the unavoidable companion of nonmonotonicity ? and modal logic. We therefore put forward a nonmonotonic, paraconsistent and modal approach to induction and plausibility. The book shall be useful to philosophers, logicians and computer scientists interested in the problem of induction in general and in the logical analysis of induction and plausibility in particular. (shrink)

It is shown by examples that inductive procedures which are commonly noticed only in the experimental sciences, are heuristically applicable also to purely mathematical questions. Similar processes are pointed out in inventive and everyday reasoning. A simple pattern of plausible inference is formulated and the bearing of these remarks on the current philosophical discussion of probability is hinted at. ‐ G. P.

Human decisions are conditioned by formidable uncertainty. The standard resource for dealing rationally with uncertainty is the mathematical concept of probability. The probability calculus is well-known, but since the numerical demands for applying it cannot usually be met, it is not widely applicable. By contrast, the concept of plausibility is widely applicable, but it is little known. This book relies on a generalized concept of plausibility whose strength is its adaptability. The adaptability is due to a novel form (...) of decision theory that takes plausibilities as inputs. This form of decision theory can be adapted to decisions informed by sharp probabilities and utilities as well as to decisions that must be made without them. The book illustrates its application to problems in argumentation theory, scientific theory choice, risk management, ethics, law, economics, and epistemology. (shrink)

We construct a Hilbert style system RPL for the notion of plausibility measure introduced by Halpern J, and we prove the soundness and completeness with respect to a neighborhood style semantics. Using the language of RPL, we demonstrate that it can define well-studied notions of necessity, conditionals and propositional identity.

Current practice in logic increasingly accords recognition to abductive, presumptive or plausible arguments, in addition to deductive and inductive arguments. But there is uncertainty about what these terms exactly mean, what the differences between them are (if any), and how they relate. By examining some analyses ofthese terms and some of the history of the subject (including the views of Peirce and Cameades), this paper sets out considerations leading to a set of definitions, discusses the relationship of these three (...) forms of argument to argumentation schemes and sets out a new argumentation scheme for abductive argument. (shrink)

Is it possible to combine different logics into a coherent system with the goal of applying it to specific problems so that it sheds some light on foundational aspects of those logics? These are two of the most basic issues of combining logics. Paranormal modal logic is a combination of paraconsistent logic and modal logic. In this paper, I propose two further combinatory developments, focusing on each one of these two issues. On the foundational side, I combine (...) paranormal modal logic with normal modal logic, resulting into a paraconsistent and paracomplete multimodal logic dealing with the notions of plausibility and certainty. On the application side, I combine this logic with Reiter’s default logic, resulting into an inductive and consequently nonmonotonic paraconsistent and paracomplete logic able to represent some key inductive principles. (shrink)

Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to study (...) the prospect of a logical pluralism based on different interpretations of logical systems. First, we give our analysis of what it means to interpret a logic – and make some hopefully useful distinctions along the way. Second, we present what we call an interpretational logical pluralism: there is more than one correct logic and a logic is correct only if it has some adequate interpretation. We consider four variants of this idea, bring up some possible objections, and try to find plausible solutions on behalf of the pluralist. We will argue that interpretations of logical systems provide a promising – albeit not unproblematic – route to logical pluralism. (shrink)

The plausible reasoning class (called the JSM-reasoning in honour of John Stuart Mill) is described. It implements interaction of three forms of non-deductive procedures  induction, analogy and abduction. Empirical induction in the JSM-reasoning is the basis for generation of hypotheses on causal relations (determinants of social behaviour). Inference by analogy means that predictions about previously unknown properties of objects (individual’s behaviour) are inferred from causal relations. Abductive inference is performed to check on the explanatory adequacy of generated hypotheses. To (...) recognize rationality of respondents’ opinion deductive inference is used. Plausible reasoning, semantics of argumentation logic and deductive recognition of opinion rationality represent logical tool for cognitive sociology problems. (shrink)

Recent work by Marchisella exposed a gap in the literature on causal non-monotonic reasoning: what is needed is an approach whose primary motivation is the formal representation of the way in which humans typically reason with cause and effect. We extend the work of Marchisella, and propose a new type of causal non-monotonic reasoning, _Plausible Causal Reasoning_, which fills the gap in the literature. We propose some new principles which help characterise Plausible Causal Reasoning, and suggest a family of non-monotonic (...) logics which provides a suitable starting point for its formalisation. (shrink)

Throughout my investigation into abductive cognition, which is also associated with the endeavor to naturalize logic of its special consequence relation, I stressed the relevance of the following key elements: ‘optimization of eco-cognitive situatedness’, ‘maximization of changeability’ of both input and output of the general form of an inferential abductive problem and high ‘information-sensitiveness’. These elements will be summarized and further deepened in this article. In addition, I will demonstrate how, in contrast to traditional demonstrative logical ideal systems, which (...) are typified by what I refer to as the ‘maximization of memorylessness’, a naturalized logic of abduction demonstrates the necessity of recording the ‘past life’ of abductive inferential praxes. Lastly, I will analyze the significance and nature of the maximization of eco-cognitive openness, which characterizes abduction in science and describes how the many above-mentioned elements are relevant to the aims of new eco-cognitive epistemology. (shrink)

This chapter contains sections titled: The Key Ingredients of Logic Non‐Deductive Reasoning Forms Plausible Reasoning Induction and Abduction Confirmatory Induction Concluding Remarks.

In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker’s core insights, we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and what is knowable; we argue that the foundational axioms of Stalnaker’s system rely intuitively on both of these notions. More precisely, we argue that the plausibility of (...) the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an “evidence-in-hand” conception of knowledge and a weaker “evidence-out-there” notion of what could come to be known. Our analysis leads to a trimodal logic of knowledge, knowability, and belief interpreted in topological subset spaces in which belief is definable in terms of knowledge and knowability. We provide a sound and complete axiomatization for this logic as well as its uni-modal belief fragment. We then consider weaker logics that preserve suitable translations of Stalnaker’s postulates, yet do not allow for any reduction of belief. We propose novel topological semantics for these irreducible notions of belief, generalizing our previous semantics, and provide sound and complete axiomatizations for the corresponding logics. (shrink)

Modern logic is undergoing a cognitive turn, side-stepping Frege’s ‘antipsychologism’. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We place this border-crossing research in the context of long-standing contacts between logic and empirical facts, since pure normativity has never been a plausible stance. We also discuss what the fall of Frege’s Wall means for a new agenda of logic as a theory of rational (...) agency, and what might then be a viable understanding of ‘psychologism’ as a friend rather than an enemy of logical theory. (shrink)

In this paper, I seek to undermine G.A. Cohen ’s polemical use of a metaethical claim he makes in his article, ‘ Facts and Principles’, by arguing that that use requires an unsustainable equivocation between epistemic and logical grounding. I begin by distinguishing three theses that Cohen has offered during the course of his critique of Rawls and contractualism more generally, the foundationalism about grounding thesis, the justice as non-regulative thesis, and the justice as all-encompassing thesis, and briefly argue that (...) they are analytically independent of each other. I then offer an outline of the foundationalism about grounding thesis, characterising it, as Cohen does, as a demand of logic. That thesis claims that whenever a normative principle is dependent on a fact, it is so dependent in virtue of some other principle. I then argue that although this is true as a matter of logic, it, as Cohen admits, cannot be true of actual justifications, since logic cannot tell us anything about the truth as opposed to the validity of arguments. Facts about a justification cannot then be decisive for whether or not a given argument violates the foundationalism about grounding thesis. As long as, independently of actual justifications, theorists can point to plausible logically grounding principles, as I argue contractualists can, Cohen ’s thesis lacks critical bite. (shrink)

A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible (...) Deduction (LPD), a deductive logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions are also given and proofs of their equivalence are presented. (shrink)

This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.

Logical pluralism as a thesis that more than one logic is correct seems very plausible for two basic reasons. First, there are so many logical systems on the market today. And it is unclear how we should decide which of them gets the logical rules right. On the other hand, logical monism as the opposite thesis still seems plausible, as well, because of normativity of logic. An approach which would manage to bring a synthesis of both logical pluralism (...) and logical monism is called for. I review the possible forms of logical pluralism and render them more plausible. I thus arrive at logical dynamism, a synthesis of various pluralisms and monism focused on how logic develops. (shrink)

In qualitative decision theory, a very natural way for defining preference relations over policies (acts) -functions from a set S of states to a set X of consequences- is by using the so called Dominance Plausible Rule. In this context we need a relation > over X and a relation ? over P(S) (the subsets of S). Then we define ≥ as follows: f ≥ g, ? [f > g] ? [g > f], where [f > g] denotes the set (...) {s ? S : f(s) > g(s)g}. In many cases > is a modular relation and ? is a total preorder. A quite rational and desirable property for the relation over policies is transitivity. In general, the relation ≥ defined by the Dominance Plausible Rule is not transitive in spite of the transitivity of ?. In this work we characterize the properties of the relation ? forcing the relation ≥ over policies to be transitive. All this under the hypothesis of modularity of the relation >. (shrink)

Logical Pluralists maintain that there is more than one genuine/true logical consequence relation. This paper seeks to understand what the position could amount to and some of the challenges faced by its formulation and defence. I consider in detail Beall and Restall’s Logical Pluralism—which seeks to accommodate radically different logics by stressing the way that they each fit a general form, the Generalised Tarski Thesis (GTT)—arguing against the claim that different instances of GTT are admissible precisifications of logical consequence. I (...) then consider what it is to endorse a logic within a pluralist framework and criticise the options Beall and Restall entertain. A case study involving many-valued logics is examined. I next turn to issues of the applications of different logics and questions of which logic a pluralist should use in particular contexts. A dilemma regarding the applicability of admissible logics is tackled and it is argued that application is a red herring in relation to both understanding and defending a plausible form of logical pluralism. In the final section, I consider other ways to be and not to be a logical pluralist by examining analogous positions in debates over religious pluralism: this, I maintain, illustrates further limitations and challenges for a very general logical pluralism. Certain less wide-ranging pluralist positions are more plausible in both cases, I suggest, but assessment of those positions needs to be undertaken on a case-by-case basis. (shrink)

Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s proposal (...) saves one direction of the parallel for semantics, it gives up the parallelism for truth. I spell out a different response which meshes naturally with Husserl’s account of meaning. If the parallelism is restricted to a class of basic propositions, the truth of non-basic propositions can be defined inductively, without leading to the paradox. I then discuss objections that have been raised against a similar proposal by Dummett. The result is that exegetically plausible and popular interpretations of Husserl’s correlationism are indeed challenged by Church and Fitch. But when taking into account the ‘logical adumbration’ of propositional blindspots, truth and possible fulfilment can be connected without paradox. (shrink)

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance (...) two logical norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

This paper proposes a logical framework for studying the structure of moral responsibility for outcomes. The analysis incorporates two vital features: an agency condition and a negative condition of an alternative possibility. The logical language allows us to identify and disambiguate seven plausible criteria for moral responsibility. To accommodate interdependent decision contexts, the semantics are given in terms of so-called responsibility games. The logical framework enables us to classify the logical relations between these seven criteria for moral responsibility. Although all (...) seven criteria are logically distinct, I also identify circumstances where the seven criteria locally reduce to only three. (shrink)

In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...) also consider refinements and alternatives to the ‘threshold’ model, the most significant of which is to consider changes to plausibility judgements rather than mere beliefs. We show first that some such change is mandated by difficult problems with belief-based dynamics related to the need to decide on an order in which different beliefs are considered. Secondly, we show that the resulting plausibility-based account results in a deterministic dynamical system that is non-deterministic at the level of beliefs. (shrink)

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so (...) I suggest, adopting it has important consequences. First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (shrink)

In this paper, using Mark Schroeder’s (2008a) expressivist semantic framework for normative language as a case study, I will identify difficulties that even an expressivist semantic theory capable of addressing the Frege-Geach problem will encounter in handling the logical possibility of moral dilemmas. To this end, I will draw on a classical puzzle formulated by McConnell (1978) that the logical possibility of moral dilemmas conflicts with some of the prima facie plausible axioms of the standard deontic logic, which include (...) obligation implies permission. On the tentative assumption that proponents of ethical expressivism should be generally committed to securing the logical possibility of moral dilemmas in their semantic theories, I will explore whether and how expressivists can successfully invalidate obligation implies permission within the framework developed by Schroeder. The case study eventually reveals that this can indeed be a hard task for expressivists. Generalizing from the case study, I will suggest that the source of the difficulty ultimately lies in the mentalist assumption of the expressivist semantic project that the logico-semantic relations exhibited by normative sentences should be modeled in terms of the psychological attitudes that speakers express by uttering them. My final goal will be to show that the difficulty expressivists face in dealing with the logical possibility of moral dilemmas is a reflection of the more general problem that their commitment to the mentalist assumption prevents them from flexibly adopting or dropping axioms in their semantic theories to get the right technical results. (shrink)

This article evaluates whether Rescher's rules for plausible reasoning or other rules used in artificial intelligence for "confidence factors" can be extended to deal with arguments where the linked-convergent distinction is important.

Telic monism in logic is the thesis that there is one single philosophically primary goal to logic. A different way to put it is that there is only one canonical application to logic. This thesis is widely present—implicitly or more explicitly—in the literature on the philosophy of logic, yet has not been examined nor argued for extensively. In this paper I will present and critically examine telic monism. One prominent candidate for the canonical application of (...) class='Hi'>logic, namely the formal codification of logical consequence in natural language, will be challenged directly. The critique will then be generalized by appealing to a practice-based philosophy of logic. The general argument I put forth here claims that we have no principled reason to assume there to be just one primary goal to logic. Rather, I claim that it is more plausible that there actually is a variety of goals, purposes and applications to logic, without one of them enjoying primacy over the others. If this argument succeeds, at least one of the consequences is that it allows for a kind of logical pluralism that has previously been deemed insignificant, namely logical instrumentalism. (shrink)

, David Bloor suggests that logical reasoning is radically relativistic in the sense that there are incompatible ways of reasoning logically, and no culturally transcendent rules of correct logical inference exist which could allow for adjudication of these different ways of reasoning. Bloor cites an example of reasoning used by the Azande as an illustration of such logical relativism. A close analysis of this reasoning reveals that the Azande's logic is in fact impeccably Aristotelian. I argue that the conclusions (...) Bloor can legitimately draw from his case study are not controversial and do nothing to make plausible the thesis of logical relativism. (shrink)

Logic has traditionally been construed as a normative discipline; it sets forth standards of correct reasoning. Explosion is a valid principle of classical logic. It states that an inconsistent set of propositions entails any proposition whatsoever. However, ordinary agents presumably do — occasionally, at least — have inconsistent belief sets. Yet it is false that such agents may, let alone ought to, believe any proposition they please. Therefore, our logic should not recognize explosion as a logical law. (...) Call this the ‘normative argument against explosion’. Arguments of this type play — implicitly or explicitly — a central role in motivating paraconsistent logics. Branden Fitelson, in a throwaway remark, has conjectured that there is no plausible ‘bridge principle’ articulating the normative link between logic and reasoning capable of supporting such arguments. This paper offers a critical evaluation of Fitelson’s conjecture, and hence of normative arguments for paraconsistency and the conceptions of logic’s normative status on which they repose. It is argued that Fitelson’s conjecture turns out to be correct: normative arguments for paraconsistency probably fail. (shrink)

Quine’s thesis of underdetermination is significantly weaker than it has been taken to be in the recent literature, for the following reasons: (i) it does not hold for all theories, but only for some global theories, (ii) it does not require the existence of empirically equivalent yet logically incompatible theories, (iii) it does not rule out the possibility that all perceived rivalry between empirically equivalent theories might be merely apparent and eliminable through translation, (iv) it is not a fundamental thesis (...) within Quine’s philosophy, and (v) it does not carry with it the anti-realistic consequences often associated with the thesis in recent debates. The paper analyzes Quine’s views on the matter and the changes they underwent over the years. A conjecture is put forth about why Quine’s thesis has been so widely misrepresented: Quine’s writings up to 1975 tackled primarily the formulation and justification of the thesis, but afterwards were concerned mostly with the question whether empirically equivalent rivals to the theory we hold are to be considered true also. When this latter discussion is read without bearing in mind Quine’s earlier formulation and justification of the thesis, his thesis seems to have stronger epistemic consequences than it actually does. A careful reading of his later writings shows, however, that the formulation of the thesis remained unchanged after 1975, and that his mature and considered views supported only a very mitigated version of the thesis. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...) class='Hi'>logic of knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Plausibility in the Greek OratorsThomas A. SchmitzWhen Tzvetan Todorov edited a special issue of the journal Communications on vraisemblance (verisimilitude) in 1968, he described the origin of the concept as follows (I paraphrase):One day during the fifth century B.C., there was a trial in some Sicilian city. Neither the plaintiff nor the defendant could produce witnesses or any other form of evidence to corroborate their version of the (...) events, so they had to convince the judges by the sheer power of their arguments. This was the day the principle of vraisemblance was discovered.Todorov's tongue-in-cheek explanation refers to a concept which in Greek was called. The word combines two aspects that modern logic differentiates: the "objective" meaning of probability (what is probable by the laws of nature) and the "subjective" meaning of plausibility (what the addressee of a message considers plausible). Aristotle's use of the word shows that the Greek concept does not draw a sharp distinction between these two elements.1 Their intricate connection becomes evident in, e.g., his Rhetoric (2.25 1402b14-16) where he defines enthymemes. They are drawn from probability, he explains, when they are based upon things which occur regularly or are perceived to occur regularly (). The same definition combines objective, purely statistical probability () and subjective plausibility ().Ancient rhetorical theory in general highlighted the subjective aspect, as is evident in the definition of that Anaximenes (?) gives in his Rhetorica ad Alexandrum (7.3.4 1428a27-35): [End Page 47]Plausibility is achieved if the listeners have examples of what is said in mind. To wit, if somebody were to say that he wants his fatherland to be great and his friends to be lucky and his enemies to be unlucky and similar things, this, in short, will seem plausible. For every listener is aware that he himself has similar desires about these and like matters. Hence we must always take care in our speeches to secure our listeners' concurrence in the matters about which we are speaking. For they are likely to trust these statements most.Anaximenes thus defines as an attentiveness to the public's assumptions rather than an objective quality inherent in certain facts. His aim is to train future orators. Whereas a philosopher such as Aristotle wants to explore the very foundations of rhetorical persuasion and thus is interested in all aspects of, orators will be concerned with persuading their audiences instead of speculating about the laws of nature. Yet it could be argued that the modern distinction is largely illusory. Even the most "objective" probability must appear probable to someone; if there are no observers bringing in their own experiences and presuppositions, there is no probability.From its earliest period, Greek oratory made extensive use of this concept. It is impossible to pinpoint its exact origin2—it probably was "discovered" several times. Anastassiou's suggestion (1981, 358-60) that was first used as a means of reaching a decision in cases of insufficient evidence and was not employed by orators as a strategy of persuasion until later3 strains the imagination. As soon as there was a case of insufficient evidence, both parties were sure to use to further their point of view, trying to persuade the judges of the plausibility of their [End Page 48] version. From early times, certainly was no less a means of discourse than a tool of knowledge about the world.One of our earliest examples for this rhetorical use comes from the Homeric Hymn to Hermes. When Apollo accuses Hermes of having stolen his cattle, Hermes answers that he, a mere baby, is not likely to be a cattle thief (, 265). So far, discussions of this passage4 have seldom mentioned one important feature: Hermes is lying. Against all appearances and probabilities, the mere baby did indeed steal Apollo's cattle. Thus not only is the author of the hymn familiar with this particular form of argument, he also knows that it can be employed deceptively. His use of the device appears to be a playful parody of arguments that he considered typical of court speeches. This seems to presuppose that at the time of... (shrink)

Cognitive theories have expressed their components using an artificial symbolic language, such as first-order predicate logic, and the atoms in such representations are non-decomposable letter strings. A neural theory merely demonstrates how to implement a classical symbol system using neurons: this is actually an argument against the importance of the neural description. The fact that symbol systems are physically instantiated in neurons becomes a mere implementational detail, since there is a direct way to translate from the symbolic description to (...) the more neurally plausible one. It might then be argued that, while the neural aspects of the theory identify how behavior arises, they are not fundamentally important for understanding that behavior. Classical symbol systems would continue to be seen as the right kinds of description for psychological processes. (shrink)