This chapter contains sections titled: Abstract Introduction Mathematical Relativism: Does Everything Go In Mathematics? Conceptual, Structural and Logical Relativity in Mathematics Mathematical Relativism and Mathematical Objectivity Mathematical Relativism and the Ontology of Mathematics: Platonism Mathematical Relativism and the Ontology of Mathematics: Nominalism Conclusion: The Significance of Mathematical Relativism References.

In the paper I discuss the importance of relativistic hypercomputation for the philosophy of mathematics, in particular for our understanding of mathematical knowledge. I also discuss the problem of the explanatory role of mathematics in physics and argue that relativistic computation fits very well into the so-called programming account. Relativistic computation reveals an interesting interplay between the empirical realm and the realm of very abstract mathematical principles that even exceed standard mathematics and suggests, that such principles might play (...) an explanatory role. I also argue that relativistic computation does not have some of the weaknesses of other hypercomputational models, thus it is particularly attractive for the philosophy of mathematics. (shrink)

continent. 1.4 (2011): 242—252. Introduction The following two works were produced by visual artist Jonas Staal and writer Vincent W.J. van Gerven Oei during a visit as artists in residence at The Bag Factory, Johannesburg, South Africa during the summer of 2010. Both works were produced in situ and comprised in both cases a public intervention conceived by Staal and a textual work conceived by Van Gerven Oei. It was their aim, in both cases, to produce complementary works that could (...) be read “through each other,” in which the movement of artistic construction would be imitated by textual deconstruction and vice versa. Both works deal with the way in which capital, apartheid, and monumentality are interwoven in South-African society. The Missing Link addresses a monument for democracy, erected on the premises of a private corporation running both an amusement park and the Apartheid Museum franchise. The textual intervention accompanying this public intervention investigates the limits of the inclusiveness of the anti-discrimination section in the South-African constitution, itself a monumental work of democracy. The Monument for the Distribution of Wealth deals with the history and eventual dissolution of a monumental square, commemorating the Soweto Uprising, in one of the poorest townships of Johannesburg. The history accompanying this public dismemberment of memory is equally fragmented, which is expressed by the many voices recounting uncertain and perhaps even irrelevant “facts” about the genius loci, the way in which the memorial space has actually entered into the memory of the inhabitants surrounding it. Next to their individual practices, Staal and Van Gerven Oei have worked together on a number of projects ever since 2007, including several art residencies. Their work involves an investigation of the different interfaces between art, politics, and public space in media ranging from theater and public interventions, to video installations and (co-authored) textual works. The Missing Link Missing Link (1) Missing Link (2) Missing Link (3) Intervention on the monument entitled The Seven Pillars of the Constitution , part of the Apartheid Museum in Johannesburg, South Africa. The Seven Pillars represent the constitutional values propagated in South Africa since the abolition of the apartheid regime. The monument and museum were built by the Gold Reef Resorts corporation, which is also responsible for the theme park and casino next to it. By placing the word “capitalism” on the wall surrounding the museum, the capitalist system and the constant social divisions that it implies are interpreted as sophistic continuations of apartheid politics. Through the capitalist system, apartheid is still operational within South African society. Whereas during the apartheid regime, the separation clearly ran along race divisions, in the current, “democratic” system, the same actual separation is sustained without it being an explicit element of the foundations of the country, i.e. the constitution. This intervention foregrounds the constant role of capitalism is both periods. At the same time the intervention acknowledges that contemporary Western artisthood is a mirror of the privileges that are offered by the capitalist system, and the type of artist that it produces. The intervention initiates a critical discourse concerning the capitalist system situated within the disaster of capitalism itself, in other words: through the desire to break with the presumption that art would be able to operate outside the capitalist system and to confirm that art—and the artist himself—is in fact modeled on this system. The public intervention by Staal was supplemented by a textual intervention by Van Gerven Oei: a proposition to alter the seventeenth amendment of the South African constitution. Even though the anti-discrimination legislation in South-Africa is one of the most stringent and inclusive in the world, one factor—wealth—remains outside its scope, thus continuing the schisms along racial lines produced during the apartheid regime: §9.3. The state may not unfairly discriminate directly or indirectly against anyone on one or more grounds, including race, gender, sex, pregnancy, marital status, ethnic or social origin, colour, sexual orientation, age, disability, religion, conscience, belief, culture, language, birth, and wealth. Monument for the Distribution of Wealth Intervention concerning the June 16 Memorial Acre in Central Western Jabavu, one of the poorest townships of Johannesburg. The monument comprises a park on which different are placed recalling an important protest the black population against the former apartheid regime. In 1976, from a school adjacent to the park, they started a massive protest against the introduction of Afrikaans in the school curriculum. The police reacted violently, and shot several hundreds of students. The construction of the June 16 Memorial Acre was started in 2005, and from the start was the paragon of corruption. Coordinated by local politicians, some family members of the protest leader from 1976 gained control of the realization of the monument, outside the regulation through external institutions. The available budget of 41 million rand (at that time well over 5 million euro) was largely embezzled. In the meantime, the monument has become fully dilapidated and defaced. The park has become overgrown with weeds and covered in a layer of dirt, and the local population is slowly plundering the square to use the material for the construction and decoration of their own houses. The Monument for the Distribution of Wealth develops the dynamics already existent around the June 16 Memorial Acre. Without obtaining official permission in advance, several local inhabitants were hired to break down the monument, sort the materials, and offer it to the neighborhood. Thus, the redistribution of wealth after the fall of the apartheid regime is finally taking place, albeit from the mere remains of the capital that was once invested in the community. The words “monument” and “for free” are spray-painted on the stacks of material, both in English and Zulu, as these are locally the most common languages. Van Gerven Oei supplemented Staal’s public intervention with an account of the history of the monument based on a series of interviews. The account clarifies how the different interests within the protest 1976 are reflected in the exceeding decay of the park, and how in the end those interests were represented by the June 16 Memorial Acre. Monument for the Distribution of Wealth 1: Removing stones Monument for the Distribution of Wealth 3: Pulling down statues Monument for the Distribution of Wealth 4: Offering the material Monument for the Distribution of Wealth 5: Offering the material Monument for the Distribution of Wealth 6 The next day A Fragmentary History of the Monument for the Distribution of Wealth, Formerly Known as the June 16 Memorial Acre in Central Western Jabavu, Soweto Vincent W.J. van Gerven Oei The following text, based on interviews and online research aims to provide parts of a history of the park in front of Morris Isaacson High School in Central Western Jabavu, Soweto. The idea for the transformation of the park into a memorial site has its source in the events of June 16, 1976: the start of the the student uprising in Soweto. The development of the park was started in the early 1980s, and the actual transformation into a memorial site, the June 16 Memorial Acre, was initiated in 2005. Over the last few years, several monumental additions have been made to the park: A marble monument with three pillars was revealed on June 16, 2006. A sculpture of a book and several billboards on June 16, 2008. A sculpture of student leader Tsietsi Mashinini on June 16, 2010. The park was transformed into the Monument for the Distribution of Wealth on August 3, 2010. According to the entry “Youth Struggle” on the website South African History Online, the Bantu Education Act was introduced in 1953 . In 1954 , Dr Verwoerd, Minister of Native Affairs, stated: “What is the use of teaching the Bantu child mathematics when it cannot use it in practice? That is quite absurd.” According to the entry “Soweto uprising” on Wikipedia, the Afrikaans Medium Decree was issued in 1974 , forcing all black schools to use Afrikaans and English in a 50-50 mix as languages of instruction. The Regional Director of Bantu Education (Northern Transvaal Region), J.G. Erasmus, told Circuit Inspectors and Principals of Schools that from January 1, 1975 , Afrikaans had to be used for mathematics, arithmetic, and social studies from standard five (7th grade). English would be the medium for general science and practical subjects. Indigenous languages would be used for religion instruction, music, and physical culture. According the entry “Soweto uprising” on Wikipedia, on April 30, 1976 , students from the Orlando West Junior School in Soweto went on strike, refusing to go to school. Their example was followed by other schools in Soweto. A student from Morris Isaacson High School, Toboho “Tsietsi” Mashinini, proposed a meeting on June 13, 1976 to discuss further action. According to Weizmann Hamilton’s article “The Soweto Uprising 1976,” which appeared in the September 1986 edition of Inqaba Ya Basebenzi (Fortress of the Revolution), on June 13, 1976 , the South African Students’ Movement called a meeting at the Donaldson Community Center in Orlando. 300-400 Students representing 55 schools decided to hold a mass demonstration on June 16. According to Brian Mokhele, member of the Joint Community Safety Forum, Dr Edelstein was the first victim of the Soweto uprising and killed the day before the march on June 15, 1976 . Edelstein was an administrator at the pass office in Jabavu and gave golf courses to the local community. Edelstein was put in a garbage bin and pierced by pickaxes. The garbage bin was left at the very spot of the murder for many years. A few years ago, a child was beheaded at the same spot, and the basketball court next to it has been abandoned since. According to Marcus Neustetter, founder of the Trinity Session, this story is untrue. According the entry “Soweto uprising” on Wikipedia, on June 16 , Tsietsi Mashinini led students from Morris Isaacson High School to join up with others who walked from Naledi High School. A crowd of between 3,000 and 10,000 eventually ended up near Orlando High School. According to Raymond Marlowe, a local photographer, Tsietsi Mashinini was heading the march. According to the entry “Hector Pieterson” on Wikipedia, Dr Edelstein died on June 16, 1976 , stoned to death by mob and left with a sign around his neck proclaiming “Beware Afrikaaners.” The first child to die that day was called Hastings Ndlovu. According to Pat Motsiri, Orlando West is claiming struggle heritage through the Hector Pieterson Museum, while Hector Pieterson was from Jabavu. According to Pat Motsiri, his generation effectively struggled between 1980 and 1991, forcing the release of Nelson Mandela and negotiations with the apartheid regime while the 1976-generation was safely in exile. Nevertheless, this has not been recognized in any monument. After the abolition of apartheid, the generation from 1976 returned from exile, occupied important government and ANC positions, creating an abundance of 1976 memorials and refusing to acknowledge that this was only possible because of the younger generation’s struggle. He calls this a generational conflict. According to Archibald Dlamini, the park officer responsible for the Memorial Acre, he started working for the municipality in 1978. In 1981/82 , Isaac Makhele from Pimville, who used to work in the cemetery business, was the first developer of the park. It used to be just a normal park until City Parks decided to develop the Memorial Acre in 2006. In 2007 the work was stopped by the community. According to Brian Mokhele, he left the country in 1989 after he participated in the riots of 1986. But when he returned in 1999 he found that nothing had changed. He says that they were promised to be protected by the Constitution, but that reality is different. The police uses fear to suppress them so that they don’t come out to talk openly. He has been arrested twice, both times harassed and tortured by the police, but in the end always released without indictment. He says that this is their way to threaten communities to back off from politics. According to Moses, who is sitting outside rolling a joint, Brian knows everything. He tells Brian to tell me everything he knows. According to Brian Mokhele, Tsietsi Mashinini was possibly murdered in 1990 during his exile in New York. Two weeks before he was supposed to return to South Africa, his papers in order, he was found dead under mysterious circumstances. His coffin was sealed when he was buried. According to Pat Motsiri, he came up with the idea for the Memorial Acre in 2003 . He submitted the documents for the proposal to the council, which sidelined him as soon as the budget came out in 2005 . According to Brian Mokhele, there was on estimation R 41,000,000 spent to redesign the park and turn it into the Memorial Acre. The millions were divided by Amos Masondo, the mayor of Soweto, the local councilor Bongani D. Zondi, and the director of the city of Johannesburg, Pat Lephunya. They were dividing the money between several contractors: Tsietsi Mashinini’s brothers were involved in the development of the park, they got the tender to do the green areas, the landscaping. Construction was done by other companies, some did the paving, the toilets, etc. EMBA, a private company appointed by the municipality was in control of the money flow, but the money was quickly gone. According to Raymond Marlowe, the contractor bought a BMW with the money. According to Archibald Dlamini, the Mashinini brothers got the tender, so the space would look more like the other places around in Soweto. It was agreed that after they were done, they would return the property to the municipality. They did whatever they could do. According to Mafaisa, a member of the Jabavu business community, he was one of the contractors for the landscaping and the pavement under Mpho Mashinini, one of the brothers. He says that I should contact Mavi for information on Mpho. According to Poi Stuurman, a local youth worker, Mafaisa is one of the guys who ran away with the money. According to Mavi, Mpho Mashinini was never a contractor. The contracts were organized by Sbu Butelezi, the former head of the Gauteng Department for Public Works. The June 16 Foundation and the Mashinini brothers will be the beneficiaries of the park when it is finished. According to Brian Mokhele, City Parks did not accept the Memorial Acre because it was not finished. The rest of the year, the unfinished park is not maintained, as should have happened. This was done deliberately so that in the end they can just clean the whole thing up and have a reason to redo the whole park. According to Brian Mokhele, the Mashinini brothers now work for the government. People that manipulate for money purposes always come from the government’s side. Because the park was left unfinished, the people from the neighborhood are taking away the stones to decorate their own homes with. According to Archibald Dlamini, because City Parks doesn’t accept responsibility of the park, he officially has nothing the guard, except for his cottage, which is municipal property. The thieves come at night and destroy the park, but he cannot do anything because he is sleeping. According to the website of the Thanda Foundation on June 16, 2006 a bronze statue of Hector Pieterson, the first child to die in the 1976 protests, made by Kobus Hattingh and Jacob Maponyane was unveiled in the Maponya Mall in Soweto. The statue is sculpted after the famous image shot by Sam Nzima of Mbuyisa Makhubo carrying the dead body of the boy. The sculpture was sponsored by the Thanda Foundation, founded by the Swedish entrepreneur Dan Olofsson and South-African entrepreneur Matthews Phosa. According to the official website of the City of Johannesburg, the Memorial Acre and Artwork were unveiled in 2006. According to a blog post on sowetouprisings.com, the Memorial Acre was still under development on July 24, 2006. According to Archibald Dlamini, City Parks only cleans up the park once a year just before the June 16 celebrations. Everybody is waiting for the Mashinini brothers to finish their job. The last time he talked with them was in 2007 . According to a sign on the school grounds of the Morris Isaacson High School, the June 16 Trail will be finished in 2008 . According to a blog post on sowetouprisings.com, the Memorial Acre contains another monument erected in Tsietsi’s honor. The monument was created as part of the Sunday Times Heritage Public Art program. Its physical form resembles a giant book which symbolizes the crisis in education experienced in 1976. On the face of the book is the map of the route taken by the students from Morris Isaacson High School in Central Western Jabavu to Phefeni Junior Secondary in Orlando West (currently the site of the Hector Pieterson Museum), while the back cover of the ‘book’ is inscribed with a tribute to Tsietsi Mashinini. The monument was revealed on June 16, 2008 . According to Marcus Neustetter, the billboards on the Memorial Acre were part of a school project realized in 2008. Following several workshops, the students from different high schools along the June 16 Trail were invited to work with artists on the billboards, while the neighborhood community was invited to watch the process during the festivities on June 15 and 16, 2008 . The billboards were supposed to be removed because of construction works on the Memorial Acre, which never ended up happening. According to Brian Mokhele, the former toilet facilities were converted into a house for the park officer. This park officer has been working for city parks for more than 12-15 years, but does nothing here, because the park, including the new toilet buildings, is not finished. The government is now moving around looking for people to take this job because they stopped it. They confronted everybody who was going in and chased them away. According to John, in 2009 , some girls, around 16 or 17 years old, were raped by four men who had been drinking in a local shebeen. When the bar quit they said that they would go home by car, but instead raped the girls on the Memorial Acre nearby. This happened in the unfinished toilets, because the doors couldn’t be closed. According to Brian Mokhele, there used to be some fences around the park because of the construction work that was eventually stopped, but these were also stolen. According to Archibald Dlamini, people from the neighborhood started about two and a half years ago, and the last piece was stolen near the end of 2009 . Sometimes he would catch someone with a roll of fence, and then use it for his own cottage. According to the official website of the City of Johannesburg, a statue of Tsietsi Mashinini by Johannes Pokhela was revealed on June 16, 2010 , “Youth Day.” According to Shirley Makutoane, deputy principal of Isaac Morrison High School, the statue of Tsietsi Mashinini, funded by the June 16 Foundation, has temporarily been placed within the school perimeter. The statue will be moved to the Memorial Acre when it will be finished, in 2011 . According to Brian Mokhele, beside the June 16 Foundation, there is also a June 16 Memorial Acre Foundation. Both foundations are quarreling about the money involved in the Memorial Acre project. Nobody knows who’s involved in them. According to Marcus Neustetter, the June 16 Foundation consists of people that were part of 1976 protest movement, local government officials, representatives of the Hector Pieterson Museum, and the council. According to students from the Isaac Morrison High School, the statue of Tsietsi Mashinini is on the school ground because on the Memorial Acre it would be vandalized by youths from White City, an adjacent neighborhood. Accorcing to Brian Mokhele, the statue of Tsietsi should eventually be mounted on the Memorial Acre. It is wrong that the statue is in the school at the moment, because it is not a public school. He wants the statues to depict the massiveness of the force that was coming into Soweto after the protests. According to Brian Mokhele, City Parks, City of Jo’burg, City Lights, and SAPS are making some sort of plan to take the plan back. They want to remove the trees from the Memorial Acre, and redesign the Memorial Acre into a relaxing park, without political content. They want to depoliticize the square. In doing so,they will have their own employment and not use local workforces. According to Brian Mokhele, the community wants to remove the monuments, amphitheater, and sculptures from the Memorial Acre because they do not resemble anything. The sculptures should be depicting the truth of what happened, because the Memorial Acre is a political heritage site. He wants to involve the people that actually participated in the struggle to make the monument so that everyone can enjoy it and get a better understanding of the struggle heritage. Therefore, he proposes collective ideology in which everyone has a say. This would prevent future vandalization of the monument. According to Pat Motsiri, the sculptures must depict the event around June 16, 1976. Like the story of Dr Edelstein, who was pierced by pickaxes, forced into a garbage bin and burned alive. According to Jonas Staal, the Memorial Acre should be destroyed, its elements stacked on pallets, thus forming the Monument for the Distribution of Wealth . According to Mafaisa, his men can do the work quickly. He has about twenty men working under him. (shrink)

