Continuing [6], [8] and [16], we study the consequences of the weak Freese-Nation property of (?(ω),⊆). Under this assumption, we prove that most of the known cardinal invariants including all of those appearing in Cichoń's diagram take the same value as in the corresponding Cohen model. Using this principle we could also strengthen two results of W. Just about cardinal sequences of superatomic Boolean algebras in a Cohen model. These results show (...) that the weak Freese-Nation property of (?(ω),⊆) captures many of the features of Cohen models and hence may be considered as a principle axiomatizing a good portion of the combinatorics available in Cohen models. (shrink)

The following results are proved: In a model obtained by adding ℵ 2 Cohen reals , there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property. Modulo the consistency strength of a supercompact cardinal , the existence of a c.c.c. complete Boolean algebra without the weak Freese-Nation property is consistent with GCH. If a weak form of □ μ and cof =μ + hold for each μ >cf= ω , (...) then the weak Freese-Nation property of 〈 P ,⊆〉 is equivalent to the weak Freese-Nation property of any of C or R for uncountable κ . Modulo the consistency of ↠ , it is consistent with GCH that C does not have the weak Freese-Nation property and hence the assertion in does not hold , and also that adding ℵ ω Cohen reals destroys the weak Freese-Nation property of 〈 P , ⊆ 〉 . These results solve all of the problems except Problem 1 in S. Fuchino, L. Soukup, Fundament. Math. 154 159–176, and some other problems posed by Geschke. (shrink)

Assuming GCH, we prove that for every successor cardinal μ > ω1, there is a superatomic Boolean algebra B such that |B| = 2μ and |Aut B| = μ. Under ◊ω1, the same holds for μ = ω1. This answers Monk's Question 80 in [Mo].

A partial ordering P is said to have the weak Freese-Nation property if there is a mapping tf : P → [P]0 such that, for any a, b ε P, if a b then there exists c ε tf∩tf such that a c b. In this note, we study the WFN and some of its generalizations. Some features of the class of Boolean algebras with the WFN seem to be quite sensitive to additional axioms of set (...) theory: e.g. under CH, every ccc complete Boolean algebra has this property while, under b 2, there exists no complete Boolean algebra with the WFN. (shrink)

The main notion dealt with in this article is where A is a Boolean algebra. A partition of 1 is a family ofnonzero pairwise disjoint elements with sum 1. One of the main reasons for interest in this notion is from investigations about maximal almost disjoint families of subsets of sets X, especially X=ω. We begin the paper with a few results about this set-theoretical notion.Some of the main results of the paper are:• (1) If there is a maximal (...) family of size λ≥κ of pairwise almost disjoint subsets of κ each of size κ, then there is a maximal family of size λ of pairwise almost disjoint subsets of κ+ each of size κ.• (2) A characterization of the class of all cardinalities of partitions of 1 in a product in terms of such classes for the factors; and a similar characterization for weak products.• (3) A cardinal number characterization of sets of cardinals with a largest element which are for some BA the set of all cardinalities of partitions of 1 of that BA.• (4) A computation of the set of cardinalities of partitions of 1 in a free product of finite-cofinite algebras. (shrink)

We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the Δ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_3}$$\end{document} level of the projective hieararchy. For Δ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_2}$$\end{document} and Σ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_2}$$\end{document} sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is (...) known that assuming suitable large cardinals, the same relationships lift to higher projective levels, but the questions become more challenging without such assumptions. Consequently, all our results are proved on the basis of ZFC alone or ZFC with an inaccessible cardinal. We also prove partial results concerning Σ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_3}$$\end{document} and Δ41\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_4}$$\end{document} sets. (shrink)

A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic ?+ defined by the class of all ?-matrices whose filter is Leibniz, which is called the strong version of ?, in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of ?+ and (...) of the explicit definability of Leibniz filters, and several theorems of transfer of metalogical properties from ? to ?+. For finitely equivalential logics stronger results are obtained. Besides the general theory, the paper examines the examples of modal logics, quantum logics and Łukasiewicz's finitely-valued logics. One finds that in some cases the existence of a weak and a strong version of a logic corresponds to well-known situations in the literature, such as the local and the global consequences for normal modal logics; while in others these constructions give an independent interest to the study of other lesser-known logics, such as the lattice-based many-valued logics. (shrink)

Some cardinal invariants from Cichon's diagram can be characterized using the notion of cut-and-choose games on cardinals. In this paper we give another way to characterize those cardinals in terms of infinite games. We also show that some properties for forcing, such as the Sacks Property, the Laver Property and ω ω -boundingness, are characterized by cut-and-choose games on complete Boolean algebras.

We investigate the polynomial time isomorphic type structure of (the class of tally, polynomial time computable sets). We partition P T into six parts: D −, D^ − , C, S, F, F^, and study their p-isomorphic properties separately. The structures of , , and are obvious, where F, F^, and C are the class of tally finite sets, the class of tally co-finite sets, and the class of tally bi-dense sets respectively. The following results for the structures of and (...) will be proved, where D^ is the class of tally, co-dense, polynomial time computable sets and S is the class of tally, scatted (i.e., neither dense nor co-dense), polynomial time computable sets. 1. is a countable distributive lattice with the greatest element. 2. Infinitely many intervals in can be distinguished by first order formulas. 3. There exist infinitely many nontrivial automorphisms for . 4. is not distributive, but any interval in is a countable distributive lattice. RID=""ID="" Mathematics Subject Classification (2000): 03D15, 03D25, 03D30, 03D35, 06A06, 06B20 RID=""ID="" Key words or phrases: Computational complexity – Polynomial time – Degree structure – Lattice – Isomorphism RID=""ID="" Part of this work was done when the author was a PhD student at the University of Heidelberg under the direction of Professor Ambos-Spies. (shrink)

