A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...) evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (shrink)

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

The evaluation of arguments was not the sole concern of logicians in ancient India. Early Nyāya and the later Navya-Nyāya provide an interesting example of the interaction between logic and ontology. In their attempt to develop a kind of property-location logic Naiyāyikas had to consider what kind of restrictions they should impose on the residence relation between a property and its locus. Can we admit circular residence relations or infinitely descending chains of properties, each depending on its successor as its (...) locus? Early Naiyāyikas and to some extent also Navya-Naiyāyikas regard these phenomena as a kind of absurdity and they want to rule them out. Their intuitions about properties are close to well-founded systems of set theory, whereas the author of the Navya-Nyāya work Upādhidarpaṇa is a proponent of a non-well-founded property concept. Despite certain similarities with sets properties are still regarded as intensional objects in Navya-Nyāya. In the pre.. (shrink)

There are a number of fragments attributed to Theophrastus, as well as titles in Diogenes Laertius' catalogue of his writings , of which it is uncertain whether they should be placed among his logical or rhetorical works. In this note I want to give my reasons for excluding one of them from my forthcoming edition of his logical fragments. It is not my intention here to discuss all the questions it raises; I hope to come back to them in a (...) later volume of my commentary. (shrink)

My goal is to emphasize the way we generally use the word ‘logic’ and the sort of problems related to the definition of logic and the sort of problems related to the definition of logic. I also wish to underline the differences between human intelligence and artificial intelligence.

An eleventh-century Greek text, in which a fourth-century patristic text is discussed, gives an outline of a solution to the Liar Paradox. The eleventh-century text is probably the first medieval treatment of the Liar. Long passages from both texts are translated in this article. The solution to the Liar Paradox, which they entail, is analysed and compared with the results of modern scholarship on several Latin solutions to this paradox. It is found to be a solution, which bears some analogies (...) to contemporary game semantics. Further, an overview of other Byzantine scholia on the Liar Paradox is provided. The findings and the originality of the discussed solution to the Liar Paradox suggest a change in the way in which Byzantine Logic is traditionally regarded in contemporary scholarship. (shrink)

This paper discusses George Boole’s two distinct approaches to the explanatory relationship between logical and psychological theory. It is argued that, whereas in his first book he attributes a substantive role to psychology in the foundation of logical theory, in his second work he abandons that position in favour of a linguistically conceived foundation. The early Boole espoused a type of psychologism and later came to adopt a type of anti-psychologism. To appreciate this invites a far-reaching reassessment of his philosophy (...) of logic. (shrink)

In 1898 C. S. Peirce declares that the medieval doctrine of consequences had been the starting point of his logical investigations in the 1860s. This paper shows that Peirce studied the scholastic theory of consequentiae as early as 1866–67, that he adopted the scholastics’ terminology, and that that theory constituted a source of logical doctrine that sustained Peirce for a lifetime of creative and original work.

This paper examines the quest for the quantification of the predicate, as discussed by W.S. Jevons, and relates it to the discussion about universals and particulars between Plato and Aristotle. We conclude that the quest for the quantification of the predicate can only be achieved by stripping the syllogism from its metaphysical heritage.

According to Bocheński’s description of the history of formal logic, there clearly is some objective development, though far from being cumulative or linear. The history of logic throughout the world consists of three relatively short pinnacles preceded by also short periods of awakening and followed by periods of extensive commentary running into long periods of standstill and decadence, when nearly all achievements are consigned to oblivion.

The nominalist attitude in medieval logic supported a fully extensional conception of the sense of expressions. Many arguments against this approach were raised at that time. I would like to show in this article that there is a extensional conception of notions in current logic, namely in the interpretation of formal theories and the creation models of them and that, and how, traditional arguments against the extensional conception are relevant also for logic today.

According to the received view (Bocheński, Kneale), from the end of the fourteenth to the second half of nineteenth century, logic enters a period of decadence. If one looks at this period, the richness of the topics and the complexity of the discussions that characterized medieval logic seem to belong to a completely different world: a simplified theory of the syllogism is the only surviving relic of a glorious past. Even though this negative appraisal is grounded on good reasons, it (...) overlooks, however, a remarkable innovation that imposes itself at the beginning of the sixteenth century: the attempt to connect the two previously separated disciplines of logic and mathematics. This happens along two opposite directions: the one aiming to base mathematical proofs on traditional (Aristotelian) logic; the other attempting to reduce logic to a mathematical (algebraical) calculus. This second trend was reinforced by the claim, mainly propagated by Hobbes, that the activity of thinking was the same as that of performing an arithmetical calculus. Thus, in the period of what Bocheński characterizes as ‘classical logic’, one may find the seeds of a process which was completed by Boole and Frege and opened the door to the contemporary, mathematical form of logic. (shrink)

Jarmo Pulkkinen, The threat of logical mathematism. A study on the critique of mathematical logic in Germany at the turn of the 20th century. Frankfurt a.M:Peter Lang, 1994. Scandinavian University Studies in the Humanities and Social Sciences; 7). 186 pp. 24 DM. ISBN 3-631-47409-1.

The paper is devoted to the presentation and analysis of the philosophical views concerning logic and mathematics of the leading members of Cracow Circle, i.e., of Jan Salamucha, Jan Franciszek Drewnowski and Józef Maria Bocheński. Their views on the problem of possible applicability of logical tools in metaphysical and theological researches is also discussed.