O objetivo geral da pesquisa da qual esse artigo faz parte é investigar o sistema metafísico que emerge dos trabalhos de David Lewis. Esse sistema pode ser decomposto em pelo menos duas teorias. A primeira nomeada como realismo modal genuíno (RMG) e a segunda como mosaico neo-humeano. O RMG é, sem dúvida, mais popular e defende a hipótese metafísica da existência de uma pluralidade de mundos possíveis. A principal razão em favor dessa hipótese é a sua aplicabilidade na discussão de (...) problemas losó cos, esse motivo não será diretamente abordado neste artigo. Pois, o foco está em compreender o mosaico neo-humea- no e como ele relaciona-se com a metafísica de mundos possíveis. Em outras palavras, o meu objetivo é entender as bases losó cas que sus- tentam o realismo modal genuíno. (shrink)

The article concerns two axiom systems of Słupecki for the functionally complete three-valued propositional logic: W1–W6 and A1–A9. The article proves that both of them are inadequate—W1–W6 is semantically incomplete, on the other hand, A1–A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

In empiricism, there are only two answers for a question: black or white. Yet, subjective meanings of human behaviours and responses toward health and illness cannot be simply explained with black and white. Gray zones are needed because they are characterized by complexity and require a contextual understanding. In this paper, we present and suggest fuzzy logic as an example of theoretical bases that help transcend the conflicts between objectivity and subjectivity, respect gray zones between black and white answers for (...) questions, and provide a contextual understanding of complex nursing phenomenon. A historical review of fuzzy logic is followed by a definition of fuzzy logic. Then, fuzzy logic is discussed in terms of its compatibility with nursing epistemological views and philosophical thoughts. Fuzzy logic agrees with three categories of epistemological views of nursing, including correspondence, coherence and pragmatism. Fuzzy logic also agrees with four major philosophical thoughts in nursing, including postempiricism, pragmatism, feminism, and postmodernism. Based on the discussion, we propose that fuzzy logic be further explored, used and developed in research and practice in the nursing areas/situations/phenomena that are characterized by complexity, ambiguousness, and vagueness. (shrink)

In the literature on vagueness one finds two very different kinds of degree theory. The dominant kind of account of gradable adjectives in formal semantics and linguistics is built on an underlying framework involving bivalence and classical logic: its degrees are not degrees of truth. On the other hand, fuzzy logic based theories of vagueness—largely absent from the formal semantics literature but playing a significant role in both the philosophical literature on vagueness and in the contemporary logic literature—are logically nonclassical (...) and give a central role to the idea of degrees of truth. Each kind of degree theory has a strength: the classical kind allows for rich and subtle analyses of the comparative form of gradable adjectives and of various types of gradable precise adjectives, while the fuzzy kind yields a compelling solution to the sorites paradox. This paper argues that the fuzzy kind of theory can match the benefits of the classical kind and hence that the burden is on the latter to match the advantages of the former. In particular, we develop a new version of the fuzzy logic approach that—unlike existing fuzzy theories—yields a compelling analysis of the comparative as well as an adequate account of gradable precise predicates, while still retaining the advantage of genuinely solving the sorites paradox. (shrink)

Of late, evidentiality has received great attention in formal semantics. In this paper I develop ‘evidentiality-informed’ truth conditions for modal operators such as must and may . With language data drawn from Luoping Nase (a Tibeto-Burman language spoken in the P.R. of China and belonging to the Yi Nationality), I illustrate that epistemic modals clash with clauses articulating first-hand information. I then demonstrate that existing models such as Kratzer’s graded possible-worlds semantics fail to provide accurate truth conditions for modals tagging (...) clauses with first-hand information. As a remedy I propose a fuzzy version of possible-worlds semantics with various grades of belief and knowledge. In addition to preserving the expressive power of graded possible-worlds semantics, the fuzzy model will be shown to supply appropriate truth conditions for epistemic modals appended to evidential clauses (i.e. clauses expressing first-hand information). (shrink)

Philosophers, linguists and others interested in problems concerning natural language frequently employ tools from logic and model theory. The question arises as to the proper interpretation of the formal methods employed—of the relationship between, on the one hand, the formal languages and their set-theoretic models and, on the other hand, the objects of ultimate interest: natural language and the meanings and truth conditions of its constituent words, phrases and sentences. Two familiar answers to this question are descriptivism and instrumentalism. More (...) recently, a third answer has been proposed: the logic as modelling view. This paper seeks to clarify and assess this view of logic. The conclusion is that we can successfully adopt the modelling perspective on a given piece of logical machinery only if we have to hand some other machinery to which we take the descriptive attitude. Thus, logic as modelling is not a full-fledged alternative to the descriptive view— for it cannot stand alone: it can at best be an addition to the descriptive perspective. The paper first presents the argument in a general, abstract form, before working through a detailed case study. The case examined is the one with respect to which the logic as modelling view has been developed in the greatest detail in the literature: the case of fuzzy model theory as an account of vagueness in natural language. (shrink)

This paper explores the ways in which truth is better than falsehood, and suggests that, among other things, it depends on the kinds of proposition to which these values are attached. Ordinary singular propositions like “It is raining” seem to fit best the bivalent “scheme” of classical logic, the general proposition “It is always raining” is more appropriately rated according to how often it rains, and a “practically vague” proposition like “The lecture will start at 1” is appropriately rated according (...) to its nearness to exactness. Implications for logic of this “rating system” are commented on. (shrink)