Logic and Foundations of Mathematics Commons^™

History Of Mathematics, An Intuitive Approach, Alejandro R. Garciadiego

Humanistic Mathematics Network Journal

The main goal of this essay is to discuss, informally, an intuitive approach to the history of mathematics as an academic discipline. The initial point of departure includes the analysis of some traditional definitions of the concept of 'history' taken from standard dictionaries. This concise dissection attempts to suggest the complexity of the discipline.

A Brief Look At Mathematics And Theology, Philip J. Davis

Humanistic Mathematics Network Journal

No abstract provided.

Notes On Formal Constructivism, D. Joyner, P. Lejarraga

Humanistic Mathematics Network Journal

Our aim is to sketch some ideas related to how we (as in, we two) think we (as in, we humans) think. "That theory is useless. It isn't even wrong." - Wolfgang Pauli. Our hope in this paper is to provide a theory, admittedly somewhat vague, of how we think about mathematics. We also hope our ideas do not cause the reader to be reminded of Pauli's quote above. These notes were motivated by the interesting book by Changeaux and Connes.

Aphorisms, Lee Goldstein

Humanistic Mathematics Network Journal

No abstract provided.

Limits Highlights From Over 2000 Years Of Developments In Calculus Limits, Lauri A. Nevalainen

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.

Mathematisation Of The Science Of Motion And The Birth Of Analytical Mechanics : A Historiographical Note, Marco Panza

MPP Published Research

Usually, one speaks of mathematization of a natural or social science to mean that mathematics comes to be a tool of such a science: the language of mathematics is used to formulate its results, and/or some mathematical techniques is employed to obtain these results.

A-Logic, Richard Bradshaw Angell

Philosophy Faculty Research Publications

A-LOGIC is a full-length book (600+ pg). It functions as a system of logic designed to: 1) solve the standard paradoxes and major problems of standard mathematical logic; 2) minimize that logic's anomalies with respect to ordinary language, yet; 3) prove that all theorems in mathematical logic are tautologies.

It covers lst order logic the logic of the words "and", "or", "not", "all" and "some". But it also has a non truth functional "if...then" and differs in its definition of validity, its semantics and its theorems. In the book A-logic is contrasted step by step with standard mathematical logic as …

Vagueness, Ignorance, And Margins For Error, Kenton Machina, Harry Deutsch

Faculty Publications - Philosophy

We argue that the epistemic theory of vagueness cannot adequately justify its key tenet–that vague predicates have precisely bounded extensions, of which we are necessarily ignorant. Nor can the theory adequately account for our ignorance of the truth values of borderline cases. Furthermore, we argue that Williamson's promising attempt to explicate our understanding of vague language on the model of a certain sort of "inexact knowledge" is at best incomplete, since certain forms of vagueness do not fit Williamson's model, and in fact fit an alternative model. Finally, we point out that a certain kind of irremediable inexactitude postulated by …

What's The Reason?, Kenton Machina, Mark Siderits

Faculty Publications - Philosophy

"What's the Reason?" is an informal applied logic textbook in 5 chapters. It includes discussions of the nature of good everyday and academic reasoning, common mistakes in everyday reasoning, and overall informal argument assessment.

The 'Most Important And Fundamental' Distinction In Logic, G. C. Goddu

Philosophy Faculty Publications

In this paper I argue that the debate over the purported distinction between deductive and inductive arguments can be bypassed because making the distinction is unnecessary for successfully evaluating arguments. I provide a foundation for doing logic that makes no appeal to the distinction and still performs all the relevant tasks required of an analysis of arguments. I also reply to objections to the view that we can dispense with the distinction. Finally, I conclude that the distinction between inductive and deductive arguments is not one of the most important and fundamental ideas in logic, but rather is unnecessary.

Critical Thinking By Alec Fisher (Book Review), G. C. Goddu

Philosophy Faculty Publications

The aim of Critical Thinking is to explicitly and directly teach critical thinking skills and to facilitate the use of these skills to subjects and contexts beyond critical thinking (v, 1). Though the book is primarily intended as an introductory textbook for the teaching of critical thinking, Fisher maintains that the "material is presented in such a way that it can be worked through on a self-study basis"(vi).