We propose a reformulation of the ideal $\mathcal {N}$ of Lebesgue measure zero sets of reals modulo an ideal J on $\omega $, which we denote by $\mathcal {N}_J$. In the same way, we reformulate the ideal $\mathcal {E}$ generated by $F_\sigma $ measure zero sets of reals modulo J, which we denote by $\mathcal {N}^*_J$. We show that these are $\sigma $ -ideals and that $\mathcal {N}_J=\mathcal {N}$ iff J has the Baire property, which in turn is equivalent (...) to $\mathcal {N}^*_J=\mathcal {E}$. Moreover, we prove that $\mathcal {N}_J$ does not contain co-meager sets and $\mathcal {N}^*_J$ contains non-meager sets when J does not have the Baire property. We also prove a deep connection between these ideals modulo J and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with $\mathcal {N}_J$ and $\mathcal {N}^*_J$. We show their position with respect to Cichoń’s diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm {add}(\mathcal {N})$ and $\mathrm {cof}(\mathcal {N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals. (shrink)

BL-algebras rise as Lindenbaum algebras from many valued logic introduced by Hájek [2]. In this paper Boolean ds and implicative ds of BL-algebras are defined and studied. The following is proved to be equivalent: (i) a ds D is implicative, (ii) D is Boolean, (iii) L/D is a Boolean algebra. Moreover, a BL-algebra L contains a proper Boolean ds iff L is bipartite. Local BL-algebras, too, are characterized. These results generalize some theorems (...) presented in [4], [5], [6] for MV-algebras which are BL-algebras fulfiling an additional double negation law x = x **. (shrink)

This paper aims to suggest a new approach to Plato’s theory of being in Republic V and Sophist based on the notion of difference and the being of a copy. To understand Plato’s ontology in these two dialogues we are going to suggest a theory we call Pollachos Esti; a name we took from Aristotle’s pollachos legetai both to remind the similarities of the two structures and to reach a consistent view of Plato’s ontology. Based on this theory, when Plato (...) says that something both is and is not, he is applying difference on being which is interpreted here as saying, borrowing Aristotle’s terminology, 'is is (esti) in different senses'. I hope this paper can show how Pollachos Esti can bring forth not only a new approach to Plato’s ontology in Sophist and Republic but also a different approach to being in general. -/- Keywords Plato; being; difference; image; pollachos esti; pollachos legetai 1. Being, Not-Being and Difference The three dialogues where the notion of "difference" attaches to the notion of being, namely Parmenides II, Sophist and Timaeus,and specifically the first two we try to discuss here. In these dialogues, Plato is going to achieve a new and revolutionary understanding of being which is not anymore based on the notion of "same" as it was before in Greek ontology. It was his discovery, I think, that the notion of being in the Greek ontology is attached to the notion of the "same" and it is because of this attachment that there have always been many problems understanding being especially after Parmenides. That being has always been relying on the "same" can be found out from the way most of the Presocratics understood it. It was based on such a relationship between being and "same" that a later Ionian, Heraclitus of Ephesus, rejected Being by rejecting its sameness: unable to be the same, being cannot be being anymore but becoming. Heraclitus’ criticism of his predecessors’ understanding of being was due to his discovery that what they call being is not the same but different in every moment. The relation of being and sameness reaches to its highest point in Parmenides. What Plato does in using the "difference" is nothing but the establishment of a creative relation between being and "difference". In this new relation, although he is in agreement with Heraclitus that being is not the same but different, he does not do it by use of becoming. He disagrees, on the other hand, with Parmenides that such a relation between being and difference leads to not being. At Parmenides 142b5-6 it is said that if One is, it is not possible for it to be without partaking (μετέχειν) of being (οὐσίας), which leads to the distinction of being and one: -/- So there would be also the being of the one (ἡ οὐσία του̑ ἑνὸς) which is not the same (ταὐτὸν) as the one. Otherwise, it wouldn’t be its being, nor the one would partake of it. (142b7-c1) -/- The fact that what is (ἔστι) signifies (σημαῖνον) is other (ἀλλο) than what One signifies (c4-5), is being taken as a reason for their distinction. The conclusion is that when we say 'one is', we speak of two different things, one partaking of the other (c5-7). Having repeated these arguments of the otherness of being and one at 143a-b, Parmenides says that the cause of this otherness can be neither Being nor One but "difference": -/- So if being is something different (ἕτερον) and one something different (ἕτερον), it is not by being one that the one is different from being nor by its being being that being is other than one, but they are different from each other (ἕτερα ἀλλήλων) by difference (τῷ ἑτερῳ) and otherness (ἄλλῳ). (143b3-6) -/- The fifth hypothesis, 'one is not' (160b5ff.) is also linked with the notion of difference. When we say about two things, largeness and smallness, that they are not, it is clear that we are talking about not being of different (ἕτερον) things (160c2-4). When it is said that something is not, besides the fact that there must be knowledge of that thing, we can say that it entails also its difference: 'difference in kind pertains to it in addition to knowledge' (160d8). Parmenides explains the reason as such: -/- For someone doesn’t speak of the difference in kind of the others when he says that the one is different from the others, but of that thing’s own difference in kind. (160e1-2) -/- Although the theory of being as "difference" is not fulfilled yet, an exact look at what occurs in Sophist can make us sure that this was the launching step for "difference" to get its deserved role in Plato’s ontology. The notion of the "difference" is not yet well-functioned in Parmenides because we can see that being is still attached to the same: -/- For that which is the same is being (ὄν γὰρ ἐστι τὸ ταὐτόν) (162d2-3). -/- The notion of difference in Sophist is the key element based on which a new understanding of being is presented and the problem of not being is somehow resolved. The friends of Forms, the Stranger says, are those who distinguish between being and becoming (248a7-8) and believe that we deal with the latter with our body and through perception while with the former, the real being (ὄντως οὐσίαν) with our soul and through reasoning (a10-11). Being is then bound with the "same" by adding: -/- You say that being always stays the same and in the same state (ἣν ἀεὶ κατὰ ταὐτὰ ὡσαύτως ἔχειν) but becoming varies from one time to another (δὲ ἄλλοτε ἄλλως). (248a12-13) -/- That the theory of the relation of being and capacity (247d8f., 248c4-5) matches more with becoming than with being (248c7-9) must be rejected because being is also the subject of knowledge which is kind of doing something (248d-e). It does, however, confirm that 'both that which changes and also change have to be admitted as existing things (ὄντα) (249b2-3). I believe that this is what Socrates would incline to do at Theaetetus 180e-181a, that is, putting a fight between two parties of Parmenidean being and Heraclitean becoming and then escaping. The solution is that becoming is itself a kind of being and we ought to accept what changes as being. This is what must be done by a philosopher, namely, to refuse both the claim that 'everything is at rest' and that 'being changes in every way' and beg, like a child, for both and say being (τὸὄν) is both the unchanging and that which changes (249c10-d4). This kind of begging for both is obviously under the attack of contradiction (249e-250b). For both and each of rest and change similarly are (250a11-12) but it cannot be said either that both of them change or both of them rest, being must be considered as a third thing both of the rest and change associate with (250b7-10). The conclusion is that 'being is not both change and rest but different (ἕτερον) from them instead' (c3-4). The notion of difference helps Plato to take being departed from both rest and change because it was their sophisticated relation with being that made the opposition of being and becoming. Plato is now trying to separate being from rest and, thus, from "same" by "difference". Such a crucial change is great enough to need a 'fearless' decision (256d5-6). The possibility of being of not being is resulted (d11-12) comes as the answer to the question 'so it’s clear that change is not being and also is being (ἡ κίνησις ὄντως οὐκ ὄν ἐστι καὶ ὄν) since it partakes in being?' (d8-9). It is then by the notion of difference that becoming is considered as that which both is and is not. This coincidence of being and not being about change is apparently similar to Socrates’ paradoxical statement at Republic 477a about what both is and is not. -/- Introduction The Republic 476-477 has always been a matter of controversy mainly about two interwoven points. The first problem is the meaning of being here; that whether what he has in mind is a veridical, existential or propositional sense of being. The second problem is his distinction between the objects of knowledge and opinion which seems to lead, some believe, to the Two Worlds (TW) theory. The crucial point in Republic is that what is considered between knowledge (ἐπιστήμης) and ignorance (α͗γνοιας), namely opinion, must have a different object that leads Socrates to draw the distinction of knowledge and opinion between their objects. The problem of understanding being in the fifth book of the Republic is that when it is said that the Form of F is F but a particular participating in F, both is and is not F, it sounds too bizarre and unacceptable. It cannot be imaginable how a thing can be existent and non-existent at the same time. At the first sight, the only solution seems to be the degrees of existence which is called by Annas (1981, 197) a 'childish fallacy' and a 'silly argument'. Kirwan (1974, 118) thinks that Republic V does not attribute 'any doctrine about existence' to Plato and Kahn (1966, 250) claims that the most fundamental value of einai when used alone (without predicate) is not "to exist" but "to be so", "to be the case" or "to be true". The problems of understanding being in Republic and Sophist besides the difficulties of the existential reading led scholars to the other senses of being, mostly related to the well-known Aristotelian distinctions between different senses of being. In the predicative reading, Annas, for example, refers this difference to the qualified and unqualified application. Whereas the Form of F is unqualifiedly F, a particular instance of F can be F only qualifiedly (1981, 221). Vlastos’ well-known substitution of 'degrees of reality' for 'degrees of being/existence' must be categorized as a predicative reading. Kahn thinks that the basic sense of being for Plato is 'something like propositional structure, involving both predication and truth claims, together with existence for the subject of predication' (2013, 96). Believing that the complete-incomplete distinction terminology is misleading about Plato, he thinks that semantic functions are only second-order uses of the verb and it is the predicative or incomplete function which is fundamental. Suggesting a veridical reading, Fine (2003, 70 ff) thinks that while both existential and predicative readings separate the objects of knowledge and belief, it is only her reading which does not force such separation of the objects and thus does not imply TW. Stokes (1998, 266) thinks that though Fine is right saying that Plato does not endorse TW in book V, she is wrong in rejecting existential in favor of the veridical reading. The reception of existential reading can be seen more obviously in Calvert who thinks, in agreement with Runciman, that 'it would be safer to say that Plato’s gradational ontology is probably not entirely free from degrees of existence' (1970, 46). At Sophist 254d-e Plato singles out five most important kinds (or Forms!?) in which the same (ταὐτὸν) and difference (θάτερον) are regarded besides being, rest and change. They are, therefore, neither the same nor the difference but share in both (b3). Being (τὸ ὄν) cannot be the same also because if they 'do not signify distinct things' both change and rest will have the same label when we say they are (255b11-c1). We have then four distinct kinds, being, change, rest and same, none of them is the other. The case of difference is more complicated. When the stranger wants to assess the relation of being and difference, he can say simply neither that they are distinct nor that they are not. He has to make an important distinction inside being to get able to draw the relation of being and difference: -/- But I think you'll admit that some of the things that are (τῶν ὄντων) are said (λέγεσθαι) by themselves (αὐτὰ καθ’ αὑτά) but some [are said] always referring to (πρὸς) other things (ἄλλα) (255b12-13) -/- The difference is always said referring to other things (τὸδέγ’ ἕτερον ἀεὶ πρὸς ἕτερον) (255d1). It pervades all kinds because each of them should be different from the others and is so due to the difference and not its own nature (253e3f.) After asserting that change is different from being and therefore both is and is not (256d), the difference is described as what makes all the other kinds not be, by making each different from being. Given that all of them are by being, this association of being and difference is the cause of their being and not-being at the same time, the issue that its version at RepublicV made all those controversies we discussed above: -/- So in the case of change and all the kinds, not being necessarily is (Ἔστιν ἄρα ἐξ ἀναγκης τὸ μὴ ὄν). Τhat’s because as applied to all of them, the nature of the difference (ἡ θατέρον φύσις) makes each of them not be by making it different from being. And we’re going to be right if we say that all of them are not in the same way. And conversely [we’re also going to be right if we say] that they are because they partake in being. (Sophist 256d11-e3) -/- Plato’s new construction of five distinct kinds and the role he gives to thedifference among them is aimed to resolve the old problem of understanding being which has always been annoying from the time of Heraclitus and Parmenides. Both the ontological status of becoming and that of not being were, in Plato’s mind, based on the absolute domination of the notion of the Same over being. Now, not only becoming is understandable as being but also not being which is not the contrary of being anymore but only different (ἕτερον) (257b3-4). Though I agree partly with Frede that the account of not being which is needed for false statements is more complicated than just saying, as Cropsey (1995, 101) says, that Plato is substituting 'X is not Y' with 'X is different from Y', I totally disagree with him that when we say X is not beautiful, Plato could not have thought that it is not a matter of its being different from beautiful because 'it would be different from beauty even if it were beautiful by participation in beauty' (1992, 411). Conversely, as we will discuss, it is exactly the relation of the beautiful thing, X, and the beautiful itself, in which X shares that is to be solved by the notion of not being as difference. Though it is beautiful because of sharing in beauty, X is not beautiful because it is different from beautiful itself. What the difference is to do is to show how something can both be and not be the same thing. The difference is what makes one thing both be and not be a certain other thing. This equips the difference with the ability to explain a certain thing’s not-being when it is. Thanks to the notion of difference, it is now possible to explain not only not being but also the simultaneous being and not being of a thing: 'What we call "not-beautiful" is the thing that ἕτερόν ἐστιν from nothing other than του̑ καλου̑ φύσεως' (257d10-11). The result is that not beautiful happens to be (συμβέβηκεν εἶναι) one single thing among kinds of beings (τι τῶν ὄντων τινὸς ἑνὸς γένους) and at the same time set over against one of the beings (πρός τι τῶν ὄντων αὖ πάλιν ἀντιτεθὲν) (257e2-4) and thus be something that happens to be not beautiful (εἶναί τις συμβαίνει τὸ μὴ καλόν); a being set over against being (ὄντος δὴ πρὸς ὄν ἀντίθεσις) (e6-7). Neither the beautiful is more a being (μα̑λλον ... ἐστι τῶν ὄντων) nor not beautiful less (e9-10) and thus both the contraries similarly are (ὁμοίως εἶναι) (258a1). This conclusion, it is emphasized again (a7-9), owes to θατέρου φύσις now turned out as being. Therefore, each of the many things that are of the nature of the difference and set over each other in being (τῆς τοῦ ὄντος πρὸς ἄλληλα ἀντικειμένων ἀντίθεσις) is being as being itself is being (αὐτοῦ τοῦὄν τοςοὐσία ἐστιν) and not less. They are different from, and not the contrary of, each other (a11-b3). This is exactly τὸμὴὄν, the subject of the inquiry (b6-7). Hence, not being has its own nature (b10) and is one εἶδοςamong the many things that are (b9-c3). Such far departing from Parmenides’ ontological principle is done on the basis of the nature of the difference. It was the discovery of such a notion that made the stranger brave enough to say that not being is each part of the nature of the difference that is set over against being (258d7-e3, cf. 260b7-8). That the relation of being and difference is difference is the key element of the new ontology. The difference is, only because of its sharing in being, but it is not that which it shares in but different from it (259a6-8). Not being is exactly based on this difference: ἕτερον δὲ τοῦ ὄντος ὄν ἔστι σαφέστατα ἐξ ἀνάγκης εἶναι μὴ ὄν (a8-b1). 2. Difference and the Being of a Copy We discussed above that the sense of being of particulars in Republic V made so many debates that whether being is there used in an existential sense or not. Particulars in Republic are regarded as images in the allegories of Line and Cave. The being of an image/copy makes, thus, the same problem. Plato’s analogy of original -copy for the relation of Forms and their particulars in Republic has obviously a different attitude to being. The main question is that what is the ontological status of a copy in respect of its original? Are there two kinds of being, 'real being' versus 'being' as Ketchum says (1980, 140) or only one kind? What is the difference of being in an original and its copy? Is it a matter of degrees of being or reality as some commentators have suggested? Is it a matter of being relational? By reducing the ontological issue to an epistemological one, Vlastos’ suggestion of degrees of reality in an article with the same name does neither, I think, pay attention to the problem nor resolve it. He agrees that Plato never speaks of "degrees" or "grades" of reality (1998, 219). What allows him to entitle it as such are some of Plato’s words in Republic as well as Plato’s words in some other dialogues (1998, 219). When Plato states that the Forms only can completely, purely or perfectly be real he means, Vlastos says, they are cognitively reliable (1998, 229); an obvious reduction of the issue to an epistemological one. He thinks that when in Republic we are being said that a particular’s being F is less pure than its Form, it is because it is not exclusively F, but it is and is not F and this being adulterated by contrary characters is the reason of our confused and uncertain understanding of it (1998, 222). Ketchum rightly criticizes Vlastos’ doctrine in its disparting from ontology thinking that 'to understand Plato’s talk of being as talk of reality is to obscure the close relation that exists between "being" and the verb "to be"' (1980, 213). He thinks, therefore, that οὐσία must be understοοd as being rather than reality, τὸὄν as "that which is" and not "that which is real" and … (ibid). His conclusion is that degrees of reality cannot interpret Plato correctly and we must accept degrees of being. Allen believes that a 'purely epistemic' reading of the passage in Republic is patently at odds with Plato’s text (1961, 325). He thinks that not only degrees of reality but also degrees of reality must be maintained (1998, 67). What Cooper suggests gets close to this paper’s solution: -/- Plato does not I think wish to suggest that existence is a matter of degree in the way in which being pleasant or painful is a matter of degree. Rather there are different grades of ontological status. (1986, 241) -/- A more ontological solution for the problem of understanding the being of a copy and its relation with the being of its original is suggested by the theory of copy as a relational entity. Based on this interpretation, 'the very being of a reflection is relational, wholly dependent upon what is other than itself: the original…' (Allen, 1998, 62). As relational entities, particulars have no independent ontological status; they are purely relational entities which derive their whole character and existence from Forms (ibid, 67). Although these relational entities are and have a kind of existence, we must also say that 'they do not have existence in the way that Forms, things which are fully real, do' (ibid). Allen (1961, 331) extends his theory to Phaedo where it is said that particulars are deficient (74d5-7, 75a2-3, 75b4-8), 'wish' to be like (74d10) or desire to be of its nature (75a2); an extension that, like F.C. white (1977, 200), I cannot admit. He correctly states that Plato did not start out with a doctrine of particulars as images and semblances but come to such a view after Phaedo, or perhaps after Republic V (1977, 202). Though we may not agree with him about Republic V, if we have to consider its last pages also, we must agree with him that not only the ontology of Phaedo but also that of Republic II-V (except the last pages of the latter book) are somehow different from (but at the same time appealing to) the ontology of original-copy which should exclusively assign to Sophist, Timaeus and RepublicVI-VII besides the last pages of book V. The answer to the problem of Plato’s sense of being in RepublicV can be reached only if we read Republic V based on and as following Sophist. We can find out his meaning of that which both is and is not only by the ontological status he assigns to a copy in Sophist. The kind of being of a copy in Sophist reveals as Plato’s key for the lock of the problem of not being. Let’s see how the ontological status of a copy is the critical point of Plato’s ontology. In the earlier pages of Sophist, we are still in the same situation about not being. To think that that which is not is is called a rash assumption (237a3-4) and Parmenides’ principle of the impossibility of being of not being is still at work (a8-9). At 237c1-4, the problem of "not being" is noticed in a new way which shows some kinds of a more realistic position to the problem of not being. Nevertheless, not being is still unthinkable, unsayable, unutterable and unformulable in speech (238c10). Soon after mentioning that it is difficult even to refuse not being (238d), the solution to the problem appears: the being of a copy (εἴδωλον) (239d). A copy is, says Theaetetus, something that is made referring to a true thing (πρὸς τἀληθινὸν) but still is 'another such thing (ἕτεροντοιου̑τον)' (240a8). Nevertheless, this 'another such thing' cannot be another such real or true thing. In answer to the question of the Stranger that if this 'another such thing' is the true thing (240a9), Theaetetus answers: οὐδαμῶς ἀληθινόν γε, ἀλλ’ ἐοικὸςμὲν (240b2). A copy’s being 'another such thing' does not mean another true thing but only a resemblance of it. Not only is not a copy another true thing besides the original, but it is the opposite of the true thing (b5) because only its original is the thing genuinely and being a copy is being the thing only untruly. The word ἐοικὸς is opposed to ὄντως ὄν in the next line (240b7): 'So you are saying that that which is like (ἐοικὸς) is not really that which is (οὐκ ὄντως [οὐκ] ὄν)'. But still a copy 'is in a way (ἔστι γε μήν πως)' (b9). While it is not really what it is its resemblance, it has its own being and reality because it really is a likeness (εἰκων ὄντως) (b11). The Stranger asks: -/- So it is not really what is (οὐκ ὄν ἄρα [οὐκ] ὄντως ἐστὶν) but it really is what we call a likeness (ὄντως ἣν λέγομεν εἰκόνα)? (b12-13) -/- This is Plato’s innovative ontological solution to the problem of not being. Theaetetus’ answer confirms this: 'Maybe that which is not is woven together with that which is' (c1-2). Therefore, a copy neither is what really is nor is not-being but only is what in a way is. Thanks to the ontological status of a copy, the third status intermediate between being and not being is brought forth. The essence of an image, in Kohnke’s words, does not consist 'solely in the negation of what is genuine and has real being' because otherwise 'it would be an ὄντως οὐκ ὄν,essentially and really a not being' (1957, 37). The characteristics of a copy can be summed up as folows: i) A copy is a copy by referring to a true thing (πρὸς τἀληθινὸν). ii) A copy is different from that of which it is a copy (ἕτερον). iii) A copy is not itself a true thing (ἀληθινόν) as that of which it is a copy but only that which is like it (ἐοικὸς). iv) It is not really that which really is (ὄντως ὄν) but only really a likeness (εἰκων ὄντως). The conclusion is that: v) A copy in a way (πως) is that means it both is and in not, the product of interweaving being with not being. This leads to the refutation of father Parmenides’ principle, accepting that 'that which is not somehow is (τό τε μὴ ὄν ὡς ἔστι)' and 'that which is, somehow is not (τό ὄν ὡς οὐκ ἔστι) (241d5-7). Besides copies and likenesses (εἰκόνων), we have also imitations (μιμημάτων) and appearances (φαντασμάτων) as the subjects of this new kind of being and thus false belief (241e3). In Timaeus, the world of becoming which cannot correctly be called and thus we have to call it "what is such" (τὸ τοιου̑τον) (49e5) or "what is altogether such" (τὸ διἀ παντὸς τοιου̑τον) (e6-7), consists solely of imitations (μιμημάτα) (50c5) which are identifiable only by the things that they are their imitations. The word τοιου̑τον which had been used to determine the situation of a copy in respect of its original, now becomes the definition of the world of becoming in which everything is an image of another thing, a Being, that stays always the same and is different and separated from its image. Cherniss, in my view rightly, draws attention to the very important point about the ontological status of an image that can at the same time be considered a criticism of the relational theory. What we are being said in Timaeus, he thinks,cannot be explained by saying that an image is not self-related and making its being relational. What is crucial about an image is that it 'stands for something, refers to something, means something and this meaning the image has not independently as its own but only in reference to something else apart from it' (1998, 296). This function finds its best explanation in the theory we are to suggest in the following. 3. πολλαχῶς ἔστι The best way to understand the ontological status of an image in Plato is to see first how his most clever pupil, Aristotle, resolved the same problem that Plato brought his theory of image for its sake. Aristotle’s theory of pollachos legetai is a brilliant and, at the same time, deviated version of Plato’s theory that is able, however, to help us read Plato in a better way. We discuss Aristotle’s theory to reach to a full understanding of Plato’s theory because it is, firstly, constructed in Aristotle in a more clear way and, secondly, it can also be taken as an evidence that our reading of Plato is legitimate. The phrase τὸ ὄν πολλαχῶς λέγεται, a so much repeated phrase in Aristotle’s works, is his resolution for some of the ontological problems of his predecessors all treating being as if it has only one sense. Aristotle is right in his criticism of the philosophical tradition specially Heraclitus, Parmenides and Plato since all did presuppose only one sense for being and his theory is, thus, a creative and revolutionary solution for many problems that all the past philosophers were stuck in. But it is at the same time somehow a borrowed theory. As we will discuss, both the structure of the doctrine and the problems it tries to resolve are the same as Plato’s doctrine (and even is comparable in its phraseology) though it is in Aristotle, as can be expected, a more clear and better structured doctrine. 1) Associated with the theory of pros hen and the theory of substance, the theory of several senses of being provides a structure which, I insist, is the best guide to understand Plato’s theory of Being in Sophist, Timeaus and Republic. a) Although the theory of pollachos legetai is not necessarily based on the theory of pros hen, they become tightly interdependent about being: -/- Being is said in many ways/senses (τὸ δὲ ὄν λέγεται μὲν πολλαχῶς) but by reference to one (πρὸς ἕν) [way/sense] and one kind of nature (μίαν τινὰ φύσιν). (Metaphysics 1003a33-34) -/- The doctrine of pros hen which is Aristotle’s initiative third alternative besides the homonymous and synonymous application of words, is primarily a linguistic theory that tries to provide a new theory to explain the different implementations of the same word. The pros hen implementation of being is to provide an alternative for the theory of the synonymous (in Plato: homonymous) implementation of being which says being is said in one sense (kath hen) (1060b 32-33). That both the pros hen and the kath hen implementation of a word has one thing (hen) as what is common, makes them in opposition to the homonymous implementation which does not consider anything in common. Whereas both pros hen and kath hen assume a common nature, with which all the implementations of the word have some kind of relation, their difference is that while kath hen takes all the implementations of the word as the same with the common nature, pros hen makes them different. Substance is called πρῶτον ὄν because it is said to be primarily: -/- For as is (τὸ ἔστιν) is predicated of all things, not however in the same way (οὐχ ὁμοίως) but of one sort of thing primarily and of others in a secondary way. So too τὸτί ἐστιν belongs simply (ἁπλῶς) to substance but in a limited sense (πῶς) to the others [other categories] (1030a21-23). -/- The word ἁπλῶς standing against κατὰ συμβεβηκός tries to make substance different from the accidents. When we are being said that τὸ ὄν πολλαχῶς λέγεται, it means that only the substance that is simply (ἁπλῶς) the ἕν, the common nature, τὸὄν. When we use the word 'being' about a substance, the being is said differently from when we use 'being' about an accident. The distinction between the substance and the other categories is a distinction between what simply is said to be and what only with reference to (pros) the substance is said to be. The doctrine of pros hen, changing kath hen to pros hen in respect of to on, makes a distinction that wants to show that while there is a kind of implementing the word being that is simply being, there is another kind which is called being only by reference to that which is simply being. In the doctrine of pros hen it is not so that all the things that are said to be are only by reference to a common one thing, but that while one thing is called being because it is that thing itself, the other things are called so without being that thing itself but only by referring to it. At the very beginning of book Γ, it is said that: -/- Being is said in many senses but all refer to one arche. Some things are said to be because they are substances, others because they are affections of substances, others because they are a process towards substances or destructions or privations or qualities of substances … (1003b5-9, cf. 1028a18-20) -/- Substance is what really is said to be and all other things that are said to be are said only in favor of it. This difference of substance from all other senses of being is what is, I believe, primarily aimed in Aristotle’s interrelated theories of pollachos legetai,pros hen and the theory of substance. b) The difference of the implementation of being in the case of substance and the accidents goes so deep that while substance is considered as the real being, the accidents are almost not being. An accident is a mere name (Metaphysics 1026b13-14) and is obviously akin to not being (b21). Aristotle adds that Plato was 'in a sense not wrong' saying that sophists deal with not being (τὸ μὴ ὄν) because the arguments of sophists are, above all, about the accidental (1026b13-16). At the beginning of book , he says about quality and quantity (which look to be more of a being than other accidents) that they are not existent (οὐδ̕ ὄντα ὡς εἰπεῖν) in an unqualified sense (ἁπλῶς) (1069a21-22). The two above-mentioned points, Aristotle’s (a) interwoven theories of pollachos legetai, pros hen and the theory of substance and (b) taking accidents almost as not being, comparedwith substance, brings forth a structure that I shall call Pollachos Legetai (with capital first letters). What is of the highest importance in this structure for me is the difference of substance from accidents and the kind of relation which is settled between them. There is a substance that without any qualification is said to be and the accidents that are said to be only by reference (pros) to it. Adding Aristotle’s point about accidents that they are nearly not being to this relation and difference, we can obviously see how much this structure is close to Plato’s original-copy ontology. We spoke of the relation of being and difference in Plato’s model and the way Plato construes the being of a copy. A copy is a copy only by referring to (pros) a model; it is different from (ἕτερον) that of which it is a copy; it is not itself a true thing as its model and not really that which is (ὄντως ὄν) but only is in a way (πῶς). If we behold the difference of substance and accident in the context of the theory of pollachos legetai and pros hen, we can observe its fundamental similarity with Plato’s original-copy theory in its structure. Allen draws attention to the fact that the relation between Forms and particulars in Plato’s original-copy model is 'something intermediate between univocity and full equivocity' (1998, 70, n. 24) and the same as what Aristotle calls it pros hen (ibid). What made us compare the two structures was not, of course, the complete similarity of two structures (we have to agree with many possible differences of the two theories) but exactly the specific relation between an original and its copy on the one hand, and a substance and its accident on the other hand. As substance and accident do not share a common character and the substance -accident model hints that they stand in a certain relation, there is no common character between the original and copy in Plato’s model as well. Furthermore, their similarity is not confined to their structure only; they are also aimed to solve the same problem. The central point of the theory is that all the predecessors took being in one sense and this was their weakness point. Besides the mentioned above passages about the relation of pollachos legetai and presocratics’, as well as Plato’s, ontology, the relation of the theory with the problem of not being is clear in several passages. In Metaphysics, it is said: 'Being is then said in many senses… It is for this reason that we say even of not being that it is not being' (1003b5-10). Discussing the accidental sense of being, Aristotle points that it is in the accidental way that we say, for example, that not-white is because that of which it is an accident is (1017a18-19, cf. 1069a22-24). We mentioned that he thought Plato was right saying that sophistic deals with not being because sophistic deals with accidental, which is somehow not being (1026b14-16). Plato turned sophistic not-being to what both is and is not and Aristotle to what accidentally is said to be. What helps Aristotle to resolve the problem of not being is his distinction between ἁπλῶς and κατὰ σθμβεβηκός. Aristotle’s "qua" (ᾕ) which is directly linked with his distinction between καθ’ αὑτο λέγεται and κατὰ συμβεβηκός λέγεται, is used to resolve the old problem of coming to be out of not being (Physics 191b4-10). He strictly asserts that his predecessors could not solve the problem because they failed to observe the distinction of "qua itself" from "qua another thing" (b10-13). He then continues: -/- We ourselves are in agreement with them in holding that nothing can be said simply (ἁπλως) to come from not being (μὴὄντος). But nevertheless we maintain that a thing may come to be from not being in an accidental way (κατὰ συμβεβηκός). For from privation which ὅ ἐστι καθ’ αὑτο μὴ ὄν, nothing can become. (Phy. 191b13-16, cf. b19-25) . (shrink)

