On the relation provable equivalence and on partitions in effectively inseparable sets

We generalize a well-knownSmullyan's result, by showing that any two sets of the kindC _a = {x/ xa} andC _b = {x/ xb} are effectively inseparable (if I b). Then we investigate logical and recursive consequences of this fact (see Introduction).     

Kenneth Strike on Liberalism,Citizenship and the Private Interest in Schooling

After indicating a number of points of agreement with the argument 0eveloped by Kenneth Strike in his article Liberalism, Citizenship and the Private Interest in Schooling, this article identifies and explores a number of queries and criticisms which arise in relation to that argument. These queries and criticisms relate especially to the nature and extent of the expansiveness involved in Strike's conception of public or common educational influence, and to the implications and justification of the claim that private educational interests enjoy a greater salience and recognition on Strike's view of public or common educational influence than on some alternative views.     

Psychophysical supervenience and nonreductive materialism

Jaegwon Kim and others have claimed that (strong) psychophysical supervenience entails the reducibility of mental properties to physical properties. I argue that this claim is unwarranted with respect to epistemic (explanatory) reducibility (either of a global or of a local sort), as well as with respect to ontological reducibility. I then attempt to show that a robust version of nonreductive materialism (which I call supervenient token-physicalism) can be defended against the charge that nonreductive materialism leads to epiphenomenalism in failing to account for the causal or explanatory relevance of mental properties.     

Third Men: The Logic of the Sophisms at Arist. SE 22, 178b36–170a10

This article aims at elucidating the logic of Arist. SE 22, 178b36–179a10 and, in particular, of the sophism labelled "Third Man" discussed in it. I suggest that neither the sophistic Walking Man argument, proposed by ancient commentators, nor the Aristotelian Third Man of the , suggested by modern interpreters, can be identified with the fallacious argument Aristotle presents and solves in the passage. I propose an alternative reconstruction of the Third Man sophism and argue that an explanation of the lines regarding the identity of Coriscus and Coriscus the musician (178b39–179a3) is indispensable for its correct understanding, since they hint at another sophism in some important aspects analogous. Finally, I show that two contradictions concerning spotted by scholars in the passage are only apparent and can be dissolved once the assumption that the anti-Platonic Third Man argument is at stake here is discarded, and once the passage is read in the light of its agonistic context.     

Finitude and Hume’s Principle

The paper formulates and proves a strengthening of Freges Theorem, which states that axioms for second-order arithmetic are derivable in second-order logic from Humes Principle, which itself says that the number of Fs is the same as the number ofGs just in case the Fs and Gs are equinumerous. The improvement consists in restricting this claim to finite concepts, so that nothing is claimed about the circumstances under which infinite concepts have the same number. Finite Humes Principle also suffices for the derivation of axioms for arithmetic and, indeed, is equivalent to a version of them, in the presence of Freges definitions of the primitive expressions of the language of arithmetic. The philosophical significance of this result is also discussed.     

Complete Infinitary Type Logics

For each regular cardinal , we set up three systems of infinitary type logic, in which the length of the types and the length of the typed syntactical constructs are < . For a fixed , these three versions are, in the order of increasing strength: the local system ₍₎, the global system g₍₎ (the difference concerns the conditions on eigenvariables) and the -system ₍₎ (which has anti-selection terms or Hilbertian -terms, and no conditions on eigenvariables). A full cut elimination theorem is proved for the local systems, and about the -systems we prove that they admit cut-free proofs for sequents in the -free language common to the local and global systems. These two results follow from semantic completeness proofs. Thus every sequent provable in a global system has a cut-free proof in the corresponding -systems. It is, however, an open question whether the global systems in themselves admit cut elimination.     

Can Parts of Space Move? On Paragraph Six of Newton’s Scholium

Paragraph 6 of Newtons Scholium argues that the parts of space cannot move. A premise of the argument – that parts have individuality only through an order of position – has drawn distinguished modern support yet little agreement among interpretations of the paragraph. I argue that the paragraph offers an a priori, metaphysical argument for absolute motion, an argument which is invalid. That order of position is powerless to distinguish one part of Euclidean space from any other has gone virtually unremarked. It remains uncertain what the import of the paragraph is but it is not close to apparently similar arguments of Leibniz.     

Die Entwicklung der Diskussion um die formale Logik in der Sowjetunion

Ohne ZusammenfassungDie Literatur zur Logik in der Sowjetunion ist sehr bescheiden. Nebst einigen Kapiteln in grösseren Werken sind es folgende Schriften: Bochénski, I. M., Soviet Logic,SST, 1, 29–38. — Dahm, H., Renaissance der formalen Logik,Ost-Probleme, 1957,8, 254–267. — Philipov, A.,Logic and Dialectic in the Soviet Union, New York 1952, XI+89 pp. — Winkelmann, A., Die Stellung der formalen Logik im Sowjet-system,Scholastik, 1956,1, 85–89.     

Leadership of antireligious propaganda in the Soviet Union

Re-emergent scientific atheism bears the marks of its historical origins in the efforts of Bon-Bruevi and Jaroslavskij. The disciples of the Lenin generation use their fathers somewhat as second-level classics.     

Variations in use of the term “or”

Two studies showed that adults' responses to questions involving the term or varied markedly depending upon the type of question presented. When presented with various objects (A's and B's) and asked to circle all things which are A or B subjects tended to circle A's as well as B's, whereas when asked to circle all the A's or B's subjects showed a relatively stronger tendency to circle one or the other. Moreover the nature of the sets of objects (As and Bs) influenced behavior as well. There was also evidence that the effects due to question wording or set type transferred.     

Quantifiers in ontology

