The prologue of the Sophistici elenchi is as close an Aristotelian text gets to dealing with language as a subject matter in its own right, only in reverse. Language and its features bear consideration to the extent that they account for some major predicaments discursive reasoning is prone to, both as a separate and as a common endeavour. That being said, the linguistic pitfalls that trick us into thinking that whatever is the case for words and word-compounds is (...) also the case for the things and facts linguistic items stand for reveal as much about good linguistic habits and sound argumentation as they themselves are revealed by the principles and rules our argumentation goes by. In this connection, Aristotle resorted to a curious (or not so curious) analogy between words and counters which played a major role in explaining why language is such a powerful source of illusion and deception. As it happens, Aristotle accounting analogy is a case in point for showcasing the level of sophistication medieval Latin literature on fallacies achieved as early as the first half of the twelfth century. As a matter of fact, Western commentators managed to build compelling cases both in favour of and against the understanding that was to become and still is the standard story – which, of course, speaks volumes about their exegetical proficiency and technical expertise. On the one hand, trusting implicitly Boethius’ translation and well aware of his views on disputational hazards as opposed to computational reliability, they usually understood Aristotle’s comparison as if it was an analogy in name only. On the other hand, despite Boethius’ translation put them at a considerable disadvantage, Latin commentators were able to construe Aristotle’s analogy as bringing together two sets of symbolic variables (words and counters) that are neither entirely free nor entirely bound – which expose them to subtle but critical shifts in value and meaning. (shrink)

Aristotle counts as the founder of formal logic. The logic he develops dominated until Frege and others introduced a new logic. This new logic is taken to be more powerful and better capable of capturing inference patterns. The new logic differs from Aristotelian logic in significant respects. It has been argued by Fred Sommers and Hanoch Ben-Yami that the new logic is not well equipped as a logic of natural language, (...) and that a logic closer to Aristotle's is better suited for this task. Each of them developed their own formalism - Sommers in form of term logic, Ben-Yami in form of his Quantified Argument Calculus (QUARC). I discuss Aristotle's logic - a term logic - and attempt a comparison between Aristotelian logic and (i) the new logic, (ii) Sommers' term logic, and (iii) Ben-Yami's QUARC. I consider differences between the systems, and show how they are related to and diverge from the new logic. (shrink)

One of the singularities of Latin exegesis of Aristotle’s Sophistici elenchi, is that it arbitrarily brought together two families of fallacies, the «figure of speech» and the «accident», despite the fact that they are on either side of the divide between sophisms related to expression and sophisms independent of expression, a divide that lays at the heart of Aristotle’s taxonomy of sophistic arguments. What is behind this surprising identification? The talk is meant to show that it actually originates (...) from a curious mistake in Boethius’ translation of Aristotle’s Sophistici elenchi, 22, 178b 36-37 which radically transformed the nature of the argument at stake. While it was originally an example of the fallacies related to the «figure of speech», Boethius’ translation wrongly brings about two arguments instead of one, both related to the «accident». This explains why authors from the Latin tradition came to think that fallacies of «figure of speech» were linked to fallacies of «accident» closely enough to ask whether they actually fell outside expression, even though it does not at first glance appear that such a possibility was allowed or even suggested by Aristotle’s text. This odd question illustrates some of the remarkable features of the medieval archive and how some of its most peculiar problems came to be. It specifically allows us to reconstruct the mechanisms through which a minor disturbance in the letter of the text leads to a whole new way of organising its exegetical material. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the (...) class='Hi'>language of the system is deducible by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Aristotle (384-322 BC) was an ancient Greek philosopher, pupil of Plato, and tutor of Alexander the Great. His works span the topics of biology, metaphysics, mind, logic, language, science, epistemology, ethics, and politics. Aristotle held that there are many divine beings, but a supremely divine being is the first cause of the universe and the goodness of all other beings. This divine being plays a fundamental explanatory role in Aristotle’s thought.

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, (...) they talk in part about (a property related to) the soundness of arguments. (shrink)