We present several models which satisfy CH and some ♦-like principles while others fail, answering a question of Moore, Hrušák and Džamonja.

In lieu of an abstract, here is a brief excerpt of the content:Future Directions for Human Cloning by Embryo Splitting:After the HullabalooCynthia B. Cohen (bio)In October 1993, a paper entitled, "Experimental Cloning of Human Polyploid Embryos Using an Artificial Zona Pellucida," was presented at a joint meeting of the American Fertility Society and the Canadian Fertility and Andrology Society. Although it was awarded a prize, its authors, who are affiliated with George Washington University, decided against calling a press conference (...) to announce their findings. Word of their experiment soon leaked out, however, and the New York Times blazoned on its front page that human embryo cloning had been achieved. The story was accompanied by a diagram of cloning by nuclear transplantation.Newspapers and television networks around the world picked up the story and embellished it. The idea of unlimited, xeroxed copies of human beings gripped the public imagination. Wild scenarios of hundreds of Hitlers plotting to take over the world and of clones giving birth to their own twins enlivened media reports. Only gradually did it become clear that the term "polyploid" in the title of the paper referred to abnormal embryos that could never develop into living human beings and that "cloning" referred to embryo splitting or twinning, not to nuclear transplantation or the transfer of a donor nucleus into an enucleated egg. Once this sank into public consciousness, the "hullabaloo," as Dr. Howard W Jones, Jr., called it, died down.It left in its wake unanswered questions about the ethics of splitting embryos. During the height of the publicity given to the George Washington experiment, newspaper and TV stories had not delved in any depth into the ethical issues it raised. Ethicists, given limited time to discuss the ethical questions at stake, had been quoted in quick, simplistic responses. Some had offered little analysis of the rights and wrongs of embryo splitting, but, revealing tremendous creative talent, had spun out [End Page 187] imaginary and frightening applications of the procedure. This was a story essentially about ethics in which ethics was never really discussed.The National Advisory Board on Ethics in Reproduction* (NABER), an independent, multidisciplinary group that addresses ethical issues in modern reproductive science, technology, and care, became concerned about the sparsity of reflective ethical debate about embryo splitting. NABER's chair, Albert Jonsen, observed that "reporters phoning ethicists for comment and ethicists appearing on talk shows do not a debate make. Debate requires face to face (or at least essay to essay) argument among persons sharing the same information. This has yet to take place." Consequently, NABER decided to convene a workshop on human cloning by embryo splitting at the National Academy of Sciences in February 1994. The board invited participants who would provide a broad range of opinion about the ethical and public policy issues entailed by human embryo splitting. Embryologists, ethicists, reproductive biologists, public policy experts, staff from the National Institutes of Health (NIH), legal scholars, journalists, and infertility specialists were among those who participated. The feature articles in this issue of the Kennedy Institute of Ethics Journal derive from that workshop. Their authors were given free rein to take whatever stance they deemed ethically supportable.The first article is designed to provide some understanding of the science of human cloning as a basis for exploring the ethical issues raised by this set of techniques. Jacques Cohen, a leading reproductive embryologist, and Giles Tomkin, a science writer, both of Cornell University Medical School, explain, in a way that is clear to laypersons and biologists alike, the meaning, nature, and function of cloning. They discuss recent: advances in this area and offer an assessment of feasible uses of human cloning procedures, hoping to dispel what they view as mistaken fears about its future applications. Dr. Howard W Jones, Jr., a pioneer infertility specialist, briefly comments on Cohen and Tomkin's paper, pointing out that embryo splitting may not improve pregnancy results if genetic heterogeneity is required for successful embryo transfer and implantation.In the next article, three major ethical arguments against human cloning by embryo splitting are analyzed and rejected by Ruth Macklin, an expert in reproductive ethics from Albert Einstein College of Medicine. She finds the first argument, that the worth of individuals... (shrink)

A complete Boolean algebra ${\mathbb{B}}$ satisfies property ${(\hbar)}$ iff each sequence x in ${\mathbb{B}}$ has a subsequence y such that the equality lim sup z n = lim sup y n holds for each subsequence z of y. This property, providing an explicit definition of the a posteriori convergence in complete Boolean algebras with the sequential topology and a characterization of sequential compactness of such spaces, is closely related to the cellularity of Boolean (...) class='Hi'>algebras. Here we determine the position of property ${(\hbar)}$ with respect to the hierarchy of conditions of the form κ-cc. So, answering a question from Kurilić and Pavlović (Ann Pure Appl Logic 148(1–3):49–62, 2007), we show that ${``\mathfrak{h}{\rm -cc}\Rightarrow (\hbar)"}$ is not a theorem of ZFC and that there is no cardinal ${\mathfrak{k}}$ , definable in ZFC, such that ${``\mathfrak{k} {\rm -cc} \Leftrightarrow (\hbar)"}$ is a theorem of ZFC. Also, we show that the set ${\{ \kappa : {\rm each}\, \kappa{\rm -cc\, c.B.a.\, has}\, (\hbar ) \}}$ is equal to ${[0, \mathfrak{h})}$ or ${[0, {\mathfrak h}]}$ and that both values are consistent, which, with the known equality ${{\{\kappa : {\rm each\, c.B.a.\, having }\, (\hbar )\, {\rm has\, the}\, \kappa {\rm -cc } \} =[{\mathfrak s}, \infty )}}$ completes the picture. (shrink)

