Frege On ‘I’, ‘Now’, ‘Today’ And Some Other Linguistic Devices

In this paper, I argue against an influential view of Frege's writings on indexical and other context-sensitive expressions, and in favour of an alternative. The centrepiece of the influential view, due to (among others) Evans and McDowell, is that according to Frege, context-sensitiveword-meaning plus context combine to express senses which are essentially first person, essentially present tense and so on, depending on the context-sensitive expression in question. Frege's treatment of indexicals thus fits smoothly with his Intuitive Criterion of difference of sense. On my view, by contrast, Frege stuck by the view which he held in his unpublished 1897 Logic, namely that the senses expressed by the combination of context-sensitive word-meaning and context could just as well be expressed by means of non-context-sensitive expressions: being first person, present tense and so on are properties, in Frege's view, only of language, not of thought. Given the irreducibility of indexicals – a phenomenon noticed by Castañeda, Perry and others – Frege's treatment of indexicals thus turns out to be inconsistent with the Intuitive Criterion. I argue that Frege was not aware of the inconsistency because he was not aware of the irreducibility of indexicals. This oversight was possible because the source of Frege's interest in indexicals, as inother context-sensitive expressions, differed from that of contemporary theorists. Whereas contemporary theorists are most often interested in indexicals (and in Frege's treatment of them) because they are interested in the indexical versions of Frege's Puzzle and their relation to psychological explanation, Frege himself was interested in them because they pose a prima facie threat to his general conception of thoughts. The only indexical expression Frege's view of which the above account does not cover is I insofar as it is associated with special and primitive senses, but Frege did not introduce such senses with a view to explaining theirreducibility of I his real reason for introducing them remains obscure.     

Platonism and metaphor in the texts of mathematics: G?del and Frege on mathematical knowledge

In this paper, I challenge those interpretations of Frege that reinforce the view that his talk of grasping thoughts about abstract objects is consistent with Russell's notion of acquaintance with universals and with Gödel's contention that we possess a faculty of mathematical perception capable of perceiving the objects of set theory. Here I argue the case that Frege is not an epistemological Platonist in the sense in which Gödel is one. The contention advanced is that Gödel bases his Platonism on a literal comparison between mathematical intuition and physical perception. He concludes that since we accept sense perception as a source of empirical knowledge, then we similarly should posit a faculty of mathematical intuition to serve as the source of mathematical knowledge. Unlike Gödel, Frege does not posit a faculty of mathematical intuition. Frege talks instead about grasping thoughts about abstract objects. However, despite his hostility to metaphor, he uses the notion of grasping as a strategic metaphor to model his notion of thinking, i.e., to underscore that it is only by logically manipulating the cognitive content of mathematical propositions that we can obtain mathematical knowledge. Thus, he construes grasping more as theoretical activity than as a kind of inner mental seeing.     

A calculus for the common rules of ∧ and ∨

We provide a finite axiomatization of the consequence , i.e. of the set of common sequential rules for and . Moreover, we show that has no proper non-trivial strengthenings other than and . A similar result is true for , but not, e.g., for ⁺.To the memory of Jerzy Supecki     

The Judgement-Stroke As A Truth-Operator: A New Interpretation Of The Logical Form Of Sentences In Frege''s Scientific Language

The syntax of Frege's scientific language iscommonly taken to be characterized by two oddities:the representation of the intended illocutionary roleof sentences by a special sign, the judgement-stroke,and the treatment of sentences as a species ofsingular terms. In this paper, an alternative view isdefended. The main theses are: (i) the syntax ofFrege's scientific language aims at an explication ofthe logical form of judgements; (ii) thejudgement-stroke is, therefore, a truth-operator, nota pragmatic operator; (iii) in Frege's first system,` ' expresses that the circumstance is a fact, and in his second system that thetruth-value - is the True; (iv) in bothsystems, the judgement-stroke is construed as a signsui generis, not as a genuine predicate; (v) itscounterpart in natural language is the syntactic ``formof assertoric sentences', not the (redundant)truth-predicate; (vi) neither in Frege's first nor inhis second system sentences are treated as singular terms.     

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.     

Analityczne komponenty definicji arbitralnych

