This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

Here I interpret a central passage in Plato's Sophist by focusing on understudied elements that provide insight into the fit of the dialogue's parts and the Sophist-Statesman diptych as a whole. I argue that the Eleatic Stranger's account of what the dialectician "adequately views" at Sophist 253d1-e3 involves both division and the communion of ontological kinds, not just one or the other as has been typically argued. I also consider other key passages and the turn throughout the dialogue from imagistic (...) opining toward noetic understanding. (shrink)

In Plato’s Statesman, the Eleatic Stranger leads Socrates the Younger and their audience through an analysis of the statesman in the service of the interlocutors’ becoming “more capable in dialectic regarding all things”. In this way, the dialectical exercise in the text is both intrinsically and instrumentally valuable, as it yields a philosophically rigorous account of statesmanship and exhibits a method of dialectical inquiry. After the series of bifurcatory divisions in the Sophist and early Statesman, the Stranger changes to a (...) non-bifurcatory method of dividing to account for the statesman, but does not explain the reason for this change. I argue that the change is prepared by the elements discussed in the digression from 277a2 to 287b2. Here the Stranger makes use of four concepts that are crucial for understanding this change: the notion of paradigm, the paradigms of care and the weaver, and the notion of due measure. I claim that the notion of paradigm clarifies the nature of dialectical inquiry, care and weaving act as paradigms appropriate to dialectical practice, and an account of due measure offers insight into the constitutive ratios that govern the structuring of kinds pursued through dialectical inquiry. I suggest that the non-bifurcatory method is intended to articulate knowledge in the strictest sense, or knowledge of the forms, presenting a method of inquiry into being and its structure that will foster the turning of the soul from things to forms that Socrates describes in the Republic. (shrink)

At Sophist 253d-e the Eleatic Visitor offers a notoriously obscure description of the fields of one-and-many that the dialectician “adequately discerns.” Against the readings of Stenzel, Cornford, Sayre, and Gomez-Lobo, I propose an interpretation of that passage that takes into account the trilogy of Theaetetus-Sophist-Statesman as its context. The key steps are to respond to the irony of Socrates’ refutations at the end of the Theaetetus by reinterpreting the last two senses of logos as directed to forms and to recognize (...) their correlation with the two different modes of diairesis practiced by the Eleatic Visitor. These steps position us to recognize in the Visitor’s remarks at Sophist 253d-e a schematic description of the two kinds of eidetic field that the two modes of diairesis trace. (shrink)

I argue that, in the Prior Analytics, higher and above the well-known ‘reduction through impossibility’ of figures, Aristotle is resorting to a general procedure of demonstrating through impossibility in various contexts. This is shown from the analysis of the role of adunaton in conversions of premises and other demonstrations where modal or truth-value consistency is indirectly shown to be valid through impossibility. Following the meaning of impossible as ‘non-existent’, the system is also completed by rejecting any invalid combinations of terms (...) in deductions or conversions. The notion of impossibility reaches the core of Aristotle's system in the Prior Analytics. On the one hand, the use of adunaton shows that he is following one of the two requisites for demonstrative science formulated in the Posterior Analytics, i.e. to demonstrate that it is impossible for things to be otherwise than stated. On the other hand, that demonstrations through impossibility are rooted in the notion of contradiction supp.. (shrink)

