In this article, we canvass a few of the interesting topics that philosophers can pursue as part of the simultaneous study of logic and metaphysics. To keep the discussion to a manageable length, we limit our survey to deductive, as opposed to inductive, logic. Though most of this article will focus on the ways in which logic can be deployed in the study of metaphysics, we begin with a few rema...

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline – necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very s...

In this paper, I will address just some of ProfessorWilliamson’s treatment of necessitism in hisModal Logic as Metaphysics [28]. I will give an account of what space might remain for a principled and logically disciplined contingentism. I agree withWilliamson that those interested in the metaphysics of modality would do well to take quantified modal logic—and its semantics—seriously in order to...

This book is a collection of new essays around the broad central theme of the nature of logic, or the question: ‘what is logic?’ It is a book about logic and philosophy equally. What makes it unusual as a book about logic is that its central focus is on metaphysical rather than epistemological or methodological concerns. By comparison, the question of the metaphysical status of mathematics and ...

abstract ontology s as a freestanding and distinct discipline came to be by aristotle’s metaphysics. in greco-arabic translation movement, metaphysics was one of the most important works to be translated. different translations were made from many parts of it, but many of them are not extant. however, we now do have a translation of the most of the parts of metaphysics. this translation survive...

What is “Formal Epistemology”? Not sure, really. I first heard the term from Sahotra Sarkar in 2003 . It seems that it is quite a broad field, which includes: Ampliative inference (including inductive logic); Game theory and decision theory; Formal learning theory; Formal theories of coherence: Foundations of probability and statistics; Formal approaches to paradoxes of belief and/or act...