Tre: Wstp. I. Definicje arbitralne. II. Syntetyczne konsekwencje definicji arbitralnych III. Analityczne i rzeczowe komponenty definicji arbitralnych. IV. Zdania analityczne.Artyku ten w nieznacznym tylko stopniu róni si od pracy doktorskiej, któr przedstawiem w 1962 r. Jak najuprzejmiej dzikuj Prof. Dr M. Kokoszyskiej-Lutman, Prof. Dr J. Supeckiemu oraz Doc. Dr M. Przeckiemu za szereg uwag i wskazówek, z których tak wiele skorzystaem przygotowujc ostateczn redakcj pracy.     

Frege,Boolos, and Logical Objects

In this paper, the authors discuss Frege's theory of logical objects (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the eta relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the eta relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract objects uses unrestricted Comprehension for Logical Objects and banishes encoding (eta) formulas from Comprehension for Properties. The relative mathematical and philosophical strengths of the two theories are discussed. Along the way, new results in the theory of abstract objects are described, involving: (a) the theory of extensions, (b) the theory of directions and shapes, and (c) the theory of truth values.     

A note on syntactical and semantical functions

We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class ^–1X is also finitely axiomatizable (i.e. iff is continuous in model class topology).     

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.     

Paraconsistent logic and model theory

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa'sC ₁ ⁼ (obtained by adding the axiom A A) and prove for it results which correspond to many major classical model theories, taken from Shoenfield [5]. In particular we prove counterparts of the theorems of o-Tarski and Chang-o-Suszko, Craig-Robinson and the Beth definability theorem.     

Natural deduction rules for English

A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as the c, a (an) c, some c, any c, and every c, where c represents a common noun. These latter expressions are called quantifiers, and other expressions of the form that c or that c itself, are called quantified terms. Introduction and elimination rules are presented for any, every, some, a (an), and the, and also for any which, every which, and so on, as well as rules for some other concepts. One outcome of these rules is that Every man loves some woman is implied by, but does not imply, Some woman is loved by every man, since the latter is taken to mean the same as Some woman is loved by all men. Also, Jack knows which woman came is implied by Some woman is known by Jack to have come, but not by Jack knows that some woman came.     

Toward an empirical subclassification of “learning disabilitiesℍ: A psychophysiological comparison of “hyperactiveℍ and “nonhyperactiveℍ subgroups

The diagnostic category of learning disabilities is a heterogeneous one, but few empirical attempts have been made to distinguish subgroups. Recent research, however, suggests that it may be meaningful to discriminate between hyperactive and nonhyperactive learning-disabled children. In the present study, 21 learning-disabled children identified as hyperactive through teacher nominations and ratings were compared to 15 learning-disabled children identified as nonhyperactive in the same manner. The two groups differed on rated behavior, birth order, amount of prescribed stimulant medication, amount of psychosocial stress, and Verbal, Performance, and Full Scale WISC-R IQ scores. They did not differ, however, on several demographic variables, the number of perinatal complications, reading achievement, and a number of tonic and phasic measures of autonomie activity. These findings support the distinction between hyperactive and nonhyperactive subgroups of learning-disabled children, but suggest that the two subgroups may have a similar biological substrate.We wish to express our sincere appreciation to Douglas Carmichael, Martha Stewart, Kay Richmond, and the teachers of Clarke County for their kind and sophisticated assistance, and to David Coleman and David Hammer for their technical assistance.     

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.     

Frege and the rigorization of analysis

This paper has three goals: (i) to show that the foundational program begun in theBegriffsschrift, and carried forward in theGrundlagen, represented Frege's attempt to establish the autonomy of arithmetic from geometry and kinematics; the cogency and coherence ofintuitive reasoning were not in question. (ii) To place Frege's logicism in the context of the nineteenth century tradition in mathematical analysis, and, in particular, to show how the modern concept of a function made it possible for Frege to pursue the goal of autonomy within the framework of the system of second-order logic of theBegriffsschrift. (iii) To address certain criticisms of Frege by Parsons and Boolos, and thereby to clarify what was and was not achieved by the development, in Part III of theBegriffsschrift, of a fragment of the theory of relations.     

Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

Nohl, Durkheim, and Mead: Three Different Types of "History of Education"

