Logic and Foundations of Mathematics Commons^™

Second-Order Know-How Strategies, Pavel Naumov, Jia Tao

Faculty Research and Reports

The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes the notion of a second-order know-how strategy for the case when one coalition knows what the strategy of another coalition is. The main technical result is a sound and complete logical system describing the interplay between the distributed knowledge modality and the second-order coalition know-how modality.

Radical Social Ecology As Deep Pragmatism: A Call To The Abolition Of Systemic Dissonance And The Minimization Of Entropic Chaos, Arielle Brender

Student Theses 2015-Present

This paper aims to shed light on the dissonance caused by the superimposition of Dominant Human Systems on Natural Systems. I highlight the synthetic nature of Dominant Human Systems as egoic and linguistic phenomenon manufactured by a mere portion of the human population, which renders them inherently oppressive unto peoples and landscapes whose wisdom were barred from the design process. In pursuing a radical pragmatic approach to mending the simultaneous oppression and destruction of the human being and the earth, I highlight the necessity of minimizing entropic chaos caused by excess energy expenditure, an essential feature of systems that aim ...

Non-Naturalism And Naturalism In Mathematics, Morality, And Epistemology, Nicholas Distefano

Honors Projects

No abstract provided.

Information Flow Under Budget Constraints, Pavel Naumov, Jia Tao

Faculty Research and Reports

Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong's axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. This article generalizes Armstrong's axioms to a setting in which there is a cost associated with information. The proposed logical system captures general principles of dependencies between pieces of information constrained by a given budget.

Strategic Coalitions With Perfect Recall, Pavel Naumov, Jia Tao

Faculty Research and Reports

The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by a single axiom. The main technical results are the soundness and the completeness theorems for the proposed logical system.

Quantification And Paradox, Edward Ferrier

Doctoral Dissertations

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible.

It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but on the ``logical'' conception of set which motivates naive set theory. The accepted solution is to replace this with the ...

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

Rampant Non-Factualism: A Metaphysical Framework And Its Treatment Of Vagueness, Alexander Jackson

Alexander Jackson

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 ...

Vol 8 No 2 Editor's Words

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.

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

All 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 ...

Editor's Words

Comparative Philosophy

No abstract provided.

Vol 8 No 1 Contents Page

Comparative Philosophy

No abstract provided.