Switch to: References

Citations of:

Introduction to mathematical logic

Princeton,: Princeton University Press. Edited by C. Truesdell (1944)

Add citations

You must login to add citations.
  1. A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
    Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
    This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • The compactness of first-order logic:from gödel to lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.
    Though regarded today as one of the most important results in logic, the compactness theorem was largely ignored until nearly two decades after its discovery. This paper describes the vicissitudes of its evolution and transformation during the period 1930-1970, with special attention to the roles of Kurt Gödel, A. I. Maltsev, Leon Henkin, Abraham Robinson, and Alfred Tarski.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
    We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ?On the Concept of Following Logically?. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we note (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Formalizations après la lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden University
    This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rereading Tarski on logical consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.
    I argue that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarski’s texts. In particular, I rebut some criticisms of my earlier attack on the fixed-domain exegesis and I offer a more detailed report of the textual evidence on the issue than in my earlier work. I also offer new considerations on subsisting issues of interpretation concerning Tarski’s views on the logical (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
    An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
    After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The slingshot argument and the correspondence theory of truth.James O. Young - 2002 - Acta Analytica 17 (2):121-132.
    The correspondence theory of truth holds that each true sentence corresponds to a discrete fact. Donald Davidson and others have argued (using an argument that has come to be known as the slingshot) that this theory is mistaken, since all true sentences correspond to the same “Great Fact.” The argument is designed to show that by substituting logically equivalent sentences and coreferring terms for each other in the context of sentences of the form ‘P corresponds to the fact that P’ (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Concepts and recipes.Pavel Materna - 2009 - Acta Analytica 24 (1):69-90.
    If concepts are explicated as abstract procedures, then we can easily show that each empirical concept is a not an effective procedure. Some, but not all empirical concepts are shown to be of a special kind: they cannot in principle guarantee that the object they identify satisfies the intended conditions.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Why do informal proofs conform to formal norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
    Kant discovered a philosophical problem with mathematical proof. Despite being a priori , its methodology involves more than analytic truth. But what else is involved? This problem is widely taken to have been solved by Frege’s extension of logic beyond its restricted (and largely Aristotelian) form. Nevertheless, a successor problem remains: both traditional and contemporary (classical) mathematical proofs, although conforming to the norms of contemporary (classical) logic, never were, and still aren’t, executed by mathematicians in a way that transparently reveals (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.
    Jean-Yves Béziau (‘Classical Negation can be Expressed by One of its Halves’, Logic Journal of the IGPL 7 (1999), 145–151) has given an especially clear example of a phenomenon he considers a sufficiently puzzling to call the ‘paradox of translation’: the existence of pairs of logics, one logic being strictly weaker than another and yet such that the stronger logic can be embedded within it under a faithful translation. We elaborate on Béziau’s example, which concerns classical negation, as well as (...)
    Download  
     
    Export citation  
     
    Bookmark   12 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   63 citations  
  • Definitions.Anil Gupta - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.
    The concept of indiscernibility in a structure is analysed with the aim of emphasizing that in asserting that two objects are indiscernible, it is useful to consider these objects as members of (the domain of) a structure. A case for this usefulness is presented by examining the consequences of this view to the philosophical discussion on identity and indiscernibility in quantum theory.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Operators in the paradox of the knower.Patrick Grim - 1993 - Synthese 94 (3):409 - 428.
    Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Conceptual realism versus Quine on classes and higher-order logic.Nino B. Cocchiarella - 1992 - Synthese 90 (3):379 - 436.
    The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote as singular (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A note on the so-called yes-no experiments and the foundations of quantum mechanics.Øistein Bjørnestad - 1974 - Synthese 29 (1-4):243 - 253.
    Download  
     
    Export citation  
     
    Bookmark  
  • On a significance theory.R. Routley - 1966 - Australasian Journal of Philosophy 44 (2):172 – 209.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
    Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration (...)
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  • Plural descriptions and many-valued functions.Alex Oliver & Timothy Smiley - 2005 - Mind 114 (456):1039-1068.
    Russell had two theories of definite descriptions: one for singular descriptions, another for plural descriptions. We chart its development, in which ‘On Denoting’ plays a part but not the part one might expect, before explaining why it eventually fails. We go on to consider many-valued functions, since they too bring in plural terms—terms such as ‘4’ or the descriptive ‘the inhabitants of London’ which, like plain plural descriptions, stand for more than one thing. Logicians need to take plural reference seriously (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • The Logical Basis of the Tractarian Ontology.Natan Berber - 2007 - Axiomathes 17 (2):185-196.
    This paper focuses on the relation between logic and ontology. In particular, it demonstrates how classical logical theory can clarify the ontological part of Ludwig Wittgenstein’s Tractatus Logico-Philosophicus. To this end, the work examines the adequacy of a formal system that was devised by the Polish logician, mathematician and philosopher Roman Suszko (1919–1979) as a model for the Tractatus. Following a brief explanation of the Tractarian ontology, the main ideas of Suszko’s system and its philosophical significance will be considered. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
    We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Gottlob Frege, one more time.Claude Imbert & tr Bontea, Adriana - 2000 - Hypatia 15 (4):156-173.
    : Frege's philosophical writings, including the "logistic project," acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Computation is just interpretable symbol manipulation; cognition isn't.Stevan Harnad - 1994 - Minds and Machines 4 (4):379-90.
    Computation is interpretable symbol manipulation. Symbols are objects that are manipulated on the basis of rules operating only on theirshapes, which are arbitrary in relation to what they can be interpreted as meaning. Even if one accepts the Church/Turing Thesis that computation is unique, universal and very near omnipotent, not everything is a computer, because not everything can be given a systematic interpretation; and certainly everything can''t be givenevery systematic interpretation. But even after computers and computation have been successfully distinguished (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Materialism and qualia: The explanatory gap.Joseph Levine - 1983 - Pacific Philosophical Quarterly 64 (October):354-61.
    Download  
     
    Export citation  
     
    Bookmark   730 citations  
  • Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Wave-Particle Duality and the Objectiveness of “True” and “False”.Arkady Bolotin - 2021 - Foundations of Physics 51 (4):1-27.
    The traditional analysis of the basic version of the double-slit experiment leads to the conclusion that wave-particle duality is a fundamental fact of nature. However, such a conclusion means to imply that we are not only required to have two contradictory pictures of reality but also compelled to abandon the objectiveness of the truth values, “true” and “false”. Yet, even if we could accept wave-like behavior of quantum particles as the best explanation for the build-up of an interference pattern in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • La teoría del silogismo simpliciter en las Refutaciones Sofísticas de Aristóteles.Gonzalo Llach Villalobos - 2020 - Dissertation, Pontifical Catholic University of Chile
    Download  
     
    Export citation  
     
    Bookmark  
  • Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments.Jeff Buechner - 2020 - Studia Semiotyczne 34 (1):109-158.
    Georg Kreisel suggested various ways out of the Gödel incompleteness theorems. His remarks on ways out were somewhat parenthetical, and suggestive. He did not develop them in subsequent papers. One aim of this paper is not to develop those remarks, but to show how the basic idea that they express can be used to reason about the Lucas-Penrose-Putnam arguments that human minds are not finitary computational machines. Another aim is to show how one of Putnam’s two anti-functionalist arguments avoids the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.
    This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Discussions on physics, metaphysics and metametaphysics: Interpreting quantum mechanics.Raoni Wohnrath Arroyo - 2020 - Dissertation, Federal University of Santa Catarina
    This thesis inquires what it means to interpret non-relativistic quantum mechanics (QM), and the philosophical limits of this interpretation. In pursuit of a scientific-realist stance, a metametaphysical method is expanded and applied to evaluate rival interpretations of QM, based on the conceptual distinction between ontology and metaphysics, for objective theory choice in metaphysical discussions relating to QM. Three cases are examined, in which this metametaphysical method succeeds in indicating what are the wrong alternatives to interpret QM in metaphysical terms. The (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Doxastic logic: a new approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.
    In this paper, I develop a new set of doxastic logical systems and I show how they can be used to solve several well-known problems in doxastic logic, for example the so-called problem of logical omniscience. According to this puzzle, the notions of knowledge and belief that are used in ordinary epistemic and doxastic symbolic systems are too idealised. Hence, those systems cannot be used to model ordinary human or human-like agents' beliefs. At best, they can describe idealised individuals. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Gödel on Deduction.Kosta Došen & Miloš Adžić - 2019 - Studia Logica 107 (1):31-51.
    This is an examination, a commentary, of links between some philosophical views ascribed to Gödel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, understood from an infinitistic ideal perspective. It is inquired whether this centrality of deduction could also be kept in the intensional logic of concepts whose building Gödel seems to have taken as the main task of logic for the future.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Meaning and Interpretation. II.Urszula Wybraniec-Skardowska - 2007 - Studia Logica 85 (2):261-274.
    The paper enriches the conceptual apparatus of the theory of meaning and denotation that was presented in Part I (Section 3). This part concentrates on the notion of interpretation, which is defined as an equivalence class of the relation possessing the same manner of interpreting types. In this part, some relations between meaning and interpretation, as well as one between denotation an interpretational denotation are established. In the theory of meaning and interpretation, the notion of language communication has been formally (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - manuscript
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.
    Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.
    Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • An Interpretation of Łukasiewicz’s 4-Valued Modal Logic.José M. Méndez, Gemma Robles & Francisco Salto - 2016 - Journal of Philosophical Logic 45 (1):73-87.
    A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.
    In order to explicate Gentzen’s famous remark that the introduction-rules for logical constants give their meaning, the elimination-rules being simply consequences of the meaning so given, we develop natural deduction rules for Sheffer’s stroke, alternative denial. The first system turns out to lack Double Negation. Strengthening the introduction-rules by allowing the introduction of Sheffer’s stroke into a disjunctive context produces a complete system of classical logic, one which preserves the harmony between the rules which Gentzen wanted: all indirect proof reduces (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Subordinating Truth – Is Acceptability Acceptable?George Boger - 2005 - Argumentation 19 (2):187-238.
    Argumentation logicians have recognized a specter of relativism to haunt their philosophy of argument. However, their attempts to dispel pernicious relativism by invoking notions of a universal audience or a community of model interlocutors have not been entirely successful. In fact, their various discussions of a universal audience invoke the context-eschewing formalism of Kant’s categorical imperative. Moreover, they embrace the Kantian method for resolving the antinomies that continually vacillates between opposing extremes – here between a transcendent universal audience and a (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • El principio fregeano del contexto en Die Grundlagen Der Arithmetik: Una revisión a la interpretación de Dummett.María Gabriela Fulugonio - 2008 - Análisis Filosófico 28 (2):205-238.
    En su obra de 1884, Die Grundlagen der Arithmetik [Gl.], Frege establece el principio del contexto como uno de sus principios fundamentales y propone valerse de él para dar con el concepto adecuado de número. Así, ofrece una definición de tipo contextual de número cardinal, pero ante una objeción que le resulta insalvable se decide por una definición explicita. La cuestión acerca de cuál ha sido entonces el sentido de establecer con tanto énfasis el principio del contexto admite más de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Simple Concepts.Pavel Materna - 2013 - Acta Analytica 28 (3):295-319.
    To talk about simple concepts presupposes that the notion of concept has been aptly explicated. I argue that a most adequate explication should abandon the set-theoretical paradigm and use a procedural approach. Such a procedural approach is offered by Tichý´s Transparent Intensional Logic (TIL). Some main notions and principles of TIL are briefly presented, and as a result, concepts are explicated as a kind of abstract procedure. Then it can be shown that simplicity, as applied to concepts, is well definable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Branching in the landscape of possibilities.Thomas Müller - 2012 - Synthese 188 (1):41-65.
    The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby sketching a landscape of possibilities. (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • On Jaśkowski's Discussive Logics.Newton C. A. da Costa & Francisco A. Doria - 1995 - Studia Logica 54 (1):33 - 60.
    We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Frege on identity, cognitive value, and subject matter.John Perry - 2019 - In Studies in language and information. Stanford, California: Center for the Study of Language and Information.
    Frege continues by explaining what bothered him in the Begriffsschrift, and motivated his treatment of identity in that work.2 He goes on to criticize that account. By the end of the paragraph, he has introduced his key concept of sinn, abandonning not only the Begriffsschrift account of identity, but its basical semantical framework. In the Begriffsschrift Frege’s main semantic concept was content [Inhalt ]. Already in the Begriffsschrift, he is struggling with this concept. In §3 he..
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Time and Subjective Facts: Readings in From Brain to Cosmos.Mark F. Sharlow - manuscript
    This document consists primarily of excerpts (chapters 5 and 7-9) from the author’s book From Brain to Cosmos. These excerpts address some traditional philosophical problems about temporal flux and identity through time, using the concept of subjective fact that the author developed earlier in the book. (Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.).
    Download  
     
    Export citation  
     
    Bookmark  
  • Completeness and Hauptsatz for second order logic.Dag Prawitz - 1967 - Theoria 33 (3):246-258.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A critical appraisal of second-order logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.
    Because of its capacity to characterize mathematical concepts and structures?a capacity which first-order languages clearly lack?second-order languages recommend themselves as a convenient framework for much of mathematics, including set theory. This paper is about the credentials of second-order logic:the reasons for it to be considered logic, its relations with set theory, and especially the efficacy with which it performs its role of the underlying logic of set theory.
    Download  
     
    Export citation  
     
    Bookmark   15 citations