This paper is a reaction to G. Küng's and J. T. Canty's Substitutional Quantification and Leniewskian quantifiers'Theoria 36 (1970), 165–182. I reject their arguments that quantifiers in Ontology cannot be referentially interpreted but I grant that there is what can be called objectual — referential interpretation of quantifiers and that because of the unrestricted quantification in Ontology the quantifiers in Ontology should not be given a so-called objectual-referential interpretation. I explain why I am in agreement with Küng and Canty's recommendation that Ontology's quantifiers not be substitutionally interpreted even if Leniewski intended them to be so interpreted. A notion of an interpretation which is referential but yet which does not interpret as an assertor of existence of objects in a domain is developed. It is then shown that a first order version of Ontology is satisfied by those special kind of referential interpretations which read as Something as epposed to Something existing.Allatum est die 1 Junii 1976     

Once More into the Breach of Self-Ownership: Reply to Narveson and Brenkert

In reply to Narveson, I distinguish his no-proviso argument from his liberty argument, and I show that both fail. I also argue that interference lacks the strategic status he assigns to it, because it cannot be appropriately distinguished, conceptually and morally, from prevention; that natural resources do enjoy the importance he denies they have; that laissez-faire economies lack the superiority he attributes to them; that ownership can indeed be a reflexive relation; that anti-paternalism does not entail libertarianism; and that he misrepresents the doctrines of a number of philosophers, including John Locke, Ronald Dworkin, and myself. In reply to Brenkert, I show that he seriously misconstrues my view of the nature of freedom, and of its relationship to self-ownership. I then refute his criticisms of my treatment of the contrasts between self-ownership, on the one hand, and autonomy and non-slavery, on the other. I also show that his attempt to exorcize the demon of self-ownership is multiply flawed.     

The array size function in simple visual search tasks: A comparison between “go-no go” and “yes-no” tasks under conditions of high and low target-noise similarity

Summary In research on visual search within a single eye-fixation a number of different tasks are used and referred to interchangeably. Research with other types of tasks suggests that there are possibly important differences between these tasks. In the present study, two types of search tasks were compared under conditions as equal as possible: the go-no go task and the yes-no task. Conditions of low and high target-noise similarity were used. The results obtained showed: a) a steeper slope of the array size function in yes-no tasks than in go-no go tasks on the first day of practice but not on the second: b) a higher intercept value of the same function for yes-no tasks than for go-no go tasks; and c) a greater proportion of errors with yes-no tasks than with comparable go-no go tasks. A tentative model, describing the main features of the results obtained, is briefly sketched.     

Contextualism and the Skeptic: Comments on Engel

Mylan Engels paper (2004) is divided into two parts: a negative part, criticizing the costs of contextualism and a constructive part proposing a noncontextualist resolution of the skeptical problem. I will only address the constructive part here. The constructive part is composed of three elements: (i) a reconstruction or reformulation of the original skeptical argument, which draws on the notion of epistemic possibility (e-possibility), (ii) a distinction between two senses of knowledge (and two corresponding kinds of e-possibility): fallibilistic and infallibilistic, and (iii) an argument which tries to hoist the skeptic by their own petard, namely the closure principle (CP). As I will argue, there are two ways to understand Engels anti-skeptical argument. Only in one interpretation does the argument depend on the proposed reconstruction of the skeptical argument in terms of e-possibility. But this version of the argument is unsound. More importantly, the skeptic has a strong prima facie objection at her disposal, which applies to both interpretations of the argument. If this objection is valid, Engels argument does not hold. But once it is invalidated, his argument is superfluous.     

Power,Freedom, and Individuality: Foucault and Sexual Difference

This paper offers a detailed account of Foucaults ethical and political notion of individuality as presented in his late work, and discusses its relationship to the feminist project of the theory of sexual difference. I argue that Foucaults elaboration of the classical ethos of care for the self opens the way for regarding the I-woman as an ethical, political and aesthetic self-creation. However, it has significant limitations that cannot be ignored. I elaborate on two aspects of Foucaults avoidance of sexual difference as a relevant category for an account of political and ethical individuality, which thus implicitly associates individual agency with men. I argue that Foucault implicitly assumes the existence of an ontological desire to become engaged in political self-creation. However, the ethical position of self-knowledge and desire should be understood as a contingent option that depends on material and historical conditions for its realization. Hence, I argue that a feminist reworking of Foucaults notion of political individuality should add a substantial ethical condition to the imperative of self-knowledge and self-creation – making possible the desiring woman subject.     

The given of achievement and the reluctance to assent: Argument and inquiry in the post-postmodern world

Changes in the social, political, and intellectual climate worldwide portend radical changes in how humans view themselves and their world. This essay argues that the twenty-first century will usher in apost-postmodern age. The new epoch will be one in which argument practices more closely resemble their modernist forbears. The given of achievement will overcome the postmodern reluctance to assent. Argument will be practiced against the backdrop of realist philosophical frameworks and will be viewed as contributing to the accretion of knowledge.An earlier version of this paper was presented at the Speech Communication Association Annual Conference, Atlanta, Georgia, November 1991.To assert that moral, aesthetic, and factual arguments are statistically derived, is not to argue that there is no such thing as absolute goodness, beauty, or truth. It is to declare that these ultimate values have little relevance in practical argument.- Daniel McDonald     

Philosophie der Arrieregarde

Bulgarian philosophical life is particularly poor and fruitless. As well as in all communist countries the development of Bulgarian Marxism-Leninism was marked by some very sharp controversies between dogmatics and revisionists. Bulgarian Orthodoxes are particularly militant and intolerant and on the contrary, revisionists are in reality very moderate and rather conservative. Therefore the deviations are insignificant and the degree of the destalinization is very small.