Results for 'METAMATHEMATICS'

51 found
Order:
  1. The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.
    Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Letter Games: A Metamathematical Taster.Alexander Paseau - 2016 - The Mathematical Gazette 100 (549):442-449.
    The aim of this article is to give students a small sense of what metamathematics is—that is, how one might use mathematics to study mathematics itself. School or college teachers could base a classroom exercise on the letter games I shall describe and use them as a springboard for further exploration. Since I shall presuppose no knowledge of formal logic, the games are less an introduction to Gödel's theorems than an introduction to an introduction to them. Nevertheless, they show, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston University
    This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Efficient Metamathematics. Rineke - 1993 - Dissertation, Universiteit van Amsterdam
    Download  
     
    Export citation  
     
    Bookmark  
  5. Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeley
    In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  89
    (General) Conceptual Substratum As A New Foundational Metamathematical Cognitive Mechanism In Artificial Mathematical Intelligence.Gomez-Ramirez Danny A. J. - manuscript
    We describe (essential features and an axiomatization of) a new metamathematical (cognitive) ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions, and playing a fundamental role in Artificial Mathematical Intelligence (or Cognitive-computational metamathematics). Furthermore, we present an initial (first-order) formalization of this mechanism together with its characterizing relation with classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  8. Riemann, Metatheory, and Proof, Rev.3.Michael Lucas Monterey & Michael Lucas-Monterey - manuscript
    The work provides comprehensively definitive, unconditional proofs of Riemann's hypothesis, Goldbach's conjecture, the 'twin primes' conjecture, the Collatz conjecture, the Newcomb-Benford theorem, and the Quine-Putnam Indispensability thesis. The proofs validate holonomic metamathematics, meta-ontology, new number theory, new proof theory, new philosophy of logic, and unconditional disproof of the P/NP problem. The proofs, metatheory, and definitions are also confirmed and verified with graphic proof of intrinsic enabling and sustaining principles of reality.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Astronomy, Geometry, and Logic, Rev. 1c: An ontological proof of the natural principles that enable and sustain reality and mathematics.Michael Lucas Monterey & Michael Lucas-Monterey - manuscript
    The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with 3 sections; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10.  62
    Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.
    This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  79
    Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - unknown
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  13. How can a line segment with extension be composed of extensionless points?Brian Reese, Michael Vazquez & Scott Weinstein - 2022 - Synthese 200 (2):1-28.
    We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. पॉल होर्विच 248p (2013) द्वारा विटगेनस्टीन के मेटापोपैलोसिस की समीक्षा--Review of Wittgenstein's Metaphilosophy by Paul Horwich (समीक्षा संशोधित 2019).Michael Richard Starks - 2020 - In पृथ्वी पर नर्क में आपका स्वागत है: शिशुओं, जलवायु परिवर्तन, बिटकॉइन, कार्टेल, चीन, लोकतंत्र, विविधता, समानता, हैकर्स, मानव अधिकार, इस्लाम, उदारवाद, समृद्धि, वेब, अराजकता, भुखमरी, बीमारी, हिंसा, कृत्रिम बुद्धिमत्ता, युद्ध. Ls Vegas, NV USA: Reality Press. pp. 58-83.
    Horwich Wittgenstein (डब्ल्यू) का एक अच्छा विश्लेषण देता है और एक अग्रणी डब्ल्यू विद्वान है, लेकिन मेरे विचार में, वे सब एक पूर्ण प्रशंसा की कमी है, के रूप में मैं इस समीक्षा में लंबाई में समझा और कई अन्य. यदि एक डब्ल्यू समझ में नहीं आता (और अधिमानतः Searle भी) तो मुझे नहीं लगता कि कैसे एक दर्शन की एक सतही समझ से अधिक हो सकता है और उच्च आदेश सोचा और इस प्रकार सभी जटिल व्यवहार (मनोविज्ञान, समाजशास्त्र, मानव (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.
    Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Gödel mathematics versus Hilbert mathematics. I. The Gödel incompleteness (1931) statement: axiom or theorem?Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (9):1-56.
    The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. All science as rigorous science: the principle of constructive mathematizability of any theory.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal 12 (12):1-15.
    A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Skolem’s “paradox” as logic of ground: The mutual foundation of both proper and improper interpretations.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (19):1-16.
    A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Douglas Hofstadter's Gödelian Philosophy of Mind.Theodor Nenu - 2022 - Journal of Artificial Intelligence and Consciousness 9 (2):241-266.
    Hofstadter [1979, 2007] offered a novel Gödelian proposal which purported to reconcile the apparently contradictory theses that (1) we can talk, in a non-trivial way, of mental causation being a real phenomenon and that (2) mental activity is ultimately grounded in low-level rule-governed neural processes. In this paper, we critically investigate Hofstadter’s analogical appeals to Gödel’s [1931] First Incompleteness Theorem, whose “diagonal” proof supposedly contains the key ideas required for understanding both consciousness and mental causation. We maintain that bringing sophisticated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Lies, half-truths, and falsehoods about Tarski’s 1933 “liar” antinomies.John Corcoran & Joaquin Miller - 2012 - Bulletin of Symbolic Logic 18 (1):140-141.
    We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Jakob Friedrich Fries (1773-1843): Eine Philosophie der exakten Wissenschaften.Kay Herrmann - 1994 - Tabula Rasa. Jenenser Zeitschrift Für Kritisches Denken (6).
    Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Философия на квантовата информация.Vasil Penchev - 2009 - Sofia: BAS: IPhR.
    The book is devoted to the contemporary stage of quantum mechanics – quantum information, and especially to its philosophical interpretation and comprehension: the first one of a series monographs about the philosophy of quantum information. The second will consider Be l l ’ s inequalities, their modified variants and similar to them relations. The beginning of quantum information was in the thirties of the last century. Its speed development has started over the last two decades. The main phenomenon is entanglement. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Limits of Intelligibility: Issues from Kant and Wittgenstein.Jens Pier (ed.) - 2023 - London: Routledge.
    The essays in this volume investigate the question of where, and in what sense, the bounds of intelligible thought, knowledge, and speech are to be drawn. Is there a way in which we are limited in what we think, know, and say? And if so, does this mean that we are constrained – that there is something beyond the ken of human intelligibility of which we fall short? Or is there another way to think about these limits of intelligibility – (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Le quantificateur effini, la descente infinie et les preuves de consistance de Gauthier. [REVIEW]Richard Zach - 2004 - Philosophiques 31 (1):221-224.
    Internal Logic brings together several threads of Yvon Gauthier's work on the foundations of mathematics and revisits his attempt to, as he puts it, radicalize Hilbert's Program. A radicalization of Hilbert's Program, I take it, is supposed to take Hilberts' finitary viewpoint more seriously than other attempts to salvage Hilbert's Program have. Such a return to the "roots of Hilbert's metamathematical idea" will, so claims Gauthier, enable him to save Hilbert's Program.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  84
    The Physical Numbers: A New Foundational Logic-Numerical Structure For Mathematics And Physics.Gomez-Ramirez Danny A. J. - manuscript
    The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Theory and Metatheory of Atemporal Primacy.Monterey Michael Lucas - manuscript
    This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of misperceptions, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Riemann, Metatheory, and Proof, Rev.3.Michael Lucas Monterey & Michael Lucas-Monterey - manuscript
    The work provides comprehensively definitive, unconditional proofs of Riemann's hypothesis, Goldbach's conjecture, the 'twin primes' conjecture, the Collatz conjecture, the Newcomb-Benford theorem, and the Quine-Putnam Indispensability thesis. The proofs validate holonomic metamathematics, meta-ontology, new number theory, new proof theory, new philosophy of logic, and unconditional disproof of the P/NP problem. The proofs, metatheory, and definitions are also confirmed and verified with graphic proof of intrinsic enabling and sustaining principles of reality.
    Download  
     
    Export citation  
     
    Bookmark  
  30. Robot Consciousness: Physics and Metaphysics Here and Abroad.Stephen Ripley - manuscript
    Interest has been renewed in the study of consciousness, both theoretical and applied, following developments in 20th and early 21st-century logic, metamathematics, computer science, and the brain sciences. In this evolving narrative, I explore several theoretical questions about the types of artificial intelligence and offer several conjectures about how they affect possible future developments in this exceptionally transformative field of research. I also address the practical significance of the advances in artificial intelligence in view of the cautions issued by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  62
    Theory and Metatheory of Atemporal Primacy.Monterey Michael Lucas - manuscript
    This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of misperceptions, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  62
    Theory and Metatheory of Atemporal Primacy.Monterey Michael Lucas - manuscript
    This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of misperceptions, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  53
    Structures in Real Theory Application: A Study in Feasible Epistemology.Robert H. C. Moir - 2013 - Dissertation, University of Western Ontario
    This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
    In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.
    Download  
     
    Export citation  
     
    Bookmark   223 citations  
  35. Review of Wittgenstein's Metaphilosophy by Paul Horwich 248p (2013) (review revised 2019).Michael Starks - 2019 - In The Logical Structure of Human Behavior. Las Vegas, NV USA: Reality Press. pp. 142-165.
    Horwich gives a fine analysis of Wittgenstein (W) and is a leading W scholar, but in my view, they all fall short of a full appreciation, as I explain at length in this review and many others. If one does not understand W (and preferably Searle also) then I don't see how one could have more than a superficial understanding of philosophy and of higher order thought and thus of all complex behavior (psychology, sociology, anthropology, history, literature, society). In a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Review of Wittgensteins Metaphilosophy by Paul Horwich (2013).Michael Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization Michael Starks 3rd Ed. (2017).
    Horwich gives a fine analysis of Wittgenstein (W) and is a leading W scholar, but in my view they all fall short of a full appreciation, as I explain at length in this review and many others. If one does not understand W (and preferably Searle also) then I don't see how one could have more than a superficial understanding of philosophy and of higher order thought and thus of all complex behavior(psychology, sociology, anthropology, history, literature, society). In a nutshell, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Minimal Sartre: Diagonalization and Pure Reflection.John Bova - 2012 - Open Philosophy 1:360-379.
    These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Gödel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception through (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08.John Corcoran - 1972 - Philosophy of Science 39 (1):106-108.
    Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Meanings of word: type-occurrence-token.John Corcoran - 2005 - Bulletin of Symbolic Logic 11 (1):117.
    Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI's COLLECTED PAPERS.John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (I):110-114.
    CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI’S COLLECTED PAPERS Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Review dari ‘ Metafilosofi Wittgenstein’ (Wittgenstein’s Metaphilosophy) oleh Paul Horwich 248p (2013) (review revisi 2019). [REVIEW]Michael Richard Starks - 2020 - Selamat Datang di Neraka di Bumi: Bayi, Perubahan Iklim, Bitcoin, Kartel, Tiongkok, Demokrasi, Keragaman, Disgenik, Kesetaraan, Peretas, Hak Asasi Manusia, Islam, Liberalisme, Kemakmuran, Web, Kekacauan, Kelaparan, Penyakit, Kekerasan, Kecerdasan Buatan,.
    Horwich memberikan analisis baik Wittgenstein (w) dan merupakan sarjana W terkemuka, tetapi dalam pandangan saya, mereka semua jatuh pendek dari apresiasi penuh, seperti yang saya jelaskan di length dalam tinjauan ini dan banyak lainnya. Jika seseorang tidak mengerti W (dan sebaiknya Searle juga) maka saya tidak melihat bagaimana seseorang bisa memiliki lebih dari pemahaman yang dangkal filsafat dan urutan yang lebih tinggi berpikir dan dengan demikian dari semua perilaku kompleks (psikologi, Sosiologi, antropologi, sejarah, sastra, masyarakat). Singkatnya, W menunjukkan bahwa ketika (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Awareness, Epistemics, and Paradigm Repair: An epistemic lexicon of terms, with definitive explanations.Michael Lucas Monterey & Michael Lucas-Monterey - manuscript
    Abstract: This is necessarily an evolutionary work in progress. Its purpose and goal is enabling real progress of science, mathematics, society, and civilization. Thus, to accomplish the mission, upgrading the current sociocultural paradigm is essential. That makes holistic ontology and optimal epistemics essential to ongoing work and to further development of new theory and metatheory. Hence, the current listings of key terms, definitions, and explanations presented here provide some core concepts and supporting theorems, metatheorems, equations, and examples. That enables remedial (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. REVIEW OF Alfred Tarski, Collected Papers, vols. 1-4 (1986) edited by Steven Givant and Ralph McKenzie. [REVIEW]John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (h):01101-4.
    Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about logic, whereas (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  44. Remarks on Wittgenstein, Gödel, Chaitin, Incompleteness, Impossiblity and the Psychological Basis of Science and Mathematics.Michael Richard Starks - 2019 - In Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal. Reality Press. pp. 24-38.
    It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Замечания о невозможности, неполноте Paraconsistency, Нерешающость, Случайность вычислительности, парадокс, и неопределенность в Чайтин, Витгенштейн, Хофштадтер Вольперт, Дориа, да Коста, Годель, Сирл, Родыч Берто, Флойд, Мойал-Шаррок и Янофски.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Принято считать, что невозможность, неполнота, Парапоследовательность, Несоответствие, Случайность, вычислительность, парадокс, неопределенность и пределы разума являются разрозненными научными физическими или математическими вопросами, имеющими мало или ничего общего. Я полагаю, что они в значительной степени стандартные философские проблемы (т.е. языковые игры), которые были в основном решены Витгенштейном более 80 лет назад. -/- Я предоставляю краткое резюме некоторых из основных выводов двух из самых выдающихся студентов поведения о Fсовременности, Людвиг Витгенштейн и Джон Сирл, на логическую структуру преднамеренности (ум, язык, поведение), принимая в качестве (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. 关于在柴廷、维特根斯坦、霍夫施塔特、沃尔珀特、多里亚、达科斯塔、戈德尔、西尔、罗迪赫、贝托、弗洛伊德、贝托、弗洛伊德、莫亚尔-沙罗克和亚诺夫斯基.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    人们普遍认为,不可能性、不完整性、不一致性、不可度、随机性、可预见性、悖论、不确定性和理性极限是完全不同的科学物理或数学问题,在常见。我认为,它们主要是标准的哲学问题(即语言游戏),这些问题大多在80 多年前由维特根斯坦解决。 -/- "在这种情况下,我们'想说'当然不是哲学,而是它的原材料。因此,例如,数学家倾向于对数学事实的客观性和现实性说的,不是数学哲学,而是哲学处理的东西。维特根斯坦 PI 234 -/- "哲学家们经常看到科学的方法,他们不可抗拒地试图以科学的方式提问和回答问题。这种倾向是形而上学的真正源泉,将哲学家带入完全的黑暗之中。 维特根斯坦 -/- 我简要地总结了现代两位最杰出的学生路德维希·维特根斯坦和约翰·西尔关于故意的逻辑结构(思想、语言、行为)的一些主要发现,作为我的起点Wittgenstein 的基本发现——所有真正的"哲学"问题都是相同的——关于在特定上下文中如何使用语言的困惑,因此所有解决方案都是一样的——研究如何在相关上下文中使用语言,使其真实性条件(满意度或 COS 条件)是明确的。基本问题是,人们可以说什么,但一个人不能意味着(状态明确COS)任何任意的话语和意义只有在非常具体的上下文中才可能。 -/- 在两种思想体系的现代视角(被推广为"思维快,思维慢")的框架内,我从维特根斯坦人的角度剖析了一些主要评论员关于这些问题的一些著作,并采用了一个新的表意向性和新的双系统命名法。 我表明,这是一个强大的启发式描述这些假定的科学,物理或数学问题的真实性质,这是真正最好的处理作为标准哲学问题,如何使用语言(语言游戏在维特根斯坦的术语)。 -/- 我的论点是,这里突出特征的意向表(理性、思想、思想、语言、个性等)或多或少地准确地描述了,或者至少作为启发式,我们思考和行为的方式,所以它包含不只是哲学和心理学,但其他一切(历史,文学,数学,政治等) 。特别要注意,我(以及西尔、维特根斯坦和其他人)认为,故意和理性包括有意识的审议语言系统2和无意识的自动预语言系统1行为或反射。 .
    Download  
     
    Export citation  
     
    Bookmark  
  47. اظهارات در مورد عدم امکان ، بی کامل بودن ، پاراستشتها، Undecidability ، اتفاقی ، Computability ، پارادوکس ، و عدم قطعیت در Chaitin ، ویتگنشتاین ، Hofstadter ، Wolpert ، doria ، دا کوستا ، گودل ، سرل ، رودیچ ، برتو ، فلوید ، مویال-شرراک و یانفسکی.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    معمولا تصور می شود که عدم امکان ، بی کامل بودن ، پارامونشتها ، Undecidability ، اتفاقی ، قابلیت های مختلف ، پارادوکس ، عدم قطعیت و محدودیت های دلیل ، مسائل فیزیکی و ریاضی علمی و یا با داشتن کمی یا هیچ چیز در مشترک. من پیشنهاد می کنم که آنها تا حد زیادی مشکلات فلسفی استاندارد (به عنوان مثال ، بازی های زبان) که عمدتا توسط ویتگنشتاین بیش از 80 سال پیش حل و فصل شد. -/- "آنچه ما (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. असंभव, अपूर्णता, अनिर्णय, अनिर्णय, यादृच्छिकता, गणना, विरोधाभास, और चैटिन, विटगेनस्टीन, Hofstadter, Wolpert, डोरिया, दा कोस्टा, गोडेल, सीरले, Rodych, Berto, Floyd में अनिश्चितता पर टिप्पणी मोयाल-शररॉक और यानोफ्स्की.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    यह आमतौर पर सोचा जाता है कि असंभवता, अपूर्णता, Paraconsistency, अनिर्णितता, Randomness, Computability, विरोधाभास, अनिश्चितता और कारण की सीमा अलग वैज्ञानिक शारीरिक या गणितीय मुद्दों में कम या कुछ भी नहीं कर रहे हैं आम. मेरा सुझाव है कि वे काफी हद तक मानक दार्शनिक समस्याओं (यानी, भाषा का खेल) जो ज्यादातर 80years पहले Wittgenstein द्वारा हल किए गए थे. -/- "क्या हम 'इस तरह के एक मामले में कहने के लिए' कर रहे हैं, ज़ाहिर है, दर्शन नहीं है, लेकिन (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. ملاحظات على استحالة, عدم اكتمال, بارااتساق,عدم تحديد, عشوائية, الحوسبة, مفارقة, وعدم اليقين في Chaitin, Wittgenstein, Hofstadter, Wolpert, دوريا, دا كوستا, جوديل, سيرل, روديش, بيرتو, فلويد, مويال شاروك ويانوفسكي.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    ويعتقد عادة أن الاستحالة، وعدم اكتمال، وParaconsistency، وعدم تحديد، العشوائية، والحوسبة، والمفارقة، وعدم اليقين وحدود العقل هي قضايا علمية مادية أو رياضية متباينة وجود القليل أو لا شيء في المشتركه. أقترح أنها مشاكل فلسفية قياسية إلى حد كبير (أي ألعاب اللغة) التي تم حلها في الغالب من قبل فيتغنشتاين أكثر من 80years منذ. -/- "إن ما نميل إلى قوله في مثل هذه الحالة هو، بطبيعة الحال، ليس فلسفة، ولكنه مادة خام. وهكذا، على سبيل المثال، ما يميل عالم الرياضيات إلى قوله (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Pernyataan tentang kemustahilan, ketidaklengkapan, Paraconsistency,Undecidability, Randomness, Komputabilitas, paradoks, dan ketidakpastian dalam Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock dan Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Hal ini sering berpikir bahwa kemustahilan, ketidaklengkapan, Paraconsistency, Undecidability, Randomness, komputasi, Paradox, ketidakpastian dan batas alasan yang berbeda ilmiah fisik atau matematika masalah memiliki sedikit atau tidak ada dalam Umum. Saya menyarankan bahwa mereka sebagian besar masalah filosofis standar (yaitu, Permainan bahasa) yang sebagian besar diselesaikan oleh Wittgenstein lebih dari 80years yang lalu. -/- "Apa yang kita ' tergoda untuk mengatakan ' dalam kasus seperti ini, tentu saja, bukan filsafat, tetapi bahan baku. Jadi, misalnya, apa yang seorang matematikawan cenderung mengatakan (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 51