Switch to: References

Citations of:

The foundations of mathematics

Amsterdam,: North-Holland Pub. Co. (1959)

Add citations

You must login to add citations.
  1. (1 other version)22 Die Disziplin der reinen Vernunft, 1. Abschnitt.Peter Rohs - 2024 - In Georg Mohr & Marcus Willaschek (eds.), Immanuel Kant: Kritik der reinen Vernunft. De Gruyter. pp. 437-454.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Immanuel Kant: Kritik der reinen Vernunft.Georg Mohr & Marcus Willaschek (eds.) - 2024 - De Gruyter.
    Der Kommentar zur Kritik der reinen Vernunft bietet eine textnahe Erschließung der zentralen Begriffe, Thesen und Argumentationsgänge von Kants Hauptwerk auf aktuellem Forschungsstand. Es ist der erste Kommentar zur KrV, der den gesamten Text in der Fassung der ersten und zweiten Auflage gleichmäßig und lückenlos berücksichtigt. Davon profitieren vor allem die „Transzendentale Dialektik“ und die „Methodenlehre“, die in früheren Gesamtkommentaren meist nicht hinreichend berücksichtigt worden sind. Die Beiträge wurden nach einheitlichen Richtlinien verfasst, wobei unterschiedliche Herangehensweisen und Interpretationsansätze zur Geltung kommen. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Completeness of Free Logic.B. C. van Fraassen - 1966 - Mathematical Logic Quarterly 12 (1):219-234.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.
    This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the present notions in the writings of logicians; moreover, consideration of these (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13‐17):245-254.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13-17):245-254.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Paradoxes of intensionality.Dustin Tucker & Richmond H. Thomason - 2011 - Review of Symbolic Logic 4 (3):394-411.
    We identify a class of paradoxes that is neither set-theoretical nor semantical, but that seems to depend on intensionality. In particular, these paradoxes arise out of plausible properties of propositional attitudes and their objects. We try to explain why logicians have neglected these paradoxes, and to show that, like the Russell Paradox and the direct discourse Liar Paradox, these intensional paradoxes are recalcitrant and challenge logical analysis. Indeed, when we take these paradoxes seriously, we may need to rethink the commonly (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)Wogegen wandte sich Husserl 1891?: Ein Beitrag zur neueren Rezeption des Verhältnisses von Husserl und Frege.Deodáth Zuh - 2012 - Husserl Studies 28 (2):95-120.
    Eine vollständige Darstellung von Edmund Husserls Verhältnis zu Gottlob Frege steht noch aus, so dass es nicht verwundert, einige Missverständnisse, dieses Verhältnis betreffend, im Umlauf zu finden. Selbst scheinbar längst überwundene systematische Dogmen tauchen wieder auf, so z.B. die Auffassung, dass Husserl nicht nur entscheidend von Gottlob Frege beeinflusst wurde, sondern darüber hinaus auch seine schärfste Frege-Kritik 1891 zurückgenommen habe. Mein Beitrag enthält eine überwiegend historisch vorgehende Entgegnung auf solche fälschlich vertretenen Ansichten wie sie sich auch in dem neu erschienenen (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logic and Metalogic: a Historical Sketch.Jan Woleński - 2024 - Studia Humana 13 (1):39-44.
    This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus methodology of science). It is shown that metalogic in its contemporary understanding arose after mathematical logic had become a mature discipline. Special passage is devoted to metalogic in Poland. The last part of the paper discussed so-called logocentric predicament.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Cognitive Relation in a Formal Setting.Jan Woleński - 2007 - Studia Logica 86 (3):479-497.
    This paper proposes a formal framework for the cognitive relation understood as an ordered pair with the cognitive subject and object of cognition as its members. The cognitive subject is represented as consisting of a language, conequence relation and a stock of accepted theories, and the object as a model of those theories. This language allows a simple formulation of the realism/anti-realism controversy. In particular, Tarski’s undefinability theorem gives a philosophical argument for realism in epistemology.
    Download  
     
    Export citation  
     
    Bookmark  
  • Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte.Shahid Rahman - 1997 - History and Philosophy of Logic 18 (3):165-183.
    The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Beth's tableau-method.J. J. F. Nieland - 1966 - Synthese 16 (1):7 - 26.
    Download  
     
    Export citation  
     
    Bookmark  
  • The logic of brouwer and heyting.Joan Rand Moschovakis - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 77-125.
    Download  
     
    Export citation  
     
    Bookmark