Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
…
26 pages
1 file
AI-generated Abstract
This editorial discusses the intersection of mathematical logic and cognitive science, emphasizing the value of interdisciplinary collaboration. It highlights historical insights from medieval Arab linguists, specifically Ibn Sina, advocating for a broader appreciation of diverse logical perspectives. The editorial concludes by reflecting on a recent workshop focusing on computer simulations and their role in scientific experimentation, calling attention to the ongoing dialogue between simulation and empirical methods in the philosophy of science.
Journal of Symbolic Logic, 1983
Publications of the Austrian Ludwig Wittgenstein Society, New Series, 2019
The volume deals with the history of logic, the question of the nature of logic, the relation of logic and mathematics, modal or alternative logics (many-valued, relevant, paraconsistent logics) and their relations, including translatability, to classical logic in the Fregean and Russellian sense, and, more generally, the aim or aims of philosophy of logic and mathematics. Also explored are several problems concerning the concept of definition, non-designating terms, the interdependence of quantifiers, and the idea of an assertion sign. The contributions concerned with Wittgenstein's investigations into the philosophy of logic and mathematics pursue issues relating to logical necessity, the undeniability of the law of the excluded middle, and the source of self-evidence, often characterized in the literature as the "rule-following considerations". Additionally, they examine Wittgenstein's attitudes towards the very idea of set-theory as a possible foundation for arithmetic. The volume also includes a number of contributions on specific issues concerning Wittgenstein's views on moral and religious judgements. (Excerpted from our Preface.) Table of Contents: http://doi.org/10.1515/9783110657883
Philosophy in review, 2014
Synthese
Historia Mathematica, 1994
This collection of articles treats topics extending from the algebra of logic tradition in the late 19th century to certain post-1970 developments in logic. There is no unifying theme to the collection. Some of the articles are themselves the raw material of history, being accounts by participant-observers. This is particularly true of the last three: Jonathan Seldin's "In Memoriam: Haskell Brooks Curry" and Dirk Siefkes's "The Work of J. Richard Bfichi" are reviews of work and reminiscences by a student/colleague and a colleague, respectively, of those logicians, while Kleene's "The Writing of Introduction to Metamathematics" is accurately described by its title. The latter adds to a number of reminiscence articles by Kleene. (One which is not mentioned in this article is [6].) While these three articles are straightforward narratives of events with which the authors were for the most part personally acquainted, two other articles by participant-observers have more ambitious interpretative goals. Carl Smorynski's 209 0315-0860/94 $6.00
Philosophia Scientiae, vol 16, n° 1, 2012
Metascience, 2012
2007
Alfred Tarski (1901–1983) is one of the two greatest logicians of the twentieth century, the other being Kurt Gödel (1906–1978). Each began his career in Europe, respectively in Warsaw and Vienna, and came to America shortly before the Second World War. In contrast to the otherworldly Gödel, Tarski was ambitious and practical. He strove for, and succeeded at, building a school of logic at the University of California, Berkeley, that attracted students and distinguished researchers from all over the world. Tarski was the leader of the " semantic turn " in mathematical logic. This means that he achieved a shift from a view focused on formal systems, axioms, and rules of deduction to a view focusing on the relations between formal systems and their possible interpretations by usual mathematical theories such as real numbers or Cartesian geometry. Hence he gave precise definitions of semantic concepts that had been used informally before. The most important of those concepts a...
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Modern Logic, 1996
- Trabalho da Disciplina História da Lógica -, 2024
Isagoge: A Classical Primer on Logic, 2022
Academia Letters, 2021
Philosophical Inquiry International Journal, 2010
Lettera Matematica, 2018
Historia Mathematica, 2002
Synthese, 1991
Journal of the graduate school of letters, 2010
Mathematical Intelligencer, 2005