For Aristotle, a verb (ῥῆμα) is that which a) besides a proper meaning b) carry with it the notion of time; c) its parts do not significate separately and d) is a sign of something said of something else (OI ., 2, 16b6-8). This comprehensive definition distinguishes verbs from both nouns (since they do not carry the notion of time with themselves) and sentences or co-positings of words (since they have parts with independent meanings). Based on this definition, a (...) verb signifies three things: i) A main or proper meaning which is the meaning of the verb, e.g. running or sleeping; ii) time and iii) co-positing (or positing away). Although it is not asserted that one part is responsible for prossignification of time, its responsibility is given to co-positing-is. This might seem to be in contradiction with (c). However, it seems that (c) cannot include prossignifications of time and co-positing. What Aristotle means in (c) is just that parts of a verb cannot separately signify a meaning. Therefore, it is better to distinguish between signification, which is about meaning and prossignification, which is generally about anything but meaning. Hence, while the parts of the verb cannot have separate signification, they can have separate prossignification. Aristotle distinguishes between different kinds of verbs: 1) Definite verbs: those verbs that have definite nouns as their verb-name. 2) Indefinite verbs: those verbs that do not have definite nouns as their verb-name (OI., I, 3, 16b12-14; 10, 19b10-11). Aristotle’s examples of an indefinite verb are ‘is not-healthy’ and ‘is not-ill’. 3) Tenses of verbs: ‘was healthy’ and ‘will be healthy’ are tenses of the verb ‘is healthy’ because a verb indicates only the present time (OI., I, 3, 16b16-18). For Aristotle, almost all verbs either are composed of or can be analyzed to parts. An example of the former is ‘is healthy’ and of the latter is ‘runs,’ which can be analyzed to two parts: ‘is running.’ (OI., I, 10, 20a3-5; II, 12, 21b5-8). Thus, for him a verb either includes or can be analyzed to two parts: a part that includes the meaning and is, or is shown, by a name we call ‘verb-name’ (a), and a part that includes the co-positing of that meaning with the subject of the verb, which is or is shown by ‘is’, which we call ‘co-positing-is’ (d). The verb ‘runs’, for example, can be analyzed to a verb-name, ‘running’ and a co-positing-is (Note: Aristotle distinguishes between the verb ‘is’ in the sense of ‘exists’ and the co-positing ‘is’. Whereas in the former ‘is’ is a verb, having a signification of its own, which is ‘existing’, besides signifying time (OI., I, 10, 19b12-19), the ‘is’ in the latter is not a verb (Aristotle calls it ‘incidental’ is (OI., II, 11, 21a25-28) and is not sure whether to call it a verb or a noun (OI., I, 10, 19b22-24)) because it does not signify existing and, thus, need something else to be added. This something else is the meaning we are discussing. Therefore, it is only after the addition of the meaning to this ‘is’ that we have a verb. This is, I believe, the sense of the so much controversial text of OI, I, 3, 16b22-25: ‘For being and not being signify the existence of a thing not τὸ ὄν εἴπῃς αὐτὸ καθ᾿ ἑαυτὸ ψιλόν. For it does not indicate anything but prossignifies some co-positing (σύνθεσίν). Aristotle’s words at 16b24 about co-positing-is that it ‘prossignifies some co-positing’ (προσσημαίνει δὲ σύνθεσίν τινα) is an explicit evidence that she cannot be right.) and is not a concept apart from the things co-posited (συγκειμένων).’ This text, however, is so controversial. Originating from Ammonius and Boethius after him, who used the verb ‘copular’ for ‘est’ and Abelard, some commentators like Weidemann, Oehler, Francisco Ademollo take ‘is’ as having a copulative function. Allen Bāck notes that Aristotle does not separate off ‘is’ from other verbs as a mere copula but takes it ‘as the basic, paradigmatic form of the verb.’ He believes that in his interpretation of Aristotle (in: OI., 55, 19-24) Ammonius also took it as the paradigm for all verbs. Francisco Ademollo criticizes the standard view of taking ‘is’ as copula here and is inclined to take it as essential. David Ross thinks that although Aristotle is aware of the distinction between the existential and the copulative is, he has as yet no very clear idea of their relation. Although Jonathan Barnes agrees that the copula is surely present in de Interpretation, he thinks that at 16b22-25 Aristotle ought to be talking of existential εἶναι. Marie De Rijk Lambartus believes that there is no copula in Aristotle’s philosophical analysis of the elementary sentences and it is a mere corpus alienum in Aristotle’s semantics. Allan Bȃck believes that the copulative theory is not Aristotle’s and ‘may have come to dominate as a result of the neoPlatonizing interpretations of Aristotle’s works by Proclus, Ammonius and Boethius, which is the sign of the relation of running with a subject, e.g. Socrates in ‘Socrates runs’. Nonetheless, none of these parts significate separately. This is supposed to mean that a verb is a single signification. However, it is evident that each of the parts can signify if we use them in a different context as both of ‘running’ and ‘is’ in ‘runs’ or both of ‘is’ and ‘healthy’ in ‘is healthy’ can do. It might seem now that the first mentioned definition of verb might be contradictory. While Aristotle asserts that the parts of verb do not signify separately (d), he considers two other significations for a verb: the signification of time and relation. As it is obvious, both of these significations are done by one part of the verb, that is the co-positing-is. Therefore, in a verb e.g. ‘is healthy’ we have three significations: the significations of meaning, time and co-positing. Aristotle uses prossignification both for time (προσσημαῖνον χρόνον, OI., 2, 16b4) and co-positing (προσσημαίνει δἑ σύνθεσὶν τινα, OI, I, 3, 16b23-24). Since the copula part of a verb has no signification and does not form any conception, a verb is indeed its verb-name. Thus we see Aristotle saying that ‘verbs are in and by themselves names and signify something’ and like names, he adds, they arrest the hearer’s mind and fix his attention (OI., I, 3, 16b19-22). We can conclude then that verbs are names said of something else and carrying time. In other words, verbs are words that though have one single signification, as names have, they also have two other prossignifications: time and relation. (shrink)

It is my intention in this article to present some consequences of Quine’s thesis on the dependence of ontology on ideology (Quine, 1980), seeking an argument for my own thesis on the dependence (theoretical) existence of entities on identity type or ontology dependence on logic and language.If Quine's thesis is correct, then we can expand the resolution of this conclusion and say that ontology depends on the identity or on identification of the "identity criteria for conceptual schemes" (Davidson, (...) 2001) which is constructed in the theory. Consequently I will speak about types of identity which adapts choice of ontology and of which depends ontology of a theory. Here I want to connect the different types of use of the term identity in Aristotle's writings and the different types of predications that are based on them with the concept of identity as the equivalence of symbols in modern logic. I want to reinterpret Quine's statement: "There is no entity without identity " in the form of imlication "What (kind of) identity such (kind of ) entity." . (shrink)

ABSTRACT This article deals with the communicational aspects of Aristotle’s theory of signification as laid out in the initial chapters of the De Interpretatione (Int.).1 We begin by outlining the reception and main interpretations of the chapters under discussion, rather siding with the linguistic strand. We then argue that the first four chapters present an account of verbal communication, in which words signify things via thoughts. We show how Aristotle determines voice as a conventional and hence accidental medium (...) of signification: words as ‘spoken sounds’ are tokens of thoughts, which in turn are signs or natural likenesses of things. We argue that, in this way, linguistic expressions may both signify thoughts and refer to things. This double account of signification also explains the variety of ontological, logical and psychological interpretations of the initial chapters of Int. (shrink)

At the very beginning of On Interpretation (I, 1, 16a3-14) Aristotle distinguishes four levels and discusses their relationships. From this text, we can infer the following: 1. There are four levels: writing, speaking, mental experience and external world. Since writing and speaking can truly be taken as belonging to the same realm, we can reduce Aristotle’s distinction to three realms: language, thought and external world. 2. The realm of language, in both levels of writing and speaking, (...) is different for different people but both of the other realms of thought and external world are the same for them. By this Aristotle must mean that though people of different languages have different writings and speaking words, the things that are in the world and their affections on people’s thought are the same. 3. The relations both between language and thought and in language itself is symbolization: ‘Spoken words are the symbols of mental experience and written words are the symbols of spoken words.’ 4. The relation between external world and thought is similarity: ‘Those things of which our mental experiences are similarities (παθἠματα τῆς ψυχῆς ... ὁμοιώματα).’ (ΟΙ., 16a7) In de Anima (16a8-9; II, 5, 418a4-5; II, 4, 429a10-11; 429a13-16; 429a23) Aristotle describes thoughts as ‘likenesses of objects.’ Paolo Crivelli says that in these addresses Aristotle believe that ‘a thought is of an object just if it is a likeness of it’ and ‘to be a likeness of an object is to be the result of a process of likening of which that object is a cause.’ This, Crivelli believes, is indeed the basis of the sameness of the objects of thoughts: they are results of the same processes of likening by the same objects. 5. There is a correspondence between nouns and verbs on the one hand and objects of thought without co-positing and positing away on the other hand: ‘Nouns themselves and verbs are like objects of thought (νοἠματι) without co-positing and positing away.’ (OI, I, 1, 16a13-14) A. Relationship between external world and thought The following can be inferred from Aristotle’s works about the relationship between thought and external world: 1. ‘The soul is in a way all existing things; for existing things are either sensible or thinkable, and knowledge is in a way what is knowable, and sensation is in a way what is sensible.’ (So., Γ, 8, 431b21-23) In fact, ‘within the soul the faculties of knowledge and sensation are potentially these objects, the one what is knowable, the other what is sensible.’ (So., Γ, 8, 431b26-27) 2. It is the form of the external objects that are in thought (So., Γ, 8, 431b26-29) and the objects of thought are in the sensible forms, viz. both the abstract objects and all the states and affections of sensible things (ἐν τοῖς εἴδεσι τοῖς αἰσθητοῖς τὰ νοητὰ ἐστι, τά τε ἐν ἀφαιρέσει λεγόμενα, καὶ ὃσα τῶν αἰσθητῶν ἓξις καὶ πάθη). (So., Γ, 8, 432a3-6) 3. While external objects are perishable, objects of thought seem to be eternal. (PrA., A, 33, 47b21-22) B. Relationship between language and the external world 1. There is a correspondence between the external world and the true statements about them: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition is true, it will of necessity not be white.’ (OI, I, 9, 18a39-b5) 2. While external objects ‘does seem in some way the cause of’ the truth or falsity of lingual statements, ‘the true statement is in no way the cause of the actual thing’s existence.’ (Cat., 12, 14b18-22; cf. OI, I, 9, 18b36-19a6) Thus, the external objects reciprocate as to implication of existence with the corresponding true statement about them and thus are prior to them.’ (Cat., 12, 14b11-23) 3. The opposition between an affirmation and negation corresponds to an opposition in the external world between the objects underlying those statements. (Cat., 10, 12b6-15) 4. The correspondence of the whole structure of the external world and language for Aristotle is so that in analyzing the language he shows himself as analyzing the external world. It is in fact a very crucial and controversial dispute whether Aristotle’s philosophy in its very decisive parts is theorizing about language or about external world. In most of his important theories, he begins with discussing language. In fact, language is where he enters the discussion and, in many cases, where he finishes it. In these cases, he either does not discuss external world at all or only derives some principles or conclusions about it. In some other cases he begins from language but ends in external world. a) Daniel W. Graham thinks that language is Aristotle’s ‘model of the world.’ He refers to ‘subjecthood’ as what formally characterizes primary substance and explains how it bases reality in Aristotle: while to be an absolute subject is equal to be fully real, to be a predicate of a subject is equal to be real. ‘Language is not merely a tool to get around in the world; it reveals the structure of the world … the deep structure of language is isomorphic with the world… In this word, logic can reveal connections between elements because language and the world have a form in common. He lists Trendelenburg (1846, 11-13), Gillespie (1925) and (Ackrill (1963, 78-81) as those who have the same idea. b) Emphasizing on the force of τί in Aristotle’s statement when he says that assertions affirm something (τί) of something (τί) makes Peter Simpson (p. 85) to stress, in his interpretation of Jacob’s theory, on the ontological aspect of Aristotle’s philosophy. Jacob says that in his theory of predication, Aristotle focuses on ‘things’ and not words or concepts and predication is a relationship between extralinguistic entities rather than merely linguistic ones; something extralinguistic and ontological. c) Quoting Ackrill ((1963, 73): ‘the categories classify things, not words’) and Kahn ((1978, 248): ‘Aristotle never regards predication as a grammatical or linguistic relation of word to word, nor does he ever speak of subject and predicate as concepts united in judgment’), Fabio Morales says that Aristotle is not classifying predication in Categories but the attributes or properties these stand for.’ d) Graham thinks that the theory of synonymity-homonimity is not purely linguistic, since it is things rather than words that have these properties. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle in (...) Posterior analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

Already in ancient philosophy, there was a transition from the implicit and hidden action of the Logical ( lógos) in nature ( phýsis) to the scientific and explicit expression of the logical structures of thought, action, the world and language. Heraclitus' heno-logic with Logos as hidden implicit principle of homologization of opposites ( tà enantía) in nature differs from Parmenides' paraconsistent logic developed in a hypothetical hemidyalectics given in the formula ''All is One'' ( hén pánta eînai). (...) Plato's concept of dia-logic (dialektikè téchne ) with a new concept of Logos as the one genus of beings ( hén tí génon toôn ontoôn) in which the word not-Being (negation) got its place enabled production of dyadic logical structure by the granulation of genera into opposite species and sub-species that it contains. Aristotle's concept of triadic-logic as syl-logistics ( syllogismós) and demonstrative science (epistéme apodeiktikê ) give a new approach by new granulation of the concept of Logos into triadic logical structure: (1) the structure of being (substratum-attributes relation), (2) the structure of thought (substance-second substances relation), and (3) the structure of propositions (subject-predicate relation). Plato's dialectic and Aristotle's syllogistic both deconstructed the implicit ontological unity of the world (pan, kosmos, sphairos ) given through the concept of Logos in Pre-Socratic philosophy in order to make that unity in explicit form given by the logical and semantical structures of the propositions about the world, about the thought and about the language. The hidden implicit of the nature, which had to be known intuitively, was transformed into unhidden explicit inferential logical structures given in the semantics and pragmatics of scientific demonstration. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the (...) theories of the “syllogism” in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

We consider semantic and syntactic transformations of the concept of "the logical" in the ancient philosophy in the form of crypto-logos, para-logismos, dia-logos, and syl-logismos. We interpret Heraclitus' concept of Logos as a cryptologos through which intuitive insight (epístasthai gnóomen) reveals hidden or implicit harmony (harmoníe aphanés) in nature (phýsis) as a conceptual unity of ontic opposites (tà enantía). In Pramenides' paraconsistent concept of the identity of Being and thought, we point to para-logical hypotheses about the One that are carried (...) out through antithetical deductions of thought and which maintain the dynamics of the ontic determinations of being (ón) in the statics of the conceptual determinations of Being (tò eînai). As the beginning of the explicative granulation of ''the logical'' we consider Plato's concept of the dialectical skill (dialektikè tékhne) of dividing concepts of genus into species and sub-species that logically represent ontic opposites in problem-formulated questions. Finally Aristotle's concept of lógos as a statement-making sentence / proposition (lógos apophantikós) made explicit the Being (tò eînai), or the Being as Being (tò ón hê ón), in semantic and syntactic figures and modes of syllogistic inferences in which ontological (eînai), ontic (ón), conceptual (logikôos) and linguistic (légomenon) correspondence is shown. We conclude that with these changes in the concept of lógos, the path has been taken from the hidden or implicit Truth of the phenomena of nature and the world (pân) to explicit truthfulness of propositions as the unhiddeness (alétheia) of Being trough the semantical and syntactical visibility of the logical structures of being, thought and language in scientific knowledge based on demonstration (apoódeiksis). (shrink)

Our everyday knowledge and the knowledge of the sciences are based on presuppositions of different fundamentality. The most general framework includes opinions about being, then the way a particular language sorts reality, precepts of logic, what Husserl called the natural attitude. Furthermore, specific content-related prerequisites and convictions are decisive in the individual sciences. Also modern readers of Aristotelian texts share some such specific convictions. I would like to speak of two of them here, since they are evidently false (...) and considerably hindering the understanding of the texts. The first conviction is that Aristotle developed a metaphysics of substance, the second that he thereby founded a theology with an ‘unmoved mover’ as its center, which can be identified with God. Since this text is a kind of pamphlet, I have summarized the remarks in endnotes. (shrink)

Monotheism is a product of abstract thought. Although it does not exactly overlap with the view of God in today's monotheistic religious beliefs, the thought of God in Ancient Greek philosophy, that is, the creative thought other than the creature, found its cores in Plato's Demiurge [Dēmiourgos], and this thought continued to develop with Aristotle, Plotinus and St Augustine. Thus, it can be said that the Christian faith, which includes the Jewish religion in terms of belief and Greek philosophy (...) in terms of thought, easily managed to gain a place in the medieval world of thought. With the effort to rationalize and ground the Christian faith, philosophy has become an end rather than a means on this path. -/- The translation of Aristotle's logical works (by Boethius) at the beginning of the 6th century gave an important impetus to the grounding of knowledge in sacred texts. However, the real influence of Aristotle occurred after the 13th century. The Crusades (1096-1272) and the Islamic world known through trade played an important role in this because the developments in Western Philosophy until the 13th century were largely based on translations and commentary texts in the Islamic world. In the Middle Ages, the person who was seen as the best commentator of Aristotle and who took the title of "commentator" [Shareh] was Averroes (1126-1198), who was also a member of this productive Islamic world of thought. He is known as the "commentator" because he interpreted Aristotle's works by adhering to his teachings. It is also said that Averroes pioneered Aristotle's recognition by westerners. Averroes’ commentaries are divided into three as long, middle, and short. In long commentaries, he blends Aristotle's philosophy with his own thoughts; he interprets Aristotle's philosophy in the middle commentaries; in short commentaries, he gives a summary of Aristotle's thoughts. -/- Aristotle's philosophy played an active role in shaping the thought system of Averroes. So much so that his epistemology is largely similar to Aristotle's epistemology: The source of knowledge, knowledge of knowledge with causes, the processes of the formation of human knowledge, etc. Here, a point where he differs from Aristotle is the source of knowledge, since he is an Islamic thinker. According to Averroes, God is the source and cause of things, and things are the source and cause of human knowledge. The formation of human knowledge consists of three stages: outer sense, inner sense, and mind. Another important issue of his epistemology, apart from the knowledge produced by man and the knowledge of God, is causality. Through causality, knowledge is formed, and since causality is continuous and necessary, this situation brings order with it. This ensures that the information is verified and thus genuine information is obtained. -/- Averroes’ understanding of ontology is in harmony with the teachings of Islam. He mainly talks about the relationship between philosophy and religion and thinks that these two actually talk about the same reality. He explains that philosophy and religion seem to conflict with the fact that the holy book has two meanings, visible and hidden. Thus, philosophy and religion do not actually conflict and do not say contradictory things. -/- Averroes, who followed Aristotle's way in terms of epistemology and ontology, took Plato as an example, not Aristotle, in his political philosophy for technical reasons. For this reason, his thoughts on state structuring are similar to Plato's The Republic [Politeia]. Averroes’ political philosophy is based on ethics. His thoughts on politics can be summarized with the basic concepts of happiness, justice, and equality. As in Plato and Aristotle, happiness is important for Averroes and the state is responsible for providing and protecting it. For this reason, it describes a virtuous city, and the virtue of justice is, in a sense, the condition of existence for all other virtues. -/- Averroes has been an important thinker for both the East and the West. He played a significant role in the efforts of the Middle Ages to reconcile religion and philosophy and became one of the names that the Western world benefited from most in establishing its bond with Greek thought. Averroes became famous as an Aristotelian commentator, but since he did not know Greek, he got to know Aristotle through translated works and wrote his comments on these translated works. Nevertheless, Aristotle's philosophy played an active role in shaping Averroes’ thought system, as he was an Aristotle commentator. (shrink)

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)

Celebrated as the equal to the great philosophers of old, namely Plato and Aristotle, whom – as Cassiodorus put it – he taught to speak Latin better than they spoke Greek, Boethius aspired to fully emancipate Roman culture from its Greek models through translations and exegesis so faithful they would leave nothing more to be desired from the original. The essay focuses on Boethius philhellenism, without complexes insofar as it had little to do either with the mixed (...) feelings of his Roman predecessors or with the plundering agenda of his Christian contemporaries. Special attention is paid to the close relationship Boethius established between word for word translations and multi-layered commentaries which he thought of and – albeit partially – carried out as part of the same scholarly endeavour. Devoid of literary pretentions as well as free from aspirations to autonomy, Boethius literal rendering and scrupulous interpretation were meant to be completely self-sufficient. Together they stand out as both the most innovative and the most conservative features of his ambitious cultural project. -/- Célébré comme l’égal des grands philosophes du passé, auxquels il aurait appris à parler Latin mieux qu’ils ne parlaient Grec, Boèce a caressé le rêve d’une émancipation radicale de la culture romaine vis-à-vis des modèles grecs qu’il se proposait de traduire et interpréter assez fidèlement pour que la comparaison avec les sources ne soit plus nécessaire. De son effort de livrer un Aristote et un Platon latins à la hauteur des originaux grecs, nous étudions l’étroite solidarité qui relie la traduction mot-à-mot des textes grecs et la restitution scrupuleuse de leur sens. Cette double tâche, que Boèce a conçue et menée d’un seul tenant, nous est dès lors apparue comme le reflet d’un philhellénisme sans complexes, tout aussi éloigné des sentiments ambivalents que nourrissaient vis-à-vis des hellènes ses devanciers romains que des efforts visant à domestiquer l’héritage classique auxquels se livraient certains de ses contemporains de même confession que lui. Affranchis de tout rêve d’autonomie, les traductions et les commentaires de Boèce se conçoivent comme parfaitement autosuffisants. Ensemble ils constituent ce qu’il y a à la fois de franchement novateur et de profondément conservateur dans son projet de faire parler Latin les sources grecques. (shrink)

Latin commentators came across the « Third Man » in Aristotle’s Sophistici elenchi. The way they dealt with the argument is a fair illustration of how they were both faithful to the text and innovative in their understanding of its most challenging issues. Besides providing a detailed survey of all manuscript sources, the introductory essay shows that Latin interpretation originates from a mistake in Boethius’ translation which radically transformed the argument. The edition makes available for the first time (...) a considerable amount of new documentary evidence which made it possible to solve the riddle of the Latin « Third Man ». (shrink)

The paper is the final, fifth part of a series of studies introducing the new conceptions of “Hilbert mathematics” and “ontomathematics”. The specific subject of the present investigation is the proper philosophical sense of both, including philosophy of mathematics and philosophy of physics not less than the traditional “first philosophy” (as far as ontomathematics is a conservative generalization of ontology as well as of Heidegger’s “fundamental ontology” though in a sense) and history of philosophy (deepening Heidegger’s destruction of it from (...) the pre-Socratics to the Pythagoreans). Husserl’s phenomenology and Heidegger’s derivative “fundamental ontology” as well as his later doctrine after the “turn” are the starting point of the research as established and well known approaches relative to the newly introduced conception of ontomathematics, even more so that Husserl himself started criticizing his “Philosophy of arithmetic” as too naturalistic and psychological turning to “Logical investigations” and the foundations of phenomenology. Heidegger’s “Aletheia” is also interpreted ontomathematically: as a relation of locality and nonlocality, respectively as a motion from nonlocality to locality if both are physically considered. Aristotle’s ontological revision of Plato’s doctrine is “destructed” further from the pre-Socratics' “Logos” or Heideger’s “Language” (after the “turn”) to the Pythagoreans “Numbers” or “Arithmetics” as an inherent and fundamental philosophical doctrine. Then, a leap to contemporary physics elucidates the essence of ontomathematics overcoming the Cartesian abyss inherited from Plato’s opposition of “ideas” versus “things”, and now unifying physics and mathematics, particularly allowing for the “creation from nothing” instead of the quasi-scientific myth of the “Big Bang”. Furthermore, ontomathematics needs another interpretation of arithmetic, propositional logic and set theory in the foundations of mathematics, where the latter two ones are both identified with Boolean algebra, and the former is considered to be a “half of Boolean algebra” in the exact meaning to be equated to it after doubling by a dual anti-isometric counterpart of Peano arithmetic. That unified algebraic realization of the foundations of mathematics is related to Hilbert mathematics in both “narrow and wide senses” where the latter is isomorphic to the qubit Hilbert space, thus underlying all the physical world by the newly introduced substance of quantum information being physically dimensionless and generalizing classical information measured in bits. The substance of information, whether classical or quantum, visualizes the way of the unification of physics and mathematics by merging their foundations in Hilbert arithmetic and Hilbert mathematics: thus how ontomathetics is a “first philosophy”. The relation of ontomathematics to the Socratic “human problematics”, furthermore being fundamental for Western philosophy in Modernity, is discussed. Ontomathematics implies its “substitution” by abstract information (or by “subjectless choice” relevant to it), thus “obliterating the human outline on the ocean beach sand” (by Michel Foucault’s metaphor). A reflection back from the viewpoint of mathematic to Western philosophy as the philosophy of locality ends the study. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs (...) and the Problem of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

While Classical Logic (CL) used to be the gold standard for evaluating the rationality of human reasoning, certain non-theorems of CL—like Aristotle’s and Boethius’ theses—appear intuitively rational and plausible. Connexive logics have been developed to capture the underlying intuition that conditionals whose antecedents contradict their consequents, should be false. We present results of two experiments (total n = 72), the first to investigate connexive principles and related formulae systematically. Our data suggest that connexive logics provide more plausible (...) rationality frameworks for human reasoning compared to CL. Moreover, we experimentally investigate two approaches for validating connexive principles within the framework of coherence-based probability logic (Pfeifer & Sanfilippo, 2021). Overall, we observed good agreement between our predictions and the data, but especially for Approach 2. (shrink)

Spanish translation of Gilbert de la Porrée on 'De praedicatione' by Boethius.

Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a (...) certain level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used. (shrink)

L. Gazziero, « “Οἰκείως τῇ λογικῇ πραγματείᾳ” (Simplicii in Aristotelis categorias commentarium, 12.11). Contraintes disciplinaires – anciennes et modernes – de l’interprétation logique des Catégories d’Aristote », dans V. Brière et J. Lemaire (éd.), Qu’est-ce qu’une catégorie ? Interprétations d’Aristote, Leuven, Peeters, 2019, p. 9-59 [ISBN 9789042936621] -/- In addition to understanding the very notion of « category » according to its different Aristotelian contexts, the first order of business of an archaeology of Aristotle’s categories is to inquire into (...) its influential evolution at the hands of Late Ancient commentators. The essay retraces the origin and development of the « logical » interpretation which held sway both in ancient and modern times. It shows first that the key to understand the debate between Benveniste and Derrida over Aristotle’s categories is to be found in the Neoplatonic exegesis of the work of the same name. It shows next the powerful dynamic that led the commentators to dismiss more than a few hints in the text itself in order to build a remarkably consistent interpretation that understood the notion of category as the simplest and most fundamental element in a building block theory of linguistic expression and argumentation. -/- Face au foisonnement qui caractérise l’instruction contemporaine du dossier des « catégories » d’Aristote, il est encore et toujours utile de suivre le fil historique inauguré par Adolf Trendelenburg, réinventé par Emile Benveniste et élevé par Jacques Derrida au rang d’impératif méthodologique. Le geste inaugural d’une archéologie de la notion de « catégorie » consiste donc à se prémunir contre le risque d’évacuer le problème historique des catégories à la faveur d’une catégorialité anachronique ou passe-partout : ce qui n’est possible qu’à condition de replacer les « catégories » dans les différents contextes aristotéliciens où elles sont utilisées et d’interroger les contraintes disciplinaires qui ont structuré le débat autour de leur nature chez les commentateurs de l’Antiquité tardive. (shrink)

Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.

Do other earthly forms of life evolved to the level of intelligent life? Cancer and resistance to antibiotics obliged to ask this question. Signs of intelligence are found at its simplest levels. We try to see if logic is used at these levels. Peter of Spain’s suppositio materialis is applied to the chemical signals of cells. Dynamic Logic is used to understand these chemical communications. <System of communications> is used, instead of “language”. The development of life appears (...) as the development of an axiomatic system. The rights of unborn humans and God’s rights over His own creation appear as the most powerful arguments for conservationism. (shrink)

This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a (...) pervasive desire for rational certainty, and a general insistence on the reducibility of the sciences. The major motivation of this analysis is my intention to show that modern attempts to reduce science/epistêmê to a single science/method of inquiry occlude dialectical and ethico-political dimensions of “reason” and, hence, also impoverish philosophy’s critical capacities. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain (...) of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

In the 17th century, Hobbes stated that we reason by addition and subtraction. Historians of logic note that Hobbes thought of reasoning as “a ‘species of computation’” but point out that “his writing contains in fact no attempt to work out such a project.” Though Leibniz mentions the plus/minus character of the positive and negative copulas, neither he nor Hobbes say anything about a plus/minus character of other common logical words that drive our deductive judgments, words like ‘some’, ‘all’, (...) ‘if’, and ‘and’, each of which actually turns out to have an oppositive, character that allows us, “in our silent reasoning,” to ignore its literal meaning and to reckon with it as one reckons with a plus or a minus operator in elementary algebra or arithmetic. These ‘logical constants’ of natural language figure crucially in our everyday reasoning. Because Hobbes and Leibniz did not identify them as the plus and minus words we reason with, their insight into what goes on in ‘ratiocination’ did not provide a guide for a research program that could develop a +/- logic that actually describes how we reason deductively. I will argue that such a +/- logic provides a way back from modern predicate logic—the logic of quantifiers and bound variables that is now ‘standard logic’—to an Aristotelian term logic of natural language that had been the millennial standard logic. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage (...) is Prior Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine (...) understood as a sign. A modification of Łukasiewicz's logic Ł3 with the inclusion of justification terms is proposed in order to formally analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy". (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, (...) that the premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types (...) – classes of tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with (...) Aristotle’s invalidity proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

Editors van Ditmarsch, Hendriks and Verbrugge of this special issue of topiCS on lying describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, they outline the seven contributions to this special issue.

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the (...) universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

Flannery’s volume looks in two directions. On the one hand, as Flannery announces in the book’s introduction, the chapters in the volume were intended to shed light on three specific ‘background’ issues in contemporary ethics and the interpretation of Thomas Aquinas, namely, Aquinas’ notion of ethical theory (as articulated especially in Summa Theologica 1-2.6-21), the ramifications of physical actions on moral evaluation in contemporary ethics (for instance, whether the fact that an abortion consists specifically in the crushing of a fetus’ (...) skull rather than some other form of terminating the fetus has moral relevance), and the understanding of Aquinas’ ‘principle of double effect’ (Summa Theologica 2-2.64.7). On the other hand, the eight chapters (and two appendices) are all devoted to the exegesis of passages in Aristotle’s corpus (primarily the ethical treatises, but with substantial discussions of passages from the Prior Analytics, the Physics, and the Metaphysics insofar as they shed light on passages in the eth-ical corpus). Although the exegetical chapters are motivated by contemporary and Thomistic background issues, the exegesis appears entirely grounded in Aristotle’s (rather than Aristotelian) texts. (shrink)

This paper is an essay in what Austin (_Proc Aristotel Soc_ 57: 1–30, 1956–1957) called "linguistic phenomenology". Its focus is on showing how the grammatical features of ordinary causal verbs, as revealed in the kinds of linguistic constructions they can figure in, can shed light on the nature of the processes that these verbs are used to describe. Specifically, drawing on the comprehensive classification of English verbs founds in Levin (_English verb classes and alternations: a preliminary investigation_, University of Chicago (...) Press, Chicago, 1993), I divide the forms of productive causal processes into five classes, corresponding to Aristotle's ontological categories: there are processes that cause change in location, in state, and in quantity; and that lead to the creation and destruction of substances. These broader categories are then subdivided into other ones, corresponding to different Levin classes, according to further differences in the causal processes they involve. I conclude by discussing the relevance of this argument to research in metaphysics and experimental philosophy. (shrink)

In the 6th century, Paul the Persian used his own pen to write a summary of Aristotle's Peri Hermeneias in the Persian language. Severus Sebokht translated it into Syriac. This book is a transcription and translation of the Syriac manuscript of Paul the Persian's Peri Hermeneias and a comparison of it with Aristotle's original Greek text.

Analytical philosophy is ruled by the alliance of logic, linguistics and mathematics since its beginnings in the syllogistic calculus of terms and premises in Aristotle's Analytica protera, in the theories of medieval logic that dealt with what are Proprietatis Terminorum (significatio, suppositio, appellatio), in the theological apologetics of argumentation with the combinatorics of symbols by Raymundus Llullus in the work Ars Magna, Generalis et Ultima (1305-08), in what is presented as Theologia Combinata (cf. Tomus II.p.251) in Ars (...) Magna Sciendi sive Combinatoria by Athanasius Kircher (1669), in analytical combinatorics based in Leibniz's dissertation Ars Combinatoria (1666), where language is understood as a lingua characteristica and as a calculus ratiocinator, in the combinatorics of classes that have the meanings 1 or 0 given in the idea of Boolean functions (1854), in Frege's work Begriffschrift, eine der arithmeticeschen nachgebildete Fomelsprache des reinen Denkens (Concept letter, the language of formulas of pure thought made according to the model in arithmetical language), in Cantor's study of set theory / Grundlagen einer allgemeinen Mannigfaltigkeitstheorie (1883) and up to algorithms of fuzzy logic as a "means of approximate thinking that is in the human prior" (Zadeh, 1990) and fuzzy linguistics in computer semantics (Burghard B. Rieger, 1993). These are all the philosophical ideas of mathematicians and logicians that founded what we call logical pragmatism here as a demand that logic be absolutely used in every way in which it will dominate the grammar of language until logic itself becomes the philosophical grammar of the mind!!! (shrink)

Due to their acceptance of the verifiability principle, the only way left for logical positivists to argue for the meaningfulness of religious language was to accept some sort of emotivistic conception of it or to reduce it to the description of religious attitude. The verifiability principle, however, suffers from some severe limitations that make it inadequate as a criterion for cognitive meaning. To resolve these problems, logical positivists gave up the requirement of conclusive verifiability and defended a sort of (...) ‘liberalization’ of the verifiability principle. Carnap’s confirmability criterion for cognitive meaning, which is a liberalized form of the verifiability principle, is compatible with an orthodox conception of religious language since, from a theistic perspective, the existence of God can be confirmed through our observational statements. (shrink)

As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result (...) can be proved using my 1972 proof of the completeness of Aristotle’s syllogistic. (shrink)

I examine two startling claims attributed to some philosophers associated with Megara on the Isthmus of Corinth, namely: Ml. Something possesses a capacity at t if and only if it is exercising that capacity at t. M2. One can speak of a thing only by using its own proper A6yor;. In what follows, I will call the conjunction of Ml and M2 'Megaricism' .1 The lit­ erature on ancient philosophy contains several valuable discussions of Ml and M2 taken individually .2 (...) But there is no discussion of them together, much less of their logical relations. I intend to remedy that lack, and to show why it is a lack worth remedying. My aims are both philosophical and historical. Inevitably, in saying anything new and interesting about Megaric views, I will be adopting assumptions scarcely free from controversy, and indulging in quite a bit of charitable recon­ struction. But the resulting picture is of considerable interest. For it explains why, although Ml and M2 seem to have little to do with one another, it is in fact small wonder that anyone who held one would hold the other, for, as I attempt to show, they entail each other. It explains why the Megarics are associated in the primary literature with the names of such diverse philosophical ancestors as Parmenides and Protagoras. And it explains why, although they are both false, Ml and M2 were claims taken seriously by both Plato and Aristotle, who in developing their own views on modality and language saw reason to mention Megaricism, and to argue against it. (shrink)