Results for 'Mathematical notation'

1000+ found
Order:
  1.  30
    Symbolic Configurations and Two-Dimensional Mathematical Notation.W. E. Underwood - 1980 - Semiotics:523-532.
  2.  27
    What is Mathematical Notation.Yanjie Zhao - 1997 - Semiotics:257-273.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  3
    The Role of Visual Representations in College Students’ Understanding of Mathematical Notation.Natsuki Atagi, Melissa DeWolf, James W. Stigler & Scott P. Johnson - forthcoming - Journal of Experimental Psychology: Applied.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  1
    Joseph Mazur.Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers. Xxiii + 285 Pp., Illus., Tables, Apps., Bibls., Index. Princeton, N.J./Oxford: Princeton University Press, 2014. $29.95. [REVIEW]I. Grattan-Guinness - 2015 - Isis 106 (2):425-426.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    The Influence of the Computer Upon Mathematical Notation.W. Douglas Maurer - 1999 - Semiotica 125 (1-3):165-168.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  4
    Buchholz Wilfried. Notation Systems for Infinitary Derivations. Archive for Mathematical Logic, Vol. 30 No. 5–6 , Pp. 277–296.Buchholz Wilfried. Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory. Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, Edited by Gottlob Georg, Leitsch Alexander, and Mundici Daniele, Lecture Notes in Computer Science, Vol. 1289, Springer, Berlin, Heidelberg, New York, Etc., 1997, Pp. 4–17.Tupailo Sergei. Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Buss Samuel R., Háajek Petr, and Pudlák Pavel, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., Etc., 2000, Pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  7.  16
    Boethian Number Theory Michael Masi: Boethian Number Theory: A Translation of the De Institutione Arithmetica (with Introduction and Notes). (Studies in Classical Antiquity, 6.) Pp. 198; 8 Figures with Mathematical Diagrams and Musical Notation in Text. Amsterdam: Editions Rodopi, 1983. Paper, Fl. 60. [REVIEW]Ivor Bulmer-Thomas - 1985 - The Classical Review 35 (01):86-87.
  8.  1
    Burks Arthur W., Warren Don W., and Wrights Jesse B.. An Analysis of a Logical Machine Using Parenthesis-Free Notation. Mathematical Tables and Other Aids to Computation, Vol. 8 , Pp. 53–57. [REVIEW]Raymond J. Nelson - 1955 - Journal of Symbolic Logic 20 (1):70-71.
  9.  2
    Buchholz Wilfried. Notation Systems for Infinitary Derivations. Archive for Mathematical Logic, Vol. 30 No. 5–6 (1991), Pp. 277–296. Buchholz Wilfried. Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory. Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25–29, 1997, Proceedings, Edited by Gottlob Georg, Leitsch Alexander, and Mundici Daniele, Lecture Notes in Computer Science, Vol. 1289, Springer, Berlin, Heidelberg, New York, Etc., 1997 ... [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10. Ritter William E.. Notation Systems and an Effective Fixed Point Property. Proceedings of the American Mathematical Society, Vol. 17 , Pp. 390–395. [REVIEW]Helmut Pfeiffer - 1975 - Journal of Symbolic Logic 40 (4):626.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Dictionary of Symbols of Mathematical Logic.Robert Feys - 1969 - Amsterdam: North-Holland Pub. Co..
     
    Export citation  
     
    My bibliography   6 citations  
  12. A Mathematical Theory of Parenthesis, Free Notations.William James Meyers - 1975 - Państwowe Wydawn. Naukowe.
  13. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews - 2002 - Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive (...) facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  14. Frege's Notations: What They Are and How They Mean.Gregory Landini - 2012 - Palgrave-Macmillan.
     
    Export citation  
     
    My bibliography   2 citations  
  15.  7
    Theoretical Childhood and Adulthood: Plato’s Account of Human Intellectual Development.Susanna Saracco - 2016 - Philosophia 44 (3):845-863.
    The Platonic description of the cognitive development of the human being is a crucial part of his philosophy. This account emphasizes not only the existence of phases of rational growth but also the need that the cognitive progress of the individuals is investigated further. I will reconstruct what rational growth is for Plato in light of the deliberate choice of the philosopher to leave incomplete his schematization of human intellectual development. I will argue that this is a means chosen by (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Adaptation of Notations in Living Mathematical Documents.Michael Kohlhase - unknown
    Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize the choice of notations with respect to these two criteria, while at the same time trying to remain consistent over the document and their own prior publications. In print media where notations are fixed at publication time, this is an over-constrained problem. In living documents notations can be adapted at reading (...)
    Translate
     
     
    Export citation  
     
    My bibliography  
  17. In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.Jan Von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.
    The Löwenheim-Skolem theorem was published in Skolem's long paper of 1920, with the first section dedicated to the theorem. The second section of the paper contains a proof-theoretical analysis of derivations in lattice theory. The main result, otherwise believed to have been established in the late 1980s, was a polynomial-time decision algorithm for these derivations. Skolem did not develop any notation for the representation of derivations, which makes the proofs of his results hard to follow. Such a formal (...) is given here by which these proofs become transparent. A third section of Skolem's paper gives an analysis for derivations in plane projective geometry. To clear a gap in Skolem's result, a new conservativity property is shown for projective geometry, to the effect that a proper use of the axiom that gives the uniqueness of connecting lines and intersection points requires a conclusion with proper cases (logically, a disjunction in a positive part) to be proved. The forgotten parts of Skolem's first paper on the Löwenheim-Skolem theorem are the perhaps earliest combinatorial analyses of formal mathematical proofs, and at least the earliest analyses with profound results. (shrink)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  67
    Notations for Living Mathematical Documents.Michael Kohlhase - unknown
    Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familiar to them. Therefore, authors optimize the choice of notations with respect to these two criteria, while at the same time trying to remain consistent over the document and their own prior publications. In print media where notations are fixed at publication time, this is an over-constrained problem. In living documents notations can be adapted at reading (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  19.  39
    Naturalism, Notation, and the Metaphysics of Mathematics.Madeline M. Muntersbjorn - 1999 - Philosophia Mathematica 7 (2):178-199.
    The instability inherent in the historical inventory of mathematical objects challenges philosophers. Naturalism suggests we can construct enduring answers to ontological questions through an investigation of the processes whereby mathematical objects come into existence. Patterns of historical development suggest that mathematical objects undergo an intelligible process of reification in tandem with notational innovation. Investigating changes in mathematical languages is a necessary first step towards a viable ontology. For this reason, scholars should not modernize historical texts without (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  20.  10
    Methodological Problems of Mathematical Modeling in Natural Science.I. A. Akchurin, M. F. Vedenov & Iu V. Sachkov - 1966 - Russian Studies in Philosophy 5 (2):23-34.
    The constantly accelerating progress of contemporary natural science is indissolubly associated with the development and use of mathematics and with the processes of mathematical modeling of the phenomena of nature. The essence of this diverse and highly fertile interaction of mathematics and natural science and the dialectics of this interaction can only be disclosed through analysis of the nature of theoretical notions in general. Today, above all in the ranks of materialistically minded researchers, it is generally accepted that theory (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Iteration on Notation and Unary Functions.Stefano Mazzanti - 2013 - Mathematical Logic Quarterly 59 (6):415-434.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  10
    Conceptual Notation and Related Articles.John Corcoran & David Levin - 1972
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   24 citations  
  23.  2
    On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal.Noriya Kadota - 1993 - Mathematical Logic Quarterly 39 (1):217-227.
    We show the following results on Wainer's notation for a minimal subrecursive inaccessible ordinal τ: First, we give a constructive proof of the collapsing theorem. Secondly, we prove that the slow-growing hierarchy and the fast-growing hierarchy up to τ have elementary properties on increase and domination, which completes Wainer's proof that τ is a minimal subrecursive inaccessible. Our results are obtained by showing a strong normalization theorem for the term structure of the notation. MSC: 03D20, 03F15.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24. A Notation System for Ordinal Using Ψ‐Functions on Inaccessible Mahlo Numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Mathematical Logic Quarterly 38 (1):431-456.
    G. Jäger gave in Arch. Math. Logik Grundlagenforsch. 24 , 49-62, a recursive notation system on a basis of a hierarchy Iαß of α-inaccessible regular ordinals using collapsing functions following W. Buchholz in Ann. Pure Appl. Logic 32 , 195-207. Jäger's system stops, when ordinals α with Iα0 = α enter. This border is now overcome by introducing additional a hierarchy Jαß of weakly inaccessible Mahlo numbers, which is defined similarly to the Jäger hierarchy. An ordinal μ is called (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  14
    Notation Systems for Infinitary Derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  26.  5
    Ρ-Inaccessible Ordinals, Collapsing Functions and a Recursive Notation System.Gerhard Jäger - 1984 - Archive for Mathematical Logic 24 (1):49-62.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  27.  1
    Organization of Addressless Computers Working in Parenthesis Notation.Zdzisław Pawlar - 1963 - Mathematical Logic Quarterly 9 (16‐17):243-249.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  6
    A Note on Morse's Lambda‐Notation in Set Theory.Douglas S. Bridges - 1978 - Mathematical Logic Quarterly 24 (8):113-114.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    Mathematical Constraints on a Theory of Human Memory - Response.S. Dennis, M. S. Humphreys & J. Wiles - 1996 - Behavioral and Brain Sciences 19 (3):559-560.
    Colonius suggests that, in using standard set theory as the language in which to express our computational-level theory of human memory, we would need to violate the axiom of foundation in order to express meaningful memory bindings in which a context is identical to an item in the list. We circumvent Colonius's objection by allowing that a list item may serve as a label for a context without being identical to that context. This debate serves to highlight the value of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Ordinal Notation Systems Corresponding to Friedman’s Linearized Well-Partial-Orders with Gap-Condition.Michael Rathjen, Jeroen Van der Meeren & Andreas Weiermann - 2017 - Archive for Mathematical Logic 56 (5-6):607-638.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  25
    In Defence of Objective Bayesianism.Jon Williamson - 2010 - Oxford University Press.
    Objective Bayesianism is a methodological theory that is currently applied in statistics, philosophy, artificial intelligence, physics and other sciences. This book develops the formal and philosophical foundations of the theory, at a level accessible to a graduate student with some familiarity with mathematical notation.
    Direct download  
     
    Export citation  
     
    My bibliography   21 citations  
  32. Extending OpenMath with Sequences.Fulya Horozal, Florian Rabe & Michael Kohlhase - unknown
    Sequences play a great role in mathematical communication. In mathematical notation, we use sequence ellipsis (. . . ) to denote "obvious" sequences like 1, 2, . . . , 7, and in conceptualizations sequence constructors like (i 2+1) i∈N. Furthermore, sequences have a prominent role as argument sequences of flexary functions. While the former cases can adequately be represented and reasoned about as domain objects in Open- Math and MathML, argument sequences are at the language level, (...)
     
    Export citation  
     
    My bibliography  
  33.  55
    Axioms and Tests for the Presence of Minimal Consciousness in Agents I: Preamble.Igor L. Aleksander & B. Dunmall - 2003 - Journal of Consciousness Studies 10 (4):7-18.
    This paper relates to a formal statement of the mechanisms that are thought minimally necessary to underpin consciousness. This is expressed in the form of axioms. We deem this to be useful if there is ever to be clarity in answering questions about whether this or the other organism is or is not conscious. As usual, axioms are ways of making formal statements of intuitive beliefs and looking, again formally, at the consequences of such beliefs. The use of this style (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  34. The Structure of Context: Deciphering "Frame Analysis".Thomas J. Scheff - 2005 - Sociological Theory 23 (4):368-385.
    This article proposes that Goffman's "Frame Analysis" can be interpreted as a step toward unpacking the idea of context. His analysis implies a recursive model involving frames within frames. The key problem is that neither Goffman nor anyone else has clearly defined what is meant by a frame. I propose that it can be represented by a word, phrase, or proposition. A subjective context can be represented as an assembly of these items, joined together by operators such as and, since, (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  10
    Continuous Model Theory.Chen Chung Chang - 1966 - Princeton: Princeton University Press.
    CONTINUOUS MODEL THEORY CHAPTER I TOPOLOGICAL PRELIMINARIES. Notation Throughout the monograph our mathematical notation does not differ drastically from ...
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  36.  37
    Constructions.Pavel Tichy - 1986 - Philosophy of Science 53 (4):514-534.
    The paper deals with the semantics of mathematical notation. In arithmetic, for example, the syntactic shape of a formula represents a particular way of specifying, arriving at, or constructing an arithmetical object (that is, a number, a function, or a truth value). A general definition of this sense of "construction" is proposed and compared with related notions, in particular with Frege's concept of "function" and Carnap's concept of "intensional isomorphism." It is argued that constructions constitute the proper subject (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  37. The Structure of Context: Deciphering Frame Analysis.Thomas J. Scheff - 2005 - Sociological Theory 23 (4):368-385.
    This article proposes that Goffman's "Frame Analysis" can be interpreted as a step toward unpacking the idea of context. His analysis implies a recursive model involving frames within frames. The key problem is that neither Goffman nor anyone else has clearly defined what is meant by a frame. I propose that it can be represented by a word, phrase, or proposition. A subjective context can be represented as an assembly of these items, joined together by operators such as and, since, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38. Roger Penrose's Gravitonic Brains: A Review of Shadows of the Mind by Roger Penrose. [REVIEW]Hans Moravec - 1995 - Psyche 2 (1).
    Summarizing a surrounding 200 pages, pages 179 to 190 of Shadows of the Mind contain a future dialog between a human identified as "Albert Imperator" and an advanced robot, the "Mathematically Justified Cybersystem", allegedly Albert's creation. The two have been discussing a Gödel sentence for an algorithm by which a robot society named SMIRC certifies mathematical proofs. The sentence, referred to in mathematical notation as Omega(Q*), is to be precisely constructed from on a definition of SMIRC's algorithm. (...)
     
    Export citation  
     
    My bibliography  
  39.  20
    Earliest Uses of Symbols of Set Theory and Logic.Front Page - unknown
    The study of logic goes back more than two thousand years and in that time many symbols and diagrams have been devised. Around 300 BC Aristotle introduced letters as term-variables, a "new and epoch-making device in logical technique." (W. & M. Kneale The Development of Logic (1962, p. 61). The modern era of mathematical notation in logic began with George Boole (1815- 1864), although none of his notation survives. Set theory came into being in the late 19th (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  40.  22
    A Concept of Social Integration.Thomas J. Scheff - 2007 - Philosophical Psychology 20 (5):579 – 593.
    Clear definitions of alienation and solidarity are needed as a step toward an explicit theory of social integration. The idea of alienation has played a key role in the development of sociology, but it's meaning has never been clear. Both theories and empirical studies confound relational-dispositional, cognitive-emotional and/or interpersonal-societal components. This essay proposes definitions that follow from the work of Erving Goffman and others. Goffman's idea of "co-presence" implies a model of solidarity as mutual awareness to the point of merging (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41.  13
    Michel Serfati. La Révolution Symbolique: La Constitution de l'Ecriture Symbolique Mathématique. Preface by Jacques Bouverasse. Paris: Éditions Petra, 2005. Pp. Ix + 427. ISBN 2-84743-006-7. [REVIEW]B. P. Larvor - 2006 - Philosophia Mathematica 15 (1):122-126.
    It is difficult to imagine mathematics without its symbolic language. It is especially difficult to imagine doing mathematics without using mathematical notation. Nevertheless, that is how mathematics was done for most of human history. It was only at the end of the sixteenth century that mathematicians began to develop systems of mathematical symbols . It is startling to consider how rapidly mathematical notation evolved. Viète is usually taken to have initiated this development with his Isagoge (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  42. Domain Conditions in Social Choice Theory.Wulf Gaertner - 2001 - Cambridge University Press.
    Wulf Gaertner provides a comprehensive account of an important and complex issue within social choice theory: how to establish a social welfare function while restricting the spectrum of individual preferences in a sensible way. Gaertner's starting point is K. J. Arrow's famous 'Impossibility Theorem', which showed that no welfare function could exist if an unrestricted domain of preferences is to be satisfied together with some other appealing conditions. A number of leading economists have tried to provide avenues out of this (...)
     
    Export citation  
     
    My bibliography  
  43. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   158 citations  
  44. Mathematical Metaphors in Natorp’s Neo-Kantian Epistemology and Philosophy of Science.Thomas Mormann - 2005 - In Falk Seeger, Johannes Lenard & Michael H. G. Hoffmann (eds.), Activity and Sign. Grounding Mathematical Education. Springer.
    A basic thesis of Neokantian epistemology and philosophy of science contends that the knowing subject and the object to be known are only abstractions. What really exists, is the relation between both. For the elucidation of this “knowledge relation ("Erkenntnisrelation") the Neokantians of the Marburg school used a variety of mathematical metaphors. In this con-tribution I reconsider some of these metaphors proposed by Paul Natorp, who was one of the leading members of the Marburg school. It is shown that (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  12
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  41
    The Directionality of Distinctively Mathematical Explanations.Carl F. Craver & Mark Povich - 2017 - Studies in History and Philosophy of Science Part A 63:31-38.
    In “What Makes a Scientific Explanation Distinctively Mathematical?” (2013b), Lange uses several compelling examples to argue that certain explanations for natural phenomena appeal primarily to mathematical, rather than natural, facts. In such explanations, the core explanatory facts are modally stronger than facts about causation, regularity, and other natural relations. We show that Lange's account of distinctively mathematical explanation is flawed in that it fails to account for the implicit directionality in each of his examples. This inadequacy is (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  47. Systems Biology and the Integration of Mechanistic Explanation and Mathematical Explanation.Ingo Brigandt - 2013 - Studies in History and Philosophy of Biological and Biomedical Sciences 44 (4):477-492.
    The paper discusses how systems biology is working toward complex accounts that integrate explanation in terms of mechanisms and explanation by mathematical models—which some philosophers have viewed as rival models of explanation. Systems biology is an integrative approach, and it strongly relies on mathematical modeling. Philosophical accounts of mechanisms capture integrative in the sense of multilevel and multifield explanations, yet accounts of mechanistic explanation have failed to address how a mathematical model could contribute to such explanations. I (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  48. Mathematical Symbols as Epistemic Actions.De Cruz Helen & De Smedt Johan - 2013 - Synthese 190 (1):3-19.
    Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  49.  26
    A Mathematical Introduction to Logic.Herbert B. Enderton - 1972 - New York: Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   64 citations  
  50.  75
    The Role of Diagrams in Mathematical Arguments.David Sherry - 2009 - Foundations of Science 14 (1-2):59-74.
    Recent accounts of the role of diagrams in mathematical reasoning take a Platonic line, according to which the proof depends on the similarity between the perceived shape of the diagram and the shape of the abstract object. This approach is unable to explain proofs which share the same diagram in spite of drawing conclusions about different figures. Saccheri’s use of the bi-rectangular isosceles quadrilateral in Euclides Vindicatus provides three such proofs. By forsaking abstract objects it is possible to give (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   18 citations  
1 — 50 / 1000