We show how to build various models of first-order theories, which also have properties like: tree with only definable branches, atomic Boolean algebras or ordered fields with only definable automorphisms. For this we use a set-theoretic assertion, which may be interesting by itself on the existence of quite generic subsets of suitable partial orders of power λ + , which follows from ♦ λ and even weaker hypotheses . For a related assertion, which is equivalent to the (...) morass see Shelah and Stanley [16]. The various specific constructions serve also as examples of how to use this set-theoretic lemma. We apply the method to construct rigid ordered fields, rigid atomic Boolean algebras, trees with only definable branches; all in successors of regular cardinals under appropriate set- theoretic assumptions. So we are able to answer the following algebraic question. Saltzman's Question . Is there a rigid real closed field, which is not a subfield of the reals? (shrink)

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of (...) these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (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)

We consider the sets definable in the countable models of a weakly o-minimal theory T of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic , in other words when each of these definable sets admits, if infinite, an infinite coinfinite definable subset. We show that this is true if and only if T has no infinite definable discrete subset. We examine the same problem among arbitrary theories of mere linear orders. Finally (...) we prove that, within expansions of Boolean lattices, every weakly o-minimal theory is p-ω-categorical. (shrink)

We investigate the issues of Diophantine definability over the non-finitely generated version of non-degenerate modules contained in the infinite algebraic extensions of the rational numbers. In particular, we show the following. Let k be a number field and let K inf be a normal algebraic, possibly infinite, extension of k such that k has a normal extension L linearly disjoint from K inf over k. Assume L is totally real and K inf is totally complex. Let M inf be a (...) non-degenerate O k -module, possibly non-finitely generated and contained in O Kinf . Then M inf contains a submodule M¯ inf such that M inf /M¯ inf is torsion and O k has a Diophantine definition over M¯ inf. (shrink)

In this note we show that the so-called weakly extensional arithmetic in all finite types, which is based on a quantifier-free rule of extensionality due to C. Spector and which is of significance in the context of Gödel"s functional interpretation, does not satisfy the deduction theorem for additional axioms. This holds already for Π0 1-axioms. Previously, only the failure of the stronger deduction theorem for deductions from (possibly open) assumptions (with parameters kept fixed) was known.

Computable model theory, also called effective or recursive model theory, studies algorithmic properties of mathematical structures, their relations, and isomorphisms. These properties can be described syntactically or semantically. One of the major tasks of computable model theory is to obtain, whenever possible, computability-theoretic versions of various classical model-theoretic notions and results. For example, in the 1950's, Fröhlich and Shepherdson realized that the concept of a computable function can make van der Waerden's intuitive notion of an explicit field precise. This led (...) to the notion of a computable structure. In 1960, Rabin proved that every computable field has a computable algebraic closure. However, not every classical result “effectivizes”. Unlike Vaught's theorem that no complete theory has exactly two nonisomorphic countable models, Millar's and Kudaibergenov's result establishes that there is a complete decidable theory that has exactly two nonisomorphic countable models with computable elementary diagrams. In the 1970's, Metakides and Nerode [58], [59] and Remmel [71], [72], [73] used more advanced methods of computability theory to investigate algorithmic properties of fields, vector spaces, and other mathematical structures. (shrink)

continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...) supérieure. The book in question is Meillassoux’s revised doctoral dissertation L’Inexistence divine (or The Divine Inexistence ), with its seemingly bizarre vision of a God who does not yet exist but might exist in the future. Without literally accepting this view, I will claim that it is philosophically interesting in ways that even a hardened sceptic might be able to appreciate. Third and finally, I will speculate on the possible future of Meillassoux’s speculative materialism itself. And here I mean its future development not by Meillassoux, but by those readers who might be inspired by his book. Plato could never have predicted the emergence of Aristotle’s philosophy, despite the obvious debt of the latter to the former. Nor could Descartes have predicted Spinoza and Leibniz, nor Kant the German Idealists, and neither could Husserl in 1901 have foreseen the later emergence of Heidegger. How are the works of interesting philosophers transformed by later thinkers of comparable importance? While it may seem that there are countless ways to do this, I think there are only two basic ways in which this happens: you can radicalize your predecessors, or you can reverse them. I will close this article with a few words about these two methods, and try to imagine how Meillassoux might be radicalized or reversed by some future admirer. My view is that the more important thinkers are, the easier they are to radicalize or reverse. This helps explain why the great philosophers of the West have so often appeared in clusters, succeeding one another at relatively brief intervals during periods of especial ferment. 1. After Finitude After Finitude is unusually short for such an influential book of philosophy: running to just 178 pages in the original French, and an even more compact 128 pages in the English version, despite the introduction of roughly eight pages of new material for the English edition. Rather than summarizing Meillassoux’s book in the order he intended, I will focus on six points that strike me as the pillars of his debut book. Along the way, I will offer a few criticisms as well. The first pillar of the book is Meillassoux’s own term “correlationism.”1 Although he introduces this term as the name for an enemy, it is striking that Meillassoux remains impressed by correlationism much more than his fellow speculative realists are. This continued appreciation for his great enemy influences the shape of his own ontology. Is there a world outside our thinking of it, or does the world consist entirely in being thought? Traditionally, this dispute between realism and idealism has been dismissed in continental philosophy as a “pseudo-problem,” in a strategy pioneered by Husserl and extended by Heidegger. We cannot be realists, since following Kant we have no direct access to things-in-themselves. But neither are we idealists, since the human being is always already outside itself, aiming at objects in intentional experience, deeply engaged with practical implements, or stationed in some particular world-disclosing mood. The centuries-old dispute between realism and idealism is dissolved by saying that we cannot think either real or ideal in isolation from the other. There is neither human without world nor world without human, but only a primordial correlation or rapport between the two. This is what “correlationism” means: philosophy trapped in a permanent meditation on the human-world correlate, trying to find the best model of the correlate: is it language, intentionality, embodiment, or some other form of correlation between human and world? Among other problems, this generates some friction between philosophy and the literal meaning of science. When cosmologists say that the universe originated 13.5 billion years ago, they do not mean “13.5 billion years ago for us ,” but literally 13.5 billion years ago, well before conscious life existed, and thus at a time when there was no such thing as a correlate. Meillassoux also coins the term “ancestrality” (10) for the reality that predated the correlate, and later expands this term to “dia-chronicity,” (112) to refer to events occurring after the extinction of human beings no less than to those occurring before we existed. Up to this point, Meillassoux’s focus on ancestral entities existing prior to consciousness might seem like a straightforward realist who wants to unmask correlationism as just another form of idealism. Yet Meillassoux also admires the correlationist maneuver, which can obviously be traced back to Kant. Unlike a thinker such as Whitehead, Meillassoux feels no nostalgia for the pre-critical realism that came before Kant: “we cannot but be heirs of Kantianism,” he says (29). What impresses Meillassoux about correlationism is something both simple and familiar. If we attempt to think a tree outside thought, this is itself a thought . Any form of realism which thinks it can simply and directly address the world the way it is fails to escape the correlational circle, since the attempt to think something outside of thought is itself nothing other than a thought, and thereby collapses back into the very human-world correlate that it pretends to escape. For Meillassoux this step, suggested by Kant but first refined by the ensuing figures of German Idealism, marks decisive forward progress in the history of philosophy that must not be abolished. Any attempt to break free from the correlate must first acknowledge its mighty intellectual power. Realist though he may seem, Meillassoux’s works are filled with praise of such figures as Fichte and Hegel, not of so-called “naïve realists.” It is also the case that for Meillassoux, not all correlationisms are the same. The second pillar of his book is a distinction between various positions that I have termed “Meillassoux’s Spectrum,” though of course he is never so immodest as to name it after himself. He distinguishes between at least six different possible positions, and perhaps we could add even subtler variations if we wished. But in its simplest form, Meillassoux’s Spectrum allows for just four basic outlooks on the question of realism vs. anti-realism. Three of these are easy to understand, since we have already been discussing them. At one extreme is so-called “naïve realism,” which holds that a world exists outside the mind, and that we can know this world. Meillassoux rejects this naïve realism as having been overthrown by Kant’s critical philosophy. At the other extreme is subjective idealism, in which nothing exists outside the mind. For to think a dog outside thought immediately turns it into a thought, and therefore there cannot be anything outside; the very notion is meaningless. In between these two is what we have called correlationism. And here comes a crucial moment for Meillassoux, since he distinguishes between the two forms of “weak” and “strong” correlationism, and chooses the strong form as the launching pad for his own philosophy. Weak correlationism is easy to explain, since we all know it from the philosophy of Kant. The things-in-themselves can be thought but not known. They certainly must exist, since there cannot be appearances without something that appears. And we can think about them, which idealism holds to be impossible. They are simply unknowable due to the finitude of human thought. Strong correlationism is the new position introduced by Meillassoux (though he sees it at work in numerous twentieth century thinkers), midway between weak correlationism and subjective idealism. The major difference between the three positions is as follows. Weak correlationism says: “The things-in-themselves exist, but we cannot know them.” The subjective idealist says: “This is a contradiction in terms, since when we think the things-in-themselves, we already turn them into thoughts.” But the strong correlationist says: “Just because ‘things-in-themselves’ is a meaningless notion does not mean that they cannot exist. No one has ever traveled to the world-in-itself and come back to make a report on it. Thus, the fact that we cannot think things-in-themselves without contradiction does not prove that they do not exist anyway. There may be things-in-themselves, we simply are not capable of thinking them without contradiction form within the correlational circle.” This step is crucial for Meillassoux, since strong correlationism is the position he attempts to radicalize into his own new standpoint: speculative materialism. As I see it, this step of the argument fails. Strong correlationism cannot avoid collapsing into subjective idealism, since the statements of the strong correlationist are rendered meaningless from within. All three of the other positions in the Spectrum make perfectly good sense even for those who disagree with them. The naïve realist says that things-in-themselves exist and we can know them; the meaning of this statement is clear. The weak correlationist can say that things-in-themselves exist but lie forever beyond our grasp; this too makes perfect sense, even though the German Idealists try to show a contradiction at work here. We can also understand the claim of the subjective idealist that to think anything outside thought turns it into a thought, and that for this reason we cannot think the unthought. The strong correlationist, alone among the four, speaks nonsense . This person says “I cannot think the unthought without turning it into a thought, and yet the unthought might exist anyway.” But notice that the final phrase “the unthought might exist anyway” is fruitless for this purpose. For we have already heard that to think any unthought turns it into a thought. But now the strong correlationist wants to do two incompatible things simultaneously with this unthought. On the one hand, he neutralizes the unthought by showing that it instantly changes into just another thought. But on the other hand, he wants to appeal to the unthought as a haunting residue that might exist outside thought, thereby undercutting the absolute status of the human-world correlate found in idealism. But this is impossible. If you accept the argument that thinking the unthought turns it into a thought, you cannot also add “but maybe there is something outside that prevents this conversion from being absolutely true,” because this “something outside” is immediately converted into nothing but a thought for us. In short, Meillassoux here seems to be offering a kind of Zen koan: his “strong correlationism” is reminiscent of the gateless gate, or the sound of one hand clapping, or the command to punch Hegel in the jaw when meeting him on the road. We cannot at the same time both destroy the realist challenge of the things-in-themselves in order to undercut realism and reintroduce that very realist sense in order to undercut idealism. In a world where everything is instantly converted into thought, we cannot claim that there might be something extra-mental anyway, because this “might be something” is itself converted into a thought by the same rules that condemned dogs, trees, and houses to the idealist prison. This brings us to the third pillar of Meillassoux’s argument, which is the key to all the rest: the necessity of contingency. His strategy is to transform our supposed ignorance of things-in-themselves into an absolute knowledge that they exist without reason, and that the laws of nature can change at any time for no reason at all. In this way the cautious agnosticism of Kantian philosophies is avoided, but so is the collapse of reality into thought as found in German Idealism. Meillassoux does try to prove the existence of things-in-themselves existing outside thought; he simply holds that they must be proven after passing through the rigors of the correlationist challenge, not just arbitrarily decreed to exist in the manner of naïve realism. As he puts it, “Everything could actually collapse: from trees to stars, from stars to laws, from physical laws to logical laws; and this not by virtue of some superior law whereby everything is destined to perish, but by virtue of the absence of any superior law capable of preserving anything, no matter what, from perishing” (53). If idealism thinks that the human-world correlate is absolute, for Meillassoux it is the facticity of the correlate that is absolute. He tries to show this with a nice brief dialogue between five separate characters (55-59) which is covered in detail in my forthcoming book,2 but which I will simplify here for reasons of time. In this simplified version, we first imagine a dogmatic realist arguing with a dogmatic idealist. The realist says that we can know the truth about the things-in-themselves; the idealist counters that we can only the truth about thought, since all statements about reality must be turned into statements concerning our thoughts about reality. Here the correlationist enters and proclaims that both of these positions are equally dogmatic. For although we have access to nothing but thoughts, we cannot be sure that these thoughts are all that exist; there could be a reality outside thought, there is simply no way to know for sure. And this latter position is the one that Meillassoux attempts to transform from an agnostic, skeptical point into an ontological claim about the contingency of everything. Consider it this way. How does the correlationist defeat the idealist? The idealist holds that the existence of anything outside thought is impossible. The correlationist, by contrast, holds that something might exist outside the human-world correlate. But this “something might” has to be an absolute possibility. It cannot mean that “something outside thought might exist for thought ,” because that is what the idealist already says. No, the correlationist must mean that something might exist outside thought quite independently of thought. In other words, the correlationist says that idealism might be wrong, and this means it is absolutely true that idealism might be wrong. Thus, correlationism is no longer just a skeptical position. It holds that all the possibilities of the world are absolute possibilities. We have absolute knowledge that any of the possibilities about the existence or non-existence of things-in-themselves might be true, and this means that correlationism flips into Meillassoux’s own position: speculative materialism. As Meillassoux sees it, there are only two options here. Option A is to absolutize the human-world correlate, which is what the idealist does: there absolutely cannot be anything outside thought. Option B, by contrast, is to absolutize the facticity of the correlate: its character of simply being given to us, without any inherent necessity. The correlationist cannot have it both ways by saying: “there absolutely might be something outside thought, yet maybe this is absolutely impossible.” In other words, once we escape dogmatism we can only be idealists or speculative materialists, not correlationists. The human-world correlate is merely a fact, not an absolute necessity. But this facticity itself cannot be merely factical: it must be absolute. Here Meillassoux coins the French neologism factualité , which has been suitably translated into the English neologism “factiality.” (7, 122-3) Factialty means that for everything that exists, it is absolutely possible that it might be otherwise, not just that we cannot know whether or not it might be otherwise. Just as Kant transformed philosophy into a meditation on the categories governing human finitude, Meillassoux wishes to turn philosophy into a meditation on the necessary conditions of factiality, which he calls “figures”—a new technical term for him. (80) One such figure is that the law of non-contradiction must be true, and for an unusual reason. Since everything is proven to be contingent, nothing that exists can be contradictory, for whatever is contradictory has no opposite into which it might be transformed, and thus contingency would be impossible.3 Another such figure is that there must be something rather than nothing: for since contingency exists, something must exist in order to be contingent. It is a daring high-wire act, one that sacrifices realism to the correlational circle in order to rebuild it from out of its own ashes. Some might conclude that the lack of reason in things is a byproduct of the ignorance of finite humans, Meillassoux is making precisely the opposite point. For in fact, the doctrine of finitude usually leads directly to belief in a hidden reason. The fact that it lies beyond human comprehension merely increases our belief in this arbitrarily chosen concealed ground. By defending anew the concept of absolute knowledge Meillassoux evacuates the world of everything hidden. The reason for things having no reason is not that the reason is hidden, but that no reason exists. Thus, even while insisting on the necessity of non-contradiction, he rejects the other Leibnizian principle: sufficient reason. Everything simply is what it is, in purely immanent form, without deeply hidden causes. Or as Meillassoux puts it: “There is nothing beneath or beyond the manifest gratuitousness of the given—nothing but the limitless and lawless power of its destruction, emergence, or persistence” (63).The world is a “hyper-chaos”(64). But this is not the same thing as flux. For the chaos of the world is such that stability might occur just as easily as constant, turbulent change. Let’s now digress a bit, and return to the question of ancestrality, which Meillassoux transforms later in the book into “dia-chronicity.” Correlationism holds that all talk of a world outside the correlate is immediately recuperated by the correlate. The phrase “13.5 billion years ago” becomes “13.5 billion years ago for us ,” and the phrase “the universe following the extinction of humans” becomes “the universe following the extinction of humans for humans .” But notice that whether we talk about the world before or after humans, in both cases it is time that is used to challenge the correlate. Meillassoux has no interest in challenges that might be posed by space. For example, what about a vase in a lonely country house that topples to the floor and smashes when no one is there to watch it? Isn’t this also a challenge to correlationism, no less than the Big Bang or the heat death of the universe long after humans have vanished? In an eight-page supplement to the English translation of After Finitude ,4 possibly in response to my own 2007 review of the French original,5 Meillassoux bluntly denies that space is of any relevance to the question. Spatial distance is a merely harmless challenge to the human-world correlate. After all, even though no one is there in the lonely country house to witness the shattering of the vase, we can say that had there been an observer , that observer would have witnessed the toppling and destruction of the vase. For this event still occurs in a world in which the human-world correlate already exists, whereas the diachronicity of events both before and after the existence of humans makes it impossible to say that had there been an observer they would have witnessed the Big Bang occurring in such and such a fashion. However, it seems to me that Meillassoux merely asserts that the temporal simultaneity of our existence with that of the vase in the lonely country house is enough to render it harmless. It is true that the house does not exist prior to the correlate, but nonetheless it exists outside the correlate, and that is enough to make the same challenge. It is difficult to see why the “had there been an observer” maneuver succeeds in the case of a vase in the countryside in April 2011 but fails in the case of the Big Bang. This is not just a matter of nitpicking Meillassoux’s argumentative style: the fact that he bases his argument on time has at least two important consequences for his position. For in the first place, even though Meillassoux insists that the laws of nature are absolutely contingent, this turns out to be true only in a temporal sense. That is to say, it is a paradoxical feature of Meillassoux’s philosophy that he does allow for the existence of laws of nature, and simply believes that they can change at any moment without reason. Within any given moment, laws of nature do exist. He never suggests that different parts of the universe can have different laws at the same time, nor does he have any interest in the laws of part/whole composition that take place within any given instant. Could it be the case that rather than being made of gold atoms, a small chunk of gold could be made of silver atoms, cotton, horses, or that this same small piece of gold could be made of gigantic vaults filled with even more gold? These are not topics that draw Meillassoux’s attention, since he is focused solely on how the laws of nature might change or endure from one moment to the next . Another implication for Meillassoux’s system is that his concept of things-in-themselves turns out to be to be inadequate. For when he proves that things-in-themselves can exist without humans, this turns out to be true only in a temporal sense as well. Namely, things-in-themselves existed ten billion years ago, and they will continue to exist after all humans have succeeded in exterminating themselves. However, being able to exist before our births and after our deaths is just one small part of what it means to be a thing-in-itself. The more important part is that even if a thing is sitting on a table right now, in front of me, even if I stroke it lovingly or press my face up against it directly, I am still dealing only with a phenomenal version of the thing; the thing-in-itself continues to withdraw from all access. Yet no such thing is acknowledged by Meillassoux. For him finitude is a disaster, and absolute knowledge is in fact possible. Meillassoux’s thing-in-itself exists in independence only of the human lifespan , not of human knowledge. The fifth pillar of Meillassoux’s argument is his use of Cantor’s transfinite mathematics to show that even if the laws of nature are contingent, they need not be unstable, and thus we cannot use the apparent stability of nature to disprove his metaphysics of absolute contingency. What Cantor showed is that there are different sizes of infinity, and that all these infinities cannot be totalized in a single infinite number of infinities. Meillassoux sees this as crucial, since it allows him to discredit any “probabilistic” argument against his theory. The probabilistic argument (as defended quite clearly by Jean-René Vernes)6 would say this: given that the laws of nature seem so stable, it it is extremely improbable that there is no hidden reason for their remaining so stable. As Meillassoux sees it, probability is of value only when we can index an accessible total of cases. These can even be infinite: for example, there are an infinite number of points where a rope can break when stretched tight, but this does not stop us from calculating probabilities for various sections of the rope to break. By contrast, there is no way to sum up the number of possible laws of nature. For here there is no way to totalize; we cannot stand outside of nature and calculate the possible number of laws so as to determine the probabilities that any one of them might change. Therefore, although we can speak of probability when dealing with intraworldly events such as elections, horse races, and coin-flips, we cannot use the words “probable” or “improbable” when describing alterations at the level of nature as a whole. Rather than commenting on the validity of this argument and its use of Cantor, let me simply note that it once again creates a dualistic ontology. We already saw that Meillassoux treats time differently from space. In analogous fashion, he now treats the level of world differently from that of intraworldly events. The emergence of worlds is purely contingent and virtual and governed by no probability at all, while events within the world necessarily follow laws (even if these laws can change at any moment without reason), and thus their probabilities can be calculated. It is a strategy deeply reminiscent of Badiou’s (2005) own dualism between the normal “state of the situation” and the rare and intermittent “event.” The sixth and final pillar of Meillassoux’s book can be dealt with briefly, since we have already touched on it elsewhere. It comes at the very beginning of the book, when Meillassoux says that we must revive the distinction between primary and secondary qualities, and that the primary qualities are the ones that can be mathematized. He admits that he has not yet published a proof of this idea, though in fact it is already known as one of his primary doctrines. And here we encounter the familiar problem with Meillassoux’s inadequate conception of things-in-themselves. “Primary qualities” refers to those qualities that a thing has independently of its relations with us or anything else. But if the primary qualities can be mathematized, this means that they are not entirely independent of us, since our knowledge can get right to the bottom of them. The mathematized qualities of things are independent of us only in Meillassoux’s sense that they will still have those qualities even when all humans are dead. But to repeat, autonomy from the human lifespan is not the same as autonomy from human access. Here once more Meillassoux is concerned only with independence from the human-world correlate across time, not in any given instant. 2. L’Inexistence divine In 1997, the same year in which he turned thirty years old, Meillassoux earned his doctorate at the École normale supériuere with a brazen dissertation entitled L’Inexistence divine ( The Divine Inexistence ). The work was substantially revised in 2003. But even then, with typical fastidiousness, Meillassoux decided that the work was not yet ready for press. It has now been scrapped in favor of some future, multi-volume work bearing the same title. While writing my book on Meillassoux for Edinburgh University Press, I was permitted to translate excerpts from this unpublished work for use as an appendix in my own book; in total, the appendix contains approximately twenty percent of Meillassoux’s 2003 manuscript, the first time any of it will be published in any language. Nonetheless, a portion of the argument was already tested in the article “Spectral Dilemma,” published in English in the journal Collapse (2008: 261-75). There the philosophical motives for the virtual God are already made clear. What troubles us most are early deaths, brutal deaths, deaths of especial injustice– the sorts of deaths in which the brutal twentieth century was so abundant. And here, neither the atheist nor the believer can help us. The atheist can offer nothing but a sad and cynical resignation when reflecting on the victims of these terrible crimes. The believer does little better, being unable to explain how God could have allowed such things to happen, due to the famous intractability of the problem of evil. The solution offered to this dilemma by Meillassoux is bold, and all the more so given that he emerges from such a deeply Leftist, materialist, and unreligious background. His solution is that God does not yet exist, and therefore is not blameworthy for these catastrophes. Given that everything is contingent in Meillassoux’s philosophy, this God and divine justice might never exist, but they can at least exist as an object of hope. Let’s begin by jumping to the end of L’Inexistence divine , where the alternatives are laid out so nicely. There are four basic attitudes that humans can have towards God, Meillassoux says. First, we can believe in God because he exists. This is the classical theist attitude, rejected for the simple reason that it would be amoral and blasphemous to believe in a God who allows children to be eaten by dogs, to use Dostoevsky’s example. Second, we can disbelieve in God because he does not exist: the classical atheist attitude. But this leads to sadness, cynicism, and a sneering contempt for the greatness of human capacity. The third option, rather more complex, is to disbelieve in God because he does exist: in other words, to exist in rebellion against God as the one who must be blamed for the evils of the earth. The examples here might range from Lucifer himself, to the more human figure of Captain Ahab in Melville’s Moby-Dick , to Werner Herzog’s even more recent catchphrase, “Every man for himself, and God against all.” That leaves only the fourth option: believing in God because he does not exist. Meillassoux closes his book by saying that the fourth option has now been tried (namely, in the course of his own book), and that now that all four have been specified, we must choose. The first reaction to this theory of the inexistent God will be laughter. Few readers will ever be literally convinced by it, and probably none will immediately be convinced by it. But if we ask ourselves why we laugh, the answer is because it sounds so improbable that an inexistent God might suddenly emerge and resurrect the dead. It obviously sounds more like a gullible theology than a rigorous piece of philosophical work. Yet two things need to be kept in mind. First, Meillassoux’s theories are hardly more unlikely than those of great philosophers of the past such as Plato, Plotinus, Avicenna, Malebranche, Spinoza, Leibniz, Nietzsche, or Whitehead. We read the great philosophers not because their systems are plausible in commonsense terms that can be measured by the laws of probability. Instead, we read them precisely because they shatter the existing framework of common sense and open up new window on the universe. Second, and even more importantly, Meillassoux has already rejected probability as a valid measuring stick in philosophy. Or rather, he accepts probability in the intra-worldly realm (where it is linked with potentiality), and rejects it at the level of the world itself (where potentiality is replaced with what he calls virtuality). The virtual God can appear at any moment for no reason at all, just as any other new configuration of laws of nature can appear: in a manner that the laws of probability cannot calculate. Responding to those who might ridicule the idea of a sudden emergence of God and a resurrection of the dead, Meillassoux cites Pascal, who asserts that the resurrection of the dead would be far less incredible than the fact that we were born in the first place. This shifts philosophy onto new ground. Rather than concerning ourselves with what is likely to happen in the world as we know it, we focus instead on the most important things that could happen. For this reason, the expected objection that a virtual God is no more likely to appear than a virtual unicorn or a virtual flying spaghetti monster misses the point. Unicorns and spaghetti monsters could also appear, just like any other non-contradictory thing. But these would just be novel bizarre entities among others, not the heralds of completely new worlds. For Meillassoux, the emergence of matter, life, and thought have been the three truly amazing advents of the world so far, each of them dependent on the advent(s) preceding them. As he sees it, there can be no greater intraworldly entity than the human beings who already exist, since nothing in the world is better than the absolute knowledge of which humans alone are capable. This means that the next great advent must be something that perfects human beings rather than superseding them. And this can only be the world of justice, in which the dead are resurrected and their horrible deaths partially cancelled (Meillassoux never considers the possibility of a God who would literally erase the pre-divine past so that it never happened at all). The only immortality worth having is an immortality of this life, not an existence in some ill-defined afterworld. Human existence, he holds, must always be governed by a “symbol” that gives us the “immanent and comprehensible inscription of values in a world.” And just as cosmic history made the three great contingent leaps of matter, life, and thought, with a leap to justice as the only one still to come, a similar structure occurs within human culture and its symbols, which consist so far of the cosmological, naturalistic, and historical symbols, with a “factial” symbol still to come. We can review each of these symbols briefly. The cosmological symbol refers to the ancient dualism between the terrestrial and celestial spheres. Here below everything is conflict, corruption, and decay; but in the heavens nothing is perishable, all movement is circular, and everything is arranged in mutual harmony. This symbol is ended by modern physics when Galileo discovers such blemishes as sunspots and craters on the moon, and when Newton integrates both celestial and terrestrial movement into a single gravitational law. Next comes the naturalistic or romantic symbol, in which perfection comes not from the sky but from nature itself. The world is filled with pretty flowers (Meillassoux claims that the ancients never discussed the beauty of flowers until Plotinus in the third century) and with living creatures naturally moved by pity, at least until society corrupts them. This symbol collapses in the face of reality as we know it, since pity is no more common than war, corruption, and violence. This brings us to the historical symbol, which only now is passing away. Bad things may happen, but history has an inner logic of its own, such that everything works out in the end. The ultimate form of the historical symbol is the economic symbol, whether in a Marxist or neo-liberal form. Just as the Marxist holds that the inner economic logic of the capitalists will inexorably lead them to self-destruction, the neo-liberal assumes that the sum total of individual selfish actions will lead, in the long run, to the greatest possible good. We worship the economy and let it guide history for us, just as the ancients worshipped celestial bodies and held them to be free from blemish. The final remaining symbol is the factial symbol, which Meillassoux hopes will now emerge. Factiality, we recall, is his term for the absolute contingency of everything that exists. Once we have grasped this absolute contingency, we are free to expect the dramatic advent of the coming fourth World: the world of justice, inaugurated by a virtual God and even mediated by a messianic human figure. There is the added feature, however, that this messiah must abandon all claims to special status once the messianic realm of justice is achieved. The messianic figure will then be no more special than any person on the street, since a reign of human equality will have arisen. Although this focus on human being might seem like a return to standard humanism, Meillassoux holds that human pre-eminence has never truly been maintained. Previously, humans have been treated as special only because they contemplate the Good, because they resemble their omnipotent creator, or because they happen to be the temporary victors in a cruel Darwinian death-match between millions of living species. For Meillassoux, by contrast, humans have value because they know the eternal. But it is not the eternal that is important, since this merely represents the blind, anonymous contingency of each thing. What is important is not knowledge of the eternal , but knowledge of the eternal. We should not admire Prometheus for stealing fire from the gods; Prometheus is simply as bad as all the gods, no matter how much he increased our power. Feuerbach and Marx were wrong to say that God is a projection of the human essence, since for Meillassoux the usual concept of God represents the degradation of the human essence. If the traditional God was allowed to inflict plagues and tsunamis on the human race, the Promethean human of the twentieth century simply assumes the right to inflict death camps and atomic fireballs instead. In this respect, we have simply begun to imitate the degradation of humanity that was formerly invested in an omnipotent and arbitrary God. In response to charges that absolute contingency might lead to political quietism, Meillassoux counters that the World of justice would mean nothing unless we had already hoped for it beforehand. A World of justice that came along at random would merely be an improved third World of thought: indeed, a perfect one. But it would have satisfied no craving, and would therefore have no redemptive power. For this reason, we must actively hope for the fourth World of justice for such a fourth World ever to arise. Not only justice, but beauty is dependent on such hope: for Meillassoux, who is here somewhat dependent on Kant, beauty means an accord between our human symbolization and the actual world, which could never be present in a World of the blessed any more than justice could. And just as a messianic figure is needed to incarnate our hope and then abandon power once the World of justice is realized, it is the figure of the child whose fragile contingency shows us a dignity and a demand for justice beyond all power. 3. Meillassoux Radicalized or Reversed Given the promising reception of Meillassoux’s first book, it would not be groundless to engage in early speculation about what it might take to earn him a place in the history of philosophy. Maybe this will never happen—who knows?—but quite possibly it will: his lucid argumentative methods and sheer philosophical imagination at least make him a good candidate to be read well into the future, especially following further elaboration in print of his mature system. Philosophy is often practiced as thought it were nothing more than the amassing of “knockdown arguments.” But this is no more insightful than saying that good architecture is the amassing of steal beams. It is true that poorly constructed building cannot stand for long, but sound construction is merely the first, indispensable step in building. In fact, I am inclined to say that what really makes a philosopher important is not being right, but being wrong . I mean this in a very specific sense. I once heard the interesting remark about twentieth century culture that “you have to remember that the sixties really happened in the seventies.” That is to say, it was in the 1970’s rather than the more honored 1960’s that civil rights, free love, long hair, and the rock and roll drug culture really took root. With respect to the history of philosophy, we might just as easily say: “you have to remember that Plato really happened in Aristotle,” that “Kant really happened in Hegel” or “Hume really happened in Kant,” or that “Husserl’s phenomenology first achieved its truth in Heidegger.” One becomes an important philosopher not by being right, but by attracting rebellious admirers who tell you that you are wrong , even as their own careers silently orbit around your own. To recruit faithful disciples may be comforting and flattering, but the greatest thinkers have generally had to experience refutation at the hands of their most talented heirs. For this reason, I would propose that we size up the magnitude of living thinkers not by deciding how many times they are right and wrong, but by asking instead: who would take the trouble to refute this author? For this reason I do not ask: “Is Meillassoux right?”, since I do not believe in the virtual God myself, nor am I convinced by any important aspect of Meillassoux’s philosophy. Instead, I ask if there are interesting ways to overturn him. Only by being overturned, by no longer remaining a contemporary, does one become a classic. Let’s begin with a simple model of refutation, which can be refined further at a later date once the basic point is established. One kind of refutation simply consists in saying: “This author is a complete idiot.” The refuter now walks away in celebration, and no link between the present and the future is built; all is reduced to rubble. But this sort of mediocre triumphalism is generally practiced by those who achieve little of their own, and is not especially interesting. Much more interesting is the sort of refutation that does not take its target to be a complete idiot. I would like to suggest that there are just two basic ways in which this can be done: radicalization and reversal . It has not escaped my notice that this is a fairly good match for the Deleuzian distinction between irony and humor. Whereas irony critiques and adopts the opposite principle of what it attacks, humor accepts what it confronts but pushes it into highly exaggerated form. The ironist is like the worker who sows chaos by rebeling and contradicting the boss, while the humorist is like the worker who follows orders to an absurdly literal degree, with equally chaotic results. Let’s start with a few examples. In Aristotle’s treatment of Plato, and Heidegger’s of Husserl, we find reversal. Plato’s eidei are transformed by Aristotle into mere secondary substances, and the individual worldly things despised by Plato become what is primary. For Husserl what is primary is whatever is present to consciousness, while for Heidegger this is precisely what is secondary, since the primary stuff of the world withdraws from any form of presence at all. As for radicalization, it is most easily found in the transformation of Kant by German Idealism: “Kant was right to wall off the things-in-themselves from human access, and simply should have realized that the thought of the Ding an sich is also a thought, and thereby the noumena are just special cases of the phenomena,” with much following from this discovery. It would also be easy to read Spinoza as a radicalizer of Descartes, and Berkeley and Hume as radicalized versions of Locke. Perhaps the distinction is now sufficiently clear. Admiring refutations are not those that say “Professor X is an idiot,” which is merely the flip side of the eager disciple’s fruitless “Professor X got everything right.” Instead, it will be some variant of one of the following two options: “Professor X is important, but got it backwards,” or “Professor X is important, but didn’t push things far enough.” In the history of philosophy these two latter cases have often been painful in purely human terms: Aristotle expresses sadness at refuting Plato, Kant is openly annoyed at Fichte, and Husserl feels betrayed and used by Heidegger. Rude handling from later figures almost seems to be the sine qua non of being a great philosopher. Now, it has already been claimed that Meillassoux is an emerging philosopher of the first importance, and by no less a figure than Alain Badiou: “It would be no exaggeration to say that Quentin Meillassoux has opened up a new path in the history of philosophy…” (Preface, vii). But rather than taking Badiou’s word for it, or rejecting his word, we might experiment by asking how Meillassoux could be radicalized or reversed. Are there interesting ways of doing this that might launch whole new schools of philosophy, unexpected or even condemned by Meillassoux himself? While no one can see the future, the present is poor when it is not riddled with virtual futures. The relation between philosophers and their predecessors and successors is always somewhat complicated, of course. But generally there is one central divergence at stake, which might be taken as the key to all the others. On this basis we could say that new thinkers primarily radicalize or primarily reverse the main ideas of their chief philosophical forerunner. There may be specific historical conditions and perhaps even personality traits connected with these two types, but this question can be left aside for now. More important for us is that radicalizers will generally be followed by reversers, and vice versa. Consider the textbook example of a reversal in the history of philosophy: Kant’s Copernican Revolution, which inverts the so-called dogmatic tradition that addresses the world itself, and makes the world revolve instead around the conditions by which it is known. While it is not completely impossible that Kant’s successors might have re-reversed this principle back into a new and stronger dogmatic realism, conditions were premature for such a move. Anyone doing this too early would likely have been an angry anti-Kantian reactionary rather than an original thinker in command of a genuinely new realist principle. The far more likely outcome is the one that actually happened: Kant’s reversal of his predecessors was viewed as incomplete, or as retaining lamentable bits of the traditional view, which despite his admirable breakthrough he was unable to shake off. This was the view of German Idealism, anyway. In similar fashion, Spinoza could also be viewed as a radicalizer of Descartes, who is equally accused of preserving various Scholastic dogmas in an otherwise radical project of philosophical reversal. The point is this: reversals in the history of thought tend to be followed soon thereafter by radicalizations of those reversals. The same may hold true in reverse: radicalizations might generally be followed by reversals, given that it is not always possible to be more radical than the radicals have already been. Consider the case of Husserl, who radicalizes Brentano’s early vagueness about what lies beyond immanent objectivity, and Twardowski’s assertion that there must be an external object lying outside the intentional content, by collapsing everything into the intentional sphere: there is no difference between the Berlin in my consciousness and the actual Berlin that is home to millions of people. It is difficult to see how one could be even more radical than Husserl’s idealist turn here. And thus the road is paved to Heidegger’s reversal of classical phenomenology, in which the key point is what lies deeper than any presence to consciousness: the Sein whose power and obscurity cannot be made exhaustively present, but only sends itself in historical epochs. In similar fashion we might also read Leibniz as a reverser of Spinoza’s radicalization, retrieving a strong sense of individual substance and a certain validity of what the Scholastics had said. Returning to Meillassoux, we might ask which kind of philosopher he is: a radicalizer or a reverser? At present, Meillassoux looks to me like a radicalizer (though for now his future remains shrouded in mist). He takes the correlationist tradition, which allows us to speak only of the relation between human and world, and tries to raise it into an even more extreme claim about the absolute contingency of everything. But whereas German Idealism did this by trying to collapse the distinction between thought and world entirely into the “thought” side, Meillassoux does it by trying to shift the non-absolute contingency of the thought-world correlate from epistemology to ontology. It is no longer a question of the inability of human knowledge to know what lies outside the correlate, but the inability of reality itself to be rooted in any definite laws. Furthermore, if we look at the various features of Meillassoux’s philosophy identified earlier tonight, all but one are already so radical that there is no obvious way to push them further. The one exception would be his claim that the world as a whole can change for no reason at any moment, coupled with the inconsistent claim that within a given world there are laws of nature that everything must follow. If gravitational attraction between all masses is a current law in our world, then for Meillassoux there can be no exceptions to this law for as long as it remains in force. A toppled vase will fall to the floor every time for sure,unless there is a cosmic change by which the laws of nature as a whole have altered. (This is reminiscent of the late medieval distinction between the absolute and ordained power of God, according to which God has the power to set or change the laws of nature, but not to contravene those laws locally once they are set.) On this point, to radicalize Meillassoux would simply be to say: there are no laws of nature even in the local sense. Everything that happens, even in the world here and now, is purely contingent and not governed by even a trace of law. And while this would be a more consistent development of Meillassoux’s thoughts on contingency, it is difficult to see how it could lead to a new philosophy. Instead, the admiring successors of Meillassoux are more likely to reverse one of his already sufficiently radical points. At least four candidates come to mind: *First, we have seen that Meillassoux thinks correlationism is challenged by a time before or after consciousness, but not by a space lying outside it. Perhaps this could be reversed into saying that spatial exteriority is the really crucial point. The arguments on this point are perhaps the least convincing in After Finitude (and do not even occur in the original French edition), and therefore it might be a candidate for the “blind spot” of which no philosopher is ever free. *Second, Meillassoux uses Cantor to claim that the contingency of laws of nature would not entail that they are unstable. A successor of Meillassoux might claim that it does make them unstable, and celebrate this fact. This person would then have to explain why common sense seems to encounter a relatively stable world despite its truly rampant instability. Whereas Meillassoux’s problem is to show how stability might exist despite contingency, this successor’s problem would be slightly different: to show why actual, full-blown instability might have the appearance of stability. *Third, Meillassoux claims that the primary qualities of things are those that can be mathematized. He might be reversed by a successor who says the opposite: the mathematizable qualities are the secondary ones, and the primary ones are those that elude symbolic formulation. While this is a perfectly valid possible objection to Meillassoux, it is one that is made in advance by some of his predecessors and is still made by some of his peers, making it less interesting for futurology than some of his other points. *Fourth and finally, whereas Meillassoux claims that God does not exist but might exist in the future, a successor might argue even more bizarrely that God has always existed but might vanish in the future. Let’s arbitrarily select the first of these possibilities, and imagine briefly where it might lead, if pursued in the future by admiring detractors. Meillassoux comes from the circle of Badiou, and some of Badiou’s most ardent admirers are found in Latin America. So, let’s imagine that towards mid-century some ingenious reversers of Meillassoux emerge in that portion of the Spanish-speaking world. Just for fun, let’s call them Castro and Chávez. And in order to avoid any confusion with the present-day politicians of those names, we will stipulate that Meillassoux’s great successors are both women. The philosopher Castro (we will suppose she comes from Peru) reverses Meillassoux’s argument that the ancestral or diachronic are what most threaten the human-world correlate. Instead, she claims that the diachronic does not threaten the correlate at all, and that we must instead look at space as what ruins the correlate and demands a strange new realism. What would such a philosophy look like? In order to determine this, we might ask what price Meillassoux pays for doing it the opposite way. As I see it, he pays in two separate ways. One is that laws of nature for him are contingent over time . The laws of nature apply to the universe as a whole at any given moment, and would be changed globally if they are ever changed at all. The second price he pays is that Meillassoux has no mereology , or theory of parts and wholes. Everything for him is on the level of the given, or immanent in experience, with the sole proviso that the laws governing this immanence might change without notice at any given moment. In reversing Meillassoux, Castro makes the following claims in the preface to her stunning debut book of 2045, The Cosmos and its Neighborhoods , rapidly translated from Spanish into all the languages of the world: Despite his brilliant analysis of the contingency of laws of nature over time, Meillassoux gets two important assumptions wrong. First, he allows for only one set of contingent laws to govern nature as a whole. Second, he allows laws to govern only the world that is immanent in experience, and thereby fails to explore the contingency among part-whole relations. In this book I will argue, first, that the laws of nature vary in any given instant between one region of the universe and the next; and second, that the world is made up of layers of parts and wholes that are also contingent with respect to one another. Those are the words of Castro. This may sound like a hopeless free-for-all of chaos, yet the book somehow succeeds in drawing some compelling deductions about how laws must vary from one place or level in the world to the next. Trapped in the limited horizon of 2011, and not yet inspired by the heavily balkanized political and technological situation of 2050 that somehow lends additional credence to Castro’s vision, we can only vaguely grasp what such a philosophy might look like. After this reversal of Meillassoux by Castro, the usual pattern leads us to expect a radicalization by Chávez, a young Argentine student of Castro. How could the already strange theories of Castro be radicalized? Perhaps as follows, in a disturbing new book entitled The Implosion of the Neighborhoods , which argues as follows: Castro was right to shift the Meillassouxian framework of contingency from time to space. However, in this respect she retained a surprisingly traditional opposition between the two. In this book I will show that time and space collapse into one another. This may sound too much like the discredited four-dimensional block universe of twentieth century physics and philosophy. However, the four-dimensional universe is a model biased in favor of space, merely adding an extra dimension to the commonsense spatial continuum while stipulating that the serial passage of time is an illusion. In this book I will argue instead for a one-dimensional space-time modeled after our experience of time, in which there is no simultaneous co-existence at all between different parts of the universe, or ‘neighborhoods’ as my esteemed teacher Castro has called them. Instead, the various portions of the universe link to one another by succession rather than by coexistence. Buenos Aires, New York, and Amsterdam do not exist simultaneously in the same landscape, but one after the other in the mind of some observer, and this observer can only be an observer much larger than any human. Against Meillassoux’s notion of a virtual God that does not exist now but might exist in the future, I will argue for an actual God that surveys the universe in sequence, thereby generating the illusion of spatial diversity and even the illusion of individual minds located within that diversity. Once this divine observer dies, the universe as a whole must perish. Again, these ideas are so bizarre that we of 2011 can barely comprehend them, just as Aristotle would have had a difficult time grasping the theories of Descartes. We could then perhaps imagine a further reversal of this theory, emanating from the intellectually resurgent Philippines of the twenty-second century. The Filipino School might argue that the universe is already dead, given the collapse of its spatial richness into the serial observations of a flimsy and mortal God. The virtual universe does not yet exist, but might exist in fully spatial form in the future, and this would require the death of God and the resulting liberation of God’s succession of images as independent, spatially situated realities. With a bit of sharpening, we might be able to make all of these imaginary thinkers more intuitively clear. Along with the history of philosophy, there might arise a new discipline generating imaginary futures for philosophy. The richness of Meillassoux’s system comes not from the fact that he is plausibly right about so many things, but because his philosophy offers such a treasury of bold statements ripe for being radicalized or reversed. He is a rich target for many still-unborn intellectual heirs, and this is what gives him the chance to be an important figure. NOTES 1. Quentin Meillassoux, After Finitude . Trans. R Brassier. (London: Continuum, 2008.) Page 5. The word “correlationism” does not appear in his doctoral thesis. As Meillassoux informed me in an email of February 8, 2011, he first coined this term in 2003 or 2004, while editing for publication a lecture he had given at the École normale supérieure on a day devoted to the theme of “Philosophy and Mathematics,” an event including Alain Badiou as one of the participants. 2. Graham Harman, Quentin Meillassoux: Philosophy in the Making . (Edinburgh: Edinburgh University Press, forthcoming 2011). 3. In an email of December 6, 2010, Meillassoux clarifies that in After Finitude he only deduces the impossibility of a “universal contradiction,” not of a determinate contradiction. In the same email he suggests that he can also prove the latter, though the proof is somewhat lengthier than the one found in After Finitude . 4. After Finitude (18-26), in the passage falling between the two sets of triple asterisks. These pages were sent by Meillassoux to translator Ray Brassier (in French) during the translation process, and do not appear in the original French version of the book. 5. Graham Harman, “Quentin Meillassoux: A New French Philosopher.” Philosophy Today 51.1 (2007): Pages 104-117. The passage where I raise the question of space can be found in the first column of page 107. 6. Vernes is first cited on p. 95 of After Finitude . See Jean-René Vernes, Critique de la raison aléatoire, ou Descartes contra Kant . (Paris: Aubier, 1982).  . (shrink)

