Switch to: Citations

Add references

You must login to add references.
  1. Begriffsschrift, a Formula Language, Modeled upon that of Arithmetic, for Pure Thought [1879].Gottlob Frege - 1879 - From Frege to Gödel: A Source Book in Mathematical Logic 1931:1--82.
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Mathematics, the Loss of Certainty.Morris Kline - 1981 - Critica 13 (39):87-91.
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • (2 other versions)Critique of Pure Reason.I. Kant - 1787/1998 - Philosophy 59 (230):555-557.
    Download  
     
    Export citation  
     
    Bookmark   1912 citations  
  • (5 other versions)Two Dogmas of Empiricism.W. V. Quine - 1951 - Philosophical Review 60 (1):20-43.
    Download  
     
    Export citation  
     
    Bookmark   662 citations  
  • (2 other versions)On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • (5 other versions)Two Dogmas of Empiricism.Willard V. O. Quine - 1951 - Philosophical Review 60 (1):20–43.
    Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...)
    Download  
     
    Export citation  
     
    Bookmark   1357 citations  
  • Logical Constants.K. Warmbrõd - 1999 - Mind 108 (431):503 - 538.
    There is as yet no settled consensus as to what makes a term a logical constant or even as to which terms should be recognized as having this status. This essay sets out and defends a rationale for identifying logical constants. I argue for a two-tiered approach to logical theory. First, a secure, core logical theory recognizes only a minimal set of constants needed for deductively systematizing scientific theories. Second, there are extended logical theories whose objectives are to systematize various (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Logical constants.John MacFarlane - 2008 - Mind.
    Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • (1 other version)The concept of logical consequence.William H. Hanson - 1997 - Philosophical Review 106 (3):365-409.
    In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • (1 other version)Review of Gila Sher: The Bounds of Logic: A Generalized Viewpoint[REVIEW]Moshé Machover - 1994 - British Journal for the Philosophy of Science 45 (4):1078-1083.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
    The paper starts with an examination and critique of Tarski’s wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is invariant with respect to arbitrary permutations of the domain. The class of such operations has been characterized by McGee as exactly those definable in the language L∞,∞. Also characterized similarly is a natural generalization of Tarski’s thesis, due to Sher, in terms of bijections between domains. My main (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
    Download  
     
    Export citation  
     
    Bookmark   180 citations  
  • (1 other version)Is There a Place for Philosophy in Quine’s Theory?Gila Sher - 1999 - Journal of Philosophy 96 (10):491-524.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Did Tarski commit "Tarski's fallacy"?Gila Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.
    In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...)
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • Did Tarski commit “Tarski's fallacy”?G. Y. Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.
    In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Our Knowledge of the External World.Bertrand Russell - 1914 - Mind 24 (94):250-254.
    Download  
     
    Export citation  
     
    Bookmark   257 citations  
  • Logical operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
    Tarski and Mautner proposed to characterize the "logical" operations on a given domain as those invariant under arbitrary permutations. These operations are the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively "logical", this lends support to the Tarski-Mautner proposal.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • (1 other version)Review. [REVIEW]Moshé Machover - 1994 - British Journal for the Philosophy of Science 45 (4):1078-1083.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - British Journal for the Philosophy of Science 45 (4):1078-1083.
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • (2 other versions)Philosophy of Logics.Susan Haack - 1978 - Philosophy 56 (217):435-436.
    Download  
     
    Export citation  
     
    Bookmark   137 citations