This volume provides the first full, political and philosophically rigorous account of Plato's dialogue Alcibiades Major. The book argues that Alcibiades Major accomplishes its goal, which is to redirect Alcibiades' political ambitions, not by arguing for specific propositions based on specific premises. The dialogue accomplishes its goal by generalizing the notion of argument to include appeals to Alcibiades' doxastic attitudes toward his ability and knowledge to become a powerful ruler of the Greek people.
One such doxastic attitude that Alcibiades holds about...
This volume provides the first full, political and philosophically rigorous account of Plato's dialogue Alcibiades Major. The book argues th...
This book examines three connected aspects of Frege s logicism: the differences between Frege s and Dedekind s interpretation of the term logic and related terms andreflects on Frege s notion of function, comparing its interpretation and the role it played in Frege s and Lagrange s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege s, Ramsey s and Russell s view on the subject. Composed of three chapters, this book sheds light on important aspects of Frege s logicism. The first chapter explains how, although he shares Frege s...
This book examines three connected aspects of Frege s logicism: the differences between Frege s and Dedekind s interpretation of the term logic and re...
This book is a contribution both to Aristotle studies and to the philosophy of nature, and not only offers a thorough text based account of time as modally potentiality in Aristotle's account, but also clarifies the process of "actualizing time" as taking time and looks at the implications of conceiving a world without actual time. It speaks to the resurgence of interest in Aristotle's natural philosophy and will become an important resource for anyone interested in Aristotle's theory of time, of its relationship to Aristotle's larger project in the Physics, and to time's place in the broader...
This book is a contribution both to Aristotle studies and to the philosophy of nature, and not only offers a thorough text based account of time as mo...
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work's subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The first chapters in the brief offer overviews on the two frameworks discussed in the book with an emphasis...
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work's subtitle express...
This book lies at the intersection of philosophy of mind and philosophy of religion and operates on the assumption that dialogue between the two disciplines can be fruitful. In particular it focuses on how debates in the philosophy of mind regarding the nature of mental causation relate to debates in the philosophy of religion regarding divine action, creaturely causation, and existence of God. The book is divided into two parts. The first deals with Jaegwon Kim's so-called Supervenience Argument (SA) against non-reductive physicalism. One important observation is that the structural...
This book lies at the intersection of philosophy of mind and philosophy of religion and operates on the assumption that dialogue between the two disci...
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat(A) and SysPolSat(A), in which equations are built out of terms or polynomials, respectively. The book characterizes those algebras for which SysPolSat can be solved in a polynomial time. So far, studies and their outcomes have not covered algebras that generate a variety admitting type 1 in the sense of Tame Congruence Theory. Since unary algebras admit only type 1, this book focuses on these...
This volume considers the computational complexity of determining whether a system of equations over a fixed algebra A has a solution. It examines ...
This book provides an overview of key features of (philosophical) materialism, in historical perspective. It is, thus, a study in the history and philosophy of materialism, with a particular focus on the early modern and Enlightenment periods, leading into the 19th and 20th centuries. For it was in the 18th century that the word was first used by a philosopher (La Mettrie) to refer to himself. Prior to that, 'materialism' was a pejorative term, used for wicked thinkers, as a near-synonym to 'atheist', 'Spinozist' or the delightful 'Hobbist'. The book provides the different forms of...
This book provides an overview of key features of (philosophical) materialism, in historical perspective. It is, thus, a study in the history and phil...
This book examines how epistemology was reinvented by Ibn Sīnā, an influential philosopher-scientist of the classical Islamic world who was known to the West by the Latinised name Avicenna. It explains his theory of knowledge in which intentionality acts as an interaction between the mind and the world. This, in turn, led Ibn Sīnā to distinguish an operation of intentionality specific to the generation of numbers.
The author argues that Ibn Sīnā's transformation of philosophy is one of the major stages in the de-hellinisation movement of the Greek...
This book examines how epistemology was reinvented by Ibn Sīnā, an influential philosopher-scientist of the classical Islamic world who w...
This book unifies a large part of the vast body of Husserlian phenomenology using a relatively simple set of dynamical laws. The underlying idea of the book is that a certain core theory of "world-constitution" in Husserl can be formalized and presented in less than 100 pages, with the aid of detailed graphics and quantitative textual analysis. The book is the first to formalize so much of Husserl's work in such a short space. It is both a contribution to Husserl scholarship, and a unique and accessible introduction to Husserlian phenomenology. By making key Husserlian ideas clear and by...
This book unifies a large part of the vast body of Husserlian phenomenology using a relatively simple set of dynamical laws. The underlying idea of th...
Metaphysical theories are beautiful. At the end of this book, Jiri Benovsky defends the view that metaphysical theories possess aesthetic properties and that these play a crucial role when it comes to theory evaluation and theory choice.Before we get there, the philosophical path the author proposes to follow starts with three discussions of metaphysical equivalence. Benovsky argues that there are cases of metaphysical equivalence, cases of partial metaphysical equivalence, as well as interesting cases of theories that are not equivalent. Thus, claims of metaphysical equivalence can only be...
Metaphysical theories are beautiful. At the end of this book, Jiri Benovsky defends the view that metaphysical theories possess aesthetic properties a...