The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist and to not exist at (...) the same time. However, contrary to these claims, there is no inadequacy in the two-valued system of classical logic in explanation the intermediate situations in existence. The law of exclusion and the intermediate situations in the external world are separate things. The law of excluded middle has been inevitably accepted by other logic systems which are considered to reject this principle. The many-valued and the fuzzy logic systems do not transcend the classical logic. Misconceptions from incomplete information and incomplete research are effective in these criticisms. In addition, it is also effective to move the discussion about the intellectual conception (tasawwur) into the field of judgmental assent (tasdiq) and confusion of the mawhum (imaginable) with the ma‘kûl (intellegible). (shrink)

In an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

The modern discussion on the concept of truthlikeness was started in 1960. In his influential Word and Object, W. V. O. Quine argued that Charles Peirce's definition of truth as the limit of inquiry is faulty for the reason that the notion 'nearer than' is only "defined for numbers and not for theories". In his contribution to the 1960 International Congress for Logic, Methodology, and Philosophy of Science at Stan­ ford, Karl Popper defended the opposite view by defining a compara­tive (...) notion of verisimilitude for theories. The concept of verisimilitude was originally introduced by the Ancient sceptics to moderate their radical thesis of the inaccessibility of truth. But soon verisimilitudo, indicating likeness to the truth, was confused with probabilitas, which expresses an opiniotative attitude weaker than full certainty. The idea of truthlikeness fell in disrepute also as a result of the careless, often confused and metaphysically loaded way in which many philosophers used - and still use - such concepts as 'degree of truth', 'approximate truth', 'partial truth', and 'approach to the truth'. Popper's great achievement was his insight that the criticism against truthlikeness - by those who urge that it is meaningless to speak about 'closeness to truth' - is more based on prejudice than argument. (shrink)

According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and negative cases of application of the expression and in the non- existence of a sharp cut-off point between them. The sorites paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity (...) of the consequence relation. A lattice-theoretical framework for a whole family of “tolerant logics” is proposed and developed. Particular care is devoted to the relation between the salient features of the formal apparatus and the informal logical and semantic notions they are supposed to model. A suitable non-transitive counterpart to classical logic is defined. Some of its properties are studied, and it is eventually shown how an appropriate regimentation of the naive theory of vagueness is consistent in such a logic. (shrink)

Consider the proposition, "Informal logic is a subdiscipline of philosophy". The best chance of showing this to be true is showing that informal logic is part of logic, which in turn is a part of philosophy. Part 1 is given over to the task of sorting out these connections. If successful, informal logic can indeed be seen as part of philosophy; but there is no question of an exclusive relationship. Part 2 is a critical appraisal of the suggestion that informal (...) logic is applied epistemology. Part 3 examines the claim that informal logic has failed to penetrate into mainstream philosophy, and suggestions for amelioration are considered. (shrink)

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

Logics for ‘generally’ were introduced for handling assertions with vague notions, by non-standard generalized quantifiers, and to reason qualitatively about them . Filter logic is intended to address ‘most’. Here, we show that filter logic can be faithfully embedded into a classical first-order theory of certain predicates, called compatible. We also use representative predicates to enable elimination of the generalized quantifier. These devices permit using classical first-order methods to reason about consequence in filter logic and help clarifying the role of (...) such extended logics for ‘generally’. (shrink)

According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be identified with the probability that the event it describes will occur. After reviewing the history of related ideas in logic, I argue that it gives an understanding of probability which is particularly satisfactory for use in quantum mechanics. I construct a lattice (...) of future-tense propositions, with truth values in the interval [0, 1], and derive logical properties of these truth values given by the usual quantum-mechanical formula for the probability of a history. (shrink)

This paper presents a new theory of vagueness, which is designed to retain the virtues of the fuzzy theory, while avoiding the problem of higher-order vagueness. The theory presented here accommodates the idea that for any statement S₁ to the effect that 'Bob is bald' is x true, for x in [0, 1], there should be a further statement S₂ which tells us how true S₁ is, and so on - that is, it accommodates higher-order vagueness without resorting to the (...) claim that the metalanguage in which the semantics of vagueness is presented is itself vague, and without requiring us to abandon the idea that the logic - as opposed to the semantics - of vague discourse is classical. I model the extension of a vague predicate P as a blurry set, this being a function which assigns a degree of membership or degree function to each object o, where a degree function in turn assigns an element of [0, 1] to each finite sequence of elements of [0, 1]. The idea is that the assignment to the sequence (0.3, 0.2), for example, represents the degree to which it is true to say that it is 0.2 true that o is P to degree 0.3. The philosophical merits of my theory are discussed in detail, and the theory is compared with other extensions and generalisations of fuzzy logic in the literature. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this paper (...) have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Since Aristotle and the Stoa, there has been a clash, worsened by modern predicate logic, between logically defined operator meanings and natural intuitions. Pragmatics has tried to neutralize the clash by an appeal to the Gricean conversational maxims. The present study argues that the pragmatic attempt has been unsuccessful. The “softness” of the Gricean explanation fails to do justice to the robustness of the intuitions concerned, leaving the relation between the principles evoked and the observed facts opaque. Moreover, there are (...) cases where the Gricean maxims fail to apply. A more adequate solution consists in the devising of a sound natural logic, part of the innate cognitive equipment of mankind. This account has proved successful in conjunction with a postulated cognitive mechanism in virtue of which the universe of discourse is stepwise and recursively restricted, so that the negation selects different complements according to the degree of restrictedness of Un. This mechanism explains not only the discrepancies between natural logical intuitions and known logical systems; it also accounts for certain systematic lexicalization gaps in the languages of the world. Finally, it is shown how stepwise restriction of Un produces the ontogenesis of natural predicate logic, while at the same time resolving the intuitive clashes with established logical systems that the Gricean maxims sought to explain. (shrink)

