Two periods in the history of logic and philosophy are characterized notably by vivid interest in self-referential paradoxical sentences in general, and Liar sentences in particular: the later medieval period (roughly from the 12th to the 15th century) and the last 100 years. In this paper, I undertake a comparative taxonomy of these two traditions. I outline and discuss eight main approaches to Liar sentences in the medieval tradition, and compare them to the most influential modern approaches to such sentences. (...) I also emphasize the aspects of each tradition that find no counterpart in the other one. It is expected that such a comparison may point in new directions for future research on the paradoxes; indeed, the present analysis allows me to draw a few conclusions about the general nature of Liar sentences, and to identify aspects that would require further investigation. (shrink)

Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

In this paper, Ockham's theory of an ideal language of thought is used to illuminate problems of interpretation of his theory of truth. The twentieth century idea of logical form is used for finding out what kinds of atomic sentences there are in OckhamÕs mental language. It turns out that not only the theory of modes of supposition, but also the theory of supposition in general is insufficient as a full theory of truth. Rather, the theory of supposition is a (...) theory of reference, which can help in the determination of truth values within the scope of simple predications. Outside this area, there are interesting types of sentences, whose truth does not depend on whether the terms supposit for the same things or not for the same things. (shrink)

A textual and philosophical study of the claim that according to ockham there is no synonymy or equivocation in mental language. It is argued that ockham is committed to both claims, Either explicitly or in virtue of other features of his doctrine. Nevertheless, Both claims lead to difficulties for ockham's theory.

introduced the concept of effective demand in the nascent science of economics; his discussions of astronomy were acute enough to raise Duhem’s interest. Neither are Buridan’s credentials as a nominalist in doubt, although investigation into his precise relation to William of Ockham continues: he rejected all abstract entities, whether universals, common natures, the complexe significabile, or types above and beyond tokens; for Buridan, every thing which exists is a concrete individual. His anti-realism included an epistemological component as well, for Buridan (...) maintained that the source of all knowledge is experience. (shrink)

William Ockham held that, in addition to written and spoken language, there exists a mental language, a structured representational system common to all thinking beings. Here I present and evaluate an argument found in several places across Ockham's corpus, wherein he argues that positing a mental language is necessary for the nominalist to meet certain ontological constraints imposed by Aristotle’s account of scientific demonstration.

The topic of this dissertation is the nature of linguistic competence, the capacity to understand and produce sentences of natural language. I defend the empiricist account of linguistic competence embedded in the connectionist cognitive science. This strand of cognitive science has been opposed to the traditional symbolic cognitive science, coupled with transformational-generative grammar, which was committed to nativism due to the view that human cognition, including language capacity, should be construed in terms of symbolic representations and hardwired rules. Similarly, linguistic (...) competence in this framework was regarded as being innate, rule-governed, domain-specific, and fundamentally different from performance, i.e., idiosyncrasies and factors governing linguistic behavior. I analyze state-of-the-art connectionist, deep learning models of natural language processing, most notably large language models, to see what they can tell us about linguistic competence. Deep learning is a statistical technique for the classification of patterns through which artificial intelligence researchers train artificial neural networks containing multiple layers that crunch a gargantuan amount of textual and/or visual data. I argue that these models suggest that linguistic competence should be construed as stochastic, pattern-based, and stemming from domain-general mechanisms. Moreover, I distinguish syntactic from semantic competence, and I show for each the ramifications of the endorsement of a connectionist research program as opposed to the traditional symbolic cognitive science and transformational-generative grammar. I provide a unifying front, consisting of usage-based theories, a construction grammar approach, and an embodied approach to cognition to show that the more multimodal and diverse models are in terms of architectural features and training data, the stronger the case is for the connectionist linguistic competence. I also propose to discard the competence vs. performance distinction as theoretically inferior so that a novel and integrative account of linguistic competence originating in connectionism and empiricism that I propose and defend in the dissertation could be put forward in scientific and philosophical literature. (shrink)

“The problem of universals” in general is a historically variable bundle of several closely related, yet in different conceptual frameworks rather differently articulated metaphysical, logical, and epistemological questions, ultimately all connected to the issue of how universal cognition of singular things is possible. How do we know, for example, that the Pythagorean theorem holds universally, for all possible right triangles? Indeed, how can we have any awareness of a potential infinity of all possible right triangles, given that we could only (...) see a finite number of actual ones? How can we universally indicate all possible right triangles with the phrase ‘right triangle’? Is there something common to them all signified by this phrase? If so, what is it, and how is it related to the particular right triangles? The medieval problem of universals is a logical, and historical, continuation of the ancient problem generated by Plato's (428-348 B.C.) theory answering such a bundle of questions, namely, his theory of Ideas or Forms. (shrink)

In the summer of 1980, I was privileged to be on the teaching staff of the Summer Institute on Medieval Philosophy held at Cornell University under the direction of Norman Kretzmann and the auspices of the Council for Philosophical Studies and the National Endowment for the Humanities. While I was giving a series of lectures on supposition theory, I went to my office one morning, and there under the door some anonymous wag from the Institute had slid the pen and (...) ink drawing you see in the graphic. It represents "Supposition" as a dragon, making a rude face at the viewer. The tail of the dragon is divided — not entirely accurately, as it turns out — into the various branches and subbranches of supposition. If the details are not altogether correct, the spirit is certainly understandable. I have absolutely no idea who the inspired artist was, but I have the original framed on the wall in my office. (shrink)

The “dragon” that graces the cover of this volume has a story that goes with it. In the summer of 1980, I was on the teaching staff of the Summer Institute on Medieval Philosophy held at Cornell University under the direction of Norman Kretzmann and the auspices of the Council for Philosophical Studies and the National Endowment for the Humanities. While I was giving a series of lectures there (lectures that contribute to this volume, as it turns out), I went (...) to my office one morning, and there under the door some anonymous wag from the Institute had slid the pen and ink drawing you see in the picture. It represents “Supposition” as a dragon, making a rude face at the viewer. The tail of the dragon is divided — not entirely accurately, as it turns out — into the various branches and subbranches of supposition. If the details are not altogether correct, the spirit is certainly understandable. (shrink)

In his recent study, Concepts, Fodor identifies five nonnegotiable constraints on any theory of concepts. These theses were all shared by the standard medieval theories of concepts. However, those theories were cognitivist, in contrast with Fodor’s: concepts are definitions, a form of natural knowledge. The medieval theories were formed under two influences, from Aristotle by way of Boethius, and from Augustine. The tension between them resulted in the Ockhamist notion of a natural language, concepts as signs. Thus conventional signs, spoken (...) and written, signify things in the world by the mediation of concepts which themselves form a language of thought, signifying those things naturally by their similarity. Indeed, later thinkers realised that everything signifies itself and what is like it naturally in a broad sense by means of the concept of its natural likeness. (shrink)