In Part III of his Remarks on the Foundations of Mathematics Wittgenstein deals with what he calls the surveyability of proofs. By this he means that mathematical proofs can be reproduced with certainty and in the manner in which we reproduce pictures. There are remarkable similarities between Wittgenstein's view of proofs and Hilbert's, but Wittgenstein, unlike Hilbert, uses his view mainly in critical intent. He tries to undermine foundational systems in mathematics, like logicist or set theoretic ones, by stressing (...) the unsurveyability of the proof-patterns occurring in them. Wittgenstein presents two main arguments against foundational endeavours of this sort. First, he shows that there are problems with the criteria of identity for the unsurveyable proof-patterns, and second, he points out that by making these patterns surveyable, we rely on concepts and procedures which go beyond the foundational frameworks. When we take these concepts and procedures seriously, mathematics does not appear as a uniform system, but as a mixture of different techniques. (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)

continent. 2.1 (2012): 6–21. The French philosopher and novelist Tristan Garcia was born in Toulouse in 1981. This makes him rather young to have written such an imaginative work of systematic philosophy as Forme et objet , 1 the latest entry in the MétaphysiqueS series at Presses universitaires de France. But this reference to Garcia’s youthfulness is not a form of condescension: by publishing a complete system of philosophy in the grand style, he has already done what none of us (...) in the older generation of speculative realists has done so far. His book is sophisticated, erudite, rigorous, imaginatively rich, and abundant in worldly wisdom– despite the author’s conclusion that wisdom does not exist. The quality and scope of Forme et objet took few observers by surprise, since Garcia has been treated as an emerging philosopher to watch across half a decade of Parisian oral tradition. But Garcia was not just the subject of rumor, being already well known to the French public as a writer of fiction. His debut novel, La meilleure part des hommes , 2 was awarded the 2008 Prix de Flore 3 and has already appeared in English as Hate: A Romance . 4 His follow-up novel, Mémoires de la jungle , 5 made clever use of a chimpanzee narrator. Nor was Garcia only published as a novelist before last November: his philosophical study L’Image 6 had already appeared when the author was just twenty-six, a year before he was crowned by the muses at the historic Café de Flore. And then in 2011, just months before the appearance of Forme et objet , Garcia published a widely distributed work entitled Nous, animaux et humains , 7 with its focus on Jeremy Bentham’s ideas about animals. Given this prolific and versatile track record, an optimistic scenario might envisage the young Garcia as one of those combined literary/philosophical talents who appear intermittently in France across the centuries: Jean-Paul Sartre is merely the most famous recent case. While more time is needed to see how Garcia will channel his impressive mental energies, Forme et objet displays such breadth of insight that its author has a good chance to emerge as one of the leading philosophers of his generation. If we accept Aristotle’s dictum that the peak mental age is fifty-one, then to read Garcia’s massive book is to gain some idea of what European philosophy might look like in the futuristic-sounding 2030’s. The present article is confined to Forme et objet . At 486 pages, the work is obviously daunting in size. Indeed, it is even longer than it sounds, given that many of its early sections are printed in a smaller typeface to designate them as supplemental commentary to the main flow of the argument. But while the length of the book reportedly led to delays in French publication, and will probably slow the inevitable appearance of an English translation, the length of the book should not deter interested readers– much of it results from Garcia’s teacherly writing style. Whereas Quentin Meillassoux’s prose displays an arctic economy of means, Garcia’s style is reminiscent of the repeated lessons of oral classroom proceedings. Rarely is the reader given fewer than three or four chances to master an idea before the author moves on to the next. In practice, the style feels welcoming rather than long-winded. Otherwise, the structure of Forme et objet is surprisingly simple. There is a useful Introduction of less than twenty pages. Then comes Book I: Formally , running to approximately 135 pages. Here Garcia outlines the most basic features of a thing “no matter what it is,” or n’importe quoi , an everyday phrase that Garcia shapes into a technical term. This part of the book feels at times like a more amiable version of Hegel’s Science of Logic , a parallel emphasized further by the threefold articulation of its theme: 1. Thing; 2. Thing and World; 3. Being and Understanding. This is followed by the much longer Book II: Objectively , totaling more than 300 pages. It contains sixteen essay-like meditations on specific kinds of objects—including time, animals, humans, history, gender, and death. Here each chapter rolls smoothly into the next, making this second part of the book feel more like a different work of Hegel: The Phenomenology of Spirit . But these are merely analogies. Garcia is no Hegelian, even if the book contains a few dialectical flourishes that seem to reflect his early enthusiasm for the Frankfurt School. Forme et objet ends with a six-page Coda, followed by the usual page of acknowledgments. In what follows, I will briefly summarize each of these four parts of the book before ending with some more general remarks. Before doing so, it will be useful to situate Garcia biographically (as much as I am able) and philosophically. Though Toulouse is his native city, his formative years were spent largely in Algeria, where his family has deep roots. During our sole private conversation, Garcia mentioned that his parents are professors of literature. 8 As a student of philosopher Garcia flourished so early that many of his current ideas date to his teenaged years: “There are sentences in Forme et objet that I wrote when I was seventeen,” he said in response to a question on that cold night on the Canal St.-Martin. I recalled that remark when reading his brilliant account, late in the book, of the central role of adolescence in contemporary culture. While many prodigies blow through their formal academic training without serious obstruction, Garcia’s student memories are rich in tales of isolation and struggle, though equally rich in gratitude for a half-dozen or so exceptional teachers who provided the intellectual space he needed: Meillassoux and Alain Badiou are simply two of the most prominent figures on that list. Though there are many points of agreement between Garcia’s philosophical position and my own, he not only reached his position years before reading my work, 9 he arrived along a rather different path: not through phenomenology, but via the Frankfurt School, which may be one of the reasons for his profound fascination with aesthetics. Garcia’s cultural background is as broad as one could wish: he is no less informed about punk rock and European football leagues than about the spiritualist roots of Bergson’s philosophy. Curious about everything and contemptuous towards nothing, Garcia can be expected to write insightfully on dozens of topics in the years to come. Given that his philosophy is so personally tantalizing in its agreements and disagreements with my own, and given the great internal richness of Forme et objet itself, the present review is no better than a first effort at coming to terms with the challenges posed by this minstrel from the rising generation. This is especially intriguing for older Generation X’ers like me, since confrontation with the younger generation is one of the many themes treated insightfully in Garcia’s book. 1. Introduction Garcia begins in defense of a so-called “flat ontology,” in which all things are equally things. While Roy Bhaskar 10 used this term pejoratively to refer to anti-realist philosophies that flatten everything onto an epistemic plane of human access, Manuel DeLanda 11 (an admirer of Bhaskar) reversed it into the positive principle that all realities are equally realities. Similar notions can be found in the “absistence” of Alexius Meinong, 12 the “irreduction” of Bruno Latour, 13 and my own critique 14 of the undermining/overmining pair. Also noteworthy is Levi Bryant’s use of the term “flat ontology” throughout The Democracy of Objects 15 and his earlier essay “The Ontic Principle.” 16 But for Garcia, flatness is only one face of the cosmos, and one that he ultimately declares to be rather impoverished. Even so, he always remains an advocate of a flat ontology. Insofar as everything is equally something, no matter what it is ( n’importe qui ), everything is equally a thing, equally solitary in its relation with world. This is why his book abounds in those long lists of random, ontologically equivalent entities that Ian Bogost has playfully termed “Latour Litanies.” 17 The first litany in Garcia’s book runs as follows: “We live in this world of things, where a cutting of acacia, a gene, a computer-generated image, a transplantable hand, a musical sample, a trademarked name, or a sexual service are comparable things.” (7) Yet Garcia is frankly dualistic; his flat ontology only lasts until page 159 and the end of Book I (entitled “Formally”), which deals entirely with things that are equally things. Thereafter Garcia turns his attention from things to objects, which are not flat in the least, but engage in hierarchical relations with one another. In agreement with both DeLanda and the speculative realists, Garcia proclaims that his book “proposes to put to the test a thought about things rather than a thought about our thought about things .” (8) Just as ducklings are “imprinted” (9) after hatching and treat the first creature they see as their mother, philosophers are imprinted by the idea with which they begin. Hence, philosophies that begin with human access will never truly find their way back to things. This makes Garcia rather suspicious of twentieth century philosophy, since “the twentieth century—to which in some way this work proposes to bid adieu—has been a period of theorizing modes of access to things rather than things...” (9) Among other possible benefits of the philosophy of things that Garcia proposes, it is fully able to account for thought as a special variant of things, while the reverse is not possible.(10) In Book I of Forme et objet , Garcia’s “things” are so flat, so de-determined, that he is forced to renounce some of the most basic features ascribed to things by most realists. As he tells us in his foreboding third footnote: “We will maintain that the solitude [of things] is less than unity, less than identity, and that it does not imply acceptance (any more than refusal) of the principle of non-contradiction.” (11) In a contemporary world cluttered with too many things, Garcia’s flat and formal plane provides us with some breathing room: “The formal plan of thought enables or re-enables us to cut short all accumulation—whether of knowing, experience, or action—by a simplicity, an impoverished surface...” (13) As Garcia says elsewhere in responding to a Deleuzian critic of the book, his starting point in flat ontology is designed to obstruct the claims of both analytic philosophy and Hegelianism: “Hence, this work seeks to protect each thing—real, imaginary, inconsistent, contradictory—both against Ockham’s Razor and against the Aufhebung or dialectical process.” 18 Yet contrary to the equalizing spirit of many flat ontologies, “we will add to our formal ontology of the equal, an objective ontology of the unequal.” (13) But initially, Garcia joins all flat ontologists in holding that everything is irreducible: “this irreducibility, which we will term the ‘chance’ of each thing... also marks the refusal of a positive thought that reduces things exclusively to natural things, or social things, or historical things, etc.” (15) This irreducible “chance” of a thing emerges as an important technical term in the book, always paired with its inverted brother, the “price to pay” ( prix à payer ). On pages 17-19, we find the only diagrams in the book. What they illustrate is that Garcia wishes to avoid two equally dangerous extremes. The first is the philosophy of substance, featuring the thing-in-itself as a mighty river fed by attributes as if by subordinate tributary streams. This model can be found in many of the classic thinkers of West and East alike. In it, “there is obviously a hierarchization between that which is dragged towards something other than itself, and this other which serves it as an ontological support while supporting its proper being.” (16) For Garcia, the second extreme worth avoiding is the philosophy of events: “One thus conceives trajectories of being, identified as events, facts, powers, intensities, or intentionality. These vectors of being come first, bearing and supporting being, displacing it, but without ever finding a stopping point, a buffer, an objective consistency.” (17) The first model gives us a thing too wrapped up in itself, too compact . This word “compact” (the French and the English are the same) is another technical term for Garcia. But if the “compact” model of things leads us to something more than things, the philosophy of events gives us less than things, by dissolving them into a play of vectors. Garcia’s alternative lies midway between these two extremes: Being enters the thing, being comes out of it. And a thing is nothing other than the difference between the enters and the being that comes out. Thus, the circuit of being is never halted. In the thing, there is never the thing-in-itself. And the thing is never in-itself, but outside of itself. Nonetheless, being is not eventally “pollinated” by vectors: it possesses an objecting halting-point... (19) This single idea is the key to Garcia’s book: the thing is neither a self-contained durable lump nor some sort of evental flux. Instead, the thing is the difference between its various components and its relations with its environment. Or stated differently: “the price to pay for this disposition is a circulation of being that systematically distinguishes two senses of things: that which is in the thing , and that in which the thing is , or that which encompasses it and that which it encompasses,” (19) translating comprendre here as “encompass.” 19 In a beautiful description of a piece of black slate, Garcia sums up the various minerals, qualities, and shapes that compose [ comprend ] it, and calls them “that which is in the thing,” (20) noting that this tells us nothing about “that in which [the slate] is”—namely, all the various situations in which the black slate can be found. Instead, the slate is the difference between these two: the most characteristic principle of Garcia’s philosophy. 2. Formally Book One of Forme et objet , “Formally,” is concerned with the formal equality of all things in a flat world. “Two questions mark the boundaries of reflection: of what is everything composed [ composé ], and: what do all things compose?” (27) Looking downward, we wish to know what everything is made of; looking upward, we want to know the ultimate result of the combination of all things. Here we must turn our attention to the thing n’importe quoi— no matter what it is. (30) Anything with finite qualities is obviously too specific to be relevant to global ontological questions. To an equal degree, something possessing all qualities (think of Whitehead’s God) 20 would not be n’importe quoi either, since it would still be too definite, even if incredibly vast. The same holds for contradictions, since these all differ from each other. The square circle, the non-white black white, and the non-city city are all too distinct to count as the thing no matter what it is. The n’importe quoi must be devoid of all specific qualities, including contradictory ones. In one of the more intriguing points in his book, so reminiscent of Meinong, Garcia proclaims that “the ‘no matter what it is’ is neither a reality nor an abstract construction, nor both of these at once; the ‘no matter what it is’ is simply the plane of equality of that which is real, that which is possible, that which is inexistent, that which is past, that which is impossible, that which is true, that which is false, that which is bad.”(39-40) Since everything has two faces, it would be a grievous mistake to focus on just one of them at the expense of the other, as physicalism or materialism do when reducing the world to minuscule physical underpinnings. For scientistic materialism, “it is either atoms, particles, or fields of force... which are the things.” (47-48) Moreover, “these more-than-things are accompanied by less-than-things: for example, ideas or facts of consciousness are determined by the state of matter and are not autonomous things, but manifestations reduced to secondary effects of material processes...” (48) On this point, Garcia’s position is in complete accord with my own critique of undermining and overmining. 21 Where we disagree is that Garcia is more deeply suspicious of the notion of substance, which I view as salvageable with a few needed changes, while Garcia sees this operation as hopeless: “A substance, in the history of philosophy, is the more-than-thing par excellence.” (51) Another agreement between our positions is visible when Garcia claims (correctly, in my opinion) “that it is vain to distinguish between things which are material and those which are not.” (52) Yet we also find an even more important disagreement, since for Garcia withdrawal cannot be the quality of a thing. Instead, the absence of a thing is simultaneous with it, embodied in all that is not it– the absence of the sculpture of a woman is to be found in the mold that appears at the same time as it, and thus withdrawal must be viewed as an “event” rather than as something pertaining to an object. For Garcia, nothing withdraws beyond access. Since we must distinguish between “that which is something” and “that which something is,” and since the former is identified with “no matter what it is is” and the latter with “ not no matter what it is,” we can say that “everything is thus a milieu, a fragile link between ‘no matter what it is’ and ‘ not no matter what it is.’” (62) And here we find Garcia’s critique of the thing-in-itself: “A thing is never defined en bloc . We can affirm that a thing is this or that, but that does not suffice. It is still necessary to state precisely that which is this thing .” (62) Stated differently, “something is not in itself : for that which is in the thing is not the thing, and that in which the thing is is not the thing.” (62) And here Garcia and I, facing the same evidence, draw opposite conclusions. For me, the fact that nothing can be identified with either its components or its concrete location means that the thing must be something in-itself distinct from both of these. Yet for Garcia, to be in-itself would mean to be identified with just one of these two extreme terms, and hence the thing can only be the difference between them. Garcia is equally suspicious of the classical tendency to view “unity” as a property of the thing, since in his eyes unity is too relational a property to belong to things. (65) While specific things are situated determinately with respect to other things, we are still speaking here about the thing no matter what it is, and this can be viewed only in terms of solitude, which all things share: a human being, a hand, or a chair or all equally things insofar as they are on their own , not insofar as they are one . (64) A thing is alone, and relates only to the one thing that is not another thing: world. In a striking parallel to my own argument for a partial revival of occasionalism, Garcia tells us that “the things communicate only by their solitude: it is because everything is equally on its own in the world that things can be together, enmeshed in one another.” (67) Alone in their solitude, things all relate to world, which serves as a mediator allowing them to become mixed up in one another. As we have seen, one reason that nothing can be in itself is because everything is in something else. For Garcia, “to be in something and to be something are equivalent.” (69) Stated more broadly, “being is thus the difference between the two aspects of each thing: that which is it, and that which it is.” (70) And even more vividly: “a thing is almost like a sack: there is that which one puts in the sack and that which remains outside the sack.” (70) But not quite like a sack, “since a thing is not a thin skin or film. Instead, a thing is comparable to a sack that is immaterial and without thickness: it is nothing other than the difference between that which is this thing and that which thing is, between content and container.” (71) Nothing can be in-itself because everything is two selves at once. For example, we cannot say that our self is defined by our consciousness: “Everything has a self because nothing is in itself. The self is not the quality of that which is related to itself (which is conscious, for example) or which thinks itself related to itself. Nonetheless, for an entity called ‘conscious’ to be related to itself, it is necessary that this very relation should be another thing than the self to which it is related.” (71) Consciousness cannot be the self, precisely because it is other than that of which it is conscious. Nothing is able to grasp itself. The self is “the function by which being and composition [ compréhension ] are mutually excluded...” (72) The self is “the point of shadow of everything that projects some light...” (72) The in-itself faces two opposite dangers: “For something to be in-itself is to be a self. Something which is a self flies out through one of its two sides... Stated differently, being in-itself is simply the possibility of a double failure.” (73) The in-itself can be termed compact : “There remains to us a means of thinking that which does not fully enter into the world, though without exiting from it. This means is what we call the compact.” (76) In a sense, the compact is the opposite of the world. For in the case of the world, everything enters it and it enters nothing; as for the compact, it enters the world (since it is something, after all) while nothing enters it. (77) The compact marks the presence of the impossible in the world. (78) It is not impossible, but possible only on the condition that it fails. (78) The time has come to speak of where a thing is located. “The sole condition of a thing is that of being in another thing than itself, and thus in another thing than something.” (78) A condition is “that which determines something, that which forms something, that in which something is.” (78) As for humans, “the condition of someone is his situation; my social condition is that which socially determines me, my place and my function...” (79) More generally, “to be conditioned is to find oneself reduced to that in which one is.” (79) Everything is conditioned, but nothing is reducible to this condition. To determine the condition of something is to determine in what it is. A thing is located in that which contradicts it, just as a statue exists in its mold, which is precisely that which it is not. Since the thing is finite and definite, its condition or form must be infinite and indefinite. That in which all things are is the world, which Garcia also terms “the whole.” (81) “To try to be in-itself is to attempt to remain outside the world. And indeed, to try to be in-itself is only a path of entry into the world.” (83) For Garcia, “the world is not the pre-existent container of the things it contains, a priori , nor the construction by the mind of a fictional ensemble of all things, a posteriori .” (85) Instead, the world is simultaneous with all things; the two always go together. The world cannot be a determinate world, such as the physical universe or mathematical space, since these are already too specific and limited. “Every determinate world, which is in fact a universe , is a ‘big thing’ [ grosse chose ]: it is a set, however vast, of composite things which itself embodies a thing.” (85) Every determinate world is really just a “big thing.” Stated differently, “it is nothing other than a balanced milieu between the things that compose it and the thing that it composes.” (85) We generally picture the world as a physical univer. (shrink)