Any comprehensive interpretation of the "Theaetetus" has to provide answers to, among others, two very general questions concerning that dialogue: "What is Plato's relation to the problems faced in the "Theaetetus"?" and "What is the significance of the absence of the Forms from the discussion of the "Theaetetus", given their undoubted relevance to the topic of the dialogue, i.e. knowledge?" Predominantly, the answer given to the first question in the literature has been that the problems are those that Plato is (...) trying to tackle and the one to the second question, when it has been addressed at all, that the Forms are left out of the discussion because Plato no longer thought them relevant, either for having abandoned or seriously revised them, by the time of writing the "Theaetetus". In this study of the Wax Block and the Aviary models of judgment that occur in the second part of the "Theaetetus" as part of its discussion of the problem of false judgment, I argue that the problems faced there actually arise because of the neglect of Forms. The discussion of the second part is, I contend, carried out on a materialist ontology, an ontology assumed because it suits the definition of knowledge as true judgment which inaugurates that part of the dialogue, an ontology in no way subscribed to by Plato. The Wax Block is, I explain, a materialist model and fails in the case of judgments about numbers for treating them on a par with material subjects, ignoring their intelligible status. In particular, it fails to distinguish judging 5 and 7 to be 11 from judging 12 to be 11 because of its neglect of Forms; Plato would distinguish those judgments by distinguishing 5 and 7 from 12 with help from his part-whole analysis, to which the Forms are essential. (shrink)

Dramatic changes or revolutions in a field of science are often made by outsiders or 'trespassers,' who are not limited by the established, 'expert' approaches. Each essay in this diverse collection shows the fruits of intellectual trespassing and poaching among fields such as economics, Kantian ethics, Platonic philosophy, category theory, double-entry accounting, arbitrage, algebraic logic, series-parallel duality, and financial arithmetic.

Analysis has always been at the heart of philosophical method, but it has been understood and practised in many different ways. Perhaps, in its broadest sense, it might be defined as a process of isolating or working back to what is more fundamental by means of which something, initially taken as given, can be explained or reconstructed. The explanation or reconstruction is often then exhibited in a corresponding process of synthesis. This allows great variation in specific method, however. The aim (...) may be to get back to basics, but there may be all sorts of ways of doing this, each of which might be called ‘analysis’. The dominance of ‘analytic’ philosophy in the Englishspeaking world, and increasingly now in the rest of the world, might suggest that a consensus has formed concerning the role and importance of analysis. This assumes, though, that there is agreement on what ‘analysis’ means, and this is far from clear. On the other hand, Wittgenstein's later critique of analysis in the early (logical atomist) period of analytic philosophy, and Quine's attack on the analytic-synthetic distinction, for example, have led some to claim that we are now in a ‘post-analytic’ age. Such criticisms, however, are only directed at particular conceptions of analysis. If we look at the history of philosophy, and even if we just look at the history of analytic philosophy, we find a rich and extensive repertoire of conceptions of analysis which philosophers have continually drawn upon and reconfigured in different ways. Analytic philosophy is alive and well precisely because of the range of conceptions of analysis that it involves. It may have fragmented into various interlocking subtraditions, but those subtraditions are held together by both their shared history and their methodological interconnections. It is the aim of this article to indicate something of.. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...) along with a new concept to abstractly model the functions of a brain. (shrink)

The argument in Plato's Philebus presents three successive formulations of the hedonist principle. Commentators often take Socrates' argument in the dialogue to be dealing solely with the third formulation, which states that pleasure, rather than intelligence, is closer in nature to the good. I argue that, nonetheless, in the dialogue Socrates remained concerned to provide a direct refutation of the first formulation, that is, of the straightforward claim that pleasure is the good for all living beings. ;Chapter One ascribes to (...) the Philebus a conception of intrinsic good, which is then shown to underlie the dialogue's notion of true pleasures. Chapter Two examines in detail the problem of the "one and many" concerning pleasure, and argues that this is the problem of forms in relation to other forms, rather than that of forms in relation to particulars. This interpretation is the one that is consistent both with Protarchus' understanding of hedonism in the dialogue, and with the dialogue's methodological passages, i.e., the passages on the "god-given method" and on the four ontological kinds. In Chapter Three, it is shown how division into forms is required by Socrates' conception of the nature of pleasure. Some of the forms of pleasure are ways in which falsity is admitted into the nature of pleasure. Three accounts of false anticipatory pleasures---those of Kenny and Gosling, Mooradian, and Penner---are examined in some detail. (shrink)