The concepts of categorical diagnosis and conjectural diagnosis are introduced. It is argued that in diagnostic reasoning conjectural diagnosis plays a more important role than categorical diagnosis. Attention is called to the inevitable vagueness of clinical language and to the suitability of epistemic logic and fuzzy logic for diagnostic reasoning.

The general mitigating and aggravating circumstances of criminal liability are elements attached to the crime that, when they occur, affect the punishment quantum. Cuban criminal legislation provides a catalog of such circumstances and some general conditions for their application. Such norms give judges broad discretion in assessing circumstances and adjusting punishment based on the intensity of those circumstances. In the interest of broad judicial discretion, the law does not establish specific ways for measuring circumstances’ intensity. This gives judges more freedom (...) and autonomy, but it also imposes on them more social responsibility and challenges them to manage the uncertainty and subjectivity inherent in this complex activity. This paper proposes a model to aid the linguistic assessment of circumstances’ intensity and to provide linguistic and numerical recommendations to determine an appropriate punishment interval. M-LAMAC determines the collective evaluation of circumstances of the same type, determines the prevalence of a type of circumstance by means of a compensation function, recommends the required modification in the input interval, and finally recommends a numerical interval adjusted to the judges’ initially expressed preferences. The model’s applicability is demonstrated by means of several experiments on a fictitious case of bank document forgery. (shrink)

According to Brouwer’s ‘theory of the exodus of consciousness’, our experience includes ‘egoicity’, a distinct kind of feeling. In this paper, we describe his phenomenology in order to explore and elaborate on the notion of egoic sensations. In the world of perception formed from sensations, some of them are, Brouwer claims, not completely separated or ‘estranged’ from the subject, which is to say they have a certain degree of egoicity. We claim this phenomenon can be explained in terms of the (...) primordial state of consciousness from where the ‘exodus’ starts. Having undertaken the analysis and interpretation of Brouwer’s descriptions and examples of egoic sensations, we provide a formal account of egoicity based on Brouwer’s definition of its relation to estrangement, desire and fear. We show that the four terms can be modeled by a classical and a graded logical hexagon, giving the corresponding axiomatizations. (shrink)

The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.