This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared by (...) a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to (...) prove Pincherle's theorem, does not have an unique or unambiguous answer, in contrast to compactness. We establish similar differences for the computational properties of compactness and Pincherle's theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle's theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindelöf lemma. (shrink)

We present a range of mathematical theorems whose proofs require unexpectedly strong logical methods, which in some cases go well beyond the usual axioms for mathematics.

claims that constructive mathematics is inadequate for spacetime physics and hence that constructive mathematics cannot be considered as an alternative to classical mathematics. He also argues that the contructivist must be guilty of a form of a priorism unless she adopts a strong form of anti-realism for science. Here I want to dispute both claims. First, even if there are non-constructive results in physics this does not show that adequate constructive alternatives could not be formulated. Secondly, the constructivist adopts (...) a 'philosophy first' approach that Hellman rejects. This deep difference means that the viability of constructive mathematics cannot yet be decided by determining whether current scientific theories require classical mathematics. We need to decide which approach is most appropriate before we can even determine how we should go about deciding whether we should be constructive or classical mathematicians. (shrink)

Timm Triplett argues (Inquiry 29 [1986], no. 4) that David Bloor does not succeed in justifying a relativistic interpretation of mathematics. It is objected that Triplett has focused his attention on the wrong chapter of Bloor's Knowledge and Social Imagery, and that the examples which Triplett demands Bloor provide to make the case do appear in the subsequent chapter. Moreover, Bloor has anticipated and refuted Triplett's brief criticism of the examples that make Bloor's case for the relativism of (...) mathematics. Finally, Triplett's own example of a basic mathematical truth can be shown to be socially relative. (shrink)

The author claims to have developed interactional expertise in gravitational wave physics without engaging with the mathematical or quantitative aspects of the subject. Is this possible? In other words, is it possible to understand the physical world at a high enough level to argue and make judgments about it without the corresponding mathematics? This question is empirically approached in three ways: anecdotes about non-mathematical physicists are presented; the author undertakes a reflective reading of a passage of physics, first (...) without going through the maths and then after engaging with it and discusses the difference between the experiences; the aforementioned exercise gives rise to a table of Levels of Understanding of mathematics, and physicists are asked about the level mathematical understanding they applied when they last read a paper. Each phase of empirical research suggests that mathematics is not as central to gaining an understanding of physics as it is often said to be. This does not mean that mathematics is not central to physics, merely that it is not essential for every physicist to be an accomplished mathematician, and that a division of labour model is adequate. This, in turn, suggests that a stream of undergraduate physics education with fewer mathematical hurdles should be developed, making it easier to train wider groups of people in physical science comprehension.Keywords: Physics; Mathematics; Interactional expertise; Physics education; Mathematical literacy; Scientific literacy. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Matter and Mathematics: An Essentialist Account of the Laws of Nature by Andrew YOUNANDominic V. CassellaYOUNAN, Andrew. Matter and Mathematics: An Essentialist Account of the Laws of Nature. Washington, D.C.: The Catholic University of America Press, 2023. xii + 228 pp. Cloth, $75.00Andrew Younan’s work situates itself between two opposing philosophical accounts of the laws of nature. In one corner, there are the Humeans (or Nominalists); in the (...) other, the Anti-Humeans (or Platonists). The goal of the book is to find an explanation for the orderliness of the natural world that avoids falling into the difficulties of the two opposing philosophies. For example, the Humeans treat “events” as fundamental, and the laws of nature follow from these “events.” For the Humeans, reality is essentially random, with any order being something of our own contrivance. Whereas for the Anti-Humeans, the laws of nature are fundamental and are treated as causing events, turning the effect of necessity into the cause of material [End Page 166] characteristics. Looking to Aristotle and Thomas Aquinas, Younan proposes the recovery of a third option, the Essentialist position. This Essentialist position understands substances, that is, individual beings, as fundamental and all else (for example, events and laws of nature) follow from these individual beings. The thesis of the book, generally understood, is that Essentialism evades the critiques that the Humeans and Anti-Humeans put against one another while retaining what is right in each approach.The book is divided into two parts. The book’s first part deals with general objections and replies and is divided into three chapters. Chapters 1 and 2 address the two opposing accounts of nature mentioned, while chapter 3 argues for the benefits of recovering an Essentialist position. Chapter 1 examines the objection that Aristotelian natural philosophy is incompatible with modern science, an objection raised by Descartes. Chapter 2 addresses the objections of the Humeans, namely, that natural philosophy and, with it, causality and induction have been debunked. Chapter 3 looks at the fathers of quantum theory, specifically Heisenberg, and argues that a return to Aristotle’s understanding of nature would benefit the modern scientific project. The book’s second part is an argument for the Essentialist position and is divided into three chapters. Chapters 4 and 5 are the foundation for chapter 6. Chapter 4 is an abstractive account of mathematics, differing from Descartes and his conceptions, which draws on the texts of Aristotle and Aquinas’s Division and Methods. Chapter 5 situates necessity and its role in Aristotelian natural philosophy. Chapter 6 is the author’s attempt at defining what it is to be a law of nature.Younan argues that adopting an essentialist understanding of nature in a system where all knowledge begins in the senses has three significant “payoffs.” The first is that it avoids governance language, that is, it avoids making laws themselves causes of necessity; the second is that it avoids the assertion of a priori knowledge; the third is that it understands individual things as the fundamental primitives in nature, restoring the substance to its proper place as the thing that “stands under” accidental being.The book is concluded with an appendix that explores and rearticulates Thomas Aquinas’s fifth way under the consideration of everything the author had argued for in the book’s main text. Taking as established by the rest of the book that necessity and teleology go hand in hand, Younan argues for a creator God who establishes a universe freely but within certain parameters that follow upon being itself. Younan concludes, with Thomas Aquinas, that laws of nature are “ordinances of reason” that must come from a rational mind. To be as consistent as they are, the laws of nature must be promulgated by God, and they are discoverable within the nature of matter itself.Younan’s book often engages its interlocutors on the big-picture scale, frequently giving generalizations and not going into details to avoid getting bogged down in the weeds. The author is very aware of what he is doing. [End Page 167] It is appropriate since engaging the multiheaded hydra of the schools of thought that Younan... (shrink)

This article is a spiritual interpretation of Leonhard Euler’s famous equation linking the most important entities in mathematics: e (the base of natural logarithms), π (the ratio of the diameter to the circumference of a circle), i ( d -1),1 , and 0. The equation itself (e π i+1 = 0>) can be understood in terms of a traditional mathematical proof, but that does not give one a sense of what it might mean. While one might intuit, given (...) the significance of the elements of the equation, that there is a deeper meaning, one is not in a position to get at that meaning within the discipline of mathematics itself. It is only by going outside of mathematics and adopting the perspective of theology that any kind of understanding of the equation might be gained, the significant implication here being that the whole mathematical field might be a vast treasure house of insights into the mind of God. In this regard, the article is a response to the monograph by George Lakoff and Rafael Núñez, Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being (2000), which attempts to approach mathematics in general and the Euler equation in particular in terms of some basic principles of cognitive psychology. It is my position that while there may be an external basis for understanding mathematics, the results are somewhat disappointing and fail to reveal the full measure of meaning buried within that equation. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...) It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

Consider the following facts about the average, philosophically untrained moral relativist: (1.1) The average moral relativist denies the existence of “absolute moral truths.” (1.2) The average moral relativist often expresses her commitment to moral relativism with slogans like ‘What’s true (or right) for you may not be what’s true (or right) for me’ or ‘What’s true (or right) for your culture may not be what’s true (or right) for my culture.’ (1.3) The average moral relativist endorses relativistic views of (...) morality without endorsing relativistic views about science or mathematics. (1.4) The average moral relativist takes moral relativism to be non-relatively true and does not think there is anything contradictory about doing so. (1.5) The average moral relativist adopts an egalitarian attitude toward a wide range of moral values, practices and beliefs, claiming they are all equally legitimate or correct. (1.6) The average moral relativist often admonishes others to be more tolerant of those who engage in alternative ethical practices and to refrain from making negative moral judgments about them. (1.7) The average moral relativist sometimes makes negative moral judgments about the behavior of others—e.g., by harshly judging moral absolutists to be intolerant—but is less inclined to do so when the relativist’s metaethical views are salient in a context of judgment. (1.8) The average moral relativist takes anthropological evidence concerning the worldwide diversity of ethical views and practices to support moral relativism. (shrink)

What is it that determines the identity of an entity? Processualism is a theoretical perspective that offers a startling answer to this question. The identity of an entity—whether human or nonhuman, animate or inanimate—depends on the set of relations in which this entity is located. And as the sets of relations are several, so are the identities that an entity can take. This article discusses this conclusion by integrating processual accounts from different fields of inquiry, such as relativistic physics and (...) actor-network theory. According to a processual interpretation of relativistic physics, speaking of states of things is but an abstraction. For states come from the introduction of arbitrary breakups of the spacetime continuum. Therefore, processes precede states, a process being a set of relations that confers identity on a physical state. According to a processual interpretation of actor-network theory, the same holds true for actors. Again, speaking of states of actors is but an abstraction. For what really acts is heterogeneous networks. When one describes actors in isolation, one is neglecting a whole array of relations with other actors whereby that actor can act or is made to act in such and such a way. These strands of processualism come to the same conclusion as to the identity of entities. These are not characterized by individuality but by individuality: they can be differently individuated according to the set of relations one is able to take into account. The main methodological consequence is that, if one intends to describe what an entity is, knowledge of this entity—whether human or nonhuman, animate or inanimate—should be based on progressively less narrow localizations and mappings of the relations it has to other entities. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Handbook of Cognitive Mathematics ed. by Marcel DanesiNathan HaydonMarcel Danesi (Ed) Handbook of Cognitive Mathematics Cham, Switzerland: Springer International, 2022, vii + 1383, including indexFor one acquainted with C.S. Peirce, it is hard to see Springer's recent Handbook of Cognitive Mathematics (editor: Marcel Danesi) through none other than a Peircean lens. Short for the cognitive science of mathematics, such a modern, scientific pursuit into the nature and study (...) of mathematical practice would no doubt be found agreeable to Peirce. The fact that references to Peirce appear often throughout the Handbook is a welcome find, with Peirce's ideas being a key subject of half a dozen chapters, and where a reader of any other chapter may well find further connections to Peirce's ideas. After spending time with the Handbook, it is clear that cognitive mathematics has not only embraced some of Pierce's ideas but may be at an important forefront of Peirce studies. In the end, the field may well be an area a Peircean should pay attention to.The book itself is pitched as a reference volume to the field (p. v) with the necessary background to familiarize oneself with the aims and results. The connection to cognitive science may call to mind detailed cognitive models [Ch. 10–14], theories on the origins of numeracy and other theories behind the biological and evolutionary requirements of mathematical thought [Ch.15–18], and the like. These are all present. But a key theme of the Handbook is to situate mathematics not just within more traditional 'cognitive' faculties and the more formal, i.e. algebraic, presentations of mathematics, but also to place mathematics within other human faculties and practices, from the arts to language [Ch. 19–22], within education and learning more broadly [Ch. 23–26], and in relation to the significant, though at first perhaps less quantitative parts of mathematics, like the use of metaphor, gesture, analogy, [End Page 243] abstraction, as well as further cultural and ethnographic considerations [Ch. 5–8]. The Handbook has explicitly taken a broader, more interdisciplinary approach (p. vi–vii) towards the scientific aspects of mathematical practice—choosing to regulate the study not by antecedently drawn opinions about what mathematics is (or has traditionally been taken to be) but by what future quantifiable and diverse study may come to bear on the practice and have to say about those engaging in it.This broad interdisciplinarity has a pragmatist ring, where theory cannot so easily be separated from the normative, social, and, more generally, the more thoroughly human aspects that we encounter and employ when we engage in it. Two further commitments of cognitive mathematics steer us even closer towards Peirce's views. The first—going back, for example, to Lakoff and Núñez's Where Mathematics Comes From (2000), which is taken to be a key early work in shaping the field—is that mathematics is taken to be a language like any other and as such must be learned and situated within our other cognitive faculties (p. vi, Ch. 4). The second—and largely, one imagines, following from a concern for seeing how mathematics is actually practiced—is that mathematics is essentially diagrammatic, involving as it does experimenting in diagrams and employing other signs (one may think here even of the mathematician sketching equations or geometric figures on a sheet of paper). What is perhaps initially most noteworthy about Peirce's philosophy of mathematics is his early concern for both these aspects of the practice.The book (more like a tome of over 1300 pages) is too large to be covered here in all its aspects, hence the review will focus on those aspects a Peircean or Pragmatist may find of interest. In particular, this review focuses on several of the themes above—situating mathematics more broadly within our everyday (cognitive) lives, the necessarily diagrammatic, fallible, and creative aspects of the practice, and, finally, what these aspects may have to say about Peirce's philosophy more generally, particularly with respect to (scientific) inquiry.A Peircean reader may well begin with Pietarinen's "Pragmaticism as Philosophy of Cognitive Mathematics" [Ch. 39] and "Peirce on Mathematical... (shrink)

