Switch to: Citations

Add references

You must login to add references.
  1. Facts and the Function of Truth.Huw Price - 1990 - Mind 99 (394):301-305.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • A Structuralist Theory of Logic.Arnold Koslow - 1992 - New York: Cambridge University Press.
    In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • The categoricity problem and truth-value gaps.Ian Rumfitt - 1997 - Analysis 57 (4):223-235.
    In his article 'Rejection' (1996), Timothy Smiley had shown how a logical system allowing rules of rejection could provide a categorical axiomatization of the classical propositional calculus. This paper shows how rules of rejection, when placed in a multiple conclusion setting, can also provide categorical axiomatizations of a range of non-classical calculi which permit truth-value gaps, among them the calculus in Smiley's own 'Sense without denotation' (1960).
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • A Natural History of Negation.Laurence R. Horn - 1989 - University of Chicago Press.
    This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.
    Download  
     
    Export citation  
     
    Bookmark   350 citations  
  • Prior and Belnap.W. D. Hart - 1982 - Theoria 48 (3):127-138.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
    Download  
     
    Export citation  
     
    Bookmark   211 citations  
  • Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
    But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...
    Download  
     
    Export citation  
     
    Bookmark   409 citations  
  • Frege: Philosophy of Language.Michael Dummett - 1973 - London: Duckworth.
    This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...
    Download  
     
    Export citation  
     
    Bookmark   850 citations  
  • The propositional logic of ordinary discourse.William S. Cooper - 1968 - Inquiry: An Interdisciplinary Journal of Philosophy 11 (1-4):295 – 320.
    The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued logic, its (...)
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • (1 other version)The language of morals.Richard Mervyn Hare - 1963 - Oxford,: Clarendon Press.
    Part I The Imperative Mood 'Virtue, then, is a disposition governing our choices '. ARISTOTLE, Eth. Nic. 36 Prescriptive Language. ...
    Download  
     
    Export citation  
     
    Bookmark   402 citations  
  • Multiple Conclusion Logic.D. J. Shoesmith & Timothy John Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
    Multiple -conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between premises and conclusions, and can also be used to throw fresh light on the conventional logic and its limitations. This is a sustained study of the subject and is certain to stimulate further research. Part I reworks (...)
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.
    Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...
    Download  
     
    Export citation  
     
    Bookmark   578 citations  
  • Facts and the Function of Truth.Huw Price - 1988 - New York, NY, USA: Blackwell.
    Many areas of philosophy employ a distinction between factual and non-factual (descriptive/non-descriptive, cognitive/non-cognitive, etc) uses of language. This book examines the various ways in which this distinction is normally drawn, argues that all are unsatisfactory, and suggests that the search for a sharp distinction is misconceived. The book develops an alternative approach, based on a novel theory of the function and origins of the concept of truth. The central hypothesis is that the main role of the normative notion of truth (...)
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  • Syntax and semantics of questions.Lauri Karttunen - 1977 - Linguistics and Philosophy 1 (1):3--44.
    W. Labov's & T. Labov's findings concerning their child grammar acquisition ("Learning the Syntax of Questions" in Recent Advances in the Psychology of Language, Campbell, R. & Smith, P. Eds, New York: Plenum Press, 1978) are interpreted in terms of different semantics of why & other wh-questions. Z. Dubiel.
    Download  
     
    Export citation  
     
    Bookmark   313 citations  
  • Yes-No Questions Are Not Alternative Questions.Dwight Bolinger - 1978 - In H. Hiz & Henry Hiż (eds.), Questions. Dordrecht/Boston: Reidel. pp. 87--105.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • (2 other versions)Language, sense and nonsense.G. P. Baker & P. M. S. Hacker - 1985 - Revue Philosophique de la France Et de l'Etranger 175 (1):46-49.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Negation as a sign of negative judgment.Kent Bendall - 1979 - Notre Dame Journal of Formal Logic 20 (1):68-76.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Philosophy of language.William P. Alston - 1964 - Englewood Cliffs, N.J.,: Prentice-Hall.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Should knowledge entail belief?Joseph Y. Halpern - 1996 - Journal of Philosophical Logic 25 (5):483 - 494.
    The appropriateness of S5 as a logic of knowledge has been attacked at some length in the philosophical literature. Here one particular attack based on the interplay between knowledge and belief is considered: Suppose that knowledge satisfies S5, belief satisfies KD45, and both the entailment property (knowledge implies belief) and positive certainty (if the agent believes something, she believes she knows it) hold. Then it can be shown that belief reduces to knowledge: it is impossible to have false beliefs. While (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Direction of fit.I. Lloyd Humberstone - 1992 - Mind 101 (401):59-83.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • On the calculus MCC.A. N. Prior - 1969 - Notre Dame Journal of Formal Logic 10:273.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Why ‘Not’?Huw Price - 1990 - Mind 99 (394):221-238.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Everything Linguists Have Always Wanted to Know About Logic ---But Were Ashamed to Ask.James D. McCawley - 1993 - University of Chicago Press.
    McCawley supplements his earlier book—which covers such topics as presuppositional logic, the logic of mass terms and nonstandard quantifiers, and fuzzy ...
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Download  
     
    Export citation  
     
    Bookmark   103 citations  
  • Semantic Minimalism and the Frege Point.Huw Price - unknown
    Speech act theory is one of the more lasting products of the linguistic movement in philosophy of the mid−Twentieth century. Within philosophy itself the movement's products did not in general prove so durable. Particularly striking in this respect is the perceived fate of what was one of the most characteristic applications of the linguistic turn in philosophy, namely the view that many traditional philosophical problems are such as to yield to an understanding of the distinctive function of a particular part (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Expressivist embeddings and minimalist truth.James Dreier - 1996 - Philosophical Studies 83 (1):29-51.
    This paper is about Truth Minimalism, Norm Expressivism, and the relation between them. In particular, it is about whether Truth Minimalism can help to solve a problem thought to plague Norm Expressivism. To start with, let me explain what I mean by 'Truth Minimalism' and 'Norm Expressivism.'.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Sense, assertion, Dummett and denial.Huw Price - 1983 - Mind 92 (366):161-173.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Does 'probably' modify sense?Huw Price - 1983 - Australasian Journal of Philosophy 61 (4):396 – 408.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • The province of logic.William Kneale - 1956 - Mind 66 (262):258.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Meaning and speech acts.R. M. Hare - 1970 - Philosophical Review 79 (1):3-24.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • (2 other versions)Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1952 - New York,: Philosophical Library. Edited by P. T. Geach & Max Black.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1981 - Dordrecht, Netherland: Reidel.
    From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt ing's implication. I have not included anything on entailment, al though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
    This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...
    Download  
     
    Export citation  
     
    Bookmark   209 citations  
  • (2 other versions)Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1980 - Oxford, England: Blackwell. Edited by P. T. Geach & Max Black.
    Download  
     
    Export citation  
     
    Bookmark   272 citations  
  • (1 other version)Formal logic: its scope and limits.Richard C. Jeffrey - 1990 - Indianapolis, IN: Hackett.
    This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Semantic Holism.Nuel D. Belnap Jr & Gerald J. Massey - 1990 - Studia Logica 49 (1):67 - 82.
    A bivalent valuation is snt iff sound (standard PC inference rules take truths only into truths) and non-trivial (not all wffs are assigned the same truth value). Such a valuation is normal iff classically correct for each connective. Carnap knew that there were non-normal snt valuations of PC, and that the gap they revealed between syntax and semantics could be "jumped" as follows. Let $VAL_{snt}$ be the set of snt valuations, and $VAL_{nrm}$ be the set of normal ones. The bottom (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Language, sense and nonsense: a critical investigation into modern theories of language.Gordon P. Baker & Peter Michael Stephan Hacker - 1984 - Oxford: Blackwell. Edited by P. M. S. Hacker.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Logical systems containing only a finite number of symbols.Leon Henkin - 1967 - Montreal,: Presses de l'Université de Montréal.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Valuational semantics of rule derivability.Lloyd Humberstone - 1996 - Journal of Philosophical Logic 25 (5):451 - 461.
    If a certain semantic relation (which we call 'local consequence') is allowed to guide expectations about which rules are derivable from other rules, these expectations will not always be fulfilled, as we illustrate. An alternative semantic criterion (based on a relation we call 'global consequence'), suggested by work of J.W. Garson, turns out to provide a much better - indeed a perfectly accurate - guide to derivability.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Categorical Semantics.James W. Garson - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 155--175.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)What is a Classical Connective?Dov Gabbay - 1978 - Mathematical Logic Quarterly 24 (1‐6):37-44.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Some sub-atomic particles of logic.R. M. Hare - 1989 - Mind 98 (389):23-37.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Classical propositional operators: an exercise in the foundations of logic.Krister Segerberg - 1982 - New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Natural deduction, separation, and the meaning of logical operators.Kent Bendall - 1978 - Journal of Philosophical Logic 7 (1):245 - 276.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • First degree formulas in Curry's LD.Robert K. Meyer - 1977 - Notre Dame Journal of Formal Logic 18 (1):181-191.
    Download  
     
    Export citation  
     
    Bookmark   1 citation