Related categories

838 found
Order:
1 — 50 / 838
Material to categorize
  1. Functorial Semantics for the Advancement of the Science of Cognition.Venkata Posina, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161{184.
    Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the adjointness (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Foundation of Paralogical Nonstandard Analysis and its Application to Some Famous Problems of Trigonometrical and Orthogonal Series.Jaykov Foukzon - manuscript
    FOURTH EUROPEAN CONGRESS OF MATHEMATICS STOCKHOLM,SWEDEN JUNE27 ­ - JULY 2, 2004 Contributed papers L. Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z and Τ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
    The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Numerical Infinities and Infinitesimals: Methodology, Applications, and Repercussions on Two Hilbert Problems.Yaroslav Sergeyev - 2017 - EMS Surveys in Mathematical Sciences 4 (2):219–320.
    In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Genetic Counseling in Historical Perspective: Understanding Our Hereditary Past and Forecasting Our Genomic Future. [REVIEW]618 622 - 2013 - Studies in History and Philosophy of Science Part A 44 (4):Devon-Stillwell.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Subregular Tetrahedra.John Corcoran - 2008 - Bulletin of Symbolic Logic 14 (3):411-2.
    This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. A Logic Of Sequences.Norihiro Kamide - 2011 - Reports on Mathematical Logic:29-57.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Logicism Reconsidered.Patricia A. Blanchette - 1990 - Dissertation, Stanford University
    This thesis is an examination of Frege's logicism, and of a number of objections which are widely viewed as refutations of the logicist thesis. In the view offered here, logicism is designed to provide answers to two questions: that of the nature of arithmetical truth, and that of the source of arithmetical knowledge. ;The first objection dealt with here is the view that logicism is not an epistemologically significant thesis, due to the fact that the epistemological status of logic itself (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  9. Finitism: An Essay on Hilbert's Programme.David Watson Galloway - 1991 - Dissertation, Massachusetts Institute of Technology
    In this thesis, I discuss the philosophical foundations of Hilbert's Consistency Programme of the 1920's, in the light of the incompleteness theorems of Godel. ;I begin by locating the Consistency Programme within Hilbert's broader foundational project. I show that Hilbert's main aim was to establish that classical mathematics, and in particular classical analysis, is a conservative extension of finitary mathematics. Accepting the standard identification of finitary mathematics with primitive recursive arithmetic, and classical analysis with second order arithmetic, I report upon (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  10. Strict Constructivism and the Philosophy of Mathematics.Feng Ye - 2000 - Dissertation, Princeton University
    The dissertation studies the mathematical strength of strict constructivism, a finitistic fragment of Bishop's constructivism, and explores its implications in the philosophy of mathematics. ;It consists of two chapters and four appendixes. Chapter 1 presents strict constructivism, shows that it is within the spirit of finitism, and explains how to represent sets, functions and elementary calculus in strict constructivism. Appendix A proves that the essentials of Bishop and Bridges' book Constructive Analysis can be developed within strict constructivism. Appendix B further (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Facets of Infinity: A Theory of Finitistic Truth.Zlatan Damnjanovic - 1992 - Dissertation, Princeton University
    The thesis critically examines the question of the philosophical coherence of finitism, the view which seeks to interpret mathematics without postulating an actual infinity of mathematical objects. It is argued that a widely accepted characterization of finitism, most recently expounded by Tait, is inadequate, and a new characterization based on the notion of elementary abstraction is proposed. It is further argued that the notion of elementary abstraction better explains the bearing of Godel's incompleteness theorems on the issue of the coherence (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. The Social Problem: A Constructive Analysis.Dickinson S. Miller - 1916 - Journal of Philosophy, Psychology and Scientific Methods 13 (3):81-82.
  13. Errett Bishop Reflections on Him and His Research.Murray Rosenblatt & Errett Bishop - 1985
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  14. The Foundations of Intuitionistic Mathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-155.
    The aim of the authors is to present a comprehensive study of the basis of intuitionistic mathematics by means of modern meta-mathematical devices. The first author, for whom this book is a capstone of twenty years' work on the subject, contributes three chapters on a formal system of intuitionistic analysis, notions of realizability, and order in the continuum; the second provides an analysis of the intuitionistic continuum. An extensive bibliography which includes references to almost every article on the subject makes (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer. Volume 1: The Dawning Revolution. [REVIEW]Diederick Raven - 2001 - British Journal for the History of Science 34 (1):97-124.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.
    Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 as the main mathematical tool for developing their respective revision theories of truth. We generalise revision sequences to the notion of cofinally invariant sequences, showing that several known facts about Herzberger’s and Gupta’s theories also hold for this more abstract kind of sequences and providing new and more informative proofs of the old results.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Brouwer Versus Hilbert: 1907–1928.J. Posy Carl - 1998 - Science in Context 11 (2):291-325.
  18. Penelope Maddy, Naturalism in Mathematics.N. Tennant - 2000 - Philosophia Mathematica 8 (3):316-338.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Mathematics in and Behind Russell's Logicism and its Reception'.I. Grattan-Guinness - 2003 - In Nicholas Griffin (ed.), Bulletin of Symbolic Logic. Cambridge University Press. pp. 51.
  20. Lebesgue Integral in Constructive Analysis.Oswald Demuth - 1969 - In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 9--14.
  21. On Constructive Groups.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 32--35.
  22. About Brouwer's Fan Theorem.Thierry Coquand - 2004 - Revue Internationale de Philosophie 230:483-489.
  23. Arithmetic of Infinity.Yaroslav D. Sergeyev - 2013 - E-book.
    This book presents a new type of arithmetic that allows one to execute arithmetical operations with infinite numbers in the same manner as we are used to do with finite ones. The problem of infinity is considered in a coherent way different from (but not contradicting to) the famous theory founded by Georg Cantor. Surprisingly, the introduced arithmetical operations result in being very simple and are obtained as immediate extensions of the usual addition, multiplication, and division of finite numbers to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. A Characterization of Constructive Dimension.Satyadev Nandakumar - 2009 - Mathematical Logic Quarterly 55 (2):185-200.
    In the context of Kolmogorov's algorithmic approach to the foundations of probability, Martin-Löf defined the concept of an individual random sequence using the concept of a constructive measure 1 set. Alternate characterizations use constructive martingales and measures of impossibility. We prove a direct conversion of a constructive martingale into a measure of impossibility and vice versa such that their success sets, for a suitably defined class of computable probability measures, are equal. The direct conversion is then generalized to give a (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Lawless Mind.John Martin Fischer - 1991 - Philosophical Books 32 (4):240-241.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Unavoidable Sequences in Constructive Analysis.Joan Rand Moschovakis - 2010 - Mathematical Logic Quarterly 56 (2):205-215.
    Five recursively axiomatizable theories extending Kleene's intuitionistic theory FIM of numbers and numbertheoretic sequences are introduced and shown to be consistent, by a modified relative realizability interpretation which verifies that every sequence classically defined by a Π11 formula is unavoidable and that no sequence can fail to be classically Δ11. The analytical form of Markov's Principle fails under the interpretation. The notion of strongly inadmissible rule of inference is introduced, with examples.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27. Product a-Frames and Proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
    Continuing the study of apartness in lattices, begun in [8], this paper deals with axioms for a product a-frame and with their consequences. This leads to a reasonable notion of proximity in an a-frame, abstracted from its counterpart in the theory of set-set apartness.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. A Constructive Treatment of Urysohn's Lemma in an Apartness Space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
    This paper is dedicated to Prof. Dr. Günter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community.At first sight it appears highly unlikely that Urysohn's Lemma has any significant constructive content. However, working in the context of an apartness space and using functions whose values are a generalisation of the reals, rather than real numbers, enables us to produce a significant constructive version (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. On Local Non‐Compactness in Recursive Mathematics.Jakob G. Simonsen - 2006 - Mathematical Logic Quarterly 52 (4):323-330.
    A metric space is said to be locally non-compact if every neighborhood contains a sequence that is eventually bounded away from every element of the space, hence contains no accumulation point. We show within recursive mathematics that a nonvoid complete metric space is locally non-compact iff it is without isolated points.The result has an interesting consequence in computable analysis: If a complete metric space has a computable witness that it is without isolated points, then every neighborhood contains a computable sequence (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Constructive Complements of Unions of Two Closed Sets.Douglas S. Bridges - 2004 - Mathematical Logic Quarterly 50 (3):293.
    It is well known that in Bishop-style constructive mathematics, the closure of the union of two subsets of ℝ is ‘not’ the union of their closures. The dual situation, involving the complement of the closure of the union, is investigated constructively, using completeness of the ambient space in order to avoid any application of Markov's Principle.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. On Weak Markov's Principle.Ulrich Kohlenbach - 2002 - Mathematical Logic Quarterly 48 (S1):59-65.
    We show that the so-called weak Markov's principle which states that every pseudo-positive real number is positive is underivable in [MATHEMATICAL SCRIPT CAPITAL T]ω ≔ E-HAω + AC. Since [MATHEMATICAL SCRIPT CAPITAL T]ω allows one to formalize Bishop's constructive mathematics, this makes it unlikely that WMP can be proved within the framework of Bishop-style mathematics . The underivability even holds if the ine.ective schema of full comprehension for negated formulas is added, which allows one to derive the law of excluded (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (4):371-384.
  33. Fundamental Sequences for Exponential Polynomials.Rod McBeth - 1980 - Mathematical Logic Quarterly 26 (7‐9):115-122.
  34. The Anti-Specker Property, a Heine–Borel Property, and Uniform Continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.
    Working within Bishop’s constructive framework, we examine the connection between a weak version of the Heine–Borel property, a property antithetical to that in Specker’s theorem in recursive analysis, and the uniform continuity theorem for integer-valued functions. The paper is a contribution to the ongoing programme of constructive reverse mathematics.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Brouwer's Fan Theorem and Unique Existence in Constructive Analysis.Josef Berger & Hajime Ishihara - 2005 - Mathematical Logic Quarterly 51 (4):360-364.
    Many existence propositions in constructive analysis are implied by the lesser limited principle of omniscience LLPO; sometimes one can even show equivalence. It was discovered recently that some existence propositions are equivalent to Bouwer's fan theorem FAN if one additionally assumes that there exists at most one object with the desired property. We are providing a list of conditions being equivalent to FAN, such as a unique version of weak König's lemma. This illuminates the relation between FAN and LLPO. Furthermore, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36. The Problem of the Formalization of Constructive Topology.Silvio Valentini - 2004 - Archive for Mathematical Logic 44 (1):115-129.
    .Formal topologies are today an established topic in the development of constructive mathematics. One of the main tools in formal topology is inductive generation since it allows to introduce inductive methods in topology. The problem of inductively generating formal topologies with a cover relation and a unary positivity predicate has been solved in [CSSV]. However, to deal both with open and closed subsets, a binary positivity predicate has to be considered. In this paper we will show how to adapt to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37. Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2-3):153-207.
    This essay consists of two parts. In the first part, I focus my attention on the remarks that Frege makes on consistency when he sets about criticizing the method of creating new numbers through definition or abstraction. This gives me the opportunity to comment also a little on H. Hankel, J. Thomae—Frege’s main targets when he comes to criticize “formal theories of arithmetic” in Die Grundlagen der Arithmetik (1884) and the second volume of Grundgesetze der Arithmetik (1903)—G. Cantor, L. E. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. The Consistency of Arithmetic, Based on a Logic of Meaning Containment.Ross T. Brady - 2012 - Logique Et Analyse 55 (219).
  39. The Intermediate Value Theorem in Constructive Mathematics Without Choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.
  40. Brève note sur l'intuitionnisme de Brouwer.J. Largeault - 1992 - Revue Philosophique de la France Et de l'Etranger 182 (3):317 - 324.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Dummett on Impredicativity.Alan Weir - 1998 - Grazer Philosophische Studien 55:65-101.
    Gödel and others held that impredicative specification is illegitimate in a constructivist framework but legitimate elsewhere. Michael Dummett argues to the contrary that impredicativity, though not necessarily illicit, needs justification regardless of whether one assumes the context is realist or constructivist. In this paper I defend the Gödelian position arguing that Dummett seeks a reduction of impredicativity to predicativity which is neither possible nor necessary. The argument is illustrated by considering first highly predicative versions of the equinumerosity axiom for cardinal (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42. Chateaubriand's Logicism.Abel Casanave - 2004 - Manuscrito 27 (1):13-20.
    In his doctoral dissertation, O. Chateaubriand favored Dedekind’s analysis of the notion of number; whereas in Logical Forms, he favors a fregean approach to the topic. My aim in this paper is to examine the kind of logicism he defends. Three aspects will be considered: the concept of analysis; the universality of arithmetical properties and their definability; the irreducibility of arithmetical objects.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  43. The Foundations of Arithmetic.Brian Coffey - 1952 - Modern Schoolman 29 (2):157-157.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44. Truth Through Proof: A Formalist Foundation for Mathematics * by Alan Weir.Z. Damnjanovic - 2012 - Analysis 72 (2):415-418.
  45. Blinking Fractals and Their Quantitative Analysis Using Infinite and Infinitesimal Numbers.Yaroslav Sergeyev - 2007 - Chaos, Solitons and Fractals 33 (1):50-75.
    The paper considers a new type of objects – blinking fractals – that are not covered by traditional theories studying dynamics of self-similarity processes. It is shown that the new approach allows one to give various quantitative characteristics of the newly introduced and traditional fractals using infinite and infinitesimal numbers proposed recently. In this connection, the problem of the mathematical modelling of continuity is discussed in detail. A strong advantage of the introduced computational paradigm consists of its well-marked numerical character (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  46. Finitism in Mathematics (II.).Alice Ambrose - 1935 - Mind 44 (175):317-340.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47. Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
    The first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop's constructive mathematics (BISH). it gives a sketch of both Myhill's axiomatic system for BISH and a constructive axiomatic development of the real line R. The second part of the paper focusses on the relation between constructive mathematics and programming, with emphasis on Martin-L6f 's theory of types as a formal system for BISH.
    Remove from this list   Direct download (14 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48. Challenges to Predicative Foundations of Arithmetic.Solomon Feferman - manuscript
    This is a sequel to our article “Predicative foundations of arithmetic” (1995), referred to in the following as [PFA]; here we review and clarify what was accomplished in [PFA], present some improvements and extensions, and respond to several challenges. The classic challenge to a program of the sort exemplified by [PFA] was issued by Charles Parsons in a 1983 paper, subsequently revised and expanded as Parsons (1992). Another critique is due to Daniel Isaacson (1987). Most recently, Alexander George and Daniel (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. Remarks on Finitism.William Tait - manuscript
    The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that finitist arithmetic coincides with primitive recursive arithmetic, P RA; and in 1981, in “Finitism” [28], I expanded on the argument. But some recent discussions and some of the more recent literature on the subject lead me to think that a few further remarks would be useful.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
1 — 50 / 838