This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, (...) its goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

In this article some intriguing aspects of electromagnetic theory and its relation to mathematics and reality are discussed, in particular those related to the suppositions needed to obtain the wave equations from Maxwell equations and from there Helmholtz equation. The following questions are discussed. How is that equations obtained with so many irreal or fictitious assumptions may provide a description that is in a high degree verifiable? Must everything that is possible to deduce from a theoretical mathematical model (...) occur in the world? Does everything that takes place in the world have a mathematical description? (shrink)

This paper explores different interpretations of the word ‘deep’ as it is used by mathematicians, with a large number of examples illustrating various criteria for depth. Most of the examples are theorems with ‘historical depth’, in the sense that many generations of mathematicians contributed to their proof. Some also have ‘foundational depth’, in the sense that they support large mathematical theories. Finally, concepts from mathematical logic suggest that it may be possible to order certain theorems or problems according (...) to ‘logical depth’. (shrink)

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.'' Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and (...) mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: 'Doets and van Eijck's ``The Haskell Road to Logic, Maths and Programming'' is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.' Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau. (shrink)

Do numbers and the other objects of mathematics enjoy a timeless existence independent of human minds, or are they the products of cerebral invention? Do we discover them, as Plato supposed and many others have believed since, or do we construct them? Does mathematics constitute a universal language that in principle would permit human beings to communicate with extraterrestrial civilizations elsewhere in the universe, or is it merely an earthly language that owes its accidental existence to the peculiar evolution (...) of neuronal networks in our brains? Does the physical world actually obey mathematical laws, or does it seem to conform to them simply because physicists have increasingly been able to make mathematical sense of it? Jean-Pierre Changeux, an internationally renowned neurobiologist, and Alain Connes, one of the most eminent living mathematicians, find themselves deeply divided by these questions.The problematic status of mathematical objects leads Changeux and Connes to the organization and function of the brain, the ways in which its embryonic and post-natal development influences the unfolding of mathematical reasoning and other kinds of thinking, and whether human intelligence can be simulated, modeled,--or actually reproduced-- by mechanical means. The two men go on to pose ethical questions, inquiring into the natural foundations of morality and the possibility that it may have a neural basis underlying its social manifestations. This vivid record of profound disagreement and, at the same time, sincere search for mutual understanding, follows in the tradition of Poincaré, Hadamard, and von Neumann in probing the limits of human experience and intellectual possibility. Why order should exist in the world at all, and why it should be comprehensible to human beings, is the question that lies at the heart of these remarkable dialogues. (shrink)

Purpose: The relativism inherent in radical constructivism is discussed. The epistemic positions of realism and relativism are contrasted, particularly their different approaches to the concept of truth, denoted (respectively) as "truth by correspondence" and "truth by context." I argue that the latter is the relevant one in the domain of science. Findings: Radical constructivism asserts that all knowledge must be constructed by the individual knower. This has implications for teaching, here imagined as a sharing of knowledge between teacher (...) and students: it should be done, not by "reporting the true facts" of whatever is being taught, but rather by "telling a story" about it. An explicit distinction is made between the notions of cognitive and non-cognitive knowledge. It is argued that cognitive knowledge (such as in mathematics and science) is characterised by rules that can be unambiguously agreed on by actors who choose to "play the game"; and hence such knowledge is directly communicable from the teacher to the students. Implications: In telling the story of science, the teacher can verify that the students "have got it right," even though they are all constructing their knowledge individually. In contrast, for non-cognitive knowledge (emotion, preferences, belief, ...) there are no such unambiguous rules to agree on, and therefore it is not communicable in this way: in telling this story, the teacher has no way of verifying that the same knowledge is actually being shared. Conclusion: Science teaching should be carried out in the mode of story-telling; it does not need an epistemology of realism. (shrink)

Sophists’ apologia. -/- Sophists were the first paid teachers ever. These ancient Greek enlighteners taught wisdom. Protagoras, Antiphon, Prodicus, Hippias, Lykophron are most famous ones. Sophists views and concerns made a unified encyclopedic system aimed at teaching common wisdom, virtue, management and public speaking. Of the contemporary “enlighters”, Deil Carnegy’s educational work seems to be the most similar to sophism. Sophists were the first intellectuals – their trade was to sell knowledge. They introduced a new type of teacher-student relationship – (...) the mutually beneficial communication on equal terms. They taught pupils how to think independently and how to persuade others, which was inseparably connected with the rise of democracy in the most advanced Greek polices. Sophists were the first to proclaim that all people are naturally equal. They put forward the idea of natural rights and social contract, working out the fundamentals of the present-day law. In addition, they developed the basics of philology, psychology, logic, and gave a scientific explanation to the origins of religions. They embodied definite positive ideals of their epoch. Sophistry flourished in the second half of the Vth through he first third of the IVth centuries B. C. The period coincides with the heyday of the entire Greek history – the so called Greek Miracle epoch. Sophists expressed some present-day concepts of Ancient Greek ideology and mentality, characteristic of its Golden Age times. The Ancient Athens of the times of Periclus were similar to the Florence of Renaissance as to the type of social structure. That is why (?) the art of eloquence (public speaking) was highly respected in Florence. The two cities had a lot of features of the present-day capitalist society, which was due to their role as the main centres of industry of their “worlds-economies”. During the subsequent Hellenic period, the Old Order was restored, based on the feudal rent recipients’ rule. The degradation of society resulted in the decline of sophistry. Sophistry represents the highest point in the evolution of Greek philosophy. It is also the most prominent school as to the novelty of its ideas. That was owing to the common propensity for innovation typical of Periclus’ Golden Age, which in its turn resulted from the establishment of the individualistic and rationalistic thinking similar to present-day mentality. Among other aspects, close attention was paid to ethnic issues; some humanistic ideas such as Master and Servant ethics and Enlightment as the primary condition of man’s freedom, received scientific grounding. The genre of philosophical dialogue was developed, as well as the rationalistic scientific gnoceology, aimed at consistently opposing any religion. Dialectics, the most outstanding achievement of the Antiquity, was also worked out by the sophists. Zeno of Helleas was one of the sophists. Democrites’ ideas were, too, quite close to dialectics. Socrates’ contemporaries regarded him ironically, as shown, for example, in the Aristophanes’ comedy “Clouds”. Nevertheless, this scholar can still be referred to as a sophist, although of somewhat weird personality. Socrates’ popularity, which came later, should be attributed to the fact that he was the first philosopher ever to have been sentenced and executed by law, rather than to any valuable scientific contributions. Sophistry as such, rather than Socrates, marks the line between pre-Socratic and post- Socratic schools. Plato, with the exception of his latest works, is considered to belong to the same philosophical school. Specifically, there are valid reasons to believe that he was paid fees by his disciples. In Plato’s Dialogues, all points of view will be proven and then disproved, so that an integral philosophical system is hard to observe. Plato’s “Idealism” is but one of the many possible theories. His ideal philosophy is a high-minded argument of wise men. As late as towards the end of his life, Plato betrayed the ideals of sophistry, turning into the world’s first proponent of totalitarianism. Sophistry is Greek classical literature. Later on, philosophy, as well as the entire Greek civilization, started to fall into decline. Over 500 subsequent years, Hellenistic-Roman scholars never came up with anything novel. The entire process of antique philosophical evolution can be subdivided into the following six stages: Phoenician (IX–VIIth centuries B. C.), archaic (VIth – the first half of IVth century B. C., classic (the epoch of sophistry: the second half of the Vth through the first decades of the IIIrd centuries B. C.), late antique (middle of the IIIrd – first decades of the VI th centuries B.C.) The fact that early in the VIth century B. C. sophistry was rejected in Athens, has a lot to do with the consequences of their defeat in Peloponnesian war, a social catastrophe. Ever since, the prevalent part of the criticism of sophistry is a criticism of sophists’ immoral ways of life and personalities, rather than the essentials of their philosophy. For instance, Aristotle’s criticism primarily concerns their pragmatism and tendency to make a profit out of teaching. However, Aristotle himself taught his disciples along similar lines, showing them how to “be able to prove both opposites”. It was Aristotle who summed up sophists’ century-long elaborations. The traditional modern interpretation of sophists as shown in Plato’s dialogues appears to be groundless. The truth of the matter is that Plato regards sophists as more serious philosophers than Socrates was. It becomes especially clear in the dialogue titled “Protagoras”, which shows the latter as gaining an undoubted victory over Socrates. Generally speaking, Plato’s works never regard sophists as weak or worthless opponents. A common opinion as to the essence of sophists’, in particular, Protagoras’s philosophy, has hitherto not been worked out. Many researchers renounce the very existence of any specific philosophical position in sophistry. The term “relativism” itself now has a bad name. However, it should be borne in mind that Protagoras doctrine emerged as a result of an attempt to get out of the ontological dead-end to which the entire Greek natural philosophy had come. To this purpose, he employed Anaxagoras’s idea about everything comprising everything, whereupon he built his physical-ontological theory, and Zeno of Helleas’s concept that all objects are such and different at the same time in the same respect. According to Protagoras’s philosophy, every object does not only seem, but is different from every other object, including human beings. Therefore, every person is his or her own measure of all other entities. The objective reality is the Ego’s relations with the outer world. Every object’s essence is defined through its interaction with ourselves. Nothing remains stagnant – every existence already contains non-existence, and vice-versa. However, the relativity of being is not to be regarded as absolute. That means, that relatively stable and therefore relatively cognizable entities do exist, among them the words we say. Doubt is not considered absolute by relativists either, which differentiates them from skeptics and agnostics. They dare to believe. Uncertainty is Godly – here, Protagoras becomes very close to the concept of apathetic theology. Gorgius shared Protagoras’s views and tried to prove them applying the same method as Zeno applied when upholding Parmenidis’s philosophy. He argued that if one accepts the opposite point of view and agrees that nothing can exist and not exist at the same time, one is bound to come to an the absurd conclusion that nothing is cognizable and nothing exists. To prove that there is a universal contradiction within the Existence itself, Protagoras and his followers in their turn put forward a number of special logical arguments, called rules of contraries, or sophisms. The most well-known of them is the Euathle’s sophism, which proves that an object can be such and different at the same time in the same respect. Generally speaking, all relationships of any entity are extraneous. The idea that all entities, including concepts, exist and do not exist at the same time, was also accepted by Plato. It should be stressed, that Plato’s philosophy as a whole is relativists’ greatest achievement. In his dispute against relativism, Aristotle put forward the main concepts of his ontology: the existence falls into the existence in possibility and the existence in reality, or substance and accidence – the ever changing “sublunary” world and the stable world of divine heavenly bodies. This division made his system self-contradictory to the point of absurd. Aristotle quite realized, that the direct disproof of relativism is hardly possible, which fact makes his criticism a mere tautology. It is very indicative in this respect that materialists, idealists and even skeptical agnostics applied the same arguments do disprove relativism. That demonstrates that the inner contradiction between any forms of “absolutism” and relativism is the most fundamental philosophical problem. Relativist ideas were repeatedly renewed throughout history, provided the social conditions were favourable. In variations, the concepts were advanced by Tzuan Tsi and ancient Chinese sophists, apostle Paul, Nicolas of Cusa, Galileo, Rene Descartes, G. Berkley, D. Hume, Ch. S. Pierce, E. Mach, A. Bogdanov, F. de Saussure, N. Bore, P. Feuerabend, U. Quain and others. However, no consistent relativist ontological system was developed after Protagoras. Meanwhile, a valid relativist theory could provide a clue to a fuller and more adequate general physical concept of the world, and to a deeper understanding of quantum mechanics. -/- Relativism as an ontological system of beliefs. -/- The relativist principle of relativity of all that exists is fundamental for the entire system of philosophy. Absolutely everything exists, but, at the same time, no existence is absolute. Anything is possible, but those entities only exist for us with which we interact this way or another, i. e., reality is interaction, “I interact – hence, I exist”. However, an overly close relationship between entities leads to non-existence – in other words, there is a certain existential optimum. For all of us, information, or perceptible heterogeneities, is real. Each of us is the center of a definite system of interactions with the world. If God is an endless Possibility, then the World is but the man’s dialogue with God. However, the ties that bind us with the world are of some definite kind, which predetermines our reality. The principle of relativity constrains itself, as any relativity is relative. On the one hand, that calls forth the Evil – caused by our own weakness. On the other hand, it makes our world relatively stable and cognizable. Generally speaking, the world is what we are. Everybody has an own Universe, but since people are fairly similar, our universes can be regarded as one Universe with common laws and regulations. It is possible for us to change the degree of objects’ existence in relation to ourselves and one another. It is equally important, though, to remain ourselves (keep following our “warrior’s path”). Since everything exists and no existence is absolute, the process of cognition should involve a criticism of everything but never a complete rebuttal of anything. The criterion of verity for any theory then is in its capacity to build itself upon a bigger number of diverse statements than in any other theory. Theoretically, all philosophies should ideally be complementary. The question of what in fact happened is meaningless unless we specify the “we”, the “where” and the “when”. The past can only exist as part of the present. When we change, our past undergoes corresponding qualitative objective changes, all of which are irreversible. The contemporary physics regards all objects of the Universe as existing for one another, which results in absurd conclusions. In fact, only what we interact with, exists. The so called “speed of light in vacuum” c is the maximum speed of direct interaction and direct exchange of signals. Specifically, at the oncoming speed c with a significant blue parallax the gamma-quantum is unable to interact with the matter. When this speed is reached, the gravitational mass of objects in relation to one another becomes equal to zero (imaginary), whereas their inertial mass equals infinity. Further acceleration will bring us into an entirely different Universe. That means that the Universe is an open system, which fact destroys all present-day cosmological models. Anything is possible in this world. Our reality is magic. Every bit of space contains a potentially limitless number of bits of other, however virtual, universes, as well as an infinite number of particles, which are still virtual for us (as postulated by quantum mechanics). In other words, there exists an infinity of different realities. With all the above in mind, the different levels of entities’ existence, in particular, of Life and Reason, should be taken into consideration. For example, to which extent a live system exists in relation to the inanimate forms of being is very indefinite, as what life is has to be determined by living creatures. An even greater compass of levels of existence can be brought about through interaction – that is the core idea of Godel’s theorem. As a result, the range of forms of existence tends towards infinity – the evolution of matter through super-intelligence will bring us up to God’s heights. A more generalized mathematical model of the physical world, including a universal operator of the co-existence of objects, can be developed based on the above considerations. The bonds between objects become weaker owing to 1) a high speed, 2) acceleration, 3) rotation, 4) strong gravity, 5) strong fields of other kinds, 6) the difference of levels of existence , 7) phase shifts. Yet, there always is an existential optimum. Such mathematical model is to operate certain non-transitive algebras. Relativist ontology assumes that the notion of “temperature” is relative, thus making it possible to ignore the Second Law of Thermodynamics. In its turn, that will allow for phase shifts. A perpetual motion machine of the second type will become a reality. Rotation could presumably be used to increase inertial and decrease gravitational mass, slowing down the time. An experimental research could shed light on the mentioned effects. (shrink)