Historiography of education is not only a question of construction but also of selection. In 19th century history of education was typically a genre of great educators, mostly male and only marginally female. This construct is influential up to now, at least in popular contexts of educational reasoning. The article discusses in the introductory section problems of selection of names and meanings within history of education, and then three types of historiographical writing that are not only concerned with great educators but have larger Philosophical impact. The first type is Herman Nohls history of German progressive education, the second one is Emile Durkheims history of Higher Education in France, and the third one is George Herbert Meads Movements of Thought in 19th Century. The article compares them and discusses their implications for further development of historical writing in education.     

Независимость одной системы аксиом и правила вывода пропозиционального исчисления

- Allatum est die 5 Martii 1970     

Equivalents of Mingle and Positive Paradox

Relevant logic is a proper subset of classical logic. It does not include among its theorems any ofpositive paradox A (B A)mingle A (A A)linear order (A B) (B A)unrelated extremes (A ) (B B¯)This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle.     

Mathematical quantum theory I: Random ultrafilters as hidden variables

The basic purpose of this essay, the first of an intended pair, is to interpret standard von Neumann quantum theory in a framework of iterated measure algebraic truth for mathematical (and thus mathematical-physical) assertions — a framework, that is, in which the truth-values for such assertions are elements of iterated boolean measure-algebras (cf. Sections 2.2.9, 5.2.1–5.2.6 and 5.3 below).The essay itself employs constructions of Takeuti's boolean-valued analysis (whose origins lay in work of Scott, Solovay, Krauss and others) to provide a metamathematical interpretation of ideas sometimes considered disparate, heuristic, or simply ill-defined: the collapse of the wave function, for example; Everett's many worlds'-construal of quantum measurement; and a natural product space of contextual (nonlocal) hidden variables.More precisely, these constructions permit us to write down a category-theoretically natural correlation between ideal outcomes of quantum measurements u of a universal wave function, and possible worlds of an Everett-Wheeler-like many-worlds-theory.The universal wave function, first, is simply a pure state of the Hilbert space (L ₂([0, 1]) ^M in a model M an appropriate mathematical-physical theory T, where T includes enough set-theory to derive all the analysis needed for von Neumann-algebraic formulations of quantum theory.The worlds of this framework can then be given a genuine model-theoretic construal: they are random models M(u) determined by M-random elements u of the unit interval [0, 1], where M is again a fixed model of T.Each choice of a fixed basis for a Hilbert space H in a model of M of T then assigns ideal spectral values for observables A on H (random ultrafilters on the range of A regarded as a projection-valued measure) to such M-random reals u. If is the universal Lebesgue measure-algebra on [0, 1], these assignments are interrelated by the spectral functional calculus with value 1 in the boolean extension (V( )) ^M , and therefore in each M(u).Finally, each such M-random u also generates a corresponding extension M(u) of M, in which ideal outcomes of measurements of all observables A in states are determined by the assignments just mentioned from the random spectral values u for the universal position-observable on L ₂([0, 1]) in M.At the suggestion of the essay's referee, I plan to draw on its ideas in the projected sequel to examine more recent modal and decoherence-interpretations of quantum theory, as well as Schrödinger's traditional construal of time-evolution. A preliminary account of the latter — an obvious prerequisite for any serious many-worlds-theory, given that Everett's original intention was to integrate time-evolution and wave-function collapse — is sketched briefly in Section 5.3. The basic idea is to apply results from the theory of iterated measure-algebras to reinterpret time-ordered processes of measurements (determined, for example, by a given Hamiltonian observable H in M) as individual measurements in somewhat more complexly defined extensions M(u) of M.In plainer English: if one takes a little care to distinguish boolean- from measure-algebraic tensor-products of the universal measure-algebra L, one can reinterpret formal time-evolution so that it becomes internal to the universal random models M(u).     

Letter Writing and the Performativity of Intimacy in Female Pedagogical Relations: Recuperating Derridean Amnesia,Writing Back to Madame de Maintenon

Performativity and performance of language are the subject of this re-writing of Derrida's position on the gift. Here the source of performativity is Althusser's while the source of the gift is not only Marcel Mauss, but also both the opening of Derrida's Given Time: I, Counterfeit Money and the signing through letters of Madame de Maintenon, wife of Louis XIV and founder of a school for girls. A third writing plays a role, that of a 1910 biography of Madame. The paper is a relay, a re-play of the positions of the central characters, -- Derrida and Maintenon -- and a semiology of their writings. Out of this a new gift of pedagogy is evoked in a conception of pedagogical retreat.