A conversational implicature is an inference that consists in attributing to a speaker an implicit meaning that goes beyond the explicit linguistic meaning of an utterance. This paper experimentallyinvestigates scalar implicature, a paradigmatic case of implicature in which a speaker's use of a term like Some indicates that the speaker had reasons not to use a more informative one from the samescale, e.g. All; thus, Some implicates Not all. Pragmatic theorists like Grice would predict that a pragmatic interpretation is determined (...) only after its explicit, logical meaning is incorporated (e.g. whereSome means at least one). The present work aims to developmentally unpack this prediction by showing how younger, albeit competent, reasoners initially treat a relatively weak term logically beforebecoming aware of its pragmatic potential. Three experiments are presented. Experiment 1 presents a modal reasoning scenario offering an exhaustive set of conclusions; critical among these isparticipants' evaluation of a statement expressing Might be x when the context indicates that the stronger Must be x is true. The conversationally-infelicitous Might be x can be understood logically(e.g. as compatible with Must) or pragmatically (as exclusive to must). Results from five-, seven-, and nine-year-olds as well as adults revealed that a) seven-year-olds are the youngest to demonstratemodal competence overall and that; b) seven- and nine-year-olds treat the infelicitous Might logically significantly more often than adults do. Experiment 2 showed how training with the modal taskcan suspend the implicatures for adults. Experiment 3 provides converging evidence of the developmental pragmatic effect with the French existential quantifier Certains (Some). Whilelinguistically-sophisticated children (eight- and ten-year-olds olds) typically treat Certains as compatible with Tous (All), adults are equivocal. These results, which are consistent with unanticipatedfindings in classic developmental papers, reveal a consistent ordering in which representations of weak scalar terms tend to be treated logically by young competent participants and morepragmatically by older ones. This work is also relevant to the treatment of scalar implicatures in the reasoning literature. (shrink)

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The aim of this book is to explain human rationality. The fundamental principles of human thought are stated in terms of Balzer's Principles, and their operations in everyday life are illustrated. The natural numbers are defined and explained in a fresh fashion. Paradoxes, including those of class theory and material implication, which have signaled that all is not well in our logical systems, are laid to rest here. The explanation of human rationality has more than logical interest, for (...) it touches upon the human values embedded in our rationality. The book carries the message that all human beings are fundamentally equal. (shrink)

Prima facie, there are two kinds of expression used in English to make reference to time: those involving explicit mention of time and temporal ordering relations, and tenses involving no such explicit reference. Taking as a criterion of adequacy the unification of both these aspects, a systematization is proposed (owing much to Reichenbach) which provides a characterization of tenses. The theory is not based on the notion of a proposition with variable truth value which formed the cornerstone of Arthur Prior’s (...) work. His conception receives a good deal of criticism, ultimately on the ground that relativising to exactly one time is inadequate. We don’t know in advance whether or not no time of perhaps more than one time is relevant, and where this is the case, the analysis cannot be reduced to propositions true at just one time. (shrink)

Anti-exceptionalism about logic is the Quinean view that logical theories have no special epistemological status, in particular, they are not self-evident or justified a priori. Instead, logical theories are continuous with scientific theories, and knowledge about logic is as hard-earned as knowledge of physics, economics, and chemistry. Once we reject apriorism about logic, however, we need an alternative account of how logical theories are justified and revised. A number of authors have recently argued that logical theories (...) are justified by abductive argument (e.g. Gillian Russell, Graham Priest, Timothy Williamson). This paper explores one crucial question about the abductive strategy: what counts as evidence for a logical theory? I develop three accounts of evidential confirmation that an anti-exceptionalist can accept: (1) intuitions about validity, (2) the Quine-Williamson account, and (3) indispensability arguments. I argue, against the received view, that none of the evidential sources support classical logic. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On (...) the basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

A theory of action is fundamental for legal theory, as the law is meant to direct behaviour: it influences the behaviour of agents who can understand the law’s prescriptions and act accordingly. A connection between law and action is assumed by the most diverse approaches to the law; when no reference is made to this connection it is since it appears to be an obvious truism. Let us list just a few examples where this connection appears most clearly.

∗ C pp, qq as a “mutual confirmation” generalization of pp & qq Prpe  hq won’t work Prpp & qq won’t work ∗ C pp, qq, so understood, is not Prpp & qq or Prpq | pq, etc.

The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this fine-grained perspective has already shed new light on the long-term dynamics of information exchange, as well as on the much-discussed question of extensive game rationality.

These two small works are a good supplement to Rescher’s recent trilogy. Whereas the systems-theoretic approach is employed in Methodological Pragmatism in dealing with the problem of the legitimation of claims to factual knowledge or cognitive rationality, Dialectics deals with the argumentation aspect of thesis-introduction rather than the logical aspect of thesis-derivation. Although some key notions such as the idea of burden of proof and presumption have been stated in the former work, what is offered here is a systematic (...) discussion of a disputational model of inquiry. The principal aims are "to exhibit the sociocommunal roots of the foundations of rationality, to provide an instrument for the critique of scepticism implicit in the cognitive solipsism of the Cartesian approach, and to illuminate the communal and controversy-oriented aspects of rational argumentation and inquiry—scientific inquiry in particular." Again, Rescher limits his discussion to "the probative mechanism in the factual domain." This book, if it were not for its price, should be a good supplement to a course in "informal" logic which focuses on argumentation rather than on mere evaluation of arguments. Plausible Reasoning provides the mechanism for evaluation of plausibility claims as distinct from probabilistic ones. The basic differences between these two types of claims are clearly discussed. "Plausibility is essentially a classificatory concept which ranks theses in terms of the standing and solidity of their cognitive basis. Plausibility grades theses by an external or extrinsic standard of the hierarchical nature of their supporting bases. It classifies propositions by the status of the evidential sources or validating principles that vouch for them. Probability weighs alternatives and evaluates theses by this relative contentual weight of the supporting considerations."—A.S.C. (shrink)

This paper presents a novel analysis of Sluicing, an ellipsis construction first described by Ross (1969) and illustrated by the bracketed portion ofI want to do something, but I'm just not sure [what _]. Starting from the assumption that a sluice consists of a displaced Wh-constituent and an empty IP, we show how simple and general LF operations fill out the empty IP and thereby provide it with an interpretable Logical Form. The LF operations we appeal to rely on (...) the influential theory of indefinites developed by Irene Heim and Hans Kamp, and are in harmony with certain aspects of Chomsky's Minimalist Program for linguistic theory. The analysis accounts directly for the familiar properties of Sluicing, as well as some facts which have not previously been observed. (shrink)

We develop a logical modelling approach to describe evolvable computational systems. In this account, evolvable systems are built hierarchically from components where each component may have an associated supervisory process. The supervisor's purpose is to monitor and possibly change its associated component. Evolutionary change may be determined purely internally from observations made by the supervisor or may be in response to external change. Supervisory processes may be present at any level in the component hierarchy allowing us to use evolutionary (...) behaviour as an integral part of system design. We model such systems in a revision-based first-order logical framework in which supervisors are modelled as theories which are at a logical meta-level to the theories of their components. This enables evolutionary change of the component to be induced by revision-based changes of the supervisor at the meta-level. In this way, the intervention required in evolutionary change is modelled purely logically. The hierarchical component-based structure is fairly intricate so we present the basic ideas firstly in a simple setting, the well-known blocks world, before introducing tree-based structures to represent component hierarchies. We also introduce some techniques for establishing the behaviour of evolvable systems specified in this logical framework. The ideas and concepts are driven by example throughout. We conclude with a more substantial example, that of a simple model of an evolvable system of automated bank teller machines. (shrink)

The rapid innovations in digital technology deeply influence views on language and information processing. These exciting developments raise many questions for researchers, and shed new light on old approaches. Researchers are drawn to closely investigate the relation between form and content, the ways that linguistic utterances change information content, and the dynamics of information change. Logic, as an established method of valid argumentation, is a tool that researchers can use to gain insight in these questions of language and computation. In (...) answer to these linguistic and computational questions, this book presents a broad range of logical investigations into language and information processing. The topics surveyed include the notion of 'reasonable belief' in commonsense reasoning, perceptual reports in natural languages, and the logic of creation and modification of objects. The book also presents work on the verification of temporal aspects of reactive systems, analysis of scope by combining model theory and situation semantics and semantic analysis of the information articulation of linguistic statements. This volume exemplifies the abundant development of logical methods and tools in an interdisciplinary context. (shrink)

Husserl’s Third Logical Investigation, ostensibly dealing with the phenomenology of whole and parts, is actually meant to introduce the notion of Fundierung. This term is frequently used in the phenomenological literature, although little has been written about Fundierung itself since Husserl introduced it. Husserl himself, although he used it extensively, never again felt the need to reopen the discussion.