Thought experiments analogous to those discussed by Landau and Peierls are studied in the framework of a manifestly covariant relativistic quantum theory. It is shown that momentum and energy can be arbitrarily well defined, and that the drifts induced by measurement in the positions and times of occurrence of events remain within the (stable) spread of the wave packet in space-time. The structure of the Newton-Wigner position operator is studied in this framework, and it is shown that an analogous time (...) operator can be constructed which satisfies the canonical commutation relation with the energy E but does not commute (due to the presence of a time drift term) with the momentum p. The resulting commutation relation is used as a mathematical basis for the derivation of the Landau-Peierls relation Δt Δp≳ħ/c. (shrink)

Andrew Boucher (1997) argues that ``parallel computation is fundamentally different from sequential computation'' (p. 543), and that this fact provides reason to be skeptical about whether AI can produce a genuinely intelligent machine. But parallelism, as I prove herein, is irrelevant. What Boucher has inadvertently glimpsed is one small part of a mathematical tapestry portraying the simple but undeniable fact that physical computation can be fundamentally different from ordinary, ``textbook'' computation (whether parallel or sequential). This tapestry does indeed (...) immediately imply that human cognition may be uncomputable. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Ad Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back InTony E. JacksonAd Infinitum: The Ghost in Turing’s Machine: Taking God Out of Mathematics and Putting the Body Back In, by Brian Rotman; xii & 203 pp. Stanford: Stanford University Press, 1993, $39.50 cloth, $12.95 paper.Brian Rotman’s book attempts to pull mathematics—the last, most solid home of metaphysical thought—off its absolutist (...) foundations and into the roiling current of postmodernism. His argument works in what has by now become a rather standard manner. He shows how the grounding ideas of mathematics rest upon the insupportable assumption of a realm of absolute truth, “truth perfect, truth outside time, outside space, outside the material world of matter, energy, and entropy, truth somehow able to be discovered or apprehended but never invented” (p. 19). Rotman questions this Platonic grounding in a number of ways.First, with the help of linguistics (de Saussure, Benveniste, Wittgenstein, and Peirce) he provides a semiotic analysis of mathematical arguments as real-world linguistic events. Proof he looks at “not as a form of inference engaged in preserving eternal truths, but as an historically conditioned species of rhetoric” (p. 35). Secondly, Rotman argues that one idea has most secured the fortress-like solidity of mathematical Platonism: the idea of ad infinitum or infinite iteration. Mathematics takes off from the givenness of the natural numbers, our everyday 1, 2, 3 and so on to infinity. It is the “so on to infinity” that frames up the house of arithmetic as it has stood since Euclid. (Euclidean in this context is equivalent to Platonic in the context of philosophy.) But what is the referent of these numbers? Ultimately they are said to be the symbolic representation of the action of counting, which is the “mathematical ur-cognition” (p. 51). And yet we cannot imagine any material human situation in which counting could actually go on to infinity. Therefore, some impossible, supernatural agent (the ghost of the title) must be projected in order for this conception to exist. Similarly, Rotman argues against the assumption of “perfect repeatability” because this notion depends upon some purely imaginary, ideal identity of object or action that could possibly be repeated. Ad infinitum requires and assumes both a disembodied, metaphysical counter and a disembodied, metaphysical counted.So Rotman sets about putting the body back into this symbolic system by rejecting the idea of ad infinitum. Instead of assuming the existence of counting activities that run, in principle, out to infinity without changing their nature, Rotman posits what he calls “realizable iteration,” that is, counting that admits the necessary dissolution or change of whatever repetitive function you begin with. Put simply, he includes the fact that quantitative accumulation or repetition always eventually brings about a qualitative change: at some point in everyday life a difference of degree of the “same” thing or action inevitably becomes a difference of kind. The natural numbers and the ad infinitum [End Page 390] remain blissfully sheltered from this inescapable real world truth, but Rotman reformulates mathematics so as to include this truth in the very idea of numbering.In fact (and he acknowledges this) he theorizes counting after the model of chaos or complexity theory in the physical sciences. Realizable iteration, he says, will bring in the “qualitative differences” forgotten or repressed (the language of Nietzsche, Heidegger, and Freud runs throughout) in the metaphysical version of number, and “display [the qualitative differences] as the emergent effects of repetition” (p. 131). Even numerical addition, for instance, which had been the most linearly continuous of activities, now will be linear beginning from some initial point, but will become increasingly nonlinear as quantitative increase tends towards some point of qualitative discontinuity with what had come before. The point of discontinuity, though certain to appear, is by its nature not specifiable beyond a horizon of probability, and in this, Rotman aligns his arithmetic not only with chaos theory, but also with quantum mechanics. In an appendix, Rotman elaborates at least to a degree the “pre-elements” of his non-Euclidean arithmetic.As chaos theory does not destroy everyday cause... (shrink)

Relativism is one of the most tenacious theories about truth, with a pedigree as old as philosophy itself. Nearly as ancient is the chief criticism of relativism, namely the charge that the theory is self-refuting. This paper develops a logic of relativism that (1) illuminates the classic self-refutation charge and shows how to escape it; (2) makes rigorous the ideas of truth as relative and truth as absolute, and shows the relations between them; (3) develops an intensional (...) logic for relativism; (4) provides a framework in which relativists can consistently promote ethical, mathematical, scientific, religious, and political truths (among others) as being relative; (5) argues that the notion of incommensurability is far less troubling than is commonly thought; and (6) argues that the concept of a perspective as needed by the theory is not prey to Davidson's well-known critique of conceptual schemes. The paper will not defend relativism as the correct theory of truth, nor will it provide a fully satisfying theory about the nature of a perspective. The logic of relativism is primarily meant to provide a formal framework in which relativists can consistently develop their theories. This alone is a considerable step forward, since the debate about relativism often founders upon the rock of self-refutation. It is argued that while 'everything is relative' is inconsistent, 'everything true is relatively true' is not. The latter is all a relativist really needs. (shrink)

Recent no-go theorems for absolute facts in single-world interpretations are widely considered the strongest arguments in favour of ‘quantum relativism’: interpretations according to which measurement results are observer-relative. In this paper, however, I show that relativist interpretations are themselves vulnerable to mathematically identical ‘revenge’ theorems, unless they assume a particularly radical form. To this end, a novel distinction between tame and feral varieties of quantum relativism is introduced, where a relativist interpretation counts as tame if and only if (...) it postulates i) absolute facts about relative facts (absolute facts of second order) and ii) the possibility of communication across perspectives. While at first sight preferable to feral views, tame relativism turns out to be subject to revenge problems: arguments against absolute measurement outcomes can be modified and turned against absolute facts about which outcome a measurement has relative to a particular observer. This observation is developed in detail for the case of the ‘Local Friendliness’ EWF theorem. Moreover, it is shown to generalise to absolute facts about the facts that obtain relative to sequences of specified reference systems of arbitrary length. This suggests that only the most radical types of relativist interpretations have a hope of being motivated with recourse to EWF scenarios. (shrink)

A summary of a philosophical (ontological) system of consistent relativism based on the postulate of relativity of existence of all things in existence is proposed. Absolutely everything exists, but, at the same time, no existence is absolute. Anything is possible, but only those entities we interact with one way or another exist for us, i.e., reality is interaction, “I interact—hence, I exist”. For all of us, information, or perceptible heterogeneities, is real. There exists an infinity of different realities. (...) The different levels of entities’ existence, in particular, of the Life and the Mind, should be taken into consideration. The existence of live systems in relation to non-living entities is undetermined, thus the alive can appear in its specifically live properties only through interaction with living things: there’s no difference between alive and dead for the stones. An even greater range of levels of existence can be brought about through interaction—that is the core idea of Gödel’s theorem. As a result, the range of forms of existence tends towards infinity—the evolution of matter through the Overmind will bring us up to God. This ontological position assumes a series of non-trivial physical conclusions, which can be tested experimentally, including the use of mathematical models. Rotation could be used to increase inertial mass and decrease gravitational mass, slowing down time. A more generalized mathematical model of the physical world, including a universal operator of the co-existence of objects, can be developed. In this model of Reality, superluminal speeds (without interaction) are possible and the Universe is open. (shrink)

Philosophical interpretations of theories generally presuppose that a theory can be presented as a consistent mathematical formulation that is interpreted through models. Algebraic quantum field theory (AQFT) can fit this interpretative model. However, standard Lagrangian quantum field theory (LQFT), as well as quantum electrodynamics and nuclear physics, resists recasting along such formal lines. The difference has a distinct bearing on ontological issues. AQFT does not treat particle interactions or the standard model. This paper develops a framework and methodology (...) for interpreting such informal theories as LQFT and the standard model. We begin by summarizing two minimal epistemological interpretation of non-relativistic quantum mechanics (NRQM): Bohrian semantics, which focuses on communicables; and quantum information theory, which focuses on the algebra of local observables. Schwinger's development of quantum field theory supplies a unique path from NRQM to QFT, where each step is conceptually anchored in local measurements. LQFT and the standard model rely on postulates that go beyond the limits set by AQFT and Schwinger's anabatic methodology. The particle ontology of the standard model is clarified by regarding the standard model as an informal modular theory with a limited range of validity. (shrink)

This book seeks to work out which commitments are minimally sufficient to obtain an ontology of the natural world that matches all of today’s well-established physical theories. We propose an ontology of the natural world that is defined only by two axioms: (1) There are distance relations that individuate simple objects, namely matter points. (2) The matter points are permanent, with the distances between them changing. Everything else comes in as a means to represent the change in the distance (...) relations in a manner that is both as simple and as informative as possible. The book works this minimalist ontology out in philosophical as well as mathematical terms and shows how one can understand classical mechanics, quantum field theory and relativistic physics on the basis of this ontology. Along the way, we seek to achieve four subsidiary aims: (a) to make a case for a holistic individuation of the basic objects (ontic structural realism); (b) to work out a new version of Humeanism, dubbed Super-Humeanism, that does without natural properties; (c) to set out an ontology of quantum physics that is an alternative to quantum state realism and that avoids any ontological dualism of particles and fields; (d) to vindicate a relationalist ontology based on point objects also in the domain of relativistic physics. (shrink)

Translated by Drew S. Burk and Anthony Paul Smith. Excerpted from Struggle and Utopia at the End Times of Philosophy , (Minneapolis: Univocal Publishing, 2012). THE END TIMES OF PHILOSOPHY The phrase “end times of philosophy” is not a new version of the “end of philosophy” or the “end of history,” themes which have become quite vulgar and nourish all hopes of revenge and powerlessness. Moreover, philosophy itself does not stop proclaiming its own death, admitting itself to be half (...) dead and doing nothing but providing ammunition for its adversaries. With our sights set on clearing up this nuance, we differentiate philosophy as an institutional entity, and the philosophizability of the World and History, of “thought-world,” which universalizes the narrow concept of philosophy and that of “capital.” We also give an eschatological and apocalyptical cause to this end, of “times” or “ages” rather than those of philosophical practice. Last but not least, it is the Future itself in the performativity of its ultimatum that determines this end times, reversing these times from the Identity the Future accorded to it, withdrawing the thought-world from the lie of its death. Why this style of axioms and oracles, these more or less subtle distinctions, old and debased, with an appeal to the ultimata , to end times and last words? We fight to give, parallel to the concept of Hell, its new theoretical position, for its philosophical return and its non-philosophical transformation. No more so than any other word, Hell is not a metaphor here, just the Principle of Sufficient World. Every man, no doubt, has his “hell” readily available, connivance, control, conformism, domestication, schooling, alienation, extermination, exploitation, oppression, anxiety, etc. We have our little list that the Contemporaries established in the previous century in the same way one used to construct lists of virtues and vices or honors and wealth. They invented it for us without knowing it, for us-the-Futures who have as our responsibility to invent its use. In the Christian and Gnostic tradition, the struggle of the End Times takes place “on earth.” The most sophisticated of believers have it taking place in Heaven as well, above all in Heaven. The various kinds of gnosis imagine infinite falls and vertiginous highs, the vertigo of salvation. On Earth as in Heaven, a hell is available. The Marxists have the law of profit and the control of production, the class struggle Capital imposes on man. The Nietzscheans, the dull grumble of the struggle in the foundations of World and History, the domestication of man, the society of control. The phenomenologists, the capture of being, the most superficial amongst them, the age of suspicion. But all of these “hells” are taken from World, History, Society, and Religion. What we call Hell is no longer of the order of these specific and total intra-worldly generalities, it is both more singular and more universal, no longer being at all of the same order, it is the determinant Identity of these small hells strung out through history but unified here in the name of the last Humaneity. It is even found within the French idiom for hell [ enfer ], en-fer literally means “in-irons.” We are as much “in-irons” as we are “alive” [ en-Vie ]. We believe in Hell but as non-philosophers and it is even because we are non-philosophers that we can believe in it outside of any sort of religion. Hell is less mythological than ideological, it combines philosophizability with universal capital. Under what form? A single term could work for them without being a metaphor or something they would participate in by analogy, a more innovative and conjectural term than control, more universal than profit. It would denote the growing and permanent extortion of a surplus-value of communication, of speed and of urgency in change, in productivity and in work, in the pressure of images and slogans. It would be worse than solicitation, more tenacious than capture, more active and persecutory than control, softer and more insidious than a frontal attack, just as perverse as questioning and accusation, less brutal and offensive than extermination, less ritualized than inquisition, it would be soft and dispersed, instantaneous and vicious, it would be a crime without declared violence. Collusion and conformism, it would be afraid to show itself. Related to rumor, from which it borrows its infinite and tortuous ways. It is harassment. As a modernized form of Hell, perhaps harassment has a long future in front of it, of innocent torture, slow assassination, in short the fall, but radical with no way of recovering and which tolerates only salvation. THE PHILOSOPHICAL PAST OF NON-PHILOSOPHY Non-philosophy is thus Man as the utopian identity of the philosophical form of the World, a utopia destined to transform it. We still have to understand these equations, in particular that of the being-uni-versed from Man, and this book adheres to this by re-exposing non-philosophy in a different way via one of its new possibilities. It uses this opportunity to once again take up formulations that lead to objections answering certain external critics, as well as revisiting diverging interpretations specific to non-philosophers. A portion of this book is devoted to going through these theories via a strict or “lengthy” presentation of non-philosophy, and its defense against more expeditious solutions. This work of rectification is the occasion, merely the occasion, for refocusing non-philosophy on Man (the “Man-in-person,” “Humaneity”), and in a more innovative manner, on its utopian vocation established since the book Future Christ . As for this “occasion,” it is quite obvious. A school of posture, not to say a school of thought, supposes a minimum of closure from the most liberating of knowledge, a heritage, its utilization, and its no less certain dispersal. Within its development, a variety of interpretations will no doubt appear, deviations that are as much normalizations, and a struggle against this multiplication of divergent tendencies. These are perhaps not inevitable evils, especially here, merely a normal development according to the twisting paths of history. But the problem is made worse by the fact that this school of non-philosophers is that of utopia. Not the former attempts devoted to commenting on the worst authoritarian and criminal forms of the past and the present, but utopia as the determinant principle for human life, or to put it another way, of the Future as an irreducible presupposition of (for) thinking the World and History. Non-philosophers are engaged in an aleatory navigation between the respect for the most rigorous utopia, whose rules are not that of the reproductive imagination but those from the Future determining imagination itself, as well as the temptations, diversions, and remorse of history. Little by little, we will begin to understand that the Future as we understand it no longer has any temporal consistency or positive content, without being an empty form or a nothingness, but that it is foreclosed to past and present History, just as it is foreclosed to the place of places, the World, and that it is the only method for establishing the practice of thinking in a non-imaginary instance. Because it is the World and History that are imaginary and have a terrible materiality, it is not necessarily utopia. We will overlap two objectives here: the defense of non-philosophy against the (non-) philosophers that we are, only occasionally, and the introduction of philosophy to a rigorous future. Together they set out to definitively render, without any possible return to philosophical conformism or towards the facilities of the past and present, the non-philosophical enterprise understood as utopia or uchronia. Imagination and speculation, left to themselves and thus undistinguished, are quite good for participating in the grand game of History but have little value or worse for the Future which is unimaginable and unintelligible and must be maintained as such. MAN-IN-PERSON AS SUSPENSION OF THE PHILOSOPHICAL CHORA The point where philosophical resistance is concentrated is without a doubt the invention of the Name-of-Man, first name, oracular as much as axiomatic, of the determining cause for the non-philosophical posture. And that which concentrates the differends is the style of non-philosophy as identity that possesses the dual aspect, of discipline and of the oeuvre, of the theorem and of the oracle. But the real difficulty in understanding the simplicity of non-philosophy is profoundly hidden in the depths of philosophy itself. Because philosophy, from Parmenides to Derrida, even Levinas, continues to be a divided gesture, without a veritable immanence, transforming its thematic contents of transcendence in also forgetting to transform the operative transcendence in the element from which the ontology of surface is established which we will call, in memory of Plato, the chorismos. The general effect of the chora literally gives place to philosophy, demanding binding and sutures to which we will once and for all “oppose” the Man-in-person, his power of cloning, and his future being. All philosophy contains a hinter-philosophy in which it deploys its operations and weaves its tradition like an understudy of a topographical nature and in the best of cases being itself topological. Philosophy as well consists of two levels, its pre-ontological operative conditions on the one hand, and its superficial theme on the other, it too has its presupposed, but is not aware of it or erases it within the unity of appearance named Logos. Rightly, the Logos, and its flash or lightning nature, possesses a “dark precursor,” the chora, which is as much a virtual image, and philosophy, dazzled by its own lightning flash, seems to completely forget about it at the same time it sets itself up within it. Non-philosophy risks taking this same path, of confusing what it believes to be the real with its phantom double, contenting itself to working on the thematic level of philosophy, not its surface objects and its idle chatter (we stopped talking about this a long time ago and in any case they are merely simple materials for inducing a work of transformation), but the transcendence-form of its objects. In the end it risks, through precipitation, taking back up the heritage of philosophy, a heritage of a misunderstood presupposed, even more profound than the play of transcendences. This is what the imperative of the radicality of immanence meant, to treat immanence in an immanent manner, not to make a new object out of it. And from here we get non- (philosophy) and its refusal of the Platonic chorismos , symbol of all abstraction, and thus all transcendental appearance. There are no illusions. The message will leave a heritage in tattered pieces and interpretations. But it was difficult not to dispute the differend to its core. There will be complete confusion of the multiple, possible, and necessary effectuations of non-philosophy with its interpretations. The non-philosophical or human freedom of philosophical effectuation and the philosophical freedom of interpretation. Effectuations demand non-philosophy to return to zero from the point of view of its philosophical material and thus also but within these limits the formulation of its axioms , but in no way providing from the outset divergent interpretations of the aforementioned axioms. They are divergent because they do not take into account the material from which these axioms are derived within non-philosophy, and because they do not see themselves as symptoms of another vision of the World. The utterances of non-philosophy are not mathematical theorems and pure axioms, they merely have a mathematical aspect . They are, by their extraction or origin, mathematical and transcendental. And by their determined function in-Real, within non-philosophy, they are identically in-the-last-Humaneity entities which have an aspect of an axiom and an aspect of interpretation (or an oracular aspect as we say) that attempts (sometimes it is ourselves who provide the occasion) to isolate and transform, in complete freedom of interpretation. There will be an opportunity to complain about the complex character of the language of non-philosophy, an idiom saturated with classical references, sophisticated in a contemporary way. Its freedom of decision up against the whole of philosophy demands these effects of “complication” and “privatization,” as the saying goes. But it also demands fighting against the drift [ dérive ] of the pedagogical-all and the mediatic-all that leads philosophy into the shallow depths of opinion, which is the site of its impossible death. The noble idealism of “pop-philosophy” has been consumed into a “philo-reality;” against this we propose philo-fiction. Parricide, which is at the bottom of these interpretations and which we can judge as being quite fertile, although it has informed tradition, only takes place once or within one lone meaning. In regards to Parmenides, it was possible; Plato introduced the Other as non-being and language, bringing into existence the philosophical system of the World, but is it possible to repeat it again with the same fecundity in regards to non-philosophy, this time in introducing (non) religion or (non) art, still mixing them without taking into account this mixture, alternatively as a philosophical or religious resentment? If philosophy begins via a crime, it is no doubt obliged to continue down similar pathways, to the effect that the crimes of philosophy, once the founding crime has been committed, are a reaction of self-defense. It is undoubtedly from this that we get Marx’s declaration that history begins by tragedy and repeats itself or ends in farce. The preservation of rigor and fecundity is, in every respect, a psychologically difficult task within a theory such as non-philosophy. Having posited an essential objective of liberation in regards to philosophy and its services, one has often understood this objective as an authorization of providing particular interpretations of its axioms and ends up obliterating their scope. This ends up confusing, on one hand, two kinds of freedoms in regards to non-philosophy, the freedom of its interpretations and the freedom of its effectuations. On the other hand, any defense of “principles” against precipitated interpretations is immediately taxed with a will to orthodoxy, a prohibitive objection when we are dealing with, as is the case here, a heretical theory of thought. Nevertheless, it is time to stop confusing heresy as the cause of thought with an ideology of heresies, which is certainly not at all our object, but rather a form of normalization. As for the “disciplinary” aspect, which is not the only aspect, it demands something other than philosophical “answers to objections,” a precision in the definition and use of its procedures in the formation of utterances, since non-philosophy is neither a supplementary doctrine interior to philosophy nor a vision of the world but one whose priority is a “vision of Man,” or rather Man as “vision” that implies a theory and a practice of philosophy. In the end, struggle is only one aspect of non-philosophy, not its whole or telos, struggle coming only from its materiality. In particular, if the discipline of non-philosophy is inseparable from struggle, it is not a question of reducing the monomaniacal obsession of its “marching orders.” This would reduce its complexity and kill its indivisibility, deploying it in a “long march” and a form of Maoization whose philosophical presuppositions no longer have any pertinence here, a case of the One and the Two, which are now cloned and no longer tied together. More generally, non-philosophy is a complex thought composed of a multitude of aspects, which is to say, unilateral interpretations, of a philosophical origin but reduced by their determination in-the-last-instance . The “liberalism” of non-philosophy is merely one of the aspects of which it is capable, not an essence. Similarly, it is only capable of having a “Maoist” aspect. Let us generalize. The weakness of non-philosophy is due to a specific cause, the determination-in-the-last-Humaneity of a subject for the World. Everything that has a right to the philosophical city can be said about it in turn and in a retaliatory mode since Man contributes nothing of himself that Man takes from the World. We can consider non-philosophy as being pretentious, absurd, idealistic, empty, materialistic, formalistic, contradictory, modern, post-modern, Zen, Buddhist, Marxist; it endures or tolerates, perhaps “appeals” to, or at least renders possible, sarcasms, ironies, and insults without even talking about the misunderstandings, partly for the same reason as psychoanalysis. All of this goes beyond simple “deviations.” They are its aspects, which is to say, its “unilateral” philosophical interpretations in both senses of the word, being either sufficient coming from the mouth of philosophers, or reduced to their absolute dimension of sufficiency and totality in the mouths of non-philosophers, and both times due to the weakness and strength of Man-in-person as their determination only in-the-last-instance. The non-philosopher is certainly not a Saint Paul fantasizing about a new Church. The non-philosopher is either a (Saint) Sebastian whose flesh is pierced with as many arrows as there are Churches, or a Christ persecuted by a Saint Paul. What is engaged in here is the practice of retaliation. A negative rule of the non-philosophical ethics of outlawed discussion by way of argumentation (the sufficient is you, the orthodox one is always you, you are the fashionable one, and when a master you are someone else) that is founded on the confusion of effectuations of non-philosophy and of its overall interpretations. Retaliation is the law but as with any too-human law, it must acquire a dimension that displaces it, or rather emplaces it and takes away its authority but not all of its effectiveness. If the non-philosopher is only authorized by himself, which is to say by philosophy but limited by the Real-of-the-last-instance, its critique of other non-philosophers can merely be retaliatory under the same conditions, only by the Real limited in-the last-instance. THE TREE OF PHILOSOPHICAL SAINTLINESS The thematic horizon or material of these debates is in the relationships between philosophy, religion as gnosis, and non-philosophy. It is inevitable, regarding non-philosophers in general (whether they are non-philosophers by name or simply its neighbors) that we often end up evoking Marx’s Holy Family and imagining, arranged on the neighboring branches of the tree of philosophy and annexed, sometimes abusively, to non-philosophy, authors who would quite evidently and quite rightly refuse this label. So it is that we find, for example, a Saint Michel, a Saint Alain, a Saint Gilles 1 without even mentioning the youngest who aspire as well to the freedom of “saintliness” and who make their muted voices heard here. If there is a Holy Family of non-philosophers, it extends completely beyond these three, provided that the sectarian spirit can save us. This book is organized in the following manner: To begin, in order to recall the essential part of the problematic, we have organized a Summary of Non-Philosophy , a vade-mecum of notions and basic problems, in a classical style. Secondly, there is Clarifications On the Three Axioms of Non-Philosophy , designed to posit their proper use as much as to elucidate their meaning. Thirdly, an analysis of Philosophizability and Practicity , both being extreme constituents of philosophical material or the contents of the third axiom. Fourthly, the heart of this work: Let us Make a Tabula Rasa of the Future or of Utopia as Method . Fifthly, we have a theoretical outline of a non-institutional utopia, The International Organization of Non-Philosophy, L’Organisation Non-Philosophique Internationale, (ONPHI) already created in practice but under the conditions of possibility and functioning from which here we put into question “de jure,” thus not without a perplexity concerning “facts,” in any case, without the capability of “getting to the bottom of things.” Sixthly, an essay characterizing The Right and the Left of Non-Philosophy , a brief topology of several philosophizing and normalizing positions of proponents or tenants of this problematic. Seventhly, Rebel in the Soul: A Theory of Future Struggle , a systematic discussion starting from a confrontation of non-philosophical gnosis and non-religious gnosis to the extent that they pose, posed or perhaps still will pose themselves as rivals to non-philosophy in a mixture of fidelity and infidelity. Despite the fact that it can also be read as putting non-philosophy into perspective: it pits against a standard Platonism two contemporary appropriations of Gnosticism. On the basis of the paradigm of Man who never ceases to come as the Future-in-person, each one of these moments strives to reestablish not the “true” non-philosophy and its orthodoxy, but the minimal conditions to respect in order to allow for its maximum fecundity. And in order to bring about one of the last possibilities of its development, making explicit Humaneity as a utopia-for-the-World. In introducing these considerations in the form of a “testament” and “ultimatum,” we want to indicate two things: First, that this is the last time we will intervene in order to caution non-philosophers against the temptation of returning and looking backwards towards philosophy. Only a disillusioned nostalgia for the former World and its traditions barely remain permissible to us.… Secondly, that non-philosophy is also a sort of ultimatum for considering one’s life and transforming one’s thought from the perspective of a uni-version rather than a conversion. Man as future is this ultimatum in action, not an impatient self-proclaimed genius, and philosophy is his testament. It is obviously the ultimatum that determines this testament as “old” with a view towards a life that is, itself, non-testamentary. In and of itself, the “old” can never bear a veritable eschaton. Thus, this book intersects according to the logic of this paradigm, under the sign of the ultimate or “last” as future, philosophy as testament and cautionary note for maintaining the non-philosophical oeuvre as “future” or “utopian.” We will see that between these two dimensions it cradles a theory of struggle. In the end, this book envisions non-philosophers in multiple ways. It inevitably sees them as subjects of knowledge, most often academics insofar as life in the world demands, but above all as close relatives of three great human types. The analyst and political militant are quite obvious, for non-philosophy is close to psychoanalysis and Marxism insofar as it transforms the subject in transforming philosophy. Here again, one must have a sense not of certain nuances but of aspects (of the interpretations, albeit unilateralized) and not in order to construct a simple proletarization or militarization of thought as theory. To be rigorous, rather than authoritarian or spiteful, is its task. And lastly, non-philosophy is a close relative of the spiritual but definitely not the spiritualist. Those who are spiritual are not at all spiritualists, for the spiritual oscillate between fury and tranquil rage, they are great destroyers of the forces of Philosophy and the State, which are united under the name of Conformism. They haunt the margins of philosophy, gnosis, mysticism, science fiction and even religions. Spiritual types are not only abstract mystics and quietists; they are heretics for the World. The task is to bring their heresy to the capacity of utopia, and their utopia to the capacity of the paradigm. NOTES We will recognize allusions, and sometimes references, to closely related or distant themes, but which are related, in the work of Michel Henry, Alain Badiou and via the representative of “non-religious” gnosis of a Platonic origin, in Gilles Grelet. It goes without saying that these discussions are current and local, neither concerning the ensemble of doctrines nor prejudging the eventual evolution of certain amongst them. This concerns defining certain proximities with non-philosophy (rather than adversaries which in some sense they are) and typological and emblematic differends (rather than conflicts with a certain author). (shrink)

On its intended interpretation, logical, mathematical and metaphysical discourse sometimes seems to involve absolutely unrestricted quantification. Yet our standard semantic theories do not allow for interpretations of a language as expressing absolute generality. A prominent strategy for defending absolute generality, influentially proposed by Timothy Williamson in his paper ‘Everything’, avails itself of a hierarchy of quantifiers of ever increasing orders to develop non-standard semantic theories that do provide for such interpretations. However, as emphasized by Øystein Linnebo and Agustín (...) Rayo, there is pressure on this view to extend the quantificational hierarchy beyond the finite level, and, relatedly, to allow for a cumulative conception of the hierarchy. In his recent book, Modal Logic as Metaphysics, Williamson yields to that pressure. I show that the emerging cumulative higher-orderist theory has implications of a strongly generality-relativist flavour, and consequently undermines much of the spirit of generality absolutism that Williamson set out to defend. (shrink)

The charge of relativism is regularly leveled against pragmatists. The best response to this charge appears in the work of John Dewey. Contemporary pragmatists such as Richard Rorty and Hilary Putnam frequently bear the brunt of that charge, although they do not rebut the charge as effectively as does Dewey himself. This essay brings focus to the charge of relativism against pragmatists and turns it aside by recourse to an essay of Dewey’s from 1908 that specifically focuses (...) on issues of knowledge. This essay also explains how what we think of as a priori arts—logic, mathematics, ethics, ontology, etc.—appear differently from the humanizing perspective of pragmatism. (shrink)

Context: Ernst von Glasersfeld’s constructivist epistemology has been a source of intellectual inspiration for several Quebec researchers, particularly in the field of science and mathematics education. Problem: However, what is less well known is the influence that his work had on the direction taken by educational reform in Quebec in the early 2000s as well as the criticisms that his work has given rise to – some of which present a family resemblance to the science wars that swept over the (...) US and France during the 1990s. Results: We begin by outlining the constructivist orientation of Quebec’s educational reform. We then draw a parallel between the above-mentioned science wars and the critics who denounced the constructivist foundations of the reform. In both cases, the bone of contention concerns the usual interpretation of relativism, with the criticisms that we refer to tending to oppose relativism with realism or rationalism. Now, by definition, relativism stands in opposition to absolutism and not to realism, unless the latter manifests itself in an absolutist form (which is the case of some of the critiques). Implications: The fear generated by relativism is by no means new. However, it seems that more than an epistemological controversy is at stake in the current depreciation of positions that, like that of radical constructivism, question the possibility of a “view from nowhere” – that is, aperspectival objectivity – and the resultant knowledge. In the sphere of education, at least in Quebec, there may well be an ideological issue of control over education that is involved. (shrink)

Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. (...) Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set"--Provided by publisher. (shrink)

Science does not exist in vacuum; it arises and works in context. Ground-breaking achievements transforming the scientific landscape often stem from philosophical thought, just as symbolic logic and computer science were born from the early analytic philosophy, and for the very reason they impact our global worldview as a coherent whole as well as local knowledge production in different specialised domains. Here we take first steps in elucidating rich philosophical contexts in which Samson Abramsky’s far-reaching work centring around categorical (...) science as a new kind of science may be placed, explicated, and articulated. We argue, inter alia, that Abramsky’s work, as a whole, may be construed as demonstrating the categorical unity of science, or rather the sciences, in a mathematically rigorous, down-to-earth manner, which has been a salient feature of his work. At the same time we trace his intellectual history, leading from duality, to intensionality, and to contextuality, and place it in a broader context of philosophy beyond the analytic-continental divide, namely towards the reintegration of them as in the post-analytic tradition. Besides, we address issues in philosophy of category theory, such as the foundational autonomy of category theory and the (presumably two) dogmas of set-theoretical foundationalism, which Abramsky actually touch upon in one of his few philosophically inclined works. As to philosophy of category theory, we also address categorical structuralism as higher-order structuralism, categorical epistemology as elucidating higher-order meta-laws, and categorical ontology as allowing for reduction of ontological commitment via structural realism, the structuralist resolution of Benaceraff’s dilemma, and the pluralistic multiverse view of science as opposed to the set-theoretical reductionist ‘universe’ view. We conclude by speculating about the existence of the Oxford School of (Pluralistic) Unified Science as opposed to the Vienna Circle of (Monistic) Unified Science and to the Stanford School of (Pluralistic) Disunified Science; Categorical Unified Science may potentially allow us to reconcile the two camps on the unity and disunity of science whilst doing justice to both of them. Categorical unity arguably allows for unification via epistemological and ontological networking, and via knowledge transfer thus enabled, rather than unification via the reduction of everything and every truth to a single foundationalist framework, whilst taking at face value disunity, plurality, and diversity, and their significance in science and in human civilisation as a whole. (shrink)

In this book physicist Roland Omnès addresses some big questions in philosophy of mathematics. Anyone who reflects on the history and practice of mathematics and the sciences, especially physics, will naturally be struck by some remarkable coincidences. First, often newly developed mathematics was not well understood. But its successful applications and its agreement with intuitive representations of reality promoted confidence in its correctness even absent clear foundations . Later, this confidence is vindicated when a proper setting for the concepts and (...) techniques is discovered . Second, often mathematical concepts designed for one purpose later turn out to have pervasive applications that could not have been imagined by the original practitioners. Third, many of the most important results obtained in physics since the late nineteenth century were driven by the search for precise, comprehensive, consistent theoretical frameworks: the sequence special relativity, general relativity, relativistic quantum mechanics, string theory can be seen as one that increases comprehensiveness by consistent unification. The fundamental theoretical work has little to do with empirical investigation and a lot to do with mathematical and conceptual investigation of invariances and symmetries. Fourth, mathematical principles guarantee existence principles needed by physics . Such coincidences naturally invite questions: Why is confidence in the consistency of a successful piece of mathematics so often vindicated? Why does mathematics turn out to be so comprehensive and fruitful in unexpected …. (shrink)

Continuing his series of books on the mathematics of gambling, the author shows how a simple-rule game such as roulette is suited to a complex mathematical model whose applications generate improved betting systems that take into account a player's personal playing criteria. The book is both practical and theoretical, but is mainly devoted to the application of theory. About two-thirds of the content is lists of categories and sub-categories of improved betting systems, along with all the parameters that might (...) stand as the main objective criteria in a personal strategy - odds, profits and losses. The work contains new and original material not published before. The mathematical chapter describes complex bets, the profit function, the equivalence between bets and all their properties. All theoretical results are accompanied by suggestive concrete examples and can be followed by anyone with a minimal mathematical background because they involve only basic algebraic skills and set theory basics. The reader may also choose to skip the math and go directly to the sections containing applications, where he or she can pick desired numerical results from tables. The book offers no new so-called winning strategies, although it discusses them from a mathematical point of view. It does, however, offer improved betting systems and helps to organize a player's choices in roulette betting, according to mathematical facts and personal strategies. It is a must-have roulette handbook to be studied before placing your bets on the turn of either a European or American roulette wheel. (shrink)

The beginning of the journey -- What this book is about : using ideas from mathematics, economics, and physics to tackle the big questions in philosophy : what is real? what can we know? what is the difference between right and wrong? and how should we live? -- Reality and unreality -- On what there is -- Why is there something instead of nothing? the best answer I have : mathematics exists because it must and everything else exists because (...) it is made of mathematics, with an excursion into artificial intelligence -- Unfinished business -- Unfinished business from chapter two : the nature and purpose of economic models -- How Richard Dawkins got it wrong -- Why Dawkins's argument against intelligent design can't be right and a mathematical analysis of the arguments for the existence of God -- Belief -- Daydream believers -- Most beliefs are ill-considered because most false beliefs are costless to hold -- The next several chapters will explore the consequences of this observation before we return to the question of where our beliefs and knowledge come from -- Unfinished business -- Unfinished business from the preceding chapter : how color vision works, sound, and water waves, the sheer craziness of economic protectionism -- Do believers believe? -- Our ill-considered beliefs about religion : why I believe that almost nobody is deeply religious -- On what there obviously is -- Our ill-considered beliefs about free will, ESP, and life after death -- Diogenes's nightmare -- How is legitimate disagreement possible if you're arguing with someone who is as intelligent and informed as you are, shouldn't you put just as much weight on your opponent's arguments as your own? -- The fact that we persist in disagreeing is strong evidence that we don't really care what's true -- Knowledge -- Knowing your math -- Where mathematical knowledge comes from and logic and why evidence and logic are not enough -- Unfinished business -- Unfinished business from the preceding chapter : the tale of hercules and the hydra, with an excursion into the lore of very large numbers -- Incomplete thinking -- Godel's incompleteness theorem and what it doesn't say about the limits of human knowledge -- The rules of logic and the tale of a Potbellied pig -- The power of logical thought, with excursions into the most counterintuitive theorem in all of mathematics and the tale of a potbellied pig -- The rules of evidence -- What we can and can't learn from evidence, with excursions into the value of preschool and how internet porn prevents rape -- The limits to knowledge -- What physics does and doesn't tell us about what we can and cannot know -- Understanding Heisenberg's uncertainty principle -- Unfinished business -- The oddness of the quantum world and why it matters to game theorists -- Right and wrong -- Telling right from wrong -- Some hard questions about right and wrong and about life and death -- The economist's golden rule -- A rule of thumb for good behavior -- How to be socially responsible -- Putting the rule of thumb into practice -- On not being a jerk -- Goofus and gallant on immigration policy -- The economist on the playground -- Our ill-considered beliefs about fairness in the market place and in the voting booth, contrasted with our carefully considered beliefs about fairness on the playground -- Unfinished business -- How ancient talmudic scholars anticipated modern economic theory -- The life of the mind -- How to think -- Some basic rules for clear thinking, mostly about economics, but also about arithmetic, neurobiology, sin, and eschewing blather -- What to study -- Advice to college students : stay away from the English department and approach the philosophy department with caution, with an excursion into the remarkable life of Frank Ramsey. (shrink)

This paper considers Maddy’s strategy for naturalising mathematics in the context of Quine’s scientific naturalism. The aim of this proposal is to account for the acceptability of mathematics on scientific grounds without committing to revisionism about mathematical practice entailed by the Quine-Putnam indispensability argument. It has been argued that Maddy’s mathematical naturalism makes inconsistent assumptions on the role of mathematics in scientific explanations to the effect that it cannot distinguish mathematics from pseudo-science. I shall clarify Maddy’s arguments and (...) show that the objection can be overcome. I shall then reformulate a novel version of the objection and consider a possible answer, and I shall conclude that mathematical naturalism does not ultimately provide a viable strategy for accommodating an anti-revisionary stance on mathematics within a Quinean naturalist framework. (shrink)

There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istvan Nemeti and Gyula David have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In (...) this essay, I will honour Istvan's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Nemeti and D\'avid might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis. (shrink)

The search for a synthesis between formalism and constructivism, and meditation on Gödel incompleteness, leads in a natural way to conceive mathematics as dynamic and plural, that is the result of a human achievement, rather than static and unique, that is given truth. This foundational attitude, called dynamic constructivism, has been adopted in the actual development of topology and revealed some deep structures that had remained hidden under other views. After motivations for and a brief introduction to dynamic constructivism, an (...) overview is given of the changes it induces in the practice of mathematics and in its foundation, and of the new results it allows to obtain. (shrink)

In this paper I examine a strategy which aims to bypass the technicalities of the indispensability debate and to offer a direct route to nominalism. The starting-point for this alternative nominalist strategy is the claim that--according to the platonist picture--the existence of mathematical objects makes no difference to the concrete, physical world. My principal goal is to show that the 'Makes No Difference' (MND) Argument does not succeed in undermining platonism. The basic reason why not is that the (...) makes-no-difference claim which the argument is based on is problematic. Arguments both for and against this claim can be found in the literature; I examine three such arguments, uncovering flaws in each one. In the second half of the paper, I take a more direct approach and present an analysis of the counterfactual which underpins the makes-no-difference claim. What this analysis reveals is that indispensability considerations are in fact crucial to the proper evaluation of the MND Argument, contrary to the claims of its supporters. (shrink)

We advance an approach to logical contexts that grounds the claim that logic is a local matter: distinct contexts require distinct logics. The approach results from a concern about context individuation, and holds that a logic may be constitutive of a context or domain of application. We add a naturalistic component: distinct domains are more than mere technical curiosities; as intuitionistic mathematics testifies, some of the distinct forms of inference in different domains are actively pursued as legitimate fields of research (...) in current mathematics, so, unless one is willing to revise the current scientific practice, generalism must go. The approach is advanced by discussing some tenets of a similar argument advanced by Shapiro, in the context of logic as models approach. In order to make our view more appealing, we reformulate a version of logic as models approach following naturalistic lines, and bring logic closer to the use of models in science. (shrink)

continent. 2.2 (2012): 66–75 ~*~ We’re Doomed. Pessimism is the night-side of thought, a melodrama of the futility of the brain, a poetry written in the graveyard of philosophy. Pessimism is a lyrical failure of philosophical thinking, each attempt at clear and coherent thought, sullen and submerged in the hidden joy of its own futility. The closest pessimism comes to philosophical argument is the droll and laconic “We’ll never make it,” or simply: “We’re doomed.” Every effort doomed to failure, every (...) project doomed to incompletion, every life doomed to be unlived, every thought doomed to be unthought. Pessimism is the lowest form of philosophy, frequently disparaged and dismissed, merely the symptom of a bad attitude. No one ever needs pessimism, in the way that one needs optimism to inspire one to great heights and to pick oneself up, in the way one needs constructive criticism, advice and feedback, inspirational books or a pat on the back. No one needs pessimism, though I like to imagine the idea of a pessimist activism. No one needs pessimism, and yet everyone—without exception—has, at some point in their lives, had to confront pessimism, if not as a philosophy then as a grievance—against one’s self or others, against one’s surroundings or one’s life, against the state of things or the world in general. There is little redemption for pessimism, and no consolation prize. Ultimately, pessimism is weary of everything and of itself. Pessimism is the philosophical form of disenchantment—disenchantment as chanting, a chant, a mantra, a solitary, monophonic voice rendered insignificant by the intimate immensity surrounding it. In pessimism, the first axiom is a long, low, funereal sigh. ~*~ We’re Still Doomed. No one has time for pessimism. After all, there are only so many hours in a day. Whatever our temperament, happy or sad, engaged or disengaged, we know pessimism when we hear it. The pessimist is usually understood as the complainer, forever pointing out what is wrong with the world without ever once offering a solution. But more often than not pessimists are the quietest of philosophers, submerging their own sighs within the lethargy of discontent. What little sound it makes is of interest to no one—“I’ve heard it all before,” “tell me something I don’t know,” sound and fury, signifying nothing. In raising problems without solutions, in posing questions without answers, in retreating to the hermetic, cavernous abode of complaint, pessimism is guilty of that most inexcusable of Occidental crimes—the crime of not pretending it’s for real. Pessimism fails to live up to the most basic tenet of philosophy—the “as if.” Think as if it will be helpful, act as if it will make a difference, speak as if there is something to say, live as if you are not, in fact, being lived by some murmuring non-entity both shadowy and muddied. Had it more self-assurance and better social skills, pessimism would turn its disenchantment into a religion, possibly calling itself The Great Refusal. But there is a negation in pessimism that refuses even such a Refusal, an awareness that, from the start, it has already failed, and that the culmination of all that is, is that all is for naught. Pessimism tries very hard to present itself in the low, sustained tones of a Requiem Mass, or the tectonic rumbling of Tibetan chant. But it frequently lets loose dissonant notes at once plaintive and pathetic. Often, its voice cracks, its weighty words abruptly reduced to mere shards of guttural sound. ~*~ Maybe It’s Not So Bad, After All. If we know pessimism when we hear it, this is because we’ve heard it all before—and we didn’t need to hear it in the first place. Life is hard enough. What you need is a change of attitude, a new outlook, a shift in perspective... a cup of coffee. If we have no ears for pessimism, this is because it is always reducible to something as reliably mutable as a voice. If pessimism is so frequently disparaged, it is because it brings everyone down, determined as it is to view each day as a bad day, if only by virtue of the fact that it is not yet a bad day. For pessimism the world is brimming with negative possibility, the collision of a bad mood with an impassive world. In fact, pessimism is the result of a confusion between the world and a statement about the world, a confusion that also prevents it from fully entering the hallowed halls of philosophy. If pessimism is so often dismissed, this is because it is often impossible to separate a “bad mood” from a philosophical proposition (and do not all philosophies stem from a bad mood?) The very term “pessimism” suggests a school of thought, a movement, even a community. But pessimism always has a membership of one—maybe two. Ideally, of course, it would have a membership of none, with only a scribbled, illegible note left behind by someone long forgotten. But this seems unrealistic, though one can always hope. ~*~ Anatomy of Pessimism. Though it may locate itself at the margins of philosophy, pessimism is as much subject to philosophical analysis as any other form of thought. Pessimism’s lyricism of failure gives it the structure of music. What time is to the music of sorrow, reason is to a philosophy of the worst. Pessimism’s two major keys are moral and metaphysical pessimism, its subjective and objective poles, an attitude towards the world and a claim about the world. For moral pessimism, it is better not to have been born at all; for metaphysical pessimism, this is the worst of all possible worlds. For moral pessimism the problem is the solipsism of human beings, the world made in our own image, a world-for-us. For metaphysical pessimism, the problem is the solipsism of the world, objected and projected as a world-in-itself. Both moral and metaphysical pessimism are compromised philosophically; moral pessimism by its failure to locate the human within a larger context, and metaphysical pessimism by its failure to recognize the complicity in the very claim of realism. This is how pessimism makes its music of the worst, a generalized misanthropy without the anthropos . Pessimism crystallizes around this futility—it is its amor fati , rendered as musical form. ~*~ Melancholy of Anatomy. There is a logic of pessimism that is fundamental to its suspicion of philosophical system. Pessimism involves a statement about a condition . In pessimism each statement boils down to an affirmation or a negation, just as any condition boils down to the best or the worst. With Schopenhauer, that arch-pessimist, the thinker for whom the philosopher and the curmudgeon perfectly overlap, we see a no-saying to the worst, a no-saying that secretly covets a yes-saying (through asceticism, mysticism, quietism), even if this hidden yes-saying is a horizon at the limits of comprehension. With Nietzsche comes the pronouncement of a Dionysian pessimism, a pessimism of strength or joy, a yes-saying to the worst, a yes-saying to this world as it is. And with Cioran yet another variation, futile yet lyrical, a no-saying to the worst, and a further no-saying to the possibility of any other world, in here or out there. With Cioran one approaches, but never reaches, an absolute no-saying, a studied abandonment of pessimism itself. The logic of pessimism moves through three refusals: a no-saying to the worst (refusal of the world-for-us, or Schopenhauer’s tears); a yes-saying to the worst (refusal of the world-in-itself, or Nietzsche’s laughter); and a no-saying to the for-us and the in-itself (a double refusal, or Cioran’s sleep). Crying, laughing, sleeping—what other responses are adequate to a life that is so indifferent? ~*~ Cosmic Pessimism. Both moral and metaphysical pessimism point to another kind, a pessimism that is neither subjective nor objective, neither for-us nor in-itself, and instead a pessimism of the world-without-us. We could call this a cosmic pessimism ... but this sounds too majestic, too full of wonder, too much the bitter aftertaste of the Great Beyond. Words falter. And so do ideas. And so we have a cosmic pessimism, a pessimism that is first and last a pessimism about cosmos , about the necessity and possibility of order. The contours of cosmic pessimism are a drastic scaling-up or scaling-down of the human point of view, the unhuman orientation of deep space and deep time, and all of this shadowed by an impasse, a primordial insignificance, the impossibility of ever adequately accounting for one’s relationship to thought—all that remains of pessimism is the desiderata of affects—agonistic, impassive, defiant, reclusive, filled with sorrow and flailing at that architectonic chess match called philosophy, a flailing that pessimism tries to raise to the level of an art form (though what usually results is slapstick). ~*~ Song of Futility. An ethics of futility pervades pessimism. Futility, however, is different from fatality, and different again from simple failure (though failure is never simple). Failure is a breakage within the heart of relations, a fissure between cause and effect, a fissure hastily covered over by trying and trying again. With failure, there is always plenty of blame to go around; it’s not my fault, it’s a technical difficulty, it’s a miscommunication. For the pessimist, failure is a question of “when,” not “if”—failure as a metaphysical principle. Everything withers and passes into an obscurity blacker than night, everything from the melodramatic decline of a person’s life to the banal flickering moments that constitute each day. Everything that is done undone, everything said or known destined for a kind of stellar oblivion. When scaled up in this way, failure becomes fatality. Fatality is the hermeticism of cause and effect. In fatality, everything you do, whatever you do, always leads to a certain end, and ultimately to the end—though that end, or the means to that end, remain shrouded in obscurity. Nothing you do makes a difference because everything you do makes a difference. Hence the effects of your actions are hidden from you, even as you deceive yourself into thinking that, at last, this time you will outwit the order of things. By having a goal, planning ahead, and thinking things through carefully, we attempt, in a daily Prometheanism, to turn fatality to our advantage, to gain a glimpse of an order that seems buried deeper and deeper in the fabric of the universe. But even fatality has its comforts. The chain of cause and effect may be hidden from us, but that’s just because disorder is the order we don’t yet see; it’s just complex, distributed, and requires advanced mathematics. Fatality still clings to the sufficiency of everything that exists... When fatality relinquishes even this idea, it becomes futility. Futility arises out of the grim suspicion that, behind the shroud of causality we drape over the world, there is only the indifference of what exists or doesn’t exist; whatever you do ultimately leads to no end, an irrevocable chasm between thought and world. Futility transforms the act of thinking into a zero-sum game. ~*~ Song of the Worst. At the center of pessimism lies the term pessimus , “the worst,” a term as relative as it is absolute. The worst is about as bad as it gets, “the worst” as “the best” in disguise, shrouded by the passage of time or the twists and turns of fortune. For the pessimist, “the worst” is the propensity for suffering that gradually occludes each living moment, until it eclipses it entirely, overlapping perfectly in death... which, for the pessimist, is no longer “the worst.” Pessimism is marked by an unwillingness to move beyond “the worst,” something only partially attributable to a lack in motivation. In pessimism “the worst” is the ground that gives way beneath every existent—things could be worse, and , things could be better. “The worst” invariably implies a value judgment, one made based on scant evidence and little experience; in this way, pessimism’s greatest nemesis is its moral orientation. Pessimism’s propositions have all the gravitas of a bad joke. Perhaps this is why the true optimists are the most severe pessimists—they are optimists that have run out of options. They are almost ecstatically inundated by the worst. Such an optimism is the only possible outcome of a prolonged period of suffering, physical or metaphysical, intellectual or spiritual. But does this not also describe all the trials and tribulations of each day—in short, of “life?” It seems that sooner or later we are all doomed to become optimists of this sort (the most depressing of thoughts...) ~*~ Song of Doom. Rather than serving as a cause for despair, gloom and doom are the forms of consolation for any pessimist philosophy. Neither quite affects nor quite concepts, gloom and doom transform pessimism into a mortification of philosophy. Doom is not just the sense that all things will turn out badly, but that all things inevitably come to an end, irrespective of whether or not they really do come to an end. What emerges from doom is a sense of the unhuman as an attractor, a horizon towards which the human is fatally drawn. Doom is humanity given over to unhumanity in an act of crystalline self-abnegation. Gloom is not simply the anxiety that precedes doom. Gloom is literally atmospheric, climate as much as impression, and if people are also gloomy, this is simply the by-product of an anodyne atmosphere that only incidentally involves human beings. Gloom is more climatological than psychological, the stuff of dim, hazy, overcast skies, of ruins and overgrown tombs, of a misty, lethargic fog that moves with the same languorousness as our own crouched and sullen listening to a disinterested world. In a sense, gloom is the counterpoint to doom—what futility is to the former, fatality is to the latter. Doom is marked by temporality—all things precariously drawn to their end—whereas gloom is the austerity of stillness, all things sad, static, and suspended, a meandering smoke hovering over cold lichen stones and damp fir trees. If doom is the terror of temporality and death, then gloom is the horror of a hovering stasis that is life. At times I like to imagine that this realization alone is the thread that connects the charnel ground Aghori and the graveyard poets. ~*~ Song of Spite. There is an intolerance in pessimism that knows no bounds. In pessimism spite begins by fixing on a particular object of spite—someone one hardly knows, or someone one knows too well; a spite for this person or a spite for all of humanity; a spectacular or a banal spite; a spite for a noisy neighbor, a yapping dog, a battalion of strollers, the meandering idiot walking in front of you on their smart phone, large loud celebrations, traumatic injustices anywhere in the world regurgitated as media blitz, spite for the self-absorbed and overly performative people talking way too loud at the table next to you, technical difficulties and troubleshooting, the reduction of everything to branding, spite of the refusal to admit one’s own errors, of self-help books, of people who know absolutely everything and make sure to tell you, of all people, all living beings, all things, the world, the spiteful planet, the inanity of existence... Spite is the motor of pessimism because it is so egalitarian, so expansive, it runs amok, stumbling across intuitions that can only half-heartedly be called philosophical. Spite lacks the confidence and the clarity of hatred, but it also lacks the almost cordial judgment of dislike. For the pessimist, the smallest detail can be an indication of a metaphysical futility so vast and funereal that it eclipses pessimism itself—a spite that pessimism carefully places beyond the horizon of intelligibility, like the experience of dusk, or like the phrase, “it is raining jewels and daggers.” ~*~ Song of Sleep. A paraphrase of Schopenhauer: what death is for the organism, sleep is for the individual. Pessimists sleep not because they are depressed, but because for them sleep is a form of ascetic practice. Sleep is the askesis of pessimism. If, while sleeping, we have a bad dream, we abruptly wake up, and suddenly the horrors of the night vanish. There is no reason to think that the same does not happen with the bad dream we call “life.” ~*~ Song of Sorrow. Nietzsche, commenting on pessimism, once castigated Schopenhauer for taking things too lightly. He writes: ...Schopenhauer, though a pessimist, really —played the flute. Every day, after dinner: one should read his biography on that. And incidentally: a pessimist, one who denies God and the world but comes to a stop before morality—who affirms morality and plays the flute... what? Is that really—a pessimist? We know that Schopenhauer did possess a collection of instruments, and we also know that Nietzsche himself composed music. There is no reason to think that either of them would ever banish music from the Republic of philosophy. But Nietzsche’s jibes at Schopenhauer are as much about music as they are about pessimism. For the pessimist who says no to everything and yet finds comfort in music, the no-saying of pessimism can only be a weak way of saying yes—the weightiest statement undercut by the flightiest of replies. The least that Schopenhauer could’ve done is to play the bass. I’m not a big fan of the flute, or, for that matter, wind instruments generally. But what Nietzsche forgets is the role that the flute has historically played in Greek tragedy. In tragedy, the flute ( aulos ) is not an instrument of levity and joy, but of solitude and sorrow. The Greek aulos not only expresses the grief of tragic loss, but it does so in a way that renders weeping and singing inseparable from each other. The classicist Nicole Loraux calls this the mourning voice . Set apart from the more official civic rituals of funerary mourning, the mourning voice of Greek tragedy constantly threatens to dissolve song into wailing, music into moaning, and the voice into a primordial, disarticulate anti-music. The mourning voice delineates all the forms of suffering—tears, weeping, sobbing, wailing, moaning, and the convulsions of thought reduced to an elemental unintelligibility. In the collapsed space between the voice that speaks and the voice that sings, pessimism discovers its mourning voice. Pessimism: the failure of sound and sense, the disarticulation of phone and logos . Have we rescued Schopenhauer from Nietzsche? Probably not. Perhaps Schopenhauer played the flute to remind himself of the real function of the mourning voice—sorrow, sighs, and moaning rendered indistinguishable from music, the crumbling of the human into the unhuman. Failure par excellence of pessimism. ~*~ Song of Nothing. In Buddhist thought, the First Noble Truth of existence is encapsulated in the Pali term dukkha , conventionally translated as “suffering,” “sorrow,” or “misery.” The Buddhist teachings are clear, however, that this is an objective claim, and not simply one point of view among others. Existence is suffering and sorrow—and yet this is not, the teachings tell us, a pessimistic attitude. It is likely that Schopenhauer, reading the Buddhist texts available to him, recognized some filiation with the concept of dukkha . But dukkha is a multi-faceted term. There is, certainly, dukkha in the usual sense of the suffering, strife, and loss associated with living a life. But this is, in turn, dependent on the finitude and temporality of dukkha , existence as determined by impermanence and imperfection. And this ultimately points to the way in which both suffering and finitude are grounded by the paradoxical groundlessness of dukkha as a metaphysical principle—the insubstantiality and the emptiness of all that is. Beyond what is worse to me, beyond a world ordered for the worst, there is the emptiness of dukkha as an impersonal suffering... the tears of the cosmos. In this context, it is easy to see how Schopenhauer’s pessimism attempts to compress all the aspects of dukkha into a nothingness at the core of existence, a Willlessness coursing through the Will. Though one thing for certain is that with Schopenhauer we do not find the “ever-smiling” countenance of Buddhism—or do we? The texts of the Pali Canon also contain lists of the different types of happiness—including the happiness of renunciation and the strange happiness of detachment. But Buddhism considers even the different types of happiness as part of dukkha , in this final sense of nothingness or emptiness. Perhaps Schopenhauer understood Buddhism better than he is usually given credit for. Thus the experiment of Schopenhauer’s philosophy—the point at which a Western pessimus and an Eastern dukkha overlap or exchange glances. Empty sorrow, a lyricism of indifference. The result is a strange, and ultimately untenable, nocturnal form of Buddhism. ~*~ Cioran once called music a “physics of tears.” If this is true, then perhaps metaphysics is its commentary. Or its apology. ~*~ Pessimism would be more mystical were it not for its defeatism. Mysticism is much too proactive for the pessimist, and pessimism too impassive even for the mystic. At the same time, there is something enviable about mysticism—despite its sufferings. There is a sense in which pessimists are really failed mystics. ~*~ You, the Night, and the Music. In a suggestive passage, Schopenhauer once noted that, “music is the melody to which the world is the text." Given Schopenhauer’s view on life—that life is suffering, that human life is absurd, that the nothingness before my birth is equal to the nothingness after my death—given all this, one wonders what kind of music Schopenhauer had in mind when he described music as the melody to which the world is text—was it opera, a Requiem Mass, a madrigal, or perhaps a drinking song? Or something like Eine kleine Nachtmusik , a little night music for the twilight of thought, a sullen nocturne for the night-side of logic, an era of sad wings sung by a solitary banshee. Perhaps the music Schopenhauer had in mind is music eliminated to non-music. A whisper would suffice. Perhaps a sigh of fatigue or resignation, perhaps a moan of despair or sorrow. Perhaps a sound just articulate enough that it could be heard to dissipate. ~*~ Teach me to laugh through tears. ~*~ Pessimism always falls short of being philosophical. My back aches, my knees hurt, I couldn’t sleep last night, I’m stressed-out, and I think I’m finally coming down with something. Pessimism abjures all pretenses towards system—towards the purity of analysis and the dignity of critique. We didn’t really think we could figure it out, did we? It was just passing time, taking a piss, something to do, a bold gesture put forth in all its fragility, according to rules that we have agreed to forget that we made up in the first place. Every thought marked by a shadowy incomprehension that precedes it, and a futility that undermines it. That pessimism speaks, in whatever voice, is the singing testimony to this futility and this incomprehension—take a chance and step outside, lose some sleep and say you tried... ~*~ Is there a music of pessimism? And would such a music be audible? ~*~ The impact of music on a person compels them to put their experience into words. When this fails, the result is a faltering of thought and language that is itself a kind of music. Cioran writes: “Music is everything. God himself is nothing more than an acoustic hallucination.” ~*~ If a thinker like Schopenhauer has any redeeming qualities, it is that he identified the great lie of Western culture—the preference for existence over non-existence. As he notes: “If we knocked on the graves and asked the dead whether they would like to rise again, they would shake their heads.” In Western cultures it is commonly accepted that one celebrates birth and mourns death. But there must be a mistake here. Wouldn’t it make more sense to mourn birth and celebrate death? Strange though, because the mourning of birth would, presumably, last the entirety of that person’s life, so that mourning and living would the be same thing. ~*~ To the musical idea of the harmony of the universe corresponds the philosophical principle of sufficient reason. Like the music of mourning, pessimism gives voice to the inevitable breakdown of word and song. In this way, music is the overtone of thought. ~*~ The Patron Saints of Pessimism. The patron saints of pessimism watch over suffering. Laconic and sullen, the patron saints of pessimism never seem to do a good job at protecting, interceding, or advocating for those who suffer. Perhaps they need us more than we need them. Lest we forget, there do exist patron saints of philosophy, but their stories are not happy ones. There is, for instance, the fourth century Saint Catherine of Alexandria, or Catherine of the Wheel, named after the torture device used on her. A precocious fourteen year old scholar, Catherine was subject to continual persecution. After all forms of torture failed—including the “breaking wheel”—the emperor finally settled for her decapitation, a violent yet appropriate reminder of the protector of philosophers. There are also patron saints of music and musicians, but theirs too are sad stories. In the second century, Saint Cecilia was also subject to persecution and torture. As she knelt to receive the blade that would separate her head from her body, she ardently sang a song to God. It took three attempts before she was fully decapitated, all the while she continued, perhaps miraculously, to sing. Does pessimism not deserve its own patron saints, even if they are unworthy of martyrdom? But in our search, even the most ardent nay-sayers frequently lapse into brief moments of enthusiasm—Pascal’s love of solitude, Leopardi’s love of poetry, Schopenhauer’s love of music, Nietzsche’s love of Schopenhauer, and so on. Should one then focus on individual works of pessimism? We could include Kierkegaard’s trilogy of horror— Sickness Unto Death , The Concept of Dread , and Fear and Trembling —but all these are undermined by their fabricated and unreliable authors. Besides, how can one separate the pessimist from the optimist in works like Unamuno’s The Tragic Sense of Life , Shestov’s Postetas Clavium , or Edgar Saltus’ under-read The Philosophy of Disenchantment ? Even in cases where the entire corpus of an author is pessimistic, the project always seems incomplete—witness Cioran’s trajectory, from his first book, On the Heights of Despair , to the last unpublished notebooks of acrid and taut aphorisms. And this is to say nothing of literary pessimism, from Goethe’s sorrowful Werther, to Dostoevsky’s underground man, to Pessoa’s disquiet scribbler; Baudelaire’s spleen and ennui, the mystical Satanism of Huysmans and Strindberg, the hauntologies of Mário de Sá-Carniero, Izumi Kyoka, H.P. Lovecraft, grumpy old Beckett... even the great pessimist comedians. All that remains are singular, perhaps anomalous statements of pessimism, a litany of quotes and citations crammed into fortune cookies. Patron saints are traditionally named after a locale, either a place of birth or of a mystical experience. Perhaps the better approach is to focus on the places where pessimists were forced to live out their pessimism—Schopenhauer facing an empty Berlin lecture hall, Nietzsche mute and convalescent at the home of his sister, Wittgenstein the relinquished professor and solitary gardener, Cioran grappling with Alzheimer’s in his tiny writing alcove in the Latin Quarter. ~*~ There’s a ghost that grows inside of me, damaged in the making, and there’s a hunt sprung from necessity, elliptical and drowned. Where the moving quiet of our insomnia offers up each thought, there’s a luminous field of grey inertia, and obsidian dreams burnt all the way down. ~*~ If pessimism has any pedagogical value, it is that the failure of pessimism as a philosophy is inextricably tied to the failure of pessimism as voice. I read the following, from Shestov’s The Apotheosis of Groundlessness : When a person is young he writes because it seems to him he has discovered a new almighty truth which he must make haste to impart to forlorn humankind. Later, becoming more modest, he begins to doubt his truths: and then he tries to convince himself. A few more years go by, and he knows he was mistaken all round, so there is no need to convince himself. Nevertheless he continues to write, because he is not fit for any other work, and to be accounted a superfluous person is so horrible. (shrink)