If κω is a cardinal, a complete Boolean algebra is called κ-dependent if for each sequence bβ: β<κ of elements of there exists a partition of the unity, P, such that each pP extends bβ or bβ′, for κ-many βκ. The connection of this property with cardinal functions, distributivity laws, forcing and collapsing of cardinals is considered.

As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we prove that (...) extensions of the logic involved form a four-element chain, the only proper consistent extensions being the least non-paraconsistent extension of it and the classical logic. RID=""ID="" Mathematics Subject Classification (2000): 03B50, 03B53, 03G10 RID=""ID="" Key words or phrases: Many-valued logic – Paraconsistent logic – Extension – Prevariety – Distributive lattice. (shrink)

For given Boolean algebras$\mathbb {A}$and$\mathbb {B}$we endow the space$\mathcal {H}(\mathbb {A},\mathbb {B})$of all Boolean homomorphisms from$\mathbb {A}$to$\mathbb {B}$with various topologies and study convergence properties of sequences in$\mathcal {H}(\mathbb {A},\mathbb {B})$. We are in particular interested in the situation when$\mathbb {B}$is a measure algebra as in this case we obtain a natural tool for studying topological convergence properties of sequences of ultrafilters on$\mathbb {A}$in random extensions of the set-theoretical universe. This appears to have strong connections with Dow and (...) Fremlin’s result stating that there are Efimov spaces in the random model. We also investigate relations between topologies on$\mathcal {H}(\mathbb {A},\mathbb {B})$for a Boolean algebra$\mathbb {B}$carrying a strictly positive measure and convergence properties of sequences of measures on$\mathbb {A}$. (shrink)

A sequent calculus S for the variety tqBa of all topological quasi-Boolean algebras is established. Using a construction of syntactic finite algebraic model, the finite model property of S is shown, and thus the decidability of S is obtained. We also introduce two non-distributive variants of topological quasi-Boolean algebras. For the variety TDM5 of all topological De Morgan lattices with the axiom 5, we establish a sequent calculus S5 and prove that the cut elimination holds (...) for it. Consequently the decidability of S5 is established. Furthermore, this proof-theoretic method is applied to some subvarieties of TDM5. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Review Essay:Aquinas, Modern Theology, and the TrinityGuy Mansini O.S.B.As one would expect from his Incarnate Lord, Thomas Joseph White's Trinity is no exercise in historical theology, although of course it calls on history, but aims to give us St. Thomas's theology as an enduring and so contemporary theology that both respects the creedal commitments of the Catholic Church and offers a more satisfying understanding of the Trinity than anything (...) proposed by the great theologians, Catholic and Protestant, of the past hundred years.1 The Trinity, however, gives a more complete and satisfying view of its subject than does The Incarnate Lord.Can St. Thomas really be fruitfully located within the dialectic of nineteenth- and twentieth-century Trinitarian speculation? Yes, and it is one of White's principal contributions to show how St. Thomas's medieval contemporaries, the early Franciscans on the one hand and William of Ockham on the other, remotely but really adumbrate nineteenth- and twentieth-century theological positions, once due attention is paid to the key issues of the analogical naming of God and his knowability. The reader is thus assured that Aquinas's original project was composed with some awareness of temptations and alternatives repeated (though not exactly, of course) in modern thought. It should be added that St. Thomas is by no means treated as the only systematic theological authority for Trinitarian theology, but White recognizes his paradigmatic place in the Catholic theological tradition. [End Page 1415]The most important issue for assessing the enduring value of Thomas's Trinitarian theology, then, whether in the thirteenth century or twentieth century, turns out to be the applicability and centrality of the psychological analogy for an understanding of the immanent intelligibility of the Trinity, an analogy suggested by Scripture, and developed by the Cappadocians, St. Augustine, St. Thomas, and other medieval writers, not to mention John Henry Newman and Matthias J. Scheeben.What is the status of this analogy? Olivier-Thomas Venard laconically describes it as "revealed"—too hot. Michael Maria Waldstein has recently argued vigorously and at length that it is not revealed at all—too cold. White does not discuss this in detail but is satisfied with saying that it is "derived" from Scripture—just right. However one thinks this question is to be resolved, White robustly defends the psychological analogy as a proper analogy and as the only systematic theological instrument ever offered by the theological tradition that succeeds in providing real understanding of the immanent life of the Trinity, one that preserves the transcendence of God and honors the dogmatic tradition of the Church bearing on the nature of God and the Trinity of persons—Nicaea, Lateran IV, and Vatican I, especially. This is how he does it in chapter 22.1. We know the mystery of interior Trinitarian life based on God's manifestation of it to us in the economy of salvation via the missions of Word and Spirit, which disclose to us distinct personal processions.2. Such processions are either immanent or transitive.3. But transitive processions terminate in some substance distinct from whence they emanate.4. God, however, is one in nature (essence, substance) both specifically and numerically.5. Therefore, the processions are immanent to the godhead.6. However, there are only two immanent immaterial activities known to us, that of knowing and that of loving.7. Therefore, we cannot have some understanding of the mystery of interior Trinitarian life except by analogy with these two [End Page 1416] activities. That is to say, we know the mystery of the Trinitarian life according to the "psychological model" or not at all.This argument can be re-phrased with more pointed reference to modern theologies of the Trinity.1. If we wish to understand the mystery of the immanent Trinitarian life of distinct persons, but not by way of immanent activities and processions, then we must appeal to transitive activity to account for the distinction of persons.2. Transitive divine activity can be conceived of (1) as creative, (2) as within creation relative to its history (the continental way), or (3) as taking place between three already constituted divine individuals, relating transitively to one... (shrink)

Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that κ, λ are infinite cardinals such that κ++ + ≤ λ, κ<κ = κ and 2κ = κ+, and η is an ordinal with κ+ ≤ η < κ++ and cf = κ+. Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra equation image such that equation image, equation image for every α < η and equation image. Especially, equation image and equation (...) image can be cardinal sequences of superatomic Boolean algebras. (shrink)

We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could (...) be fewer in models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Consciousness and Machines:A Commentary Drawing on Japanese PhilosophyS. D. Noam Cook (bio)Viewed from within the great unity of consciousness, thinking is a wave on the surface of a great intuition.Kitarō NishidaIntroductionRecent developments in AI have made the long-standing debate about what computers can and can't do a major public concern. What we understand the properties of such machines to be, and consequently how we design [End Page 305] and (...) deploy them, will increasingly shape how we live and how we understand ourselves. Thus, there is an urgent need for better understanding of these issues.Susan Schneider, in her book Artificial You: AI and the Future of Your Mind, offers an exceptionally careful and insightful examination of key issues entailed in how we understand AI and ourselves. One of her central concerns is how we might test for machine consciousness. Given the variations in design and function among current and projected AIs, Schneider sees no likely one-size-fits-all test. So, she offers a battery of different tests that she believes together will make such testing more reliable. This seems a wise approach, and reflects the conceptual and pragmatic care Schneider takes throughout the book.Similarly, it seems to me that the question of machine consciousness should also include various understandings of consciousness itself. What consciousness is taken to be has varied widely both historically and culturally. No commonly accepted single understanding has emerged, and may never emerge. Just as having a battery of tests might help us better assess possible machine consciousness, having different understandings of consciousness might give us a better understanding of what we are testing for. The two should work in tandem, each gauging and shaping the other.Like the development of computers themselves, the predominant thinking about AI has been shaped, in part, by key presuppositions of a scientific worldview, with its origins in Western thought and culture. Among these presuppositions are materialism, reductionism, and a primary focus on objective behavior. These are reflected in the common concern with observable behavior of physical aspects of the brain in efforts to understand human consciousness, which in turn has become a familiar model for work on machine consciousness. All this is important and valuable work. But, in the spirit of Schneider's cautions, it should not be taken as one-size-fits-all. Accordingly, I offer one view of consciousness from a different perspective.In what follows, I sketch out an understanding of consciousness that draws on Japanese philosophy, particularly that of the highly influential early twentieth-century Japanese philosopher Kitarō Nishida (1870–1945). I then explore how the tests for machine consciousness that Schneider proposes might be viewed from that perspective.Consciousness: A Perspective from Japanese PhilosophyConsciousness was a central concern for Nishida, whose philosophy is deeply informed by Japanese culture and by Zen theory and practice. As one might expect from such a philosopher, Nishida's exploration of consciousness is not concerned with properties of the brain, but with what we might discern through disciplined reflection on the experience of our own consciousness. Ultimately, he views consciousness as an organic whole [End Page 306] of systemically organized interrelationships of activities and sensations within our subjective experience. This may be understood by first considering 'nothingness'.For Nishida, nothingness does not suggest an ultimate and absolute vacuity, as is often understandably assumed. In Nishida's sense, it is a singular "place" that mirrors the multifaceted world of our common experience. In understanding this, I am told by native Japanese speakers that the English word 'nothingness' has an advantage over the Japanese equivalent, 'mu', in that 'nothingness' can usefully be broken down as 'nothing-ness'. This suggests that nothingness is a state of consciousness where what we commonly experience as distinct (self, other, world, blue, ache, joy, etc.) is indistinct, a state of unified experience. This is consciousness without our finding or discriminating in it the myriad "things" of common experience, but rather a "pure experience" of a singular whole. Nishida introduces his concept of "pure experience" as follows:To experience means to know facts just as they are, to know in accordance with facts by completely relinquishing one... (shrink)

Everyone, even when asserting unchallengeable authority from God or Science, thinks in language, in words and phrases, in expressions of moral, social and political impact, fighting words and words with and over which we fight. However, debates among the educated can be irrelevant elsewhere, ineffective against the highly motivated whose dogma instructs and guides them, their voting and their arming. The degeneration of “democracy” to “tyranny” such as Plato’s Republic postulated threatens in some lands “of the (...) free,” while in others it seems inexorably in progress. Today “democracy,” republic,” “liberty/freedom,” “justice,” “law and order” are adduced by their actual enemies to complement “nationalism,” “patriotism,” and frightening “empire.” Extremists on both sides decry “Tyranny!” each in fact seeking authoritarian power. All of which have instructive ancient precedents: in the History of the Peloponnesian War Thucydides offers horrific accounts of ancient nation-states “long ago and far away,” more or less democratic, that abandoned common sense, moral sense, and with them regard for value words and truth itself. In the early 2020s CE many persons and governments have done little better during the still lingering pandemic. A second horror is prompted by Thucydides’ report of civil war on Corcyra, telling how faction spawned riots, coups d’état, and outright civil war. The twenty-first-century media are uniquely potent, yet mechanics of seduction are timeless. Likewise techniques for winning true believers and votes, as illustrated by passages in Mein Kampf on the language of propaganda, its production and reception. Our hope is therefore Education for a New Era to help students to discover pitfalls of media(ted) “information,” to achieve independent critical thinking at levels of basic language use and foundations of argument. Besides recognizing mis- and disinformation as harmful, they must learn themselves to judge thoughtless use, cynical abuse, or, worse yet, brazen disdain of vocabulary indicating moral/ethical value. Scientists have key roles in this drama; humanists larger ones yet. (shrink)

Fundamental problems of the uses of formal techniques and of natural and instrumental practices have been raised again and again these past two decades, in many quarters and from varying viewpoints. We have brought a number of quite basic studies of these issues together in this volume, not linked con ceptually nor by any rigorously defined problematic, but rather simply some of the most interesting and even provocative of recent research accomplish ments. Most of these papers are derived from the (...) Boston Colloquium for the Philosophy of Science during 1973-80, the two exceptions being those of Karel Berka (on scales of measurement) and A. A. Zinov'ev (on a non-tradi tional theory of quantifiers). Just how intriguing these results (or conjectures?) seem to us may be seen from some brief quotations: (1) Judson Webb: ".... the abstract machine concept has many of the appropriate kinds of properties for modelling living, reproducing, rule following, self-reflecting, accident-prone, and lucky creatures... the a priori logical results relevant to the abstract machine concept, above all Godel's, could not conceivably have turned out any better for the mechanist. " (2) M. L. Dalla Chiara: "... modal interpretation (of quantum logic) shows clearly that it possesses a logical meaning which is quite independent of quantum mechanics. " (3) Isaac Levi: (as against Peirce and Popper) "... infallibilism is con sistent with corrigibilism, and a view which respects avoidance of error is an important desideratum for science. (shrink)

We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a combinatorial characterisation of Boolean algebras which carry a strictly positive finitely additive finite measure with some additional properties, such as separability or nonatomicity. A possible consistent characterisation for an algebra to carry a separable separable positive measure was suggested by Talagrand in 1980, which is that the Stone space K of the (...) algebra satisfies that its space M(K) of measures is weakly separable, equivalently that C(K) embeds into l∞. We show that there is a ZFC example of a Boolean algebra (so of a compact space) which satisfies this condition and does not support a separable strictly positive measure. However, we use this property as a tool in a proof which shows that under MA+⇁ CH every atomless ccc Boolean algebra of size < c carries a nonatomic strictly positive measure. Examples are given to show that this result does not hold in ZFC. Finally, we obtain a characterisation of Boolean algebras that carry a strictly positive nonatomic measure in terms of a chain condition, and we draw the conclusion that under MA+⇁ CH every atomless ccc Boolean algebra satisfies this stronger chain condition. (shrink)

We give a new negative solution to Keisler's problem regarding Skolem functions and elementary extensions. In contrast to existing ad hoc solutions due to Payne, Knight, and Lachlan, our solution uses well-known models.

Spoken communication occurs in a “noisy channel” characterized by high levels of environmental noise, variability within and between speakers, and lexical and syntactic ambiguity. Given these properties of the received linguistic input, robust spoken word recognition—and language processing more generally—relies heavily on listeners' prior knowledge to evaluate whether candidate interpretations of that input are more or less likely. Here we compare several broad-coverage probabilistic generative language models in their ability to capture human linguistic expectations. Serial reproduction, an experimental paradigm (...) where spoken utterances are reproduced by successive participants similar to the children's game of “Telephone,” is used to elicit a sample that reflects the linguistic expectations of English-speaking adults. When we evaluate a suite of probabilistic generative language models against the yielded chains of utterances, we find that those models that make use of abstract representations of preceding linguistic context (i.e., phrase structure) best predict the changes made by people in the course of serial reproduction. A logistic regression model predicting which words in an utterance are most likely to be lost or changed in the course of spoken transmission corroborates this result. We interpret these findings in light of research highlighting the interaction of memory-based constraints and representations in language processing. (shrink)

In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem claiming that in a Boolean algebra B, the truth of a prenex Σn-formula whose parameters ai partition B, can be determined by finitely many conditions built from the first entry of Tarski invariant T(ai)'s, n-characteristic D(n, ai)'s and the quantities S(ai, l) and S'(ai, l) for $l < n$. Then we derive two important theorems. One claims (...) that for any Boolean algebras A and B, an embedding of A into B preserving D(n, a) for all a ∈ A is a Σn-extension. The other claims that the theory of n-separable Boolean algebras admits elimination of quantifiers in a simple definitional extension of the language of Boolean algebras. Finally we translate these results into the language of commutative regular rings. (shrink)

We examine the question of how many Boolean algebras, distinct up to isomorphism, that are quotients of the powerset of the naturals by Borel ideals, can be proved to exist in ZFC alone. The maximum possible value is easily seen to be the cardinality of the continuum $2^{\aleph_{0}}$ ; earlier work by Ilijas Farah had shown that this was the value in models of Martin's Maximum or some similar forcing axiom, but it was open whether there could (...) be fewer in models of the Continuum Hypothesis. We develop and apply a new technique for constructing many ideals whose quotients must be nonisomorphic in any model of ZFC. The technique depends on isolating a kind of ideal, called shallow, that can be distinguished from the ideal of all finite sets even after any isomorphic embedding, and then piecing together various copies of the ideal of all finite sets using distinct shallow ideals. In this way we are able to demonstrate that there are continuum-many distinct quotients by Borel ideals, indeed by analytic P-ideals, and in fact that there is in an appropriate sense a Borel embedding of the Vitali equivalence relation into the equivalence relation of isomorphism of quotients by analytic P-ideals. We also show that there is an uncountable definable wellordered collection of Borel ideals with distinct quotients. (shrink)

Using matrix iterations of ccc posets, we prove the consistency with ZFC of some cases where the cardinals on the right hand side of Cichon’s diagram take two or three arbitrary values (two regular values, the third one with uncountable cofinality). Also, mixing this with the techniques in J Symb Log 56(3):795–810, 1991, we can prove that it is consistent with ZFC to assign, at the same time, several arbitrary regular values on the left hand side of Cichon’s (...) class='Hi'>diagram. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

Insofar as John Stuart Mill can be accurately described as a socialist, his is a socialism that a classical liberal ought to be able to live with, if not to love. Mill's view is that capitalist economies should at some point undergo a `spontaneous' and incremental process of socialization, involving the formation of worker-controlled `socialistic' enterprises through either the transformation of `capitalistic' enterprises or creation de novo. This process would entail few violations of core libertarian principles. It would proceed by (...) way of a series of voluntary transactions. Capitalists' property rights would be respected throughout. The process would take place within a national system of laws that permits private ownership of productive property and competition, and would not result in that system's overthrow. And, if we accept some basic tenets of Mill's social philosophy, the outcome at which we should expect the process to arrive is a `patchwork' economy in which capitalistic and socialistic enterprises exist side by side. Key Words: Ludwig von Mises • John Stuart Mill • socialism • capitalism • worker control. (shrink)

We prove that if M is any model of a trivial, weakly minimal theory, then the elementary diagram T(M) eliminates quantifiers down to Boolean combinations of certain existential formulas.

Peirce introduced Existential Graphs in late 1896, and they were systematically investigated in his 1903 Lowell Lectures. Alpha graphs for classical propositional logic constitute the first part of EGs. The second and the third parts are the beta graphs for first-order logic and the gamma graphs for modal and higher-order logics, among others. As a logical syntax, EGs are two-dimensional graphs, or diagrams, in contrast to the linear algebraic notations. Peirce's theory of EGs is not only a theory of logical (...) syntax but also a proof theory for many logics. A set of transformation rules of graphs defines a proof system for a graphical logic. In this... (shrink)

It is a long standing open problem whether or not the Axiom of Countable Choice implies the fragment of Martin's Axiom either in or in. In this direction, we provide a partial answer by establishing that the Boolean Prime Ideal Theorem in conjunction with the Countable Union Theorem does not imply restricted to complete Boolean algebras in. Furthermore, we prove that the latter (formally) weaker form of and the Δ‐system Lemma are independent of each other in.We also (...) answer open questions from Tachtsis [16] which concern the status of restricted to complete Boolean algebras in certain Fraenkel–Mostowski permutation models of and we strengthen some results from the above paper. (shrink)

There are two natural ways of thinking about negation: (i) as a form of complementation and (ii) as an operation of reversal, or inversion (to deny that p is to say that things are “the other way around”). A variety of techniques exist to model conception (i), from Euler and Venn diagrams to Boolean algebras. Conception (ii), by contrast, has not been given comparable attention. In this note we outline a twofold geometric proposal, where the inversion metaphor is (...) understoood as involving a rotation o a reflection, respectively. These two options are equivalent in classical two-valued logic but they differ significantly in many-valued logics. Here we show that they correspond to two basic sorts of negation operators—Post’s and Kleene’s—and we provide a simple group-theoretic argument demonstrating their generative power. (shrink)

This paper disucsses the Boolean algebraic axiomatic system of situations suggested by the Polish logician Roman Suszko (1919-1979). The paper will specifically examine the adequacy of the axioms, definitions and theorems of Suszko’s system as a model for Ludwig Wittgenstein’s Tracatus Logico-Philosophicus. It will be shown how the formal properties of Suszko’s system - the atomicity and completeness of the Boolean algebraic system - can be employed in order to clarify key concepts of the situational part of the (...) Tractarian ontology. After considering the formal reconstruction of the Tractarian concepts of teh world and logical space, a controversial issue pertaining to necessary facts in the Tracatus will be addressed. This will be followed by a formal clarification of the Tractarian concepts of logical place and possible worlds, the latter being identified as combinations of states and affairs, which are, according to the Tractarian ontology, the simplest kinds of situations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 33.3 (2000) 243-258 [Access article in PDF] Poaching on Men's Philosophies of Rhetoric: Eighteenth- and Nineteenth-Century Rhetorical Theory by Women Jane Donawerth Although their discussions have often been ignored in histories of rhetoric, women did participate in the development of philosophies of rhetoric in the eighteenth century and nineteenth century. 1 Most, like Hannah More, left to men preaching, politics, and law (the traditional genres of (...) European rhetoric) and took as their territory conversation and letter writing (more domestic rhetorical forms). 2 But some "poached" on men's territory. In this essay, I examine the tactics that Maria Edgeworth, Eliza Farrar, and Frances Willard used to appropriate and respond to a tradition of rhetoric that by fiat excluded women from rhetorical education, public speaking, and persuasive writing. In order to analyze their poaching on men's territory, I borrow from Michel de Certeau's theory of everyday practices of consumption.In The Practice of Everyday Life (1984), de Certeau suggests that we should study the ways that culture is constituted not only by dominant ideology, but also by "the dominated element in society (a status that does not mean that they are either passive or docile)" (xi-xii). Culture, for de Certeau, is not simply consumed; rather, in everyday life, it is invented "by poaching in countless ways on the property of others" (xii). One must study not just consumers, but also how they consume, what they do and make with the cultural artifacts and constructs offered to them, how they manipulate ideology. For the weak, those lacking political power, de Certeau, like recent feminists, 3 claims sophistic rhetoric, since the Sophists privileged the art of making "the weak position seem the stronger" (xx). How do "users reappropriate the space organized by techniques of sociocultural production?" asks de Certeau (xvii). For the weak, as for the Sophist, "[a] tactic insinuates itself into the other's place, fragmentarily, without taking it over in its entirety, without being able to keep it at a distance" (xix). With these issues in play, de Certeau studies everyday practices--shopping, cooking, moving about, and, most important for our purposes, reading. [End Page 243]Although seemingly passive, reading, de Certeau points out, is an "activity" of "silent production" (xxi). The reader does not absorb what he or she reads, but, instead, reinvents it--misunderstands it, adapts it to his or her own interests and concerns, remembers pieces of it, but pieces mutated. "This mutation makes the text habitable" (xxi), argues de Certeau. Thus, the dominant in culture may offer a set of rules, but it is only a basis for improvisation for the multitude of others in society. Consumption is not the imposition of an ideology on a society; a group does not absorb what it consumes. Instead, the group makes what it consumes its own. "'Assimilating' does not mean 'becoming similar to,'" according to de Certeau; rather, it means "'making something similar'" (166). A reader is not, then, a passive consumer. A reader "wander[s] through an imposed system," modifying and inventing a meaning (169). De Certeau thus focuses on the reading practices of the many "others" of society, "the silent, transgressive, ironic or poetic activity of readers... in private" (172). Readers do not absorb what they read. They are "travelers" who move across and "poach" from the "fields" of others' writings (174).With this essay, I examine the ways in which three women poach on men's rhetorical theory. Maria Edgeworth uses parody, comically enlarging key words in Enlightenment rhetoric to make a place for women in it. She reinvents the demonic shrew as a clever sophistic rhetorician. Eliza Farrar uses performance: she places women in the role of disciple, admiring the great men who thought up rhetoric, but then taking over the role of rhetorician with the pretense of laudatory imitation. Frances Willard uses collage: she cuts and pastes her own and other women's ideas about women preaching in with those of the famous men of her society. She creates a republican, presbyterian... (shrink)

We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative (...) groups) is not determined by the axiomatic system ZFC. We infer from the proof of the above result that the isomorphism problem for ω n -automatic boolean algebras, n ≥ 2, (respectively, rings, commutative rings, non commutative rings, non commutative groups) is neither a ${\mathrm{\Sigma }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ nor a ${\mathrm{\Pi }}_{2}^{1}-\mathrm{s}\mathrm{e}\mathrm{t}$ . We obtain that there exist infinitely many ω n -automatic, hence also ω-tree-automatic, atomless boolean algebras $\mathcal{B}_{n}$ , n ≥ 1, which are pairwise isomorphic under the continuum hypothesis CH and pairwise non isomorphic under an alternate axiom AT, strengthening a result of [14]. (shrink)