Switch to: References

Citations of:

On Denoting

Mind 14 (56):479-493 (1905)

Add citations

You must login to add citations.
  1. Elementary errors about evolution.Richard C. Lewontin - 1983 - Behavioral and Brain Sciences 6 (3):367-368.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Dennett' “Panglossian paradigm”.Alison Jolly - 1983 - Behavioral and Brain Sciences 6 (3):366-367.
    Download  
     
    Export citation  
     
    Bookmark  
  • The adaptiveness_ of _mentalism?.Nicholas Humphrey - 1983 - Behavioral and Brain Sciences 6 (3):366-366.
    Download  
     
    Export citation  
     
    Bookmark  
  • Belief accripton, parsimony, and rationality.John Hell - 1983 - Behavioral and Brain Sciences 6 (3):365-366.
    Download  
     
    Export citation  
     
    Bookmark  
  • Adaptationist theorizing and intentional system theory.Gilbert Harman - 1983 - Behavioral and Brain Sciences 6 (3):365-365.
    Download  
     
    Export citation  
     
    Bookmark  
  • Thinking about animal thoughts.Donald R. Griffin - 1983 - Behavioral and Brain Sciences 6 (3):364-364.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Denoting and demoting international systems.George Graham - 1983 - Behavioral and Brain Sciences 6 (3):363-364.
    Download  
     
    Export citation  
     
    Bookmark  
  • Lloyd Morgan's canon in evolutionary context.Michael T. Ghiselin - 1983 - Behavioral and Brain Sciences 6 (3):362-363.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • A la recherche du docteur Pangloss.Niles Eldredge - 1983 - Behavioral and Brain Sciences 6 (3):361-362.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Adaptationism was always predictive and needed no defense.Richard Dawkins - 1983 - Behavioral and Brain Sciences 6 (3):360-361.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Science as an international system.Arthur C. Danto - 1983 - Behavioral and Brain Sciences 6 (3):359-360.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Dennett' instrumentalism: A frog at the bottom of the mug.Patricia Smith Churchland - 1983 - Behavioral and Brain Sciences 6 (3):358-359.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Cognitive ethology: Theory or poetry?Jonathan Bennett - 1983 - Behavioral and Brain Sciences 6 (3):356-358.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Rationality: putting the issue to the scientific community.John Beatty - 1983 - Behavioral and Brain Sciences 6 (3):355-356.
    Download  
     
    Export citation  
     
    Bookmark  
  • Intentional systems in cognitive ethology: The 'panglossian paradigm' defended.Daniel C. Dennett - 1983 - Behavioral and Brain Sciences 6 (3):343-90.
    Ethologists and others studying animal behavior in a spirit are in need of a descriptive language and method that are neither anachronistically bound by behaviorist scruples nor prematurely committed to particular Just such an interim descriptive method can be found in intentional system theory. The use of intentional system theory is illustrated with the case of the apparently communicative behavior of vervet monkeys. A way of using the theory to generate data - including usable, testable data - is sketched. The (...)
    Download  
     
    Export citation  
     
    Bookmark   595 citations  
  • Associative Substitutional Semantics and Quantified Modal Logic.Bartosz Więckowski - 2010 - Studia Logica 94 (1):105-138.
    The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Filosofia da Linguagem.Sagid Salles - 2020 - In Rodrigo Reis Lastra Cid & Luiz helvécio Marques Segundo (eds.), Problemas Filosóficos. Editora UFPel. pp. 453-489.
    Este artigo é uma breve introdução à filosofia da linguagem. Ele se concentra nos problemas que surgem a partir de dois conceitos centrais: referência e significado. Em particular, o foco central é no problema fundacional da referência e no problema descritivo do significado, assim como a relação entre eles. Embora esta de modo algum seja uma introdução exaustiva ao tema, muitos conceitos centrais são clarificados, como por exemplo teoria da referência, termo singular, termo geral, teoria do significado, composicionalidade, conteúdo, significado (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Belief, Truth, and Ways of Believing.Johannes Stern - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox. New York, NY: Routledge.
    The notions of belief and truth frequently interact in philosophical discourse but, surprisingly, a coherent semantics for such discourse is still wanting. Indeed, a number of puzzles stand in way of a satisfactory semantic account of the notion of truth in doxastic contexts. In this paper we discuss these puzzles and develop a more satisfactory semantic account that combines ideas from contextualist theories of attitude reports and Awareness semantics for non-idealized belief.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Language, Truth, and Logic and the Anglophone reception of the Vienna Circle.Andreas Vrahimis - 2021 - In Adam Tamas Tuboly (ed.), The Historical and Philosophical Significance of Ayer’s Language, Truth and Logic. Cham, Switzerland: Palgrave. pp. 41-68.
    A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL has (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Ontological Commitment and Quantifiers.T. Parent - 2020 - In Ricki Bliss & James Miller (eds.), The Routledge Handbook of Metametaphysics. New York, NY: Routledge.
    This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.
    Download  
     
    Export citation  
     
    Bookmark  
  • Neutralism and Conceptual Engineering.Patrick Greenough - 2019 - In Alexis Burgess, Herman Cappelen & David Plunkett (eds.), Conceptual Engineering and Conceptual Ethics. New York, USA: Oxford University Press.
    Conceptual Engineering alleges that philosophical problems are best treated via revising or replacing our concepts (or words). The goal here is not to defend Conceptual Engineering but rather show that it can (and should) invoke Neutralism—the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. A neutralist treatment of one form of skepticism is used as a case study and is compared with various non-neutral rivals. Along (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Believing the self-contradictory.Fabien Schang - 2011 - In Dariusz Łukasiewicz & Roger Pouivet (eds.), The Right to Believe: Perspectives in Religious Epistemology. De Gruyter. pp. 127-140.
    An argument for the rationality of religious belief in the existence of God is defended. After reviewing three preconditions for rational belief, I show reasons to privilege the criterion of consistency. Taking the inconsistency of the religious belief in God and the belief in the scientific world picture as the impediment to a rational belief in God, I propose that we can overcome this objection by assuming, firstly, that God is a universal class. This allows us to put the problem (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Perceptual Aquaintance and Informational Content.Donovan Wishon - 2012 - In Sofia Miguens & Gerhard Preyer (eds.), Consciousness and Subjectivity. [Place of publication not identified]: Ontos Verlag. pp. 89-108.
    Many currently working on a Russellian notion of perceptual acquaintance and its role in perceptual experience (including Campbell 2002a, 2002b, and 2009 and Tye 2009) treat naïve realism and indirect realism as an exhaustive disjunction of possible views. In this paper, I propose a form of direct realism according to which one is directly aware of external objects and their features without perceiving a mind-dependent intermediary and without making any inference. Nevertheless, it also maintains that the qualitative character of perceptual (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Folk intuitions about reference change and the causal theory of reference.Steffen Koch & Alex Wiegmann - 2022 - Ergo: An Open Access Journal of Philosophy 8 (25).
    In this paper, we present and discuss the findings of two experiments about reference change. Cases of reference change have sometimes been invoked to challenge traditional versions of semantic externalism, but the relevant cases have never been tested empirically. The experiments we have conducted use variants of the famous Twin Earth scenario to test folk intuitions about whether natural kind terms such as ‘water’ or ‘salt’ switch reference after being constantly (mis)applied to different kinds. Our results indicate that this is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasons and Causes in Psychiatry: Ideas from Donald Davidson’s Work.Elisabetta Lalumera - 2018 - In Annalisa Coliva, Paolo Leonardi & Sebastiano Moruzzi (eds.), Eva Picardi on Language, Analysis and History. Londra, Regno Unito: Palgrave. pp. 281-296.
    Though the divide between reason-based and causal-explanatory approaches in psychiatry and psychopathology is old and deeply rooted, current trends involving multi-factorial explanatory models and evidence-based approaches to interpersonal psychotherapy, show that it has already been implicitly bridged. These trends require a philosophical reconsideration of how reasons can be causes. This paper contributes to that trajectory by arguing that Donald Davidson’s classic paradigm of 1963 is still a valid option.
    Download  
     
    Export citation  
     
    Bookmark  
  • Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.
    The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • How to Count Animals, more or less, by Shelly Kagan. [REVIEW]Jeff Sebo - 2021 - Mind 130 (518):689-697.
    This is a review of Shelly Kagan's "How to Count Animals, more or less" (2019).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inexistência e Obstinação.João Branquinho - 2013 - In Adriana V. Serrão, Carla M. Simões, Elisabete M. De Sousa, Filipa Afonso, Maria Luísa Ribeiro Ferreira, Pedro Calafate Simões & Ubirajara Rancan de Azevedo Marques (eds.), Poética da Razão: Homenagem a Leonel Ribeiro dos Santos. Centro de Filosofia da Universidade de Lisboa. pp. 385-397.
    Queremos neste ensaio introduzir um esboço de uma semântica simples e adequada para uma classe importante de predicações singulares de inexistência, ou frases existenciais singulares negativas. Frases deste género, como “Sócrates (já) não existe” e “O pássaro Dódó não existe”, são usualmente tidas como de algum modo paradoxais e semanticamente problemáticas. O modelo semântico que vamos delinear para tais frases, que desejavelmente se caracteriza pela simplicidade e pela economia, depende no entanto de duas importantes e substantivas suposições de partida, e, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Proper Names and Descriptions.Nathan Salmon - 2006 - In John Corcoran (ed.), Encyclopedia of Philosophy. 2nd edition. macmillan.
    Download  
     
    Export citation  
     
    Bookmark  
  • George IV's Curiosity: A Challenge for the Russellian.Rodrigo Jungmann de Castro - 2017 - Kalagatos 7 (13):159-173.
    Attitude ascriptions; Russell; Semantics; Theory of descriptions; Whether-clauses.
    Download  
     
    Export citation  
     
    Bookmark  
  • Number words and reference to numbers.Katharina Felka - 2014 - Philosophical Studies 168 (1):261-282.
    A realist view of numbers often rests on the following thesis: statements like ‘The number of moons of Jupiter is four’ are identity statements in which the copula is flanked by singular terms whose semantic function consists in referring to a number (henceforth: Identity). On the basis of Identity the realists argue that the assertive use of such statements commits us to numbers. Recently, some anti-realists have disputed this argument. According to them, Identity is false, and, thus, we may deny (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Direct reference and the Goldbach puzzle.Stefan Rinner - 2024 - Theoria 90 (1):8-16.
    So-called Neo-Russellians, such as Salmon, Braun, Crimmins, and Perry, hold that the semantic content of ‘ n is F ’ in a context c is the singular proposition ⟨ o, P ⟩, where o is the referent of the name n in c, and P is the property expressed by the predicate F in c. This is also known as the Neo-Russellian theory. Using truth ascriptions with names designating propositions, such as ‘Goldbach's conjecture’, in this paper, I will argue that, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Models and fiction.Roman Frigg - 2010 - Synthese 172 (2):251-268.
    Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: on the foundations of the (...)
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Realismo y antirrealismo en la filosofía de Michael Dummett.Pablo Cubides, David González & David Rey - 2018 - Ideas Y Valores 67:165-202.
    Uno de los principales aportes de Michael Dummett a la filosofía contemporánea fue la idea de que ciertas disputas tradicionales de la metafísica podían ser replanteadas a través de una caracterización semántica del realismo y el antirrealismo. Apoyándose en esta caracterización, Dummett propuso una aproximación ascendente a esas disputas. Dicha aproximación buscaba resolver los desacuerdos metafísicos entre realistas y antirrealistas mediante la formulación de teorías semánticas para ciertos conjuntos de enunciados. En este artículo argumentamos que la caracterización de Dummett no (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Russell Contra Sense/Reference, the ‘Mont Blanc’ Correspondence.Clare Hay - 2022 - History and Philosophy of Logic 44 (4):476-490.
    It is argued that Russell before 1905 saw no value in Frege's sense/reference distinction. This is clearest in the Mont Blanc correspondence. It is argued that Russell and Frege failed to engage because Frege lacked a grasp on the internal/external relations distinction. For Russell sense is either an external relation, objectionably separating out thought and reference, or an internal relation, so what is thought is altered such that we do not know what we are talking about. The novelty of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Freedom and the open future.Yishai Cohen - 2023 - Analytic Philosophy 64 (3):228-255.
    I draw upon Helen Steward's concept of agential settling to argue that freedom requires an ability to change the truth‐value of tenseless future contingents over time from false to true and that this ability requires a metaphysically open future.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some Comments on “The Mathematical Universe”.Gil Jannes - 2009 - Foundations of Physics 39 (4):397-406.
    I discuss some problems related to extreme mathematical realism, focusing on a recently proposed “shut-up-and-calculate” approach to physics. I offer arguments for a moderate alternative, the essence of which lies in the acceptance that mathematics is a human construction, and discuss concrete consequences of this—at first sight purely philosophical—difference in point of view.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Handbook of Argumentation Theory.Frans H. van Eemeren, Bart Garssen, Erik C. W. Krabbe, A. Francisca Snoeck Henkemans, Bart Verheij & Jean H. M. Wagemans - 2014 - Dordrecht, Netherland: Springer.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
    The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Philosophical Investigation Series: Selected Texts on Metaphysics, Language and Mind / Série Investigação Filosófica: Textos Selecionados de Metafísica, Linguagem e Mente.Rodrigo Cid & Pedro Merlussi (eds.) - 2020 - Pelotas: Editora da UFPel / NEPFIL Online.
    Um dos grandes desafios da era da informação consiste em filtrar informações claras, rigorosas e atualizadas sobre tópicos importantes. O mesmo vale para a filosofia. Como encontrar conteúdo filosófico confiável em meio a milhares de artigos publicados diariamente na internet? Para ir ainda mais longe, como encontrar uma introdução a algum tópico com uma lista de referências bibliográficas atualizadas e que seja organizada por um especialista da área? Já que você começou a ler este livro, é provável que tenha ouvido (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • forall x: Dortmund (2nd edition).Simon Wimmer, P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach, J. Robert Loftis & Robert Trueman - 2021 - Dortmund:
    forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quantification and Contributing Objects to Thoughts.Michael Glanzberg - 2008 - Philosophical Perspectives 22 (1):207-231.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Term limits revisited.Stephen Neale - 2008 - Philosophical Perspectives 22 (1):375-442.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Problemas Filosóficos: Uma Introdução à Filosofia / Philosophical Problems: An Introduction to Philosophy.Rodrigo Reis Lastra Cid & Luiz Helvécio Marques Segundo (eds.) - 2020 - Pelotas: Editora da UFPel / UFPel Publisher.
    De um modo geral, queríamos mostrar que a filosofia tem suas próprias áreas, mas tem também subáreas em interdisciplinaridade com as ciências. As ciências e as disciplinas acadêmicas em geral têm problemas, cuja a solução pode ser encontrada empiricamente, por meio de experimentos, entrevistas, documentos, ou formalmente, por meio de cálculos etc, porém os problemas das filosofias dessas disciplinas são justamente os problemas mais fundamentais dessas disciplinas, que fundam o quadro conceitual e de pesquisa das mesmas, e que só poderiam (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Como os Nomes Nomeiam: Um Passeio Filosófico Sobre a Referência.Sagid Salles - 2020 - Pelotas: UFPel.
    Uma das características mais interessantes da filosofia é sua capacidade de revelar problemas difíceis em lugares inesperados. É precisamente isto que ocorre com o caso dos nomes próprios. Usamos nomes cotidianamente para selecionar ou fazer referência a objetos particulares, e depois podermos dizer algo sobre eles. Talvez o leitor diga a um colega que gostaria de estar tomando um café em Paris, ao invés de gastar tempo lendo mais um livro de filosofia. Neste caso, estará usando o nome “Paris” para (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Philosophical Investigation Series: Selected Texts in Epistemology and Philosophy of Science / Série Investigação Filosófica: Textos Selecionados de Epistemologia e Filosofia da Ciência.Rodrigo Reis Lastra Cid & Luiz Helvécio Marques Segundo (eds.) - 2020 - Pelotas: Editora da UFPel / NEPFIL Online.
    A Série Investigação Filosófica é uma série de livros de traduções de verbetes da Enciclopédia de Filosofia da Stanford (Stanford Encyclopedia of Philosophy) e de outras plataformas internacionalmente reconhecidas, que intenciona servir tanto como material didático para os professores das diferentes sub-áreas e níveis da Filosofia quanto como material de estudo para a pesquisa e para concursos da área. Nós, professores, sabemos o quão difícil é encontrar bom material em português para indicarmos. E há uma certa deficiência na graduação brasileira (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Noneist Explorations I: The Sylvan Jungle - Volume 2.Richard Routley & Val Routley - 2019 - Cham, Switzerland: Springer Verlag.
    This second volume continues Richard Routley’s explorations of an improved Meinongian account of non-referring and intensional discourse. It focuses on the essays 2 through 7 of the original monograph, Exploring Meinong’s Jungle and Beyond, following on from the material of the first volume and explores its implications of the Noneist position. It begins with a further development of noneism in the direction of an ontologically neutral chronological logic and associated metaphysical issues concerning existence and change. What follows includes: a detailed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dynamisch Inter(-en trans)disciplinair Taal Onderzoek: De nieuwe taalwetenschappen.Nathalie Gontier & Katrien Mondt (eds.) - 2006 - Gent, België: Academia press, Ginkgo.
    Language research is currently in a state of flux. The phenomenon of language is not merely the topic of investigation in linguistics, it is examined by a multitude of scholars with different scientific backgrounds. In order to examine how these various disciplines approach language, a think-tank was founded in 2002, called DITO, Dynamisch Inter(-en trans)disciplinair onderzoek, or Dynamic Inter- (and trans)disciplinary Research. The think-tank is located at the Belgian Vrije Universiteit Brussel (Free University of Brussels). This book provides short introductory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.
    Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation