Which properties are characteristic of the enthymeme in Aristotle's Rhetoric? There is no consensus on this point. The present discussion centres on three properties. 1. Is there always an implicit premise? (Answer: Above all, a pragmatic level and a logical level must be distinguished.) 2. Do the premises consist by definition of probabilities and signs? (Answer: No.). 3. Are all enthymemes reducible to a syllogistic form? (Answer: The literature pertaining to this question is dominated by a false (...) dilemma: an enthymeme does not have either a topical or a syllogistic structure). In general, Aristotle's approach to the enthymeme in the Rhetoric appears to shift from argumentation theory to logic. (shrink)

In the present article I attribute to the common topic in the Rhetoric a two-fold suggestive function and a guarantee function. These three functions are possible because this type of topic, while often quite abstract, nevertheless contains thought-steering, substantial terms, and formulates a generally empirical or normative endoxon. Assuming that according to Aristotle an enthymeme has at least two premises, it would appear that a common topic is the abstract principle behind the often implicit major premise. This means that (...) the topic may be regarded as the – generalizing – if-then statement in a modern argumentation scheme. Therefore it should be possible to see the enthymemes of Rhetoric 2.23 as a combination of a logical argument form (which can usually be reconstructed as modus ponens) and an argumentation scheme – even though we may not attribute this idea to Aristotle himself. (shrink)

