Results 21 to 30 of about 145,685 (215)

A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography [PDF]

, 2012
We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind ...
A. Alexander, A. H. Lightstone, A. Heyting, A. k. Weil, A. Robinson, A. Sfard, A.L. Cauchy, B.L. Waerden van der, Bruce Pourciau, Bruce Pourciau, C. Boyer, C. Jensen, D. Bridges, D. Fearnley-Sander, D. H. Fowler, D. Laugwitz, D. Laugwitz, D. Laugwitz, D. Sepkoski, D. Sherry, D. Sherry, D. Tall, D. Tall, E. B. Davies, E. Bishop, E. Cousquer, E. Hewitt, E. Nelson, F. Richman, F. Smithies, G. Hellman, G. Hellman, G. Kreisel, G. M. Reyes, H. Billinge, H. Billinge, H. Breger, H. Freudenthal, H. Freudenthal, H. Meschkowski, H. Sinaceur, I. Barrow, J. Avigad, J. Bell, J. Burgess, J. Burgess, J. Burgess, J. Grabiner, J. Grabiner, J. Pierpont, J. Stillwell, K. Bråting, K. Katz, K. Rappaport, Karin Usadi Katz, L. A. Sad, L. Arkeryd, L. Arkeryd, L. Magnani, M. Dummett, M. Dummett, M. Mahoney, M. Moore, M. Moore, M. Muntersbjorn, Mikhail G. Katz, N. Cutland, P. Davis, P. Ehrlich, P. Giordano, P. Roquette, P.E.B. Jourdain, R. Dossena, R. Ely, R. Goldblatt, S. Gandz, S. Shapiro, S. Shapiro, S. Yablo, W. Ewald, W. Tait, W. Vincenti   +81 more
core   +1 more source

Canonical Maps [PDF]

, 2018
Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations.
Marquis, Jean-Pierre
core   +1 more source

The New Quantum Logic [PDF]

, 2014
It is shown how all the major conceptual difficulties of standard (textbook) quantum mechanics, including the two measurement problems and the (supposed) nonlocality that conflicts with special relativity, are resolved in the consistent or decoherent ...
Griffiths, Robert B.
core   +1 more source

Formal Semantics: Origins, Issues, Early Impact

The Baltic International Yearbook of Cognition, Logic and Communication, 2010
Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj   +1 more source

Stevin numbers and reality [PDF]

, 2012
We explore the potential of Simon Stevin's numbers, obscured by shifting foundational biases and by 19th century developments in the arithmetisation of analysis.Comment: 22 pages, 4 figures.
A. H. Lightstone, A. L. Cauchy, A. Malet, A. Robinson, A. Tarski, A.-L. Cauchy, B. L. Waerden van der, C.S. Peirce, C.S. Peirce, D. Fearnley-Sander, D. H. Fowler, D. Laugwitz, D. Laugwitz, D. Laugwitz, D. Laugwitz, D. Sherry, D. Tall, D. Tall, E. Hewitt, G. Hellman, G. Lakoff, G. Schubring, H. Freudenthal, H. Sinaceur, J. Bair, J. Burgess, J. Dauben, J. Dauben, J. Havenel, J. L. Bell, K. Bråting, K. Katz, Karin Usadi Katz, L. Arkeryd, L. Arkeryd, L. Magnani, M. Moore, M. Moore, Mikhail G. Katz, N. Cutland, P. Ehrlich, P. Roquette, R. Dossena, R. Ely, R. Goldblatt, S. Gandz, Th. Skolem   +46 more
core   +1 more source

Ten Misconceptions from the History of Analysis and Their Debunking [PDF]

, 2012
The widespread idea that infinitesimals were "eliminated" by the "great triumvirate" of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems.
A. Connes, A. Fraenkel, A. H. Lightstone, A. L. Cauchy, A. L. Cauchy, A. Malet, A. Robinson, A. Tarski, A. Weil, A. Weil, A.L. Cauchy, B. L. Waerden van der, B. Pourciau, B. Russell, C. Baltus, C. Boyer, D. E. Smith, D. Fearnley-Sander, D. H. Fowler, D. Laugwitz, D. Laugwitz, D. Laugwitz, D. Laugwitz, D. Sepkoski, D. Sherry, D. Sherry, D. Tall, D. Tall, David Sherry, E. Hewitt, E. Knobloch, E. Madison, E. Nelson, E.T. Bell, F. Faltin, F. W. Lawvere, G. Fisher, G. Leibniz, G. Schubring, H. Freudenthal, H. J. Keisler, H. J. M. Bos, H. Putnam, H. Rust, H. Sinaceur, Huygens, I. Grattan-Guinness, I. Kleiner, I. Lakatos, J. Crossley, J. Dauben, J. Grabiner, J. Gray, J. L. Bell, J. Lützen, J. Naets, K. Andersen, K. Bråting, K. Hrbacek, K. Hrbacek, K. Hrbáček, K. Katz, L. Arkeryd, L. Arkeryd, L. Magnani, M. Dehn, M. J. Barany, Mikhail G. Katz, N. Cutland, P. Ehrlich, P. Ehrlich, P. Giordano, P. Giordano, P. Mancosu, P. Mancosu, P. Roquette, P. Strømholm, Piotr Błaszczyk, R. Anderson, R. B. McClenon, R. Dedekind, R. Dedekind, R. Dossena, R. Ely, R. Lutz, S. Albeverio, S. H. Levy, S. Smale, T. Koetsier, T. Mormann, T. Tao, Th. Skolem, V. Benci, V. J. Katz, W. Felscher, W. Felscher   +95 more
core   +1 more source

From change to spacetime: an Eleatic journey [PDF]

, 2012
I present a formal ontological theory where the basic building blocks of the world can be either things or events. In any case, the result is a Parmenidean worldview where change is not a global property.
Romero, Gustavo E.
core   +5 more sources

How relevance of philosophy, science and philosophy science through the study of mathematical logic?

Al-Jabar
Background: Philosophy, science, and the philosophy of science serve as interconnected systems of expression that can be utilized as benchmarks and standards of truth across various fields.
Farida Farida, Andra Rotama, Dharmawan Dharmawan, Agus Pahrudin   +3 more
doaj   +1 more source

Parikh and Wittgenstein [PDF]

, 2017
A survey of Parikh’s philosophical appropriations of Wittgensteinian themes, placed into historical context against the backdrop of Turing’s famous paper, “On computable numbers, with an application to the Entscheidungsproblem” (Turing in Proc Lond Math ...
Floyd, Juliet
core   +1 more source

Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism [PDF]

, 2019
This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras.
A Baltag, A Kanamori, A Kanamori, A Kanamori, A Kanamori, A Kurz, A Wilson, C Chihara, C Rittberg, C Wright, C Wright, C Wright, C Wright, C Wright, D Deutsch, D Deutsch, D Lewis, D Wallace, F Arntzenius, G Frege, G Marcus, G Uzquiano, H Putnam, H Rasiowa, J Hawthorne, J McKinsey, K Fine, L Henkin, M Dummett, M Takeuchi, Michael Rescorla, P Koellner, P Lewis, P Maddy, P Maddy, S Saunders, S Shapiro, S Shapiro, T Jech, T Lando, V Halbach, W Reinhardt, WH Woodin, WV Quine, Y Venema, Y Venema   +45 more
core   +9 more sources