Switch to: Citations

Add references

You must login to add references.
  1. Pragmatic logics for hypotheses and evidence.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - forthcoming - Logic Journal of the IGPL.
    The present paper is devoted to present two pragmatic logics and their corresponding intended interpretations according to which an illocutionary act of hypothesis-making is justified by a scintilla of evidence. The paper first introduces a general pragmatic frame for assertions, expanded to hypotheses, ${\mathsf{AH}}$ and a hypothetical pragmatic logic for evidence ${\mathsf{HLP}}$. Both ${\mathsf{AH}}$ and ${\mathsf{HLP}}$ are extensions of the Logic for Pragmatics, $\mathcal{L}^P$. We compare ${\mathsf{AH}}$ and $\mathsf{HLP}$. Then, we underline the expressive and inferential richness of both systems in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some Preliminaries on Assertion and Denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:203-207.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (2 other versions)The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
    Download  
     
    Export citation  
     
    Bookmark   777 citations  
  • (4 other versions)Principles of mathematics.Bertrand Russell - 1931 - New York,: W.W. Norton & Company.
    Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...)
    Download  
     
    Export citation  
     
    Bookmark   462 citations  
  • (3 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    Download  
     
    Export citation  
     
    Bookmark   1870 citations  
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Download  
     
    Export citation  
     
    Bookmark   325 citations  
  • Elements of symbolic logic.Hans Reichenbach - 1947 - London: Dover Publications.
    Download  
     
    Export citation  
     
    Bookmark   374 citations  
  • (1 other version)From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.
    From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.
    In what does the sense of a sentential connective consist? Like many others, I hold that its sense lies in rules that govern deductions. In the present paper, however, I argue that a classical logician should take the relevant deductions to be arguments involving affirmative or negative answers to yes-or-no questions that contain the connective. An intuitionistic logician will differ in concentrating exclusively upon affirmative answers. I conclude by arguing that a well known intuitionistic criticism of classical logic fails if (...)
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • Assertion.Peter Geach - 1965 - Philosophical Review 74 (4):449-465.
    Download  
     
    Export citation  
     
    Bookmark   357 citations  
  • Frege's judgment-stroke.V. H. Dudman - 1970 - Philosophical Quarterly 20 (79):150-161.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Assertive graphs.F. Bellucci, D. Chiffi & A.-V. Pietarinen - 2018 - Journal of Applied Non-Classical Logics 28 (1):72-91.
    Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic logic can be (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (3 other versions)Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.
    Download  
     
    Export citation  
     
    Bookmark   1018 citations  
  • (1 other version)From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.
    From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.
    We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Frege and Other Philosophers.Michael Dummett - 1991 - Oxford, England: Clarendon Press.
    The ideas of the German philosopher and mathematician Gottlob Frege lie at the root of the analytic movement in philosophy; Michael Dummett is his leading modern critical interpreter and one of today's most eminent philosophers. This volume collects together fifteen of Dummett's classic essays on Frege and related subjects.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Frege's Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence.Nicholas J. J. Smith - 2009 - Philosophy Compass 4 (4):639-665.
    One of the most striking differences between Frege's Begriffsschrift (logical system) and standard contemporary systems of logic is the inclusion in the former of the judgement stroke: a symbol which marks those propositions which are being asserted , that is, which are being used to express judgements . There has been considerable controversy regarding both the exact purpose of the judgement stroke, and whether a system of logic should include such a symbol. This paper explains the intended role of the (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Frege and Other Philosophers.Michael Dummett - 1991 - Oxford, England: Oxford University Press UK.
    The ideas of the German philosopher and mathematician Gottlob Frege lie at the root of the analytical movement in philosophy. Frege and Other Philosophers comprises all of Professor Dummett's published and previously unpublished essays on Frege, with the exception of those included in his Truth and Other Enigmas. In some of these essays he explores the relation of Frege's ideas to those of his predecessors and contemporaries. In others he considers critically some interpretations of Frege, and develops the argument for (...)
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • (2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • (2 other versions)Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  • (1 other version)Frege’s Theory of Judgment.D. Bell - 1981 - Erkenntnis 16 (1):183-190.
    Download  
     
    Export citation  
     
    Bookmark   18 citations