This paper argues for a reinterpretation of Aristotle's concept of an enthymeme and also his wider informal logic in terms of arguments that are defeasible. They are represented by forms of argument that are called argumentation schemes, considered to be similar to forms of argument found in deductive logic, but different from the foregoing in virtue of their being defeasible. Indeed, the most interesting schemes have been put forward as a helpful way of characterizing structures (...) of human reasoning that have proved troublesome to model deductively. The paper sheds new light on Aristotle's topics and how to dene `enthymeme'. If the traditional denition of an enthymeme in logic accepted for over two thousand years is a misnomer, the question is raised whether we ought to redene it as a defeasible argumentations scheme or leave things as they are. (shrink)

Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...) middle period dialogues. Though this is a kind of strengthening the developmentalistic approach corresponding the relation of the early and middle period dialogues, based on the fact that what is to be proved here is a essential development in Plato’ ontology and his epistemology, by expanding the grounds of development to the ontological and epistemological principles, it hints to a more profound development. The fact that the bipolar and split knowledge and being of the early period dialogues give way to the tripartite and bound knowledge and benig of the middle period dialogues indicates the development of the notions of being and knowledge in Plato’s philosophy before the dialogues of the middle period. -/- Keywords Plato; early dialogues; middle dialogues; being; knowledge; development -/- Introduction The differences between two groups of the early and middle period dialogues have always been a matter of dispute. Whereas the developmentalists like Vlastos, Silverman (2002), Teloh (1981), Dancy (2004) and Rickless (2007) think that from the early to the middle dialogues Plato’s philosophy changes, at least in some essential points, the unitarists like Kahn, Cherniss and Shorey believe that there happens no development and the differences must be taken as natural, ignorable and even pedagogic. In his well-known article, Socrates contra Socrates in PLATO, Vlastos lists ten theses of difference between two groups of dialogues. The first group which includes Plato’s early dialogues he divides to 'elenctic' (Apology, Charmides, Crito, Euthyphro, Gorgias, Hippias Minor, Ion, Laches, Protagoras and Republic I) and 'transitional' (Euthydemus, Hippias Major, Lysis, Menexenus and Meno) dialogues. These transitional come after all the elenctic dialogues and before all the dialogues of the second group which compose Plato’s middle period dialogues, including (with Vlastos' chronological order) Cratylus, Phaedo, Symposium, Republic II-X, Phaedrus, Parmenides and Theaetetus (1991, 46-49). Vlastos asserts strictly that his list of differences are 'so diverse in content and method that they contrast as sharply with one another as with any third philosophy you care to mention, beginning with Aristotole’s' (ibid, 46). Vlastos’ list of differences between two Socrateses is considered a view breaking sharply between the early and the middle dialogues. Besides all ten differences between the two Socrateses in Vlastos’ list that can be supportive for our doctrine here, we intend to focus on some ontological as well as epistemological distinctions that have not completely been discussed hitherto. Contrary to the developmentalist theory of Vlastos, unitarian theory of Charles Kahn wishes to eliminate any substantial difference between the early and the middle dialogues. He distinguishes seven 'pre-middle' or 'threshold' dialogues including Laches, Charmides, Euthyphro, Protagoras, Meno, Lysis and Euthydemus from the other Socratic dialogues which he calls 'earliest group' (1996, 41). The threshold dialogues, Kahn thinks, 'embarke upon a sustained project' that is to reach to its climax in the middle period dialogues, namely Phaedo, Symposium and Republic. Believing in that there is no 'fundamental shift'between the early and middle dialogues (ibid, 40), Kahn thinks the Socratic dialogues are just the 'first stage' with a 'deliberate silence' towards the theories of later periods (ibid, 339). One of the reasons of the surprising fact that Plato gives no hint of the metaphysics and epistemology of the Forms in the early dialogues, he thinks, is the pedagogical advantages of aporia. He thinks that Plato 'obscurely', and mostly because of education, hinted to some doctrines and conceptions in his early dialogues and with the aim of clarifying them only in the later ones (ibid, 66). The seven threshold dialogues, Kahn asserts, 'had been designed from the first' to prepare the pupils and readers for the views expounded in the middle period dialogues (ibid, 59-60). To show that the differences of the two Socrateses of the early and middle period dialogue are in their onto-epistemological grounds and thence cannot be explained by a unitaristic view, we try to draw the ontological and epistemological principles of the early dialogues in the first part below in order to show, in the second part, that those principles have been developed in the middle period dialogues. -/- A. The Onto-Epistemologic Principles of the Early Dialogues Socratic dialogues are paradoxical about knowledge because while being knowledge-oriented always searching for knowledge, they deny it and even never discuss it directly. Three elements of Socrates’ way of searching Knowledge throughout the early dialogues, i.e. Socratic 'what is X?' question, his disavowal of knowledge and his elenctic method combined together produce something like a circle which works, more or less, in the same way in these dialogues. Though this circle is an embaressing inquiry always resulting in ignorance instead of knowledge, its motivation is surprisingly Socrates’ passionate enthusiasm for knowledge, an intensive love of wisdom. The starting point of this circle is Socrates’ confession of having no knowledge which might be explicitly asserted or presupposed, maybe because it was one of the famous characteristics of Socrates; a confession always paradoxically accompanied with his intense longing for knowledge (e.g., Gorgias 505e4-5). Every time Socrates encounters with someone who thinks he knows something (οἴεταί τι εἰδέναι) (Apology 21d5) and tries to examine him. This examination seems to be the simplest one asking just what it is that he knows. Socrates’ elenchus, therefore, is always connected with 'what is X?' (τίς ποτέ ἐστιν) question, a question that most of the early dialogues of Plato are concerned with; 'what is courage?' in the Laches, 'what is piety?' in Euthydemus, 'what is temperance?' in Charmides and 'what is beauty?' in Hippias Major. This question we call here 'Socratic question' and probably is the very question the historical Socrates used to employ, is tightly interrelated with both his disavowal and his elenchus. He disclaims knowledge because he cannot find the answer to the question himself and he rejects others’ since they cannot offer the correct answer too. Every interlocutor can claim he knows X, if and only if he can answer the Socratic question. Otherwise, he is more of an ignorant than of a knower of τί ποτέ ἐστι X. Knowing the answer to this question is, thus, knowledge’s criterion for Socrates. Having found out that he cannot answer what it is which he would claim to know, the interlocutor comes to the point Socrates was there at the beginning. The least advantage of this circle is that he becomes as wise as Socrates does about the subject, becoming aware that he does not know it. At the end of the circle they are both still at the beginning, not knowing what X is. So let us first take a glance at these three elements. Socratic disavowal of knowledge is strictly asserted in some passages. At Apology 21b4-5, Socrates says: -/- I do not know of myself being wise at all (οὔτε μέγα οὔτε σμικρὸν σύνοιδα ἐμαυτῷ σοφὸς ὤν) -/- Moreover, at 21d4-6: -/- None of us knows anything worthwhile (καλὸν κἀγαθὸν εἰδέναι) …. I do not know (οἶδα) neither do I think I know. -/- In Charmides Socrates speaks about a fear about his probable mistake of thinking that he knows (εἰδέναι) something when he does not (166d1-2). The somehow generalization of this disavowal can be seen in Gorgias. After calling his disavowal 'an account that is always the same' (509a4-5), Socrates continues (a5-7): -/- I say that I do not know (οἶδα) how these things are, but no one I have ever met, like now, who can say anything else without being absurd. -/- At the end of Hippias Major (304d7-8), Socrates affirms his disavowal of knowledge of 'what is X?' this time about the fine: -/- I do not know (οἶδα) what that is itself (αὐτὸ τοῦτο ὅτι ποτέ ἐστιν). Some other passages, however, made a number of scholars dubious about Socrates’ disavowal. Vlastos mentions Apology 29b6-7 as an evidence : 'that to do wrong and to disobey one’s master, both god and men, I know (οἶδα) to be evil and shameful'. He thinks that if we give this single text 'its full weight' it can suffice to show that Socrates does claim knowledge of a moral truth (1985, 7). Vlastos’ claim is not admittable since it would be too strange, I think, for a man like Socrates to violate his disavowal claim just after emphasizing it. We can see his claim just before the already mentioned passage: -/- And surely it is the most blameworthy ignorance to believe that one knows what one does not know. It is perhaps on this point and in this respect, gentlemen, that I differ from the majority of men and if I were to claim that I am wiser than anyone in anything it world be in this, that, as I have no adequate knowledge (οὐκ εἰδὼς ἱκανῶς) of things in the underworld, so I do not think I have (οὐκ εἰδέναι) (Apology 29b1-6) Vlastos tries to solve what he calls the 'paradox' of Socrates’ disavowal of knowledge distinguishing the 'certain' knowledge from 'elenctic' knowledge (1985, 11) and thinking that when Socrates avows knowledge, we must perceive it as an elenctic knowledge, a knowledge its content 'must be propositions he thinks elenctically justifiable' (ibid, 18). Irwin’s solution is the distinction of knowledge and belief. He approves that Socrates does not 'explicitly' make such a distinction, but still thinks that Socrates’ 'test for knowledge would make it reasonable for him to recognize true belief without knowledge, and his own claims are easily understood if they are claims to true belief alone' (1977, 40). While I agree with Vlastos up to a point, I strongly disagree with Irwin about the early dialogues. As I will try to show below, we are not permitted to consider any kind of distinction within knowledge in Socratic dialogues because only one category of knowledge is alluded to there and the distinction of knowledge and belief thoroughly belongs to the second Sorcates. Although no kind of distinction can be admittable here, I think Vlastos’ distinction can be accepted only if we regard it as a distinction between knowledge, which is unique and without any, even incomparable, rival, and a semi-idiomatic and ordinary one that is a necessary requirement for any argument, and thus, unavoidable even for someone who does not claim any kind of knowledge. An apparent evidence of this is Gorgias 505e6-506a4: -/- I go through the discussion as I think it is (ὡς ἄν μοι δοκῇ ἔχειν), if any of you do not agree with admissions I am making to myself, you must object and refute me. For I do not say what I say as I know (οὐδὲ γάρ τοι ἔγωγε εἰδὼς λέγω ἃ λέγω) but as searching jointly with you (ζητῶ κοινῇ μεθ᾽ ὑμῶν). -/- The minimal degree of knowledge everyone must have to take part in an argument, conduct it and use the phrase "I know" when it is necessary is what Socrates cannot deny. We can call it elenctic knowledge only if we agree that it is not the kind of knowledge that Socrates has always been searching, the one that can be accepted as the answer of Socratic 'what is X?' question. His disavowal of knowledge is applied only to the knowledge which can truly be the answer of Socratic question and pass the elenctic exam; a knowledge that, I believe, is never claimed by first Socrates. Socrates conducts his method of examining his interlocutors’ knowledge, our second element here, by almost the same method repeated in Socratic dialogues. That whether we are allowed to regard all the examinations of Socrates in the early dialogues as based on the same or not has been a matter of dispute. Vlastos himself (1994, 31) distinguished Euthydemas, Lysis, Menexenns and Hippias Major from the other Socratic dialogues because he thinks Socrates has lost his faith to elenchus in there. Irwin (1977, 38) distinguishes Apology and Crito where Socrates’ own convictions is present. Contrary to some scholars like Benson (2002, 107) who take elenchus in all the Socratic dialogues as a unique method, Michelle Carpenter and Ronald M. Polansky (2002, 89-100) argue pro the variety of methods of elenchus. Thomas C. Brickhouse and Nicholas D. Smith (2002, 145-160) even reject such a thing as Socratic elenchus which can gather all of the Socrates’ various arguments under such a heading. There can be no solution for the problem of elenchus, they think, is due to 'the simple reason that there is no such thing as 'the Socratic elenchos"'(p.147). Though we consider elenchus a somehow determined process and a part of Socratic circle in the early dialogues, all we assume is that whatever differences it might have in different dialogues, it has the same onto-epistemological principles and, thus, we are not going to take it necessarily as a unique method. This method sets out to prove that the interlocutors are as ignorant as Socrates himself is. That whether elenchus is constructive, capable of establishing doctrines as Vlastos (1994) or Brickhouse and Smith (1994, 20-21) believe or not is another issue to which this paper is not to claim anything. What is crucial for our discussion here is that elenchus does not reach to the very knowledge Socrates is looking for. This is strictly against Irwin who thinks that not only elenchus leads to positive results, 'it should even yield knowledge to match Socrates’ conditions'(1977, 68, cf. 48). He does not explain where and how they really yield to that kind of knowledge. He explains his elenctic method in his apology in the court (Apology 21-22), that how he used to examine wise men, politicians, poets and all those who had the highest reputation for their knowledge and every time found that they have no knowledge. If we accept, as I strongly do, that Socrates’ disavowal of his knowledge is not irony, it might seem more reasonable to agree that the process that has that disavowal as its first step cannot be irony as well. The key of the circle which can explain why Socrates disclaims knowledge and how he can reject others’ claim of having any kind of knowledge lies in the third element, Socratic question. In Hippias Major (287c1-2), Socrates asks: 'Is it not by Justice that just people are Just? (ἆρ᾽ οὐ δικαιοσύνῃ δίκαιοί εἰσιν οἱ δίκαιοι). He insists at 294b1 that they were searching for that by which (ᾧ) all beautiful things are beautiful (cf. b4-5, 8). At Euthyphro 6d10-11 it is said that the Socratic question is waiting for 'the form itself (αὐτὸ τὸ εἶδος) by which (ᾧ) all the pious actions are pious; and at 6d11-e1: -/- Through one form (που μιᾷ ἰδέᾳ) impious actions are impious and pious actions pious. -/- Since the X itself is that by which X is X, knowing 'X itself' is the only way of knowing X. It is probably because of this that Socrates makes the distinction between the ousia as a right answer to the question and effect as a wrong one: -/- I am afraid, Euthyphro, that when you were asked what piety is (τὸ ὅσιον ὅτι ποτ᾽ ἐστίν) you did not wish to make clear its nature itself (οὐσίαν … αὐτοῦ) to me, but you said some effect (πάθος) about it. (Euthp. 11a6-9) -/- 1. Knowledge of what X is Now it is time to look for the onto-epistemological principles of Socratic circle and its three elements. It cannot reasonably be expected from the first Socrates to present us explicitly and clearly formulated principles of his onto-epistemology when such explications cannot be found even in the second Socrates who has some obviously positive theoris. Since there must be some principles underlying this first systematic inqury of knowledge, we must seek to them and be satisfied with elicitation of the first Socratas’ principle. What will be drawn out as his principles cannot and must not, thus, be taken as very fix and dogmatic principles. Some very slightest principles and grounds suffice for our purposes here. The first principle that is the prima facie significance of the Socratic question and his implementation of all those elenctic arguments I call the principle of 'Knowledge of What X is' (KWX): -/- KWX To know X, it is required to know what X is. -/- Aristotle (Metaphysics 1078b23-25, 27-29, 987b4-8) takes Plato’s τί ἐστι question as seeking the definition of a thing that is the same as historical Socrates’ search but applying to a different field. That Plato’s 'what is X?' question was a search for definition became the prevailed understanding of this question up to now. I am going neither to discuss the answer of Socratic question nor to challenge taking it as definition. What I am to insist is that knowledge is attached firmly to the answer of the question: Knowledge of X is not anything but the knowledge of what X is. It entails, certainly, the priority of this knowledge to any other kind of knowledge about X but it also has something more fundamental about the relation of knowledge and Socratic question. Socrates’ exclusive focus on the answer of his question can authorize the consideration of such an essential role for KWX in his epistemolgoy. The total rejection of his interlocutors’ knowledge when they are unable to answer the question can be regarded as a strong evidence for it. Socrates’ elenctic method and his rejection of others’ knowledge in the early dialogues, which all end aporetically with no one accepted as knower and nothing as knowledge, prevent us from finding any positive evidence for this. We have to be content, therefore, of negative evidences which, I think, can be found wherever Socrates rejects his interlocutors’ knowledge when they are not able to give an acceptable answer to his 'what is X?' question. 2. Bipolar Epistemology Socrates’ rejection of his interlocutors’ knowledge has another epistemological principle as its basis. Let me call this principle Bipolar Epistemology' (BE): BE There is no third way besides knowledge and Ignorance. -/- BE says that about every object of knowledge there are only two subjective statuses: knowledge and Ignorance. Socrates’ disavowal, however, says nothing but that he is ignorant of knowledge of X because he does not know what X is. This means that BE is presupposed here. Socrates’ elenchus and his rejection of interlocutors’ having any kind of knowledge are the necessary results of the fact that he does not let any third way besides knowledge and ignorance. The first Socrates never let anyone partly know X or have a true opinion about it, as he would not let anyone know anything about X when he did not know what X is. -/- 3. Bipolar Ontology The principle of BE in first Socrates’ epistemology is parallel to another principle in his ontology. Plato’s bipolar distinction between being and not being is as strict and perfect as his distinction between knowledge and ignorance. This principle I shall call the principle of 'Bipolar Ontology' (BO): BO Being is and not being is not. BO is apparently the same with the well-known Parmenidean Principle of being and not being (cf. Diels-Kranz (DK) Fr. 2.2-5). Euthydemus’ statement against the possibility of false knowledge can be good evidence for this principle: -/- The things which are not surely do not exist (τὰ δὲ μὴ ὄντα … ἄλλο τι ἢ οὐκ ἔστιν). (Euthydemus 284b3-4) -/- He continues (b4-5): -/- There is nowhere for not being to be there (οὖν οὐδαμοῦ τά γε μὴ ὄντα ὄντα ἐστίν). -/- That BE does not let true opinion as a third option besides knowledge and ignorance seems to be related to BO’s rejecting a third option besides being and not being, which is itself the basis of the impossibility of false belief. Socrates’ elaborate discussion of the problem of false belief in Theatetus that leads to a more decisive discussion and finally to some solutions in Sophist can make our consideration of BO for the first group of dialogues authentive. -/- 4. &5. Split Knowledge and Split Being The fourth principle I shall call the principle of 'Split Knowledge' (SK): -/- SK Knowledge of X is separated from any other knowledge (of anything else) as if the whole knowledge is split to various parts. -/- This Principle is hinted and criticized as Socrates’ way of treating with knowledge in Hippias Major: -/- But Socrates, you do not contemplate the entireties of things, nor do people you have used to talk with (τὰ μὲν ὅλα τῶν πραγμάτων οὐ σκοπεῖς, οὐδ᾽ ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). (301b2-4) -/- Contrary to Rankin who regards the passage as 'antilogical, almost eristic in tone rather than presenting a serious philosophy of being' (1983, 54), I think it can be taken as serious. Hippias criticizes Sorcates that he does not contemplate (σκοπεῖς) the entireties of things (ὅλα τῶν πραγμάτων), a critique which Socrates is not its only subject but all those whom Socrates accustomed to talk with (ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). This last phrase, I think, extends this critic beyond this dialogue to other Socratic dialogues. Hippias’ use of the perfect tense of the verb ἔθω (to be accustomed) is a good evidence of this extension. We can get, thus, these ἐκεῖνοι as Socrates’ interlocutors in his other dialogues that hints that this criticism has the epistemological groundings of the previous dialogues as its subject. What ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι points to is that Hippias does not have in mind Socrates’ way of treating things only in this dialogue, but he is also criticizing Socrates’ way throughout his dialogues. At 301b4-5, Socrates and his interlocutors’ way of beholding things is described as such: -/- You people knock (κρούετε) at the fine and each of the beings (ἕκαστον τῶν ὄντων) by taking each being cut up in pieces (κατατέμνοντες) in words (ἐν τοῖς λόγοις). This leads us to our next principle that is parallel to, and the ontological side of, SK, the principle of 'Split Being'(SB): -/- SB Everything (being) is separated from any other thing as if the whole being is split to many beings. -/- Socrates and his interlocutors and thus, as we saw, the Socratic dialogues are accused to regard everything as it is separated from all other things. This separation is en tois logois that, I think, can reasonably be taken as saying that Socratic dialogues (it refers of course to the dialogues before Hippias Major) cut up all things which have the same name/definition from all other things and try to understand them separately, without considering other things that are not in their logos. They, for example in Hippias Major, are cutting up to kalon and try to understand what it and all others inside this logos are by separating it from all other things. This is directed straightly against Socratic question and the way Socratic dialogues follow to find its answer, every time separating one logos. As Meyer (1995, 85) points out, every question 'presupposes that the X in question in a logos is something' and 'every answer to every question aims at unity' (84). The critique of Hippias Major is, therefore, at the same time a critique of SK and SB. It is also a critique of KWX because it is only based on KWX that Socratic dialogues could search for the answer of 'what is X' question supposing that knowing what X is is enough for the knowledge of X. SK and KWX are absolutely interdependent. What Socrates and all his previous interlocutors have neglected in Socratic dialogues, Hippias says, was 'continuous bodies of being' (διανεκῆ σώματα τῆς οὐσίας) (301b6). Either this theory actually belongs to the historical Hippias as it is being said or not, it is strictly criticizing SB. We have the same phrase with changing sūma to logos some lines later at 301e3-4: διανεκεῖ λόγῳ τῆς οὐσίας. Although this theory that can be observed as both an ontological and an epistemological theory is rejected by Socrates (301cff.), it is still against first Socrates’ onto-epistemological principles and might let us look at what is rejected as Socratic prineple. -/- 6. Knowledge is of Being The sixth principle that I think is presupposed by the first Socrates, is the 'Knowledge of Being' Principle (KB): -/- KB Knowledge is of Being. -/- This principle is obviously the source of the problem of false knowledge, a very important problem throughout Plato’s philosophy. We face this problem maybe for the first time in Euthydemus. In less than 20 Stephanus’ pages, 276-295, we are encountered with different interwoven problems about knowledge , all grounded in the problem of false opinion. Having challenged the obvious possibility of telling lies at 283e, at 284 Euthydemus discusses it saying that the man who speaks is speaking about 'one of those things that are (ἓν μὴν κἀκεῖνό γ᾽ ἐστὶν τῶν ὄντων)' (284a3) and thus speaks what is (λέγων τὸ ὄν) (a5). He must necessarily be saying truth when he is speaking what is because he who speaks what is (τὸ ὄν) and the things that are (τὰ ὄντα) speaks truth (τἀληθῆ λέγει) (a5-6). This is based on Parmenidean principle of the impossibility of being of not being which Euthydemus restates (284b3-4) and we mentioned discussing BO principle above. The things that are not are nowhere (οὐδαμοῦ) and there is no possibility for anyone to do (πράξειεν) anything with them because they must be made as being before anything else can be done, which is impossible (b5-7). The words, then, are of things that exist (εἰσὶν ἑκάστῳ τῶν ὄντων λόγοι) (285e9) and as they are (ὡς ἔστιν) (e10). The result is that no one can speak of things as they are not. It is this impossibility of false speach that is extended to thinking (δοξάζειν) at 286d1 and leads to the impossibility of false opinion (ψευδής … δόξα) (286d4). The general conclusion is asserted at 287a extending this impossibility to actions and making any kind of mistake. Not only knowledge is of being but speech, thought and action are of being simply because of the fact that nothing can be of not being. -/- B. First Socrates’ Principles in the Middle Period Dialogues Out of what were presupposed or criticized mostly in five dialogues, Euthyphro, Euthydemus, Hippias Major, Laches and Charmides, we tried to draw the first Socrates’ principles. Our inquiry here is directed to find out the fate of these principles in the three dialogues of the middle period, Meno, Phaedo and Republic. To do this, first we ought to check the situation of Socratic circle in these dialogues. The Socratic circle that was predominant in the early dialogues, does not look like a circle here anymore though they certainly have some features in common. Meno, Phaedo and Republic II-X are not committed to the principles of the circle and the whole circle in disrupted in them. The difference of the two Socrateses towards acquiring knowledge is obvious. The Socrates of Meno, Phaedo and Republic is evidently more self-confident that he can get to some truths during his arguments as he does. They are in their first appearance, as almost all other dialogues, committed to Socrates’ disavowal. All of them try to keep the shape of the Socratikoi Logoi genre, which is committed to the historical Socrates’ way of discussion; a dramatic personage who is to challenge his interlocutors, ask them and refuse the answers. Nevertheless, the fact is that what we have in common between two groups of dialogues is mostly a dramatic structure. Whereas the first group’s arguments are based on Socrates’ disavowal and lead to no positive results, the second group is decisively going to achieve some positive results. The aim of the first Socrates was to show others that they are ignorant of what they thought they knew. The new Socrates of Meno, on the opposite, makes so much efforts to show that the slave boy has within himself true opinions (ἀληθεῖς δόξαι) about the things that he does not know (οἶδε) (85c6-7). Despite his lack of knowledge, he has true opinions nevertheless. The way from these true opinions to knowledge, as Socrates states, is not so long. These true opinions are now like a dream but 'can become knowledge of the same things not less accurate than anyone’s' (οὐδενὸς ἧττον ἀκριβῶς ἐπιστήσεται περὶ τούτων) (c11-d1), if they be repeated by asking the same questions. The most outstanding text regarding Socrates’ disavowal is Meno 98b where he explicitly claims knowledge: -/- And indeed I also speak as (ὡς) one who does not know (εἰδὼς) but is guessing (εἰκάζων). However, [about the fact] that true opinion and knowledge are different, I do not altogether expect (δοκῶ) myself to be guessing (εἰκάζειν), but if I say about anything that I know (εἰδέναι) -which about few things I say- this is one of the things that I know (οἶδα). (98b1-5) This passage is very significant about Plato’s disavowal of knowledge. There can hardly be found, I think, anywhere else in Plato’s corpus where Socrates speaks about his knowledge of something as such. He says first that he speaks as someone who does not know. This ὡς οὐκ εἰδὼς λέγω comparing with what he used to say in the first group, οὐκ οἶδα, has this added ὡς. Socrates does not claim strongly anymore that he does not know anything but speaks only as someone who does not know. He needs this ὡς not only because he is going to accept that he does know some, though few, things immediately after this sentence, but also because he needs his previous disavowal to be loosened from Meno on. He does not merely say here that he knows something. It is then different from the examples mentioned before which could be taken as idiomatic or at least not emphatic. Socrates’ remarkable emphasis on distinguishing εἰδέναι from εἰκάζειν departs it from all other passages where he says only he knows something. Moreover, he claims definitely that he has knowledge about few (ὀλίγα) things. From the early to the middle dialogues, Socrates’ attitude to knowledge has totally renewed its face. He brings forth a new concept, true opinion, and he does not speak of knowledge as he used to before; the rough, perfect and unachievable knowledge of the first group has turned to something more smooth, realistic and achievable. Comparing with the early dialogues that did not set out from the first to reach positive results, the middle ones are extraordinarily and surprisingly positive and hence destroy the basis of the Socratic circle. The questions and answers are purposely directed to some specific new theories; most of them are not directly related to the topics or the main questions of the dialogues. They are suggested when Socrates draws the attention of the interlocutor away from the main question because of the necessity of another discussion. Even if the main question remains unanswered, we have still many positive theories, prominently of metaphysical type. These theories are so abundant and dominant in these dialogues, especially Phaedo and Republic, that one might think that they may appear to be arbitrarily sandwiched in there. This helps dialogues to keep their original Socratic structure while they are suggesting new theories. Hence, the Socratic question of 'what is X?', though is still used to launch the discussion, is loosened and is forgotten for most part of the dialogues. Meno that has first a differently formulated question, 'can virtue be taught?', leads finally to the Socratic question of 'What is virtue?'. Phaedo is dedicated to the demonstration of the immortality of soul and the life after death without having a central Socratic question. The case of Republic is more complicated. The first book, on the one hand, has all the criteria of a Socratic circle: its 'what is justice?' question, Socrates’ strong disavowal (e.g. 337d-e), his rejection of all answers and coming back to the first point without finding out any answer. This Book, considered alone, is a perfect Socratic dialogue, as many scholars regard it as early and separated from other books. The books II-X are, on the other hand, far from implementing a Socratic circle. They have still the 'what is justice?' question as their incentive leading question, but they are, in most of the positive doctrines and methods that encompass the main parts, ignoring the question. Even these books that, I believe, are the farthest discussions from the Socratic circle are so cautious not to break the Socratic structure of the dialogue as long as it is possible. What is changed is not the structure of the dialogue but the ontological and epistemological grounds based on which new theories are suggested. -/- 1. Knowledge of the Good We can clearly see in the second group of dialogues that the KWX principle loses the place it had before in our first group. It is not, of course, rejected, but still we cannot say that it has the same situation. KWX that was based on Socratic question, as we discussed before, was the leading principle of the first Socrates’ epistemology and of the highest position. Other epistemological principles, SK directly and BE indirectly, were relying on Socratic question and therefore on KWX. Such a position does not belong to KWX from Meno on. What makes it different in the second Socrates is another principle that is needed it not only as its complementary principle but also as what is more fundamental. Plato, then, does not reject KWX in this period, but, it seems, he transcends to another more basic principle; a principle we shall call the principle of 'Knowledge of the Good' (KG): -/- KG Knowledge of X requires knowledge of the Good. -/- Whereas all the dialogues of our first group are free from any discuscon about KG, it bears a very important role in the second group so as becomes the superior principle of knowledge in Republic. Trying to solve the problem of teachability of virtue, Socrates says that it can be teachable only if it is a kind of knowledge because nothing can be taught to human beings but knowledge (ἐπιστήμην) (Meno 87c2). The dilemma will be, then, whether virtue is knowledge or not (c11-12) and since virtue is good, we can change the question to: whether is there anything good separate from knowledge (εἰ μέν τί ἐστιν ἀγαθὸν καὶ ἄλλο χωριζόμενον ἐπιστήμης) (d4-5). Therefore, the conclusion will be that if there is nothing good which knowledge does not encompass, virtue can be nothing but knowledge (d6-8). What let us discuss KG as an epistemological principle for the second Secrates is the relation he tries to establish between knowledge and the Good which, though is alongside with the mentioned thesis and the idea of virtue as knowledge, goes much deeper inside epistemology asking to regard the Good as the basis of knowledge. The effort of Phaedo cannot succeed in establishing the Good as the criterion of explanation and knowledge since, I think, it needs a far more complicated ontology of Republic where Socrates can finally announce KG. What is said in Republic is totally compatible with Phaedo 99d–e and the metaphor of watching an eclipse of the sun. In spite of the fact that we do not have adequate knowledge of the Idea of the Good, it is necessary for every kind of knowledge: 'If we do not know it, even if we know all other things, it is of no benefit to us without it' (505a6-7). The problem of our not having sufficient knowledge of the Idea of Good is tried to be solved by the same method of Phaedo 99d-e, that is to say, by looking at what is like instead of looking at thing itself (506d8-e4). It is this solution that leads to the comparison of the Good with sun in the allegory of Sun (508b12-13). What the Good is in the intelligible realm corresponds to what the sun is in the visible realm; as sun is not sight, but is its cause and is seen by it (b9-10), the Good is so regarding knowledge. It has, then, the same role for knowledge that the sun has for sight. Socrates draws our attention to the function of sun in our seeing. The eyes can see everything only in the light of the day being unable to see the same things in the gloom of night (508c4-6). Without the sun, our eyes are dimmed and blind as if they do not have clear vision any longer (c6-7). That the Good must have the same role about knowledge based on the analogy means that it must be considered as a required condition of any kind of knowledge: -/- The soul, then, thinks (νόει) in the same way: whenever it focuses on what is shined upon by truth and being, understands (ἐνόησέν), knows (ἔγνω) and apparently possesses understanding (νοῦν ἔχειν). (508d4-6) -/- Socrates does not use agathon in this paragraph and substitutes it with both aletheia and to on. He links them with the Idea of the Good when he is to assert the conclusion of the analogy: -/- That which gives truth to the objects of knowledge and the power of knowing to the knower, you must say, is the Idea of the Good: being the cause of knowledge and truth (αἰτίαν δ᾽ ἐπιστήμης οὖσαν καὶ ἀληθείας) so far as it is known (ὡς γιγνωσκομένης μὲν διανοοῦ). (508e1-4) Knowledge and truth are called goodlike (ἀγαθοειδῆ) since they are not the same as the Good but more honoured (508e6-509a5). KG, which had been implicitly contemplated and searched in Phaedo, is now explicitly being asserted in Republic. As what was quoted clearly proves, this principle is the very one which we can observe as the most fundamental principle of the second Socrates in Republic, corresponding to the role KWX had in the first Socrates. The Form of the Good in Republic, of which Santas speaks as 'the centerpiece of the canonical Platonism of the middle dialogues, the centerpiece of Plato’s metaphysics, epistemology, ethics and …' (1983, 256) much more can be said. Plato’s Cave allegory in Book VIII dedicates a similar role to the Idea of the Good. The Idea of the Good is there as the last thing to be seen in the knowable realm, something so important that its seeing equals to understanding the fact that it is the cause of all that is correct and beautiful (517b). Producing both light and its source in visible realm, it controls and provides truth and understanding in the intelligible realm (517c). -/- 2. Tripartite Epistemology BE is thoroughy rejected in the second Socrates and substituted by its opposite, the principle of 'Tripartite Epistemolgy' (TE): -/- TE Opinion is an epistemological status between knowledge and ignorance. BE of the first Socrates was denying any third way besides knowledge and ignorance which was the foundation of Socratic circle without which Socrates could not reject his interlocutors’ possessing any kind of knowledge. We cannot say, however, that the first Socrates had a third epistemological status in mind but rejected it. Such a status was unacceptable for him so that one can say that he would reject any kind of such status if suggested. There were only two possibilities about knowledge: either one knows something or he does not know it. TE, thus, was not the first Socrates’ discovery and, I think it is not the second Socrates’discovery. All we can see in our second group of dialouges is that he uses this principle as an already demonstrated one. Having examined the slave boy in Meno for the prupose of showing the working of recollection, it truns out that he has some opinions in him while he still does not know. Without trying to prove it, Socrates takes this as the distinction between knowledge and opinion: -/- So, he who does not know (οὐκ εἰδότι) about what he does not know (περὶ ὧν ἂν μὴ εἰδῇ) has within himself true opinions (ἀληθεῖς δόξαι) about the same things he did not know (περὶ τούτων ὧν οὐκ οἶδε) (85c6-7). -/- The same distinction is set between ὀρθὴν δόξαν and ἐπιστήμην at 97b5-6 ff. (also cf. 97b1-2: ὀρθῶς μὲν δοξάζων … ἐπιστάμενος). He connects then their difference to the myth of Daedalus, the statue that would run away and escape. So are true opinions, not willing to remain long in mind and thus not worthy until one ties them down by αἰτίας λογισμῷ (98a3-4). Socrates says that this tying down is anamnesis. We face, in Phaedo, the same relation is settled between knowledge as the process of being tied down and getting the capability to give an account, on the one hand, and anamnesis, on the other hand. When a man knows, he must be able to give an account of what he knows (Phaedo 76b5-6) and since not all people are able to give such an account, those who recollect, recollect what once they learned (76c4). Although the distinction between knowledge and opinion is not explicitly used in Phaedo, referring to the parallel link between knowledge plus account and anamnesis in Phaedo and Meno, one can say that those who cannot recollect are not able to give account and, thus, are in a state of opinion. What is said at Phaedo 84a, though not yet a definite distinction between knowledge and opinion, makes a distinction between their objects so as we can agree that it is presupposed. The soul of the philosopher, Socrates says, follows reason, stays with it forever and contemplates the divine, which is not the object of opinoin (ἀδόξαστον) (84a8, cf. Meno 98b2-5). The distinction of knowledge and belief in Republic has a significant difference with what we discussed in Meno and Phaedo since the distinction of Meno was based on anamnesis and thus more an epistemological distinction. Even in Phaedo that we do not have any elaborate discussion about the distinction, the only hint to the matter at 76 is bound to the theory of anamnesis. In addition to the relation of the distinction with this theory, there is another evidence that does not permit us to consider the distinction as an ontological distinction. Let’s see Meno 85c6-7: -/- So, he who does not know about what he does not know has within himself true opinions about the same things he did not know (τῷ οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ ἔνεισιν ἀληθεῖς δόξαι περὶ τούτων ὧν οὐκ οἶδε). (85c6-7) -/- This last sentence persists that the objects of knowledge and true opinion are the same. What Socrates is to say here is that whereas he does not know X he has true opinion about the same X. I think Socrates’ sentence that the slave boy οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ and his restatement of it by saying περὶ τούτων ὧν οὐκ οἶδε is because he wants to emphasize that the slave boy who does not know, has true opinion about the same thing. Socrates could say this just with using τούτων and there would be no necessity to bring περὶ ὧν ἂν μὴ εἰδῇ for οὐκ εἰδότι if he did not want to emphasize. -/- 3. Tripartite Ontology The distinction between knowledge and true opinion in Republic, on other side, has nothing to do with recollection, but is based on an ontological principle, 'Tripartite Ontology' (TO): -/- TO There are things that both are and are not. -/- This principle I confine, among our three dialogues of the second group, to Republic not extended to Meno and Phaedo, is obviously the opposite of BO. Speaking about the lovers of sights and sounds in the fifth book, Socrates distinguishes them from philosophers because their thought is unable to understand the nature of beautiful itself besides beautiful things (476a6-8) and hence they can only have opinions. The philosopher who, on the contrary, believes in beautiful itself and can distinguish it from beautiful things (476c9-d3), has knowledge because he knows, contrasting others who have opinion because they only opine (d5-6). Since those whose knowledge were degraded as opinion will complain about Socrates’ such calling their thought, he provides them the following argument (476e7-477b1): -/- - Does the person who knows, knows (γιγνώσκει) something (τὶ) or nothing (οὐδέν)? - He knows something (τί). - Something that is (ὂν) or is not (οὐκ ὄν)? - Something that is (ὂν) for how could something that is not be known (πῶς γὰρ ἂν μὴ ὄν γέ τι γνωσθείη)? - Then we have an adequate grasp of this: No matter how many ways we examine it, what completely is (παντελῶς ὂν) is completely knowable (παντελῶς γνωστόν) and what is in no way (μὴ ὂν δὲ μηδαμῇ) is in every way unknowable (πάντῃ ἄγνωστον). - A most adequate one. - Good. Now, if anything is such as to be and also not to be (ὡς εἶναί τε καὶ μὴ εἶναι), won’t it be intermediate (μεταξὺ) between what purely is (εἰλικρινῶς ὄντος) and what in no way is (μηδαμῇ ὄντος)? - Yes, it’s intermediate. - Then as knowledge (γνῶσις) is set over what is (τῷ ὄντι), while ignorance (ἀγνωσία) is of necessity set over what is not (μὴ ὄντι) mustn’t we find an intermediate between ignorance (ἀγνοίας) and knowledge (ἐπιστήμης) to be set over the intermediate, if there is such a thing? -/- From the third status of being we must reach to the third status of knowledge. The simple reading of this text can be an existential reading, taking the "is" of the mentioned sentences as existence. The problem is that when it is said that there is something that both is and is not reading "is" existentially, it sounds too bizarre to be acceptable. It cannot easily be understandable to have something as both existent and non-existent at the same time. This problem arose so many debates and led many scholars to reject the existential reading of "is" and suggest some other readings like predicative or veridical readings. I think though Plato’s complicated ontology of Republic cannot be correctly understood by a simple existential reading, this "is" cannot be free from existential sense of being and, thus, cannot be reduced to just a predicative or veridical sense of being. -/- 4. Bound Knowledges In addition to KG, the Good is also the basis of another principle in the second Socrates, namely the principle of 'Bound Knowledge' (BK): -/- BK Knowledge of everything is bound to the knowledge of the Good. -/- We distinguished BK from KG because we want to insist, in BK, on what had not been insisted upon in KG, that is, the binding role that the Good plays in the second Socrates, contrasting the absence of such a role in the first Socrates. Socrates remembers, in Phaedo, his wonderful keen on natural philosophers' wisdom when he was young. The origin of this enthusiasm was Socrates’ hope to know the cause of everything as they used to claim. When he was searching the matters of his interest on their basis, Socrates says, he became convinced he can get no acceptable answer from them and found himself blind even to the things he thought he knew before. One day he hears Anaxagoras’ theory that 'it is Mind that arranges and is the cause of everything (ὡς ἄρα νοῦς ἐστιν ὁ διακοσμῶν τε καὶ πάντων αἴτιος)' (Phd. 97c1-2 cf. DK, Fr.15.8-9, 11-12, 12-14) and thinks that he can finally find what he has always expected, i.e. something which can explain all things. What I intend to show here is that what makes Socrates hopeful is that Anaxagoras’ theory tries 1) to explain all things by one thing and 2) this explanation is understood by Socrates as if it is based on the concept of the Good. That Socrates was searching for one explanation for all things can be proved even from what he has been expecting from natural philosophers. The case is, nonetheless, more clearly asserted when he speaks about Anaxagoras’ theory. In addition to διακοσμῶν τε καὶ πάντων αἴτιος of 97c2 mentioned above, we have τὸ τὸν νοῦν εἶναι πάντων αἴτιον (c3-4) and τόν γε νοῦν κοσμοῦντα πάντα κοσμεῖν (c4-5) all emphasizing on the cause of all things (πάντα) which can clearly prove that one of the reasons which caused Socrates to embrace it delightfully was its claim to provide the cause of all things by one thing. Another reason was that Anaxagoras’ Mind, at least in Socrates’ view, was attempting to explain everything by the concept of the Good. This connection between Mind and Good belongs more to the essential relation they have in Socrates’ thinking than Anaxagoras’ theory because there are almost nothing about such a relation in Anaxagoras. The reason for Socrates’ reading can be that Mind is substantially compatible with Socrates’ idea of the relation between good and knowledge. Both the thesis 'no one does wrong willingly' and the theory of virtue as knowledge we pointed to above are evidences of this essential relation. Nobody who knows that something is bad can choose or do it as bad. The reason, when it is reason, that means when it is as it should be, when it is wise or when it knows, works only based on good-choosing. In this context, when Socrates hears that Mind is considered as the cause of everything, it sounds to him like this: good should be regarded as the basis of the explanation of all things. We see him, thus, passing from the former to the latter without any proof. This is done in the second sentence after introducing Mind: -/- I thought that if this were so, the arranging Mind would arrange all things and put each thing in the way that was Best (ὅπῃ ἂν βέλτιστα ἔχῃ). If one then wished to find the cause of each thing by which it either perishes or exists, one needs to find what is the best way (βέλτιστον αὐτῷ ἐστιν) for it to be, or to be acted upon, or to act. On these premises then it befitted a man to investigate only, about this and other things, what is the most excellent (ἄριστον) and best (βέλτιστον). The same man must inevitably also know what is worse (χεῖρον), for that is part of the same knowledge. (97c4-d5) This passage is a good evidence of Socrates’ leap from Anaxagoras’ Mind to his own concept of the Good that can explain why Socrates found Anaxagoras theory after his own heart (97d7). Mind is welcomed because of its capability for explanation on the basis of good to 'explain why it is so of necessity, saying which is better (ἄμεινον), and that it was better (ἄμεινον) to be so' (97e1-3). What Socrates thought he had found in Anaxagoras can indicate what he had been expecting from natural scientists before. Socrates could not be satisfied with their explanations because they were unable to explain how it is the best for everything to be as it is. It can probably be said, then, that it was the lack of the unifying Good in their explanation that had disappointed him. We must insist that we are discussing what Socrates thought that Anaxagoras’ theory of Mind should have been, not about Anaxagoras’ actual way of using Mind. Phaedo 97c-98b, is not about what Socrates found in Anaxagoras but what he thought he could find in it. On the contrary, it should also be noted that it was not this that was dashed at 98b, but Anaxagoras’ actual way of using Mind. It was Anaxagoras’ fault not to find out how to use such an excellent thesis (98b8-c2, cf. 98e-99b). Socrates gives an example to show how not believing in 'good' as the basis of explanation makes people be wanderers between different unreal explanations of a thing. His words δέον συνδεῖν (binding that binds together) as a description for the Good we chose as the name of BK principle: They do not believe that the truly good and binding binds and holds them together (ὡς ἀληθῶς τὸ ἀγαθὸν καὶ δέον συνδεῖν καὶ συνέχειν οὐδὲν οἴονται). (99c5-6) -/- Having in mind Plato’s well-known analogy of the sun and the Good at Republic 508-509, we can dare to say that his warning of the danger of seeing the truth directly like one watching an eclipse of the sun in Phaedo (99d-e) is more about the difficulty of so-called good-based explanation than its insufficiency, a difficulty which is precisely confirmed in Republic (504e-505a, 506d-e). Moreover, BK is asserted in a more explicit way in the Republic, where the Good is considered not only as a condition for the knowledge of X, as was noted above discussing KG, but also as what binds all the objects of knowledge and also the soul in its knowing them. At Republic VI, 508e1-3, when Socrates says that the Form of the Good 'gives truth to the things known and the power to know to the knower (τοῦτο τοίνυν τὸ τὴν ἀλήθειαν παρέχον τοῖς γιγνωσκομένοις καὶ τῷ γιγνώσκοντι τὴν δύναμιν ἀποδιδὸν)', he wants to set the Good at the highest point of his epistemological structure by which all the elements of this structure are bound. This binding aspect of the Good is by no means a simple binding of all knowledges or all the objects of knowledge, but the most complicated kind of binding as it is expected from the author of the Republic. The kind of unity the Good gives to the different knowledges of different things is comparable with the unity which each Form gives to its participants in Republic: as all the participants of a Form are united by referring to the ideas, all different kinds of knowledge are united by referring to the Good. If we observe Aristotle's assertion that for Plato and the believers of Forms, the causative relation of the One with the Forms is the same as that of the Forms with particulars (e.g. Metaphysics 988a10-11, 988b4), that is to say the One is the essence (e.g., ibid, 988a10-11: τοῦ τί ἐστὶν, 988b4-6: τὸ τί ἢν εἶναί) of the Forms besides his statement that for them One is the Good (e.g., ibid, 988b11-13) the relation between the Good and unity may become more understandable. Since the quiddity of the Good (τί ποτ᾽ ἐστὶ τἀγαθὸν) is more than discussion (506d8-e2), we cannot await Socrates to tell us how this binding role is played. All we can expect is to hear from him an analogy by which this unifying role is envisaged, the sun. The kind of unity that the Good gives to the knowledge and its objects in the intelligible realm is comparable to the unity that the sun gives to the sight and its objects in the visible realm (508b-c). The allegory of Line (Republic VI, 509d-511), like that of the Sun, tries to bind all various kinds of knowledges. The hierarchical model of the Line which encompasses all kinds of knowledge from imagination to understanding can clearly be considered as Plato’s effort to bind all kinds of knowledges by a certain unhypothetical principle. The method of hypothesis starts, in the first subsection of the intelligible realm, with a hypothesis that is not directed firstly to a principle but a conclusion (510b4-6). It proceeds, in the other subsection, to a 'principle which is not a hypothesis' (b7) and is called the 'unhypothetical principle of all things' (ἀνυποθέτου ἐπὶ τὴν τοῦ παντὸς ἀρχὴν) (511b6-7). This παντὸς must refer not only to the objects of the intelligible realm but to the sensible objects as well. Plato does posit, therefore, an epistemological principle for all things, a principle that all things are, epistemologically, bound and, thus, unified by. -/- 5. Bound Beings The ontological aspect of BK we shall call the principle of 'Bound Beings' (BB): -/- BB Being of all things are bound by the Good. -/- We saw in our principle of Split Being (SB) how the first Socrates was criticized because of his approach to split being and separate each thing from other things. The principle of Bound Beings intends to make the things more related, a duty which is done again by the Good. In the allegory of Sun, there are two paragraphs that evidently and deliberately extend the binding role of the Good to the ontological scene: -/- You will say that the sun not only makes the visible things have the ability of being seen but also coming to be, growth and nourishment. (509b2-4) -/- This clearly intends to remind the ontological role the sun plays in bringing to being all the sensible things in order to display how its counterpart has the same role in the intelligible realm (b6-10): -/- Not only the objects of knowledge (γιγνωσκομένοις) owe their being known (γιγνώσκεσθαι) to the Good, but also their existence (τὸ εἶναί) and their being (οὐσίαν) are due to it, though the Good is not being but superior to it in rank and power. That the Good is here represented as responsible for being of things in addition to their being known means, in my opinion, that Plato wants to posit BB in addition to BK. The allegory of Cave at the very beginning of the seventh Book (514aff.) can be taken as another evidence. The role of the Good, one might say, is confined to the intelligible realm because it is asserted that the role the Good plays in this realm is corresponding to that of the sun in the visible realm. The fact that Plato wants to observe the Good also as the ontological cause of the sensible things is obvious from his saying, in the allegory of Cave, that the Form of the Good 'produces light and its source (τὸν τούτου κύριον) [i.e. the sun] in the visible realm' (517c3). We can conclude, then, that the ontological function of the Good is not confined to the intelligible realm in which it is the lord and provides truth and understanding (c3-4) because it is also responsible to produce τὸν κύριον of light. 6. Proportionality of Being and Knowledge Insofaras BE and BO principles of the first Socrates gave way to TE and TO principles of the second Socrates, we cannot expect him to preserve KB in the same way as it was in the first Socrates. The new tripartite ontology and epistemology necessitates some modifications in KB which results in the principle of 'Proportionality of Being and Knowledge' (PBK): -/- PBK To every class of being there is a proportionate category of knowledge. -/- This principle, of course, does not entail the refutation of KB and thus is not kind of rejecting PBK but only a more complicated version of it. Based on PBK, we can still agree that knowledge is of being (KB) but the issue is that since none of the concepts of knowledge and being in the second Socrates are as simple as they were for the first Socrates, we need a more complicated principle for their relation here. Although from Meno 97a where the distinction of knowledge and true opinion is drawn out in the second group of the dialogues, we can expect a new relation, it is articulated in its most complete way in Republic and specifically in the allegory of Line. All the beings are divided there hierarchically to four classes, to each of them belongs a class of knowledge: imagination to images, belief to the sensible things (more correctly: the things of which they[in previous class] were images (ᾧ τοῦτο ἔοικεν)), thought to mathematical objects (?) and understanding to the Forms and the first principle. The degree of clarity that each of the classes of knowledge shares in (σαφηνείας ἡγησάμενος μετέχειν) is proportionate to the degree that its object shares in truth (ἀληθείας μετέχει). (511e2-4) -/- Conclusion From the six onto-epistemilogical principles of the first Socrates, four principles turn to their opposite in the middle period dialogues. While bipolar epistemology and ontology of the early dialogues give place to tripartite epistemology in the middle period dialogues and tripartite ontology in Republic, the split knowledge and being of the first Socrates are inclined to be substituted by bound knowledges and bound beings in the second Socrates and specifically in Republic. Not all our system of principles in this article is necessarily determinative. Either they are rightly formulated or not, our result would not be vulnerable if we accept that 1) making the distinction of knowledge and belief, 2) accepting the being of not being and 3) trying to bind both being and knowledge by the concept of the Good happens only in middle period dialogues, having been absent in the early ones. These are the favourite results all those somehow arbitrary and even oversimplified principles were to illustrate; that there is kind of a development in the epistemological as well as the ontological grounds of Plato’s philosophy. -/- Notes . (shrink)

In Roman rhetoric, contrarium was variably considered either a figure of speech or an argument. The paper examines the logical pattern of this type of argument, which according to Cicero is based on a third Stoic indemonstrable syllogism: $$ \neg ({\hbox{p}} \wedge {\hbox{q}});<$> <$>{\hbox{p}} \to \neg {\hbox{q}}{\hbox{.}} $$ The persuasiveness of this type of argument, however, vitally depends on the validity of the alleged ‹incompatibility’ forming its major premiss. Yet this appears to be the argument’s weak (...) point, as the ‹incompatibilities’ employed generally hold for the most part only, and are reducible to topical argument schemes. This is why in practical usage such arguments are most often phrased as rhetorical questions, the persuasive force of which, enhanced by certain strategical maneuverings and fallacies, makes the audience swallow the argument. (shrink)

The aim of this investigation is to explore the role of argumentation schemes in enthymeme reconstruction. This aim is pursued by studying selected cases of incomplete arguments in natural language discourse to see what the requirements are for filling in the unstated premises and conclusions in some systematic and useful way. Some of these cases are best handled using deductive tools, while others respond best to an analysis based on defeasible argumentations schemes. The approach is also shown to work (...) reasonably well for weak arguments, a class of arguments that has always been difficult to analyze without the principle of charity producing a straw man. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 36.3 (2003) 223-248 [Access article in PDF] Probabilities, Signs, Necessary Signs, Idia, and Topoi:The Confusing Discussion of Materials for Enthymemes in the Rhetoric Brad McAdon This essay examines three groups of "sources" or "materials" of enthymemes in Aristotle's Rhetoric. According to the text of the Rhetoric, enthymemes are derived from, among other things, probabilities, signs, and necessary signs, and/or from the topics, and/or from (...) idia as the following table indicates.1The Rhetoric does not explain any relationships that may exist between these different sources (or materials) from which enthymemes are said. This problem, as I am framing it, is two-fold: First, these different conceptions of materials from which enthymemes are said are never reconciled into a coherent account (or theory) in the Rhetoric. Rather, each conception of materials for the enthymeme is presented in a way that obscures, rather than facilitates, our understanding of the materials of enthymemes in the Rhetoric. Moreover, when Rhetoric 2.22-23 and its textual contexts are compared to 1.2 and its textual contexts, several differences will emerge [End Page 223] in respect to the nature of the materials of enthymemes and the distinctions in enthymemes that further cloud our understanding of the text. Second, many contemporary commentators place more emphasis on the dialectical aspects of rhetoric than the demonstrative. For while rhetoric is said to be closely related to dialectic in important ways in the early portions of the Rhetoric (especially 1.1-2), there are, arguably, more similarities between the materials of enthymemes in the Prior and Posterior Analytics (and thus demonstrative argument) than in the Topics (and dialectical argument). This suggests that the discussion of the materials of enthymemes in the Rhetoric is more demonstrative in nature (or at least in emphasis) than dialectical, and I hope to demonstrate that this is the case.As far as I can tell, Grimaldi's discussions of the "Eikota and semeia" (1972, 104-15) and "The topoi" (115-35) are the only contemporary attempts to explicitly address the relationship between probabilities and signs and the topoi in the Rhetoric. 2 Grimaldi's account is confusing in many respects. For example, in addition to understanding the idia as topoi, he claims that "[w]hen Aristotle has presented us with the sources of the enthymeme, eikota and semeia, and told us that they are the premises of enthymematic reasoning (A3, 59a7-10) the question which immediately arises is where does the rhetor turn for the material which will provide him with such eikota and semeia. The answer is: the topics" (115). Yet, a little further down the same page, he claims that "the topics are sources, or loci, both particular and general, to which one must have recourse in constructing probable argumentation by enthymeme in an effort to effect pistis" (115). So, in effect, Grimaldi claims that probabilities and signs are the sources of enthymemes and then that the topics are the sources of probabilities and signs, 3 but, as demonstrated above, the text of the Rhetoric clearly claims that the topoi are the sources of enthymemes just as probabilities, signs, and necessary signs are sources of enthymemes. Grimaldi fails to address or even acknowledge this. Rather, in his attempt to maintain the unity of the text of the Rhetoric, he has advanced this working relationship between eikota and se-meiaand the topoi in what he claims is a consistent theory in the Rhetoric concerning the relationship of eikota and se-meia (and tekme-ria)to the topoi that, I will argue, is not supported by the text as Grimaldi suggests. More recently, Robin Smith (1989 and 1997) provides carefully informed commentary on some of these terms—topos, idia, eikos, se-meia, and tekme-ria—but, and this is not his purpose, he does not provide a discussion that explicitly examines how (or if) these different terms relate to one another as sources of enthymemes. Thus, this essay is an attempt to explore and succinctly articulate the problems with the... (shrink)

In this paper, it is argued that the most fruitful approach to developing normative models of argument quality is one that combines the argumentation scheme approach with Bayesian argumentation. Three sample argumentation schemes from the literature are discussed: the argument from sign, the argument from expert opinion, and the appeal to popular opinion. Limitations of the scheme-based treatment of these argument forms are identified and it is shown how a Bayesian perspective may (...) help to overcome these. At the same time, the contributions of the standard scheme-based approach are highlighted, and it is argued that only a combination of the insights of different traditions will yield a complete normative theory of argument quality. (shrink)

An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, (...) preferences may be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog. (shrink)

Argumentation mining is an application of natural language processing (NLP) that emerged a few years ago and has recently enjoyed considerable popularity, as demonstrated by a series of international workshops and by a rising number of publications at the major conferences and journals of the field. Its goals are to identify argumentation in text or dialogue; to construct representations of the constellation of claims, supporting and attacking moves (in different levels of detail); and to characterize the patterns of (...) reasoning that appear to license the argumentation. Furthermore, recent work also addresses the difficult tasks of evaluating the persuasiveness and quality of arguments. Some of the linguistic genres that are being studied include legal text, student essays, political discourse and debate, newspaper editorials, scientific writing, and others. The book starts with a discussion of the linguistic perspective, characteristics of argumentative language, and their relationship to certain other notions such as subjectivity. Besides the connection to linguistics, argumentation has for a long time been a topic in Artificial Intelligence, where the focus is on devising adequate representations and reasoning formalisms that capture the properties of argumentative exchange. It is generally very difficult to connect the two realms of reasoning and text analysis, but we are convinced that it should be attempted in the long term, and therefore we also touch upon some fundamentals of reasoning approaches. Then the book turns to its focus, the computational side of mining argumentation in text. We first introduce a number of annotated corpora that have been used in the research. From the NLP perspective, argumentation mining shares subtasks with research fields such as subjectivity and sentiment analysis, semantic relation extraction, and discourse parsing. Therefore, many technical approaches are being borrowed from those (and other) fields. We break argumentation mining into a series of subtasks, starting with the preparatory steps of classifying text as argumentative (or not) and segmenting it into elementary units. Then, central steps are the automatic identification of claims, and finding statements that support or oppose the claim. For certain applications, it is also of interest to compute a full structure of an argumentative constellation of statements. Next, we discuss a few steps that try to 'dig deeper': to infer the underlying reasoning pattern for a textual argument, to reconstruct unstated premises (so-called 'enthymemes'), and to evaluate the quality of the argumentation. We also take a brief look at 'the other side' of mining, i.e., the generation or synthesis of argumentative text. The book finishes with a summary of the argumentation mining tasks, a sketch of potential applications, and a—necessarily subjective—outlook for the field. Table of Contents: Preface / Acknowledgments / Introduction / Argumentative Language / Modeling Arguments / Corpus Annotation / Finding Claims / Finding Supporting and Objecting Statements / Deriving the Structure of Argumentation / Assessing Argumentation / Generating Argumentative Text / Summary and Perspectives / Bibliography / Authors' Biographies / Index. (shrink)

This mainly historical paper provides a comprehensive discussion of the (heretoforth neglected) evidence of Peripatetic syllogistic in Sextus Empiricus. The paper sets out to show that it is likely that in Sextus (and Apuleius) there is valuable evidence of a transitional period in later ancient logic that is marked out as such by a number of characteristics, which include the following: (i) A Peripatetic term ‘categorical syllogism’ is newly in use, but no term ‘hypothetical syllogism’ has been established yet. (...) (ii) Stoic and Peripatetic logic are treated as complementing each other. (iii) The reversion of quantified propositions from predicate-subject to subject-predicate formulation is still fairly new. (iv) The so-called crocodile example is used to show that induction lacks the feature of concluding by necessity that is a defining mark of Aristotelian syllogisms. (v) The use of the expression katholikê protasis for categorical universal premise-propositions is distinctive of the period. (vi) The argument forms displayed by Sextus’ three examples appear to be indirectly related to the soon-to-appear Platonist hypothetical syllogistic. (vii) There are parallels that suggest that Sextus’ source belongs to the same historical period of logic as Apuleius’ source and as some probably recent source of Alexander of Aphrodisias’ Prior Analytics commentary (that is presented along with some later views and arguments, which may include Alexander’s own). Small differences between the three authors show that Sextus did not draw from the Greek handbook that was Apuleius’ source. (shrink)

In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed (...) formalization of arguments than is available with abstract argumentation, we can turn to structured argumentation, which is the topic of this special issue of Argument and Computation. In structured argumentation, we assume a formal language for representing knowledge and specifying how arguments and counterarguments can be constructed from that knowledge. An argument is then said to be structured in the sense that normally, the premises and claim of the argument are made explicit, and the relationship between the premises and claim is formally defined (for instance, using logical entailment). In this introduction, we provide a brief overview of the approaches covered in this special issue on structured argumentation. (shrink)

This book investigates the role of inference in argumentation, considering how arguments support standpoints on the basis of different loci. The authors propose and illustrate a model for the analysis of the standpoint-argument connection, called Argumentum Model of Topics. A prominent feature of the AMT is that it distinguishes, within each and every single argumentation, between an inferential-procedural component, on which the reasoning process is based; and a material-contextual component, which anchors the argument in the interlocutors’ (...) cultural and factual common ground. The AMT explains how these components differ and how they are intertwined within each single argument. This model is introduced in Part II of the book, following a careful reconstruction of the enormously rich tradition of studies on inference in argumentation, from the antiquity to contemporary authors, without neglecting medieval and post-medieval contributions. The AMT is a contemporary model grounded in a dialogue with such tradition, whose crucial aspects are illuminated in this book. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.2 (2001) 93-112 [Access article in PDF] Enthymemes, Common Knowledge, and Plausible Inference Douglas Walton The study of enthymemes has always been regarded as important in logic, critical thinking, and rhetoric, but too often it is the formal or mechanistic aspect of it that has been in the forefront. This investigation will show that there is a kind of plausibilistic script-based reasoning, of a kind that (...) has mainly been studied in artificial intelligence, that should have a much more important role to play in the study of enthymemes. But then curiously, as will also be shown, this plausibilistic type of reasoning was familiar in the ancient world, to the Sophists, as well as to leading philosophers such as Plato and Aristotle. By linking this ancient notion of plausibility to the modern notion used in computer science, this investigation reveals an important basis for the enthymeme that has a type of logical structure in its own right, but also has an informal aspect.An enthymeme, in current usage, is an argument that has one or more premises, or possibly a conclusion, not explicitly stated in the text, but that needs to have these propositions explicitly stated to extract the complete argument from the text. Sometimes enthymemes are described as arguments with "missing premises." That vocabulary is awkward, however, because the nonexplicit statement that needs to be added can be a conclusion, at least in a minority of cases. To make the exposition below smoother, the term nonexplicit assumption will be used to cover either the case of a nonexplicit premise or that of a nonexplicit conclusion. The problem with enthymemes is that if the nonexplicit assumptions in an argument are supposed to be propositions used by the arguer (as opposed to just the propositions needed to make the argument structurally correct, according to some standard), reasonable people can have differences of opinion on what the nonexplicit assumptions are supposed to be. The problem is that filling in the missing parts of enthymemes depends on interpreting the natural language [End Page 93] in which the argument was put forward to try to determine what the speaker meant to say.The solution to the problem comes through the recognition that enthymemes rest not only on formal (structural) criteria, but also on informal criteria. One of the most important of these informal criteria is something often called "common knowledge" (Govier 1992; Freeman 1995). But as shown below in a set of selected case studies of enthymemes, "common knowledge" is not really a kind of knowledge at all. It is really plausibility, or eikos, something well known in the ancient world and often misleadingly translated as "probability." Curiously, Aristotle's original doctrine of the enthymeme was based on this notion of plausibility. This historical fact has often been a source of puzzlement and confusion, and sometimes it has even been taken to indicate a defect or contradiction in Aristotle's treatment of the enthymeme. However, the goal of this investigation is not primarily historical. It is to work out one of the most important required steps toward a solution to the problem of enthymemes. But to do this, it is necessary to come back to the ancient notion of plausible inference. 1. The problem with enthymemes Once you have any formal theory of inference, like syllogistic, for example, you will be confronted by cases of arguments in everyday discourse that meet all the requirements for a structurally correct inference except that some part or parts, usually a premise or a conclusion, is missing. By "missing" is meant that the proposition in question has not been explicitly stated in the text of discourse, even though it may be clear enough that the speaker (writer) was relying on it, or including it, as part of the argument. The classic example is the following inference: All men are mortal; therefore, Socrates is mortal. To evaluate such an argument, surely some account of the "hidden" or "missing" assumption needs to be taken. The problem with enthymemes (Burke 1985; Gough and Tindale 1985; Hitchcock 1985) is that, if given carte... (shrink)

For several millennia now, the enthymeme has been taught, on the putative authority of Aristotle, as "a kind of syllogism" —that is, a rhetorical syllogism—that consists in a three-part unit of deductive reasoning that parallels the inductive reasoning of the example. The rhetorical syllogism is said to be imperfect or incomplete because it relies on probable or particular rather than certain or universal premises and because the speaker suppresses one premise or the conclusion, usually the major premise, leaving it with (...) only two stated terms as follows:Socrates is a manSocrates is mortalOne premise is left unstated because it is known to the members of the audience (they... (shrink)

What good is logic? -- Seventeen ways this book is different -- The two logics -- All of logic in two pages : an overview -- The three acts of the mind -- I. The first act of the mind : understanding -- Understanding : the thing that distinguishes man from both beast and computer -- Concepts, terms and words -- The problem of universals -- The comprehension and extension of terms -- II. Terms -- Classifying terms -- Categories -- (...) Predicables -- Division -- III. Material fallacies -- Fallacies of language -- Fallacies of diversion -- Fallacies of oversimplification -- Fallacies of argumentation -- Inductive fallacies -- Procedural fallacies -- Metaphysical fallacies -- Short story : love is a fallacy -- IV. Definition -- The nature of definition -- The rules of definition -- The kinds of definition -- The limits of definition -- V. Second act of the mind : judgment -- Judgments, propositions, and sentences -- What is truth? -- The four kinds of categorical propositions -- Logical form -- Euler's circles -- Tricky propositions -- The distribution of terms -- VI. Changing propositions -- Immediate inference -- Conversion -- Obversion -- Contraposition -- VII. Contradiction -- What is contradiction? -- The square of opposition -- Existential import -- Tricky propositions on the square -- Some practical uses of the square of opposition -- VIII. The third act of the mind : reasoning -- What does reason mean? -- The ultimate foundations of the syllogism -- How to detect arguments -- Arguments vs. explanations -- Truth and validity -- IX. Different kinds of arguments -- Three meanings of because -- The four causes -- A classification of arguments -- Simple argument maps -- Deductive and inductive arguments -- Combining deduction and induction : socratic method -- X. Syllogisms -- The structure and strategy of the syllogism -- The skeptics objection to the syllogism -- The empiricist's objection to the syllogism -- Demonstrative syllogisms -- How to construct convincing syllogisms -- XI. Checking syllogisms for validity -- By Euler's circles -- By Aristotle's six rules -- Barbara Celarent : mood and figure -- Venn diagrams -- XII. More difficult syllogisms -- Enthymemes : abbreviated syllogisms -- Sorites : chain syllogisms -- Epicheiremas : multiple syllogisms -- Complex argument maps -- XIII. Compound syllogisms -- Hypothetical syllogisms -- Reductio ad absurdum arguments -- The practical syllogism : arguing about means and ends -- Disjunctive syllogisms -- Conjunctive syllogisms -- Dilemmas -- XIV. Induction -- What is induction? -- Generalization -- Causal induction : Mill's methods -- Scientific hypotheses -- Statistical probability -- Arguments from analogy -- A fortiori and a minore arguments -- XV. Some practical applications of logic -- How to write a logical essay -- How to write a socratic dialogue -- How to have a socratic debate -- How to use socratic method on difficult people -- How to read a book socratically -- XVI. Some philosophical applications of logic -- Logic and theology -- Logic and metaphysics -- Logic and cosmology -- Logic and philosophical anthropology -- Logic and epistemology -- Logic and ethics. (shrink)

continent. 2.1 (2012): 29–35. Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "Politieke Poëzie: Enige aantekeningen, Poëtica bij N30 (versie 2006)." In Weerstandbeleid: Nieuwe kritiek . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. L’égalité veut d’autres lois . —Eugène Pottier The modern poem does not have form but consistency (that is sensed), no content but a problem (that is developed). Consistency + problem = composition. The problem of modern poetry is capitalism. Capitalism—which has no (...) image: the unrepresentable Idea of “everything.” The problem is that a poem cannot be justified. There is no excuse for it. Political poetry— pure poetry—has to be problematic, though not in a mannerist way. Yes, its problem is first its own problem—poetry’s existence in the same world as the newspaper—but therefore also always everybody’s problem (the problem of any world at all). The cult of the sublime points at a suspect desire for transcendence, nostalgia for paradise lost (the womb?). Melancholia of the post-. But a problem neither sorrows nor mourns, it is alive, and the fact that it is alive is the problem—the problem for death (rigidity, the status quo). Our symbols and ideologies do not hide any god: symbolic = state; imaginary = human; real = money. Problem: the possibility of communal speech (poetry) in the absence of a “we.” Or: what is a “we” that is not a collective subject (or in any case is not a volonté générale )? What is a universal history that is not a History? This work was started in the shade of the anti-globalization protests at the end of November 1999. I considered N30 to be the closure of the nineties, of my adolescence, and of the a seemingly total extinction of social desire. From the beginning I was skeptical about the alterglobalization movement as the avant-garde of a new politics, but something was happening . Maybe this event did not show that, as the slogan would have it, “another world” is possible, but for me it indicated that such possibility was at least still possible. That naked possibility is carrying forward. And if the fundamental tone of this work sounds more desperate than utopian, this is not caused by the catastrophic sequence that since 1999 has plunged us ever deeper into the right-wing nightmare—a nightmare that this work also gives an account for—but because my hope as yet remains empty. Composition . Composition is no design, but the production of an autonomous block of affects (i.e. a POEM), rhythmically subtracted from the language of a community. A poem does something. Is something. New Sentence . Choosing the non sequitur as compositional unit has the advantage that an abstract composition is subjected to the stress of concrete, social references. Where there is a sentence, there is always a world. (This does not hold necessarily for words on their own.) And where sentences collide, something akin to a textual civil war takes place. It is not about “undermining” whatever, or de-scribing the raging global civil war, but about writing social (or even: ontological) antagonism -- including all its catastrophic and utopian possibilities. Minor resistance. Why would poetry be the no protest zone par excellence? It is nothing but protest, not simply qua “content,” but in its most fundamental essence: rhythm. Rhythm is resistance against language, time, and space, and the basis of (what we will continue to call) autonomy. Rhythm starts with the anti-rhythmic caesura as Hölderlin remarked about Sophocles, a disruption of the quotidian drone. The destruction of everything that is dead inside of us. The noise of the avant-garde has never been the representation of the noise of (post)modernity (from the television or shopping mall), but the sober noise of the systematic exchange of an unbearable worldview. The poet does not describe, but looks for a way out: There is a Grain of Sand in Lambeth that Satan cannot find Nor can his Watch Fiends find it, tis translucent & has many Angles But he who finds it will find Oothoons palace, for within Opening into Beulah every angle is a lovely heaven William Blake was not mad. And there has always been only one poetry: the poetry of paradise. The principle is that there is something in art (the essentially creative element) that is disgusted by that which, unlike art, does not aim for the supreme. Wonder is not supreme, tranquility is not supreme, beauty is not supreme. Even amusement is not supreme! The supreme is supremely open, “das Einfache,/ Das Schwer zu machen ist” 1 : paradise. That is abstract. Literally. For me it is not about a concrete imagination, an idyll or utopia. There is no doubt a need for that, but it is not so much the supposed lack of imagination or ideals (human rights are ideals), but a fundamental lack of desire (human rights are no desires) that we suffer from, and from which we do not need to remove Nietzsche’s label of “nihilism.” “We.” George Oppen: “ Of Being Numerous asks the question whether or not we can deal with humanity as something which actually exists.” What is less actual than humanity? Nowadays it appears as a lifeless ideology of cynical power politics. Or as what makes one think. It is a shame to be human. The event is the caesura that defines rhythm. Writing toward the event is not the description of the event, but marking an abstract and intense space in which the event may unfold and keep itself. It is a task. “Remember that thou blesseth the day on which I seized thee, because such is thy obligation.” The event is a contraction (or a series of contractions) with its own rhythm and unique qualities. It is more than an explosion or demonstration. But at the same time less. The endless repetition of images and stories in the media points to a fear for the indeterminate and indeterminable void of the event. In the end there is nothing to see. We do not live in disaster’s shade or miracle’s light, but rather in the rhythm, which is contracted time, having little to do with omnipresent representations. For this book I did not intend a rhythm of evental representations (a narrative rhythm), but a rhythm which would be an event itself , because it draws the border between artwork and history. My desire for a direct engagement with the “extra-textual reality” has nothing to do with the representation of “rumor in the streets.” (What has less street cred than representation?) Naturally, a poem is no historical event and does not change anything. But a poem is a part of history that wants to be repeated forever, constructed in such a way that it is worthy of repetition. It is a part of desire (composition) made consistent (durable). The “historical event” flares up and burns down, and has to burn down to be effective. The leftovers are images and stories (representations), History—no event. The artwork—that is the ambition— remains event (though monumental and inefficient/inoperable). (No wonder that a historical singularity, a revolution, reminds us of a work of art; the resurrection yearns for a judgment, an affirmation; everything depends on it.) Hence the title does not summarize the book, let alone contract its “content” into a quasi-transcendental signifier. The title is juxtaposed to the book, like everything else inside the book, and in that relation it precisely forms a part of it. The ideal work is an open whole, lacking nothing but to which everything may be added. I have been interested in this “everything,” the world, or as I said above: capitalism. “Everything” is not the space for “wonder”—a code word, a shibboleth for petty bourgeois imagination (I recognize myself in the strangest things, a speaking dog, a canal, a pond standing straight—oh my god). No. The world is a social world, not YOUR world, poet. Power is number one. I will call “Dutch,” or “shitty,” whatever denies this power. That hurts, but this pain is an expression of the desire in the world to write another world, or as Blanchot says, “the other of all worlds” 2 : the world. Not as what “is there,” but rather as that which urges for an escape from what “is.” This is a testament of how radical reality has become, for me—or rather, a writing body—in a having-been-written. I am not interested in the problem of “meaning” as misunderstood by literary scholarsi: “order” in “chaos,” “symbolization.” Bullshit. What is there, hop, hope, now: the meaning of the taste in my mouth. Bullshit. I am not interested in the frustration of interpretation; I am writing for readers who do not want to interpret. I do not know how many “professional readers” will hear the music of a paragraph like: Sun. Sushi. Volvo. I hope more than I would think. There is a suggestion (or rather, an actual production) of speed and infinitive owing to the absence of plosives, i.e. articulations such as /k/, /t/, or /p/. Can you hear the slick suaveness? Driving car dark, vocal chiaroscuro of the word “sushi.” The unstressed /i/ stands in the middle of dark vowels and thus acquires its own special out of focus , like a momentary flash or brilliance—an obscure light. It is not about recognizing a story, but about avoiding any story whatsoever: the car disappears in the glow, cars and raw fish have nothing in common except their articulation in a language that brings them together, blurring them. A world appears in its disappearance. For a moment, light is a metaphor for language, though it cannot be reduced to tenor. It is not necessary to be a linguist or philosopher to hear this—a “difficult” poem all too often becomes an allegory of its own impenetrable being-language. The only demand: leave your hermeneutical fetish at home. This was no interpretation. Most shit has been stolen etcetera. That is no longer interesting. You cannot shoot the body with information and let your lawyers reclaim the bullets. So every sentence has been stolen. Also the ones “out” “of” “my” “head.” Why would I be allowed to steal from myself and not from others? Man takes what he needs to move forward. Whatever he encounters, finds in front of him, “occurs” to him. The writer as text editor, or singing pirate. Nothing new here. Important difference with for example Sybren Polet’s 4 montage technique: anti-thematicism. Most of the time ferocious citation from whatever I was reading, listening to, ended up in, and so on. I wrote chapter 12 on my laptop while watching CNN. On the air instead of en plein air . I often employed search engines to generate material. Chapter 20 offers the purest example of this. Often I stop recognizing a particular citation after some time. It is not uncommon for a stolen sentence to conform itself to the paragraph in which it finds itself. Sometimes I nearly arbitrarily replace words. Arbitrariness as a guarantee for absolute democracy. It is a poetics of the non sequitur : a conclusion that does not follow from the premises, the strange element in the discourse. A discourse of strangers. No logical, narrative, thematic unity. There is unity in speed/flight. It has to be read linearly, but not necessarily (not preferably) from beginning to end. The shortest distance between two points is a straight line, but this line precedes every point. The middle, the acceleration, comes first. A point occurs where two lines cross. It has been written from up close, at the level of the tension between sentences. Nothing to be seen from a distance: no form except the exchange of form, no geometrical or mythical meaning. You have to get in, “groping toward a continuous present, a using everything a beginning again and again” (Stein). 5 In Dutch, experimental poetry has been mainly dense: a small rectangular form filled with a maximum amount of poetic possibility. But at the moment the poem starts to relax, the anecdotical content seems to increase. This is what is called “epic”: long, narrative. I believe that an epic is more than that, in fact something completely different. An epic is “a poem including history,” 6 a long poem tied up with the life of community, that as a whole does not need to be narrative. The American poets of the twentieth century (Pound, Williams, Zukofsky, Oppen, Olson, Silliman) have put the epic back on the map by interpreting the poem itself as a map, and writing it as navigation. They have invented the experimental epic, a genre that has generated little original following in “our” poetry. N30 is the middle part—“always start in the middle”—of a trilogy, the contours of which remain as of yet unclear, although each episode investigates one of the three “ecstasies of time”—past, present, future—concerning society X. N30 concerns itself with the PRESENT: not with the description of actual facts but of the rhythm and the intense depth in which facts appear to us. Where are we? We are camping in the desert. Sometimes we are looking at the stars. As opposed to maximum density and minimal tension (a characteristic of most (post-)experimental lyricism), I have sought a minimal density and maximum tension in this book, considered as a long non-narrative prose poem. On the one hand, the minimal density is obtained by the inherent formlessness of prose, on the other hand by the conscious refusal of any active (formal, non-rhythmic) synthesis: the poem tells nothing, shows nothing, has no theme. I did not seek maximum tension either by loading the quotidian with epiphanic radioactivity (“wonder,” confirmation from above), or by means of the intensity of the linguistic structure. I want an abstract tension, but social in its abstraction, in other words, not neutralized by and subjected to Form. Instead of form (transcendent): composition (immanent). The concept is series. Ideal: every unit is necessary for the efficacy of the others and the whole, their relation is purely linear, i.e. non-hierarchic, non-syllogistic, non-discursive, non-narrative. Sentence related to sentence like paragraph to paragraph and chapter to chapter; the whole means nothing and represents nothing. Inside the sentence: syntax (Chomsky’s tree, a type of parallel circuit), outside: parataxis (coordination, an asyntactic line through language and world). I consider duration—the energy of duration (rhythm)—to be the fundament of a poem, the temporal inclination to delimit a “space.” Being as consistency, its consistency. A spatial part of time is not merely a metaphor for an inevitable trajectory, an inescapable time, something like “our time.” Not merely—because rhythm comes from language and is not projected onto it; the poem derives from the world like a scent and a color and a life from a flower. A series, a sequence: nothing potential, but truly infinite—the movement of an infinitude. The infinite series = everything minus totality. That means that there is no container—no Form, no Self, no Image, no Structure, not even a Fragment—just “the prose of the world.” No representation, but also no staging of the impossibility of representation (the postmodern sublime). These are no fragments, no image of a fragmented world or personality, no cautious incantations around the Void. It does not exist. It is a movement. Buying bread, a flock of birds, a bomb falling—they do not depict or represent anything, not literally, not metaphorically. There is an Idea, which is however nothing more than a rhythm, in the same way that capitalism is nothing more than a pure function. Parataxis: the white space between two sentences stresses, which is nevertheless always there, also between words, even between letters: the out of focus of idle talk, the gutter, the irreducible Mallarméan mist which renders even the seemingly most transparent text legible. The white space suggests a neutral medium for free signification, a substance of language. A non sequitur is an element from a foreign discourse, which stresses the white space as space, and problematizes freedom for supra-sentential signification. I start by withdrawing material, leaving the initiative to the sentences. In general a word presupposes less often a discourse than a sentence. What discourse is presupposed by “dog”? We could think of several, but why would we? It is more probable that, when faced with the naked word, we think of its naked (dictionary) meaning, of its denotative signified. By means of two simple interventions we may also write the word as sentence: Dog. In no way this suggests the discourse from which this sentence originates, but in any case we’re presupposing one. This is shown by questions like: “Whose dog? Who’s a dog? What kind of dog?” Etc. (Sentences are question marks.) A sentence implies/is a microcosm—a subject, a verb, an object, and so on. Even an incomplete or ungrammatical sentence does so. My main fascination while writing this book is the worldly and social aspect of language, an aspect that often becomes invisible, or rather, transparent in narrativity—the stretching of sentences into stories. Narrativity organizes a new discourse and a new world, and places a sometimes all too dispersing relation of transparence in between. The conventional novel is the brothel of being. I do not intend to prohibit brothels, and I have certainly not intended to write an anti-novel (THIS IS A POEM), but I do consider narrativity (in general, in poetry, in the news, in daily life) to be ontologically secondary with regard to an immediate being in the world through sentences, also if the latter have been withdrawn from a narrative or otherwise externally structured discourse (which in that case would therefore be chronologically primary ). Naturally, two or more sentences are always in danger of telling stories or arguing, just like the world is always in danger of becoming an objective representation, facing us, strangers. That is why need to wage war—against representation and against the interface, against interaction. AGAINST THE “READER.” To the extent that a sentence is worldly, writing is a condensed global war, and in so far as there is ultimately only one world and one open continuum of languages, it is a global civil war. Nice subject for an epic. The elaboration of a singular problem—prose as the outside of poetry, the form of the novel as purely prosodic composition scheme—“expresses” the universal problem: capitalism as Idea of the world vs. poetry as language of an (im)possible community. The paragraphs are blocks of rhythmically contracted social material. By choosing the sentence as the basic compositional component, an abstract whole may contain social sounds, without telling a story or showing an image. Composition is subrepresentative —a rhythmic, passive synthesis, or rather: a synthesis of syntheses. I never write large blocks of prose in one sitting, because there is no obvious organizational vector —plot, theme, conscience—outside the inherent qualities of the material itself. Usually I write down one sentence, sometimes two, but rarely more than three. Those sentences are usually placed in the text which I am editing at the time. In fact, there is no original composition, new chapters split off from chapters which became too long during the editing process. (Revision mainly consists of adding and inserting, displacing and dividing; only during the last phase, when the text has gained enough consistency, there may be subtraction to tighten the composition; each chapter requires a season of daily revision). This constant revision, accompanied by a continuous influx of collective background noise (to speak with Van Bastelaere), 7 makes every chapter a block condensed (“historical” and “personal”) time. The block itself is a-personal and a-historic; it is ontologically autonomous. If there is such a thing as a spirit of the times, I do not try to offer an image of it, but rather to cancel something of it by erecting a monument of its own excrement within its own boundaries. Tuning and dis-tuning , “in de taal der neerslachtigen een eigen geluid doen klinken,” 8 in other words, desiring in an Elysian way. In this sense I have intended to be able to write a political poetry. The ultimate political poem is the epic, “the tale of the tribe.” I consider N30 to be a prolegomenon to a future epic (of which it in the end will form a part a structural moment, as introduction-in-the-middle), an extended pile on top of an epic as narrative, a question of the tribe and question of its history. I was burdened by too much satire, too much bullshit. But: satire willy-nilly = the only justifiable satire. Against the abstract universalism of the market (“globalism”): concrete disgust, a positive way of saying “No.” Moreover, disgust is a specifically total attitude, which ultimately concerns the world as a whole. I hate this or that, but I am disgusted by EVERYTHING (when I am disgusted), and so it appears that satire is in fact related to the epic, in so far as it concerns society, the cosmos, history. Maybe it is no coincidence that the Dutch literary canon knows no great poet of disgust; what could be more fearful to us than society, the cosmos, and history? The T-tendency (T from Tollens 9 ) clearly points into the direction of the small, friendly, ironic, melancholic, acquiescent, wondrous, and so on. The anti-political, anti-cosmic, anti-historical. (Why am I so philosophical? To scare away the Dutchies.) And most of all: the “poetical” (the pseudo-mysticism from the backyard). Yes, the N in N30 also stands for the Netherlands (just like 30 indicates the number of chapters). I was not in Seattle, I do not live in Iraq. But is not the whole world bleeding to death on Dutch paving stones? Let’s hope that we mowed away something with this total satire, also “in myself.” The arrogant stupidity that definitely thinks to know the essence of freedom (the free development of esthetic needs inside the void), that cannot take anything serious, only believes in the disciplined bestiality of the individual (“norms and values”) and the mere functioning of a social factory which finds no justification whatsoever outside its functioning (“get to work”)… Who knows. A certain aimed destruction leaves grooves and craters, mapping out a next adventure. Pound’s periplum : sailing while mapping the coasts. Immanent orientation. The terrain changes with the map, history changes with the poem. Maps never merely organize the chaos, transcendent schemes imposed on a formless Ding-an-sich . They organize from within, surfing. But they are most of all routes back into the chaos or forward to paradise (final identity of chaos and paradise; Schlegel: “ Nur diejenige Verworrenheit ist ein Chaos aus der eine Welt entspringen kann ”10). A poem is not only a piece of history, it is also a flight from history. Maps give chaos to the form of reality , open escape routes, break through representations, make us shivery and dazed. Paradise is immanent to a fleeting desire. History is the history of labor—this is Adam’s curse—and the poet works too: For to articulate sweet sounds together Is to work harder than all these, and yet Be thought an idler by the noisy set Of bankers, school masters, and clergymen The martyrs call the world 11 But: the poet works in paradise. The paradox of the artwork, the work that is no work, the piece of history that cannot be reduced to History—this is explained by The Space of Literature , a virtual space, an autonomous rhythm, not outside, but in the midst of the noise, a piece of paradise in hell, a postcard from the vale of tears addressed to paradise, to X. Political poetry means: a poetry that dares to think about itself, about its language and about its world and about the problematic relation between both, which is this relation as problem. A poetry that thinks at all, articulates its problem. It has nothing to do with journalism or morality or debate, let alone the law or the state. It has nothing to do with “criticism” if this means the replacement of incorrect representations by other, more correct representations. It has something to do with ethics in the sense of learning to live. It has something to do with the community and the language of the community (whichever that may be) and the role of the poet regarding the community. It concerns justice without judgement or measure. In the end the just word is just a word , to paraphrase Godard: it is from a future that is unimaginable. It Is no rational engagement, but an aversion against everything that obstructs life, and love for everything what is worthy of having been loved. The world is engaged with me, not the other way round. First Exodus, then Sinai. A desire does not start with an agenda. To answer the question whether I am really so naive as to want to change the world: “We only want the world.” Justice is the world appealing to us to liberate it from all possible chains, from each organization and inequality, to be it, smooth, equal, under a clear sky—a desert and a people in a desert. That moment between Egypt and the Law. It is not a revolution, but the sky above the revolution. Poetry = the science of escape. There is no art that we already know. The weakness of modernistic epic poetry seems to me to be the unwillingness to completely abandon narrative as a structural principle, in favor of a composition “around” or from an event. The China Cantos and Adams Cantos are the low point, and the Pisan Cantos the high point of Pound’s poetry. Two types of research: archival representation of the past vs. ontology of the present (which virtually presupposes the entire history). Presupposing an event means that it is impossible for the poet to stage his own absence, but in no way makes the work personal. An event is the unknown, the new invading into the business as usual, so also the personal. The question heading this research is not: “Who am I?” but “What is happening?” The book is as little illegible as Mondrian’s work is invisible. Form is of interest only to the extent that it empowers liberation. Ron Silliman So no formalism, but what it means to live in this world and to have a future in it. I want something that holds together that’s not smooth. Bruce Andrews The past above, the future below and the present pouring down: the roar, the roar of the present, a speech— William Carlos Williams If my confreres wanted to write a work with all history in its maw, I wished, from the beginning to start all over again, attempting to know nothing but a will to create, and matter at hand. Ronald Johnson NOTES 1) “The easy thing/ that is difficult to make.” Bertold Brecht, Lob des Kommunismus . (All footnotes are the translator’s) 2) Maurice Blanchot, The Space of Literature , trans. Ann Smock. Lincoln/London: University of Nebraska Press (1989), 75. 3) Mettes uses the word “Neerlandicus,” which refers to scholars of Dutch language and literature. 4) Dutch poet. 5) Gertrude Stein. “Composition as Explanation.” A Stein Reader . Ed. Ulla E. Dydo. Evanston, IL: Northwestern University Press (1993), 495-503. 6) Ezra Pound. 7) Flemish poet. 8) “Resounding an original sound in the language of the despondent.” A. Roland Holst, De afspraak . 9) Dutch poet. 10) “Only such a confusion is a chaos which can give rise to a world.” 11) W.B. Yeats, “Adam’s Curse.&rdquo. (shrink)

The implicit dimension of enthymemes is investigated from a pragmatic perspective to show why a premise can be left unexpressed, and how it can be used strategically. The relationship between the implicit act of taking for granted and the pattern of presumptive reasoning is shown to be the cornerstone of kairos and the fallacy of straw man. By taking a proposition for granted, the speaker shifts the burden of proving its un-acceptability onto the hearer. The resemblance of the (...) tacit premise with what is commonly acceptable or has been actually stated can be used as a rhetorical strategy. (shrink)

Peirce's "Neglected Argument" uses more or less standard logical vocabulary, such as "argument," "retroduction," "premise," "conclusion," and "hypothesis." There cannot be any doubt, however, that the musement process as he characterizes it must be regarded as a semiotic process—that is, one that relates a sign to an object by way of forming an interpretant. This assumption follows from the simple observation that, according to Peirce, all processes of thought are semiotically structured. What is more, Peirce quite often uses (...) the term 'argument' for a specific class of sign—namely, one that distinctly indicates1 or represents2 its conclusion. In addition, three years before his 1908... (shrink)

A probability distribution is regular if no possible event is assigned probability zero. While some hold that probabilities should always be regular, three counter-arguments have been posed based on examples where, if regularity holds, then perfectly similar events must have different probabilities. Howson (2017) and Benci et al. (2016) have raised technical objections to these symmetry arguments, but we see here that their objections fail. Howson says that Williamson’s (2007) “isomorphic” events are not in fact isomorphic, but Howson (...) is speaking of set-theoretic representations of events in a probability model. While those sets are not isomorphic, Williamson’s physical events are, in the relevant sense. Benci et al. claim that all three arguments rest on a conflation of different models, but they do not. They are founded on the premise that similar events should have the same probability in the same model, or in one case, on the assumption that a single rotation-invariant distribution is possible. Having failed to refute the symmetry arguments on such technical grounds, one could deny their implicit premises, which is a heavy cost, or adopt varying degrees of instrumentalism or pluralism about regularity, but that would not serve the project of accurately modelling chances. (shrink)

This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize (...) and classify the schemes, outlined in the last chapter. It provides a systematic and comprehensive account, with notation suitable for computational applications that increasingly make use of argumentation schemes. (shrink)

We present a high-level declarative programming language for representing argumentation schemes, where schemes represented in this language can be easily validated by domain experts, including developers of argumentation schemes in informal logic and philosophy, and serve as executable specifications for automatically constructing arguments, when applied to a set of assumptions. Since argumentation schemes are defeasible inference rules, both premises and conclusions of schemes can be second-order schema variables, i.e. without a fixed predicate symbol. Thus, while particular schemes (...) can be and have been implemented in computer programs, in general argumentation schemes cannot be represented as executable specifications using logic programming languages based on first-order logic, such as Prolog. Moreover, even if the conclusion (head) of Prolog rules could be second-order variables, a depth-first, backward-chaining search strategy, as typically used in logic programming, would usually cause such programs to not terminate, since every goal would match the head of such a scheme, including all goals created by instantiating the body of the same scheme. The language for representing argumentation schemes presented here, for the purpose of automatically constructing arguments, uses Constraint Handling Rules (CHR), a declarative, Turing complete, forwards-chaining, rule-based programming language introduced by Thom Frühwirth in 1991. CHR is attractive for representing and implementing argumentation for several reasons, including: 1) Inference rules, rewrite rules, sequents, proof rules, and logical axioms can be directly written in CHR. 2) The execution of CHR rules can be interrupted and restarted at any time, with intermediate results approximating the final solution, and 3) Constraints can be input incrementally as they become known, during rule execution, without requiring recomputation. These three properties of CHR appear attractive for representing and implementing argumentation schemes. Since argumentation schemes are (defeasible) inference rules, the ability of CHR to represent inference rules directly would appear to be quite useful. The ability to stop the computation and produce approximate results is compatible with one objective of argumentation, to provide a principled method for supporting approximate reasoning with limited resources. Because argumentation typically takes place in dialogs, with evidence and arguments brought forward and asserted by the participants incrementally, during the course of the dialog, CHR’s ability to handle new information, incrementally introduced during the computation, may be useful. This new rule language for representing argumentation schemes is validated by using it to represent twenty representative argumentation schemes. (shrink)

This project tackles the problem of analyzing a specific form of reasoning called ‘sunk costs’ in economics and ‘argument from waste’ in argumentation theory. The project is to build a normative structure representing the form of the argument, and then to apply this normative structure to actual cases in which the sunk costs argument has been used. The method is partly structural and partly empirical. The empirical part is carried out through the analysis of case studies (...) of the sunk costs argument found in business decision-making, as well as other areas like medical decision-making and everyday conversational argumentation. The structural part is carried out by using existing methods and techniques from argumentation theory, like argumentation schemes. The project has three especially significant findings. First, the sunk costs argument is not always fallacious, and in many cases it can be seen to be a rational precommitment strategy. Second, a formal model of argumentation, called practical reasoning, can be constructed that helps a rational critic to judge which sunk costs arguments are fallacious and which are not. Third, this formal model represents an alternative model of rationality to the cost-benefit model based on Bayesian calculation of probabilities. This alternative model is called the argumentation model, and it is based on interpersonal reasoning in dialogue as the model of rational thinking. This model in turn is based on the underlying notion of commitment in dialogue. (shrink)

The scientific study of consciousness, also referred to as consciousness science, is a young scientific field devoted to understanding how conscious experiences and the brain relate. It comprises a host of theories, experiments, and analyses that aim to investigate the problem of consciousness empirically, theoretically, and conceptually. This thesis addresses some of the questions that arise in these investigations from a formal and mathematical perspective. These questions concern theories of consciousness, experimental paradigms, methodology, and artificial consciousness. -/- Regarding theories of (...) consciousness, the thesis contributes to the understanding of the mathematical structure that some of the formal theories in the field propose. The work presented here targets the theory of consciousness known as Integrated Information Theory (IIT) and the neuroscientific theory known as Predictive Processing Theory or Free Energy Principle in its Active Inference form (AI-PP). The thesis provides axiomatic definitions of the mathematical structures that constitute these theories, and uses these definitions to address some of the open questions surrounding the theories. For AI-PP, this includes a rigorous derivation of the formula for Active Inference via Free Energy minimisation and a proof of compositionality of Free Energy. For IIT, this includes resolutions of some of the criticisms of IIT's formal scope and applications, but also the identification of new issues that concern the formalism and its derivation. When possible, the definitions are provided in the mathematical framework of category theory. -/- Regarding experiments, the thesis addresses the main paradigm for testing and falsifying theories of consciousness currently applied in the field. This paradigm consists of comparing the conscious experience that a theory predicts with the conscious experience that is inferred from behavioural data or report by use of measures of consciousness. The thesis provides a formal model of this paradigm and shows that under a certain condition—if inference and prediction are independent—, any minimally informative theory of consciousness can always be falsified. This is deeply problematic since the field’s reliance on report or behaviour to infer conscious experiences, in conjunction with the general structure of most contemporary theories of consciousness, implies such independence. This observation provides the exact formal underpinning of the well-known unfolding argument. The thesis analyses the origin of the problem and identifies precisely which changes are required to avoid this problem in future research. The thesis furthermore shows that the problem of falsifying theories of consciousness, and of empirical comparisons of theories of consciousness more generally, follows from a pervasive closure paradigm in consciousness science, that consists of taking a neuroscientific account of the brain as input to a theory of consciousness, so as to explain what consciousness is, without allowing for modifications or adaptations of the neuroscientific account that would accommodate consciousness as part of the brain's functioning. As is shown in the thesis, this paradigm has implications that point to a fundamental need of revision. -/- Regarding methodological and conceptual questions, the thesis contributes to the foundations of structural research in consciousness science. Structural research aims to use mathematical structures or mathematical spaces, instead of verbal descriptions or simple categorisations, to represent conscious experiences scientifically, for example when building theories of consciousness, or when exploring new empirical avenues to measure consciousness. Despite considerable advances in this realm, there was, prior to this thesis, no explicit definition of what a mathematical structure of conscious experience should be; that is, how the attribution of mathematical structure to conscious experiences should be systematically understood. Perhaps the most important contribution of this thesis to the field is to propose such a definition. The definition, a structural concept, extends existing approaches wherever available, and provides a basis for developing a common formal language to study consciousness, bridging developments as far apart as psychophysics and phenomenology. In addition, and independently of this proposal, the thesis offers a critical analysis of which metaphysical premises need to be presumed in structural research, whether the use of particular formal tools (such as structure-preserving mappings or homomorphisms) is justified, and how structural theories of consciousness could otherwise be built in the first place. An attempt to expand the results from consciousness to more general problems in philosophy of science is made in the context of the well-known Newman problem. -/- Regarding the question of artificial consciousness—can AI feel?—, the thesis contributes two results that take the form of no-go theorems, as known from physics. The first no-go theorem shows that if consciousness is relevant for the temporal evolution of a system's states—if it is dynamically relevant—, then contemporary AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other processors which have been designed and verified to adhere to computational dynamics that systematically preclude or suppress deviations. The second no-go theorem is situated in the context of computational functionalism, a view which posits that consciousness is a computation. The theorem shows that if computational functionalism holds true, consciousness cannot be a Turing computation. Rather, it must be a novel type of computation that has recently been proposed by Geoffrey Hinton, called mortal computation. -/- This thesis is part of a global effort to pioneer a mathematical perspective in consciousness science, now called Mathematical Consciousness Science. The hope behind the research carried out in this PhD is to illustrate the power and usefulness of mathematical approaches in different areas of consciousness science, and in doing so, to lay the foundations for future mathematical work that complements and supports empirical and theoretical work in the further development of this exciting field. (shrink)

This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize (...) and classify the schemes, outlined in the last chapter. It provides a systematic and comprehensive account, with notation suitable for computational applications that increasingly make use of argumentation schemes. (shrink)

The paper develops a classificatory system of basic argument types on the basis of the epis-temological approach to argumentation. This approach has provided strict rules for several kinds of argu-ments. These kinds may be brought into a system of basic irreducible types, which rely on different parts of epistemology: deductive logic, probability theory, utility theory. The system reduces a huge mass of differ-ent argument schemes to basic types and gives them an epistemological foundation.

In this article the argumentation structure of the court’s decision in the Popov v. Hayashi case is formalised in Prakken’s (Argument Comput 1:93–124; 2010) abstract framework for argument-based inference with structured arguments. In this framework, arguments are inference trees formed by applying two kinds of inference rules, strict and defeasible rules. Arguments can be attacked in three ways: attacking a premise, attacking a conclusion and attacking an inference. To resolve such conflicts, preferences may be used, which leads (...) to three corresponding kinds of defeat, after which Dung’s (Artif Intell 77:321–357; 1995) abstract acceptability semantics can be used to evaluate the arguments. In the present paper the abstract framework is instantiated with strict inference rules corresponding to first-order logic and with defeasible inference rules for defeasible modus ponens and various argument schemes. The main techniques used in the formal reconstruction of the case are rule-exception structures and arguments about rule validity. Arguments about socio-legal values and the use of precedent cases are reduced to arguments about rule validity. The tree structure of arguments, with explicit subargument relations between arguments, is used to capture the dependency relations between the elements of the court’s decision. (shrink)

This paper uses the language of formal dialectics to explore how argumentation schemes and their critical questions can be characterized as an extension to traditional dialectical systems. The aim is to construct a dialectical system in which the set of locutions is extended to include scheme-based moves the set of structural rules describes the roles that critical questioning can play; and the set of commitment rules distinguishes between exceptions and assumptions.

This paper reports preliminary work into the exploitation of argumentation schemes within dialogue games. We identify a property of dialogue games that we call “scheme awareness” that captures the relationship between dialogue game systems and argumentation schemes. Scheme awareness is used to examine the ways in which existing dialogue games utilise argumentation schemes and consequently the degree with which a dialogue game can be used to construct argument structures. The aim is to develop a set of (...) guidelines for dialogue game design, which feed into a set of Dialogue Game Description Language (DGDL) extensions in turn enabling dialogue games to better exploit argumentation schemes. (shrink)

This paper describes an approach to legal logic based on the formal analysis of argumentation schemes. Argumentation schemes a notion borrowed from the .eld of argumentation theory - are a kind of generalized rules of inference, in the sense that they express that given certain premises a particular conclusion can be drawn. However, argumentation schemes need not concern strict, abstract, necessarily valid patterns of reasoning, but can be defeasible, concrete and contingently valid, i.e., valid in certain (...) contexts or under certain circumstances. A method is presented to analyze argumentation schemes and it is shown how argumentation schemes can be embedded in a formal model of dialectical argumentation. (shrink)

This paper presents an analysis of argumentation in direct-to-consumer health product ads in Newsweek that brings out special features of the arguments used in the ads, including practical reasoning, chained arguments, enthymemes, and prolepsis. A way to help overcome deficiencies in techniques of tailored health communication in consumer health informatics is shown by using argumentation schemes, argument visualisation tools, and dialogue models to frame these persuasive communication messages. The evidence collected is shown to be useful to allow (...) the health informatics communicator and the person to whom message was directed to interact in a dialogue format where arguments can be put forward by both parties in a way that responds to the previous arguments and questions of the other party. (shrink)

The relationship between teaching and argumentation is becoming a crucial issue in the field of education and, in particular, science education. Teaching has been analyzed as a dialogue aimed at persuading the interlocutors, introducing a conceptual change that needs to be grounded on the audience’s background knowledge. This paper addresses this issue from a perspective of argumentation studies. Our claim is that argumentation schemes, namely abstract patterns of argument, can be an instrument for reconstructing the tacit (...) premises in students’ argumentative reasoning and retrieving the background beliefs that are the basis of their arguments. On this perspective, the process of premise reconstruction is followed by a heuristic reasoning process aimed at discovering the students’ previous intuitions that can explain the premises and concepts that are left unexpressed in their arguments. The theoretical insights advanced in this paper are illustrated through selected examples taken from activities concerning predictive claims on scientific issues. (shrink)

Argument schemes are abstractions substantiating the inferential connection between premise(s) and conclusion in argumentative communication. Identifying such conventional patterns of reasoning is essential to the interpretation and evaluation of argumentation. Whether studying argumentation from a theory-driven or data-driven perspective, insight into the actual use of argumentation in communicative practice is essential. Large and reliably annotated corpora of argumentative discourse to quantitatively provide such insight are few and far between. This is all the more true for (...) class='Hi'>argument scheme corpora, which tend to suffer from a combination of limited size, poor validation, and the use of ad hoc restricted typologies. In the current paper, we describe the annotation of schemes on the basis of two distinct classifications: Walton’s taxonomy of argument schemes, and Wagemans’ Periodic Table of Arguments. We describe the annotation procedure for each, and the quantitative characteristics of the resulting annotated text corpora. In doing so, we extend the annotation of the preexisting US2016 corpus of televised election debates, resulting in, to the best of our knowledge, the two largest consistently annotated corpora of schemes in argumentative dialogue publicly available. Based on evaluation in terms of inter-annotator agreement, we propose further improvements to the guidelines for annotating schemes: the argument scheme key, and the Argument Type Identification Procedure. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:680 JOURNAL OF THE HISTORY OF PHILOSOPHY 33:4 OCTOBER 1995 cal advance over the criticisms of the Parmenidesas to say how the Theaetetusshould be called an "Eleatic" dialogue. The Sophist then reintroduces form, but in its epistemological aspect alone. Extensive use is made of the method of division, presented in the commentary as a rigorous method for precise definition, yet the Sophistfails to distinguish sophistry from philosophy. Two reasons (...) are given. The final division locates sophistry under the productive, rather than the acquisitive arts. (The commentary indicates no surprise at sophistry being categorized as an art at all.) Moreover, the method of division makes no use of value, the real distinguishing feature of the two types of art, although Dorter argues that allusion is made to value through references to the Republic'stheory of soul. The Statesman fills in the missing feature by introducing measurement against the standard of the mean as opposed to relative measurement, finally reintegrating both features that Dorter considers salient aspects of Platonic forms: universality (sameness) from the Sophistand now value (the mean) in the Statesman. The commentary finds that the use of division in the Statesman, where it is not strictly dichotomous, evidences a "decline from the rigor and precision of the divisions in the Sophist"(l 8 l), despite the rejection of division by strict halving in the Phaedrusand in Aristotle. Lack of rigor is not, however, a reproach in Dorter's mind. This is a theme he first develops in commenting on the Parmenides. The methods of division and hypothesis "converge in the form of the good" (227). But where Plato would give "content to the Idea of the good, he eschews any formal methodology whatever, and resorts to the ambiguous world of myth" (242). Ultimately, on this view, assertions about the forms, and responses to many of the Parmenides' criticisms rest on analogy (3off.). Since analogy is identified with a breakdown of"rigor, analogy implies not a theory of proper proportions, but the use of poetic metaphor. The explanatory power of the theory of forms comes up short, which is not a fault of the specific theory of forms, but a fault in the nature of all theory. That rigor must inevitably be.jettisoned is a conclusion taken perhaps too much to heart in a commentary that voices the compelling view that these dialogues are masterpieces in metaphysics. DAVID AMBUEL Mary Washington College David J. Furlr and Alexander Nehemas, editors. Aristotle's "Rhetoric": Philosophical Essays. Proceedings of the Twelfth Symposium Aristotelicum. Princeton, NJ: Princeton University Press, 1994. Pp. xv + 322. Cloth, $45.oo. The Symposium Aristotelicum is a group of Aristotelian scholars who meet every three years, and publish a record of their proceedings. In 199~ they turned their attention to the Rhetoric.This, then, is a series of essays by Aristotelian scholars--more precisely, by scholars of ancient philosophy, since a couple are really specialists on Plato--looking at the Rhetoric. Few are identified as specialists on the Rhetoric itself, and none on the history of rhetoric or on classical oratory. People in those other groups would have very different, but of course not necessarily better, things to say about the Rhetoric. BOOK REVIEWS 68~ Nehemas states the conception of the project in his Introduction: "The essays presented in the 199o symposium and collected here.., address specific texts on the Rhetoric itself, but all of them also connect the Rhetoric with Aristotle's logical, methodological, ethical/political, and poetic views and treatises. A further central concern is, of course, the issue whether Aristotle does or does not respond to Plato's challenge against rhetoric successfully... " (xiii). As I will show, that "of course" is very problematic. The collection is divided into four sections. "The Arguments of Rhetoric" starts with M. F. Burnyeat's "Enthymeme: Aristotle on the Logic of Persuasion," which sets itself the task of determining whether, when Aristotle defines the enthymeme as a sullogismos tis, he means to call rhetorical argument a kind of syliogizing or "a sullogismos of a kind," and along the way offers an account of how Aristotle came later to be read as thinking of the enthymeme as a syllogism with a suppressed premise... (shrink)

Argumentation schemes are forms of argument that capture stereotypical patterns of human reasoning, especially defeasible ones like argument from expert opinion, that have proved troublesome to view deductively or inductively. Much practical work has already been done on argumentation schemes, proving their worth in A1 [19], but more precise investigations are needed to formalize their structures. The problem posed in this paper is what form justification of a given scheme, as having a certain precise structure (...) of inference, should take. It is argued that defeasible argumentation schemes require both a systematic and a pragmatic justification, of a kind that can only be provided by the case study method of collecting key examples of arguments of the types traditionally classified as fallacies, and subjecting them to comparative examination and analysis. By this method, postulated structures for schemes can be formulated as hypotheses to solve three kinds of problems: (1) how to classify such arguments into different types, (2) how to identify their premises and conclusions, and (3) how to formulate the critical questions used to evaluate each type of argument. (shrink)

In multi-agent systems (MAS), abstract argumentation and argumentation schemes are increasingly important. To be useful for MAS, argumentation schemes require a computational approach so that agents can use the components of a scheme to construct and present arguments and counterarguments. This paper proposes a syntactic analysis that integrates argumentation schemes with abstract argumentation. Schemes can be analysed into the roles that propositions play in each scheme and the structure of the associated propositions, yielding a greater (...) understanding of the schemes, a uniform method of analysis, and a systematic means to relate one scheme to another. This analysis of the schemes helps to clarify what is needed to provide denotations of the terms and predicates in a semantic model. (shrink)

Argumentation schemes [1–3] are a relatively recent notion that continues an extremely ancient debate on one of the foundations of human reasoning, human comprehension, and obviously human argumentation, i.e., the topics. To understand the revolutionary nature of Walton’s work on this subject matter, it is necessary to place it in the debate that it continues and contributes to, namely a view of logic that is much broader than the formalistic perspective that has been adopted from the 20th century (...) until nowadays. With his book Argumentation schemes for presumptive reasoning, Walton attempted to start a dialogue between three different fields or views on human reasoning – one (argumentation theory) very recent, one (dialectics) very ancient and with a very long tradition, and one (formal logic) relatively recent, but dominating in philosophy. Argumentation schemes were proposed as dialectical instruments, in the sense that they represented arguments not only as formal relations, but also as pragmatic inferences in the sense that they depend on what the interlocutors share and accept in a given dialogical circumstance and affect their dialogical relation. In this introduction, the notion of argumentation scheme will be analyzed in detail, showing its different dimensions and its defining features which make them an extremely useful instrument in Artificial Intelligence. This theoretical background will be followed by a literature review on the uses of the schemes in computing, aimed at identifying the most important areas and trends, the most promising proposals, and the directions of future research. (shrink)

Argumentation schemes have played a key role in our research projects on computational models of natural argument over the last decade. The catalogue of schemes in Walton, Reed and Macagno’s 2008 book, Argumentation Schemes, served as our starting point for analysis of the naturally occurring arguments in written text, i.e., text in different genres having different types of author, audience, and subject domain (genetics, international relations, environmental science policy, AI ethics), for different argument goals, and for (...) different possible future applications. We would often first attempt to analyze the arguments in our corpora in terms of those schemes, then adapt schemes as needed for the goals of the project, and in some cases implement them for use in computational models. Among computational researchers, the main interest in argumentation schemes has been for use in argument mining by applying machine learning methods to existing argument corpora. In contrast, a primary goal of our research has been to learn more about written arguments themselves in various contemporary fields. Our approach has been to manually analyze semantics, discourse structure, argumentation, and rhetoric in texts. Another goal has been to create sharable digital corpora containing the results of our studies. Our approach has been to define argument schemes for use by human corpus annotators or for use in logic programs for argument mining. The third goal is to design useful computer applications based upon our studies, such as argument diagramming systems that provide argument schemes as building blocks. This paper describes each of the various projects: the methods, the argument schemes that were identified, and how they were used. Then a synthesis of the results is given with a discussion of open issues. (shrink)

In multi-agent systems (MAS), abstract argumentation and argumentation schemes are increasingly important. To be useful for MAS, argumentation schemes require a computational approach so that agents can use the components of a scheme to construct and present arguments and counterarguments. This paper proposes a syntactic analysis that integrates argumentation schemes with abstract argumentation. Schemes can be analysed into the roles that propositions play in each scheme and the structure of the associated propositions, yielding a greater (...) understanding of the schemes, a uniform method of analysis, and a systematic means to relate one scheme to another. This analysis of the schemes helps to clarify what is needed to provide denotations of the terms and predicates in a semantic model. (shrink)

Argumentation schemes have played a key role in our research projects on computational models of natural argument over the last decade. The catalogue of schemes in Walton, Reed and Macagno’s 2008 book, Argumentation Schemes, served as our starting point for analysis of the naturally occurring arguments in written text, i.e., text in different genres having different types of author, audience, and subject domain, for different argument goals, and for different possible future applications. We would often first (...) attempt to analyze the arguments in our corpora in terms of those schemes, then adapt schemes as needed for the goals of the project, and in some cases implement them for use in computational models. Among computational researchers, the main interest in argumentation schemes has been for use in argument mining by applying machine learning methods to existing argument corpora. In contrast, a primary goal of our research has been to learn more about written arguments themselves in various contemporary fields. Our approach has been to manually analyze semantics, discourse structure, argumentation, and rhetoric in texts. Another goal has been to create sharable digital corpora containing the results of our studies. Our approach has been to define argument schemes for use by human corpus annotators or for use in logic programs for argument mining. The third goal is to design useful computer applications based upon our studies, such as argument diagramming systems that provide argument schemes as building blocks. This paper describes each of the various projects: the methods, the argument schemes that were identified, and how they were used. Then a synthesis of the results is given with a discussion of open issues. (shrink)

The primary purpose of the system of linear notation is to make the logic of the syllogism more convenient to use by eliminating many of the operations required by its traditional forms. Except for its employment of the distinction between symmetric and nonsymmetric relations and the distinction between transitive and nontransitive relations, linear notation introduces no new principles into syllogistic logic. It is new only as a system of notation. As a system of notation it radically simplifies the (...) application of the principles of syllogistic logic to the analysis of arguments.The use of linear notation enables us to state subject-predicate propositions in such a way that their formal relations with each other are revealed directly without the necessity of performing any of the separate operations required by the traditional methods of syllogistic logic. Very complex arguments, involving any number of related premises, can be stated in such form that all possible conclusions that are obtainable by any combination of syllogistic operations may be read directly from the premises. (shrink)

This paper studies the use of hypothetical and value-based reasoning in US Supreme-Court cases concerning the United States Fourth Amendment. Drawing upon formal AI & Law models of legal argument a semi-formal reconstruction is given of parts of the Carney case, which has been studied previously in AI & law research on case-based reasoning. As part of the reconstruction, a semi-formal proposal is made for extending the formal AI & Law models with forms of metalevel reasoning in several (...) argument schemes. The result is compared with Rissland’s (1989) analysis in terms of dimensions and Ashley’s (2008) analysis in terms of his process model of legal argument with hypotheticals. (shrink)

The relationship between teaching and argumentation is becoming a crucial issue in the field of education and, in particular, science education. Teaching has been analyzed as a dialogue aimed at persuading the interlocutors, introducing a conceptual change that needs to be grounded on the audience’s background knowledge. This paper addresses this issue from a perspective of argumentation studies. Our claim is that argumentation schemes, namely abstract patterns of argument, can be an instrument for reconstructing the tacit (...) premises in students’ argumentative reasoning and retrieving the background beliefs that are the basis of their arguments. On this perspective, the process of premise reconstruction is followed by a heuristic reasoning process aimed at discovering the students’ previous intuitions that can explain the premises and concepts that are left unexpressed in their arguments. The theoretical insights advanced in this paper are illustrated through selected examples taken from activities concerning predictive claims on scientific issues. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the (...) modal conception of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

Identifying rhetorical figures with marginal to non-existent lexico-syntactic signatures poses significant challenges for computational approaches reliant upon structural definitions or descriptions. One such figure is prolepsis ([Formula: see text]ó[Formula: see text]), which this essay charts out in some detail, addressing the challenges and the benefits of rendering such figures computationally tractable through the use of argument schemes with attention to metadiscursive or macro-discursive norms offered by pragma-dialectical traditions.

Identifying rhetorical figures with marginal to non-existent lexico-syntactic signatures poses significant challenges for computational approaches reliant upon structural definitions or descriptions. One such figure is prolepsis ([Formula: see text]ó[Formula: see text]), which this essay charts out in some detail, addressing the challenges and the benefits of rendering such figures computationally tractable through the use of argument schemes with attention to metadiscursive or macro-discursive norms offered by pragma-dialectical traditions.

Various argumentation analysis tools permit the analyst to represent functional components of an argument (e.g., data, claim, warrant, backing), how arguments are composed of subarguments and defenses against potential counterarguments, and argumentation schemes. In order to facilitate a study of argument presentation in a biomedical corpus, we have developed a hybrid scheme that enables an analyst to encode argumentation analysis within the framework of Rhetorical Structure Theory (RST), which can be used to represent the discourse (...) structure of a text. This paper describes the hybrid representation scheme and illustrates its use for investigation of contexts that license omission of elements of an argument. The analyses given in the paper involve reconstruction of enthymemes. Defeasible argumentation schemes serve as a constraint on reconstruction. In addition, the examples illustrate several other types of contextual constraints on reconstruction of enthymemes. (shrink)

This paper offers insights into the nature and design of critical questions as they are found in argumentation schemes. In the first part of the paper, I address some general concerns regarding their purpose and formulation. These include a discussion of their evaluative function, their relationship with the patterns of reasoning they accompany, as well as the differing formulations of critical questions currently on offer. I argue that the purpose of critical questions for humans ought to be to provide (...) the means for a scalar evaluation of the reasoning at hand. To do so, critical questions should be closely paired with individual premises in the accompanying pattern of reasoning and be open-ended. Doing so allows the roles of raising considerations relevant for the reasoning and scrutinizing those considerations to be clearly distinguished. In the second part of the paper, I offer a positive methodological proposal for the construction of questions and premises that aims at overcoming a number of the individual and systematic shortcomings of extant question styles. The paper concludes by arguing that the newly proposed approach is both normatively strong and practically useful for argumentation in context. (shrink)

This article has three main aims. First, it argues that the question of the inclusion of “non‐Western” thought in philosophy cannot be resolved by appealing to definitions of philosophy, as such definitions are an integral part of the epistemically hegemonic practices responsible for the exclusion of non‐Western thought in the first place. Second, it argues that philosophy is structurally Eurocentric. It makes this argument first by looking at metaphilosophy. It argues that metaphilosophy is primarily performative and that its performativity (...) is a form of boundary work that is engaged in hegemonic practices of the epistemic type. It then argues that philosophy as a whole is inescapably engaged in boundary work and hegemonic practices, some of which partake in structural Eurocentrism. Finally, it promotes sociometaphilosophy, an approach that draws from the new sociology of knowledge to identify illegitimate mechanisms of exclusion inscribed in the rules that codify philosophical practice. (shrink)

This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and undermining attacks. We build on default justification logic that already represents undercutting and rebutting attacks, and we add undermining attacks. Intuitively, undermining does not target default inference, as undercutting, or default conclusion, as rebutting, but rather attacks an argument’s premise as a starting point for default reasoning. In default justification logic, reasoning starts from a set of premises, which (...) is then extended by conclusions that hold by default. We argue that modeling undermining defeaters in the view of default theories requires changing the set of premises upon receiving new information. To model changes to premises, we give a dynamic aspect to default justification logic by using the techniques from the logic of belief revision. More specifically, undermining is modeled with belief revision operations that include contracting a set of premises, that is, removing some information from it. The novel combination of default reasoning and belief revision in justification logic enriches both approaches to reasoning under uncertainty. By the end of the paper, we show some important aspects of defeasible argumentation in which our logic compares favorably to structured argumentation frameworks. (shrink)