Severity of Test (SoT) is an alternative to Popper's logical falsification that solves a number of problems of the logical view. It was presented by Popper himself in 1963. SoT is a less sophisticated probabilistic model of hypothesis testing than Oaksford & Chater's (O&C's) information gain model, but it has a number of striking similarities. Moreover, it captures the intuition of everyday hypothesis testing.

Since Aristotle it is recognised that a valid syllogism cannot have two particular premises. However, that is not how a lay person sees it; at least as long as the premises read many, most etc, instead of a plain some. The lay people are right if one considers that these syllogisms do not have strict but approximate (Zadeh) validity. Typically there are only particular premises available in everyday life and one is dependent on such syllogisms. – Some rules on the (...) usage of particular premises are given below. (shrink)

A utility-based approach to the understanding of vague predicates (VPs) is proposed. It is argued that assignment of truth values to propositions containing VPs entails unjustifiable assumptions of consensus; two models of VP semantics are criticized on this basis: (1) the super-truth theory of Kit Fine (1975), which requires an unlikely consensus on base points; (2) the fuzzy logic of Lotfi Zadeh (1975), on fuzzy truth values of sentences. Pragmatism is held to provide a key: successful behavior justifies a person's (...) knowledge of the content of a VP. Instead of attempting to determine a consensus underlying successful communication, the utility of individual communications is held to rest on sufficient approximation of meanings between people. 3 Figures, 17 References. Adapted from the source document. (shrink)

In this paper I shall describe the symbolic search space paradigm which is the dominant model for most of AI. Coupled with the mechanisms of logic it yields the predominant methodology underlying expert systems which are the most successful application of AI technology to date. Human decision making, more precisely, expert human decision making is the function that expert systems aspire to emulate, if not surpass.Expert systems technology has not yet proved to be a decisive success — it appears to (...) fare better in some areas of human expertise than others. As a result subdomains of human expertise are variously categorised and we shall examine a few of the suggested classification schemes. A particular line of argument explored is one which maintains that certain types of human decision making, at least, are not adequately approximated by the symbolic search space paradigm of AI. Furthermore, attempts to project this inadequate model of human decision making via implementations of expert systems will be detrimental to both our image of ourselves and the future possibilities for AI software.Finally, we examine one possible route to the realization of AI, perhaps even practical applications of AI, that is a significant alternative to the model offered by the symbolic search space paradigm. (shrink)

In the paper we define a class of languages for representation o knowledge in those application areas when a complete information about a domain is not available. In the languages we introduce modal operators determined by accessibility relations depending on parameters.

Human cognition requires coping with a complex and uncertain world. This suggests that dealing with uncertainty may be the central challenge for human reasoning. In Bayesian Rationality we argue that probability theory, the calculus of uncertainty, is the right framework in which to understand everyday reasoning. We also argue that probability theory explains behavior, even on experimental tasks that have been designed to probe people's logical reasoning abilities. Most commentators agree on the centrality of uncertainty; some suggest that there is (...) a residual role for logic in understanding reasoning; and others put forward alternative formalisms for uncertain reasoning, or raise specific technical, methodological, or empirical challenges. In responding to these points, we aim to clarify the scope and limits of probability and logic in cognitive science; explore the meaning of the explanation of cognition; and re-evaluate the empirical case for Bayesian rationality. (shrink)

This contribution aims at providing an argumentative method to account for epistemic modality and evidentiality. I claim that these two linguistic categories can work as semantic components of defeasible argumentative schemes based on classification processes. This kind of approximate reasoning is, in fact, frequently indicated by appearance verbs which signal that the inferred standpoint is conceived by the speaker as uncertain due to the deceiving nature of perceptual data. Drawing from an analysis at the semantic-argumentative interface, the way in which (...) prototype theory sheds light on the processes of meaning construction underlying defeasible arguments from definition is also shown. (shrink)

This is not an overly ambitious paper. What I would like to do is to take a thesis that most people would regard as wildly implausible, and convince you that it is, in fact, false. What's worse, the argument I shall give is by no means airtight, though I hope it's reasonably convincing. The thesis has to do with the fuzzy boundaries of terms that refer to familiar middle-sized objects, terms like ‘Kilimanjaro’ and ‘the tallest mountain in Africa.’ It is (...) intuitively clear that Kilimanjaro has a fuzzy boundary, so that there are some clods of earth at the base of the mountain for which there isn't anything, either in our practices in using the word ‘Kilimanjaro’ or in the facts of geography, that determines an answer to the question whether the clod is a part of Kilimanjaro. (shrink)

The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. Such conclusions are difficult to reconcile (...) with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

In this paper, we provide a macro level analysis of the visibility of philosophy of science in the sciences over the last four decades. Our quantitative analysis of publications and citations of philosophy of science papers, published in 17 main journals representing the discipline, contributes to the longstanding debate on the influence of philosophy of science on the sciences. It reveals the global structure of relationships that philosophy of science maintains with science, technology, engineering and mathematics and social sciences and (...) humanities fields. Explored at the level of disciplines, journals and authors, this analysis of the relations between philosophy of science and a large and diversified array of disciplines allows us to answer several questions: what is the degree of openness of various disciplines to the specialized knowledge produced in philosophy of science? Which STEM and SSH fields and journals have privileged ties with philosophy of science? What are the characteristics, in terms of citation and publication patterns, of authors who get their philosophy of science papers cited outside their field? Complementing existing qualitative inquiries on the influence of specific authors, concepts or topics of philosophy of science, the bibliometric approach proposed in this paper offers a comprehensive portrait of the multiple relationships that links philosophy of science to the sciences. (shrink)

The sorites paradox is the name given to a class of paradoxical arguments, also known as little by little arguments, which arise as a result of the indeterminacy surrounding limits of application of the predicates involved. For example, the concept of a heap appears to lack sharp boundaries and, as a consequence of the subsequent indeterminacy surrounding the extension of the predicate ‘is a heap’, no one grain of wheat can be identified as making the difference between being a heap (...) and not being a heap. Given then that one grain of wheat does not make a heap, it would seem to follow that two do not, thus three do not, and so on. In the end it would appear that no amount of wheat can make a heap. We are faced with paradox since from apparently true premises by seemingly uncontroversial reasoning we arrive at an apparently false conclusion. (shrink)

I argue for two claims: that the ordinary English truth predicate is a gradable adjective and that truth is a property that comes in degrees. The first is a semantic claim, motivated by the linguistic evidence and the similarity of the truth predicate’s behavior to other gradable terms. The second is a claim in natural language metaphysics, motivated by interpreting the best semantic analysis of gradable terms as applied to the truth predicate. In addition to providing arguments for these two (...) claims, I draw out consequences for debates about deflationism and truth-based analyses of notions such as assertion and logical consequence. (shrink)