Logic and Foundations of Mathematics Commons^™

Forall X: Introduction To Formal Logic, Version 1.40, P.D. Magnus

Philosophy Faculty Books

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix

Socratic Metaethics Imagined, Steve Ross, Lisa Warenski

Sophia and Philosophia

A time machine mysteriously appeared one day in ancient Athens. Curious about the future of philosophical dialogue, Socrates entered the device and traveled to the 21st Century. He spent several months in the United Kingdom and United States discussing metaethics before returning to Athens, now a devoted and formidable quasi-realist moral expressivist.

Platonism Of The Future, Patrick L. Miller

Sophia and Philosophia

Buying textbooks, writing syllabi, and putting on armor. This is how many students and teachers prepared to return to campus this past fall. The last few years have witnessed an intensifying war for the soul of the university, with many minor skirmishes, and several pitched battles. The most dramatic was last spring at Evergreen State, shortly before the end of the spring semester.[1] Perhaps the most dramatic since then has been at Reed College.[2] There is no shortage of examples, filling periodicals left and right. Wherever it next explodes, this war promises more ferocity, causing more casualties—careers, programs, ideals.

We Scholars, Mark Anderson

Sophia and Philosophia

As a graduate student in my late twenties, I began one winter to experience attacks of migraine fever while conducting research preliminary to the writing of my doctoral thesis. Long hours sitting alone in the basement rooms of university libraries, hunched over a creaking desk, chasing down references to obscure manuscripts, translating ancient languages from small-print editions of old books, copying extended extracts into my notes, formulating and recording my own insights and arguments—all this intellectual labor executed while hidden away from the sun drained me of the vigor I’d acquired as a child on walking tours with my father. …

Formalizing The Panarchy Adaptive Cycle With The Cusp Catastrophe, Martin Zwick, Joshua Hughes

Systems Science Faculty Publications and Presentations

The panarchy adaptive cycle, a general model for change in natural and human systems, can be formalized by the cusp catastrophe of René Thom's topological theory. Both the adaptive cycle and the cusp catastrophe have been used to model ecological, economic, and social systems in which slow and small continuous changes in two control variables produce fast and large discontinuous changes in system behavior. The panarchy adaptive cycle, the more recent of the two models, has been used so far only for qualitative descriptions of typical dynamics of such systems. The cusp catastrophe, while also often employed qualitatively, is a …

The Feferman-Vaught Theorem, Mostafa Mirabi

Mostafa Mirabi

In Memoriam: Richard Lane Tieszen (1951-2017)

Comparative Philosophy

No abstract provided.

Moving, Moved And Will Be Moving: Zeno And Nāgārjuna On Motion From Mahāmudrā, Koan And Mathematical Physics Perspectives, Robert Alan Paul

Comparative Philosophy

Zeno’s Arrow and Nāgārjuna’s Fundamental Wisdom of the Middle Way (Mūlamādhyamakakārikā, MMK) Chapter 2 (MMK/2) contain paradoxical, dialectic arguments thought to indicate that there is no valid explanation of motion, hence there is no physical or generic motion. There are, however, diverse interpretations of the latter text, and I argue they apply to Zeno’s Arrow as well. I also find that many of the interpretations are dependent on a mathematical analysis of material motion through space and time. However, with modern philosophy and physics we find that the link from no explanation to no phenomena is invalid and …

Vol 8 No 2 Editor's Words, Bo Mou

Comparative Philosophy

No abstract provided.

Vol 8 No 2 Contents Page

Comparative Philosophy

No abstract provided.

Vol 8 No 2 Information Page

Comparative Philosophy

No abstract provided.

Vol 8 No 2 Cover Page

Comparative Philosophy

No abstract provided.

Revolution In Ideology: Crafting A Holistic Scientific Dialectic, Nathan Neill

Dialogue & Nexus

Ideology drives scientific research far more than is acknowledged. Since science itself is conducted by individuals, each scientist has a biased conception of themselves and their surroundings relative to the rest of the universe, even if it is never explicated. This sense of relation to the greater universe is what defines the ideology of the individual. It is this sense of relation and self that creates the individual, who goes on to investigate the natural world by the scientific method. In this paper I will examine extant scientific ideology, particularly in Western science, and propose changes that could be helpful.

Explanatory Statements – The Theory Of Why, Aharon Grenadir

School for Lifelong Education Publications

The author explains what explanatory statements are, focusing on examples in Jewish texts.

On Benacerraf’S Dilemma, Again, Marco Panza

MPP Published Research

In spite of its enormous influence, Benacerraf’s dilemma admits no standard unanimously accepted formulation. This mainly depends on Benacerraf’s having originally presented it in a quite colloquial way, by avoiding any compact, somehow codified, but purportedly comprehensive formulation (Benacerraf 1973 cf. p. 29).

The Proscriptive Principle And Logics Of Analytic Implication, Thomas M. Ferguson

Dissertations, Theses, and Capstone Projects

The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the Prior Analytics motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the analysis of concepts, a term that presupposes—through the root ἀνά + λύω —a mereological background.

In the 1930s, such considerations led William T. Parry to attempt to codify this notion of logical containment in his system of analytic implication AI. Parry’s original system AI was later expanded to the system PAI. The hallmark of Parry’s systems—and of …

Editor's Words, Bo Mou

Comparative Philosophy

No abstract provided.

Vol 8 No 1 Contents Page

Comparative Philosophy

No abstract provided.

Vol 8 No 1 Information Page

Comparative Philosophy

No abstract provided.

Vol 8 No 1 Cover Page

Comparative Philosophy

No abstract provided.

Logical Pluralism From A Pragmatic Perspective, Teresa Kouri Kissel

Philosophy Faculty Publications

This paper presents a new view of logical pluralism. This pluralism takes into account how the logical connectives shift, depending on the context in which they occur. Using the Question-Under-Discussion Framework as formulated by Craige Roberts, I identify the contextual factor that is responsible for this shift. I then provide an account of the meanings of the logical connectives which can accommodate this factor. Finally, I suggest that this new pluralism has a certain Carnapian flavour. Questions about the meanings of the connectives or the best logic outside of a specified context are not legitimate questions.

Platonismes, Marco Panza

MPP Published Research

Selon la vulgata philosophique, le platonisme concernant un certain domaine de recherche est la thèse affirmant que ce domaine concerne des objets qui lui sont propres, dont l’existence est indépendante de l’activité cognitive humaine. Souvent, dans la même vulgata on parle aussi de platonisme pour se référer à une thèse un peu différente, d’après laquelle ce qu’on dit concernant ce domaine est vrai ou faux indépendamment de toute justification ou réfutation que l’on puisse apporter. Naturellement, si parmi les énoncées ayant trait à ce demain, il y en a qu’on peut prendre comme particulièrement surs du fait d’en avoir une …