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.     

Quantum Mechanical Unbounded Operators and Constructive Mathematics – a Rejoinder to Bridges

As argued in Hellman (1993), the theorem of Pour-El and Richards (1983) can be seen by the classicist as limiting constructivist efforts to recover the mathematics for quantum mechanics. Although Bridges (1995) may be right that the constructivist would work with a different definition of closed operator, this does not affect my point that neither the classical unbounded operators standardly recognized in quantum mechanics nor their restrictions to constructive arguments are recognizable as objects by the constructivist. Constructive substitutes that may still be possible necessarily involve additional incompleteness in the mathematical representation of quantum phenomena. Concerning a second line of reasoning in Hellman (1993), its import is that constructivist practice is consistent with a liberal stance but not with a radical, verificationist philosophical position. Whether such a position is actually espoused by certain leading constructivists, they are invited to clarify.     

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.     

Theories of Types and Names with Positive Stratified Comprehension

We introduce a certain extension of -calculus, and show that it has the Church-Rosser property. The associated open-term extensional combinatory algebra is used as a basis to construct models for theories of Explict Mathematics (formulated in the language of "types and names") with positive stratified comprehension. In such models, types are interpreted as collections of solutions (of terms) w.r. to a set of numerals. Exploiting extensionality, we prove some consistency results for special ontological axioms which are refutable under elementary comprehension.     

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

Beyond verisimilitude: A linguistically invariant basis for scientific progress

This paper proposes a solution to David Miller's Minnesotan-Arizonan demonstration of the language dependence of truthlikeness (Miller 1974), along with Miller's first-order demonstration of the same (Miller 1978). It is assumed, with Peter Urbach, that the implication of these demonstrations is that the very notion of truthlikeness is intrinsically language dependent and thus non-objective. As such, truthlikeness cannot supply a basis for an objective account of scientific progress. I argue that, while Miller is correct in arguing that the number of true atomic sentences of a false theory is language dependent, the number of known sentences (under certain straightforward assumptions) is conserved by translation; degree of knowledge, unlike truthlikeness, is thus a linguistically invariant notion. It is concluded that the objectivity of scientific progress must be grounded on the fact (noted in Cohen 1980) that knowledge, not mere truth, is the aim of science.For criticism and comments I am indebted to Noretta Koertge, David Miller, and an anonymous Synthese referee.     

Stuffed Cabbage in the Old New School Cafeteria

The purpose of this lecture is to celebrate the memory of Aron Gurwitsch by examining and enlarging the domain of phenomenological clarification of some elements of what Gurwitsch called the logic of reality. Chief among those elements are the nature of the taken-for-grantedness of our existential belief, the difference between presentive and non-presentive indices of reality and the ground for the self-illumination of the world of working.     

Game Logic and its Applications II

This paper provides a Genzten style formulation of the game logic framework GLm (0 m ), and proves the cut-elimination theorem for GLm. As its application, we prove the term existence theorem for GL used in Part I.     

Iconic memory — an artifact of perceptual reconstruction processes?

Summary Two experiments, using a partial vs. whole report procedure to isolate iconic from short-term memory loss, are reported. In the first experiment 10 Ss had to judge the difference between two line lengths in a display of three pairs of lines (in rows). Results showed no significant variation in d' with cue delay in spite of a medium overall performance, and in contrast to preliminary partial/whole report experiments. To counter the possibility that the short-term memory load was too small in this experiment, a second experiment was performed with displays containing nine instead of three pairs, i.e., three pairs per row. Equivalence of performance for all conditions was about the same as before. This was true for both hit- and false-alarm rates. The results are interpreted as evidence against the view of iconic memory as a high capacity store containing a lot of information. An alternative reconstructive theory is put forward to explain both conventional iconic loss and our results. According to this account, partial report measures processed material rather than reflecting an iconic store of uninterpreted sensory events. Some consequences of this model are discussed in the context of some weak effects in our data; and suggestions are put forward for further investigation of visual processing.The experiments to be reported here were made possible by grant Schu 421/1–2 of the Deutsche Forschungsgemeinschaft. The main results of Experiment II have already been reported at the European Conference on Visual Perception at Nordwijkerhout, October 1979. I am indebted to Mrs. R. Ledebur, cand. phil, and Dipl.-Psych. G. Gros who collected the data. I also wish to thank Dr. A. Reeves (Dortmund) for helpful comments on an earlier version of this paper. Dr. P. Wolff (Osnabrück) and two anonymous reviewers contributed valuable suggestions concerning the final draft     

Confusion in philosophy: A comment on Williams (1992)

Patricia Williams made a number of claims concerning the methods and practise of cladistic analysis and classification. Her argument rests upon the distinction of two kinds of hierarchy: a divisional hierarchy depicting evolutionary descent and the Linnean hierarchy describing taxonomic groups in a classification. Williams goes on to outline five problems with cladistics that lead her to the conclusion that systematists should eliminate cladism as a school of biological taxonomy and to replace it either with something that is philosophically coherent or to replace it with pure methodology, untainted by theory (Williams 1992, 151). Williams makes a number of points which she feels collectively add up to insurmountable problems for cladistics. We examine Williams' views concerning the two hierarchies and consider what cladists currently understand about the status of ancestors. We will demonstrate that Williams has seriously misunderstood many modern commentators on this subject and all of her five persistent problems are derivable from this misunderstanding.

Nelson (1989, 67).

     

An abstract setting for Henkin proofs

A general result is proved about the existence of maximally consistent theories satisfying prescribed closure conditions. The principle is then used to give streamlined proofs of completeness and omitting-types theorems, in which inductive Henkin-style constructions are replaced by a demonstration that a certain theory respects a certain class of inference rules.     

A modification of kendall's tau for measuring association in contingency tables

A coefficient of association is described for a contingency table containing data classified into two sets of ordered categories. Within each of the two sets the number of categories or the number of cases in each category need not be the same.=+1 for perfect positive association and has an expectation of 0 for chance association. In many cases also has –1 as a lower limit. The limitations of Kendall's _a and _b and Stuart's _c are discussed, as is the identity of these coefficients to' under certain conditions. Computational procedure for is given.     

The relationship between perceived surface-lightness and perceived illumination

Summary An attempt was made to specify the relationship between perceived surface lightness and perceived illumination under the stimulus conditions where different combinations of albedo and illuminance gave 10 approximately equal-luminance levels of a test field (TF) on three different (black-, gray- and white-appearing) backgrounds. Two types of category judgments for TF-lightness and overall illumination were made on the total of 94 TFs by 5 Ss. The results indicated that under the condition where achromatic surface colors appear, the perceptual scission which produces two different perceptual dimensions (lightness and perceived illumination) from one sort of stimulation (luminance) was clearly observed. The relation between the two judgments was consistent with the lightness-illumination invariance hypothesis: As lightness judgments (A) changed from darker to lighter, illumination judgments (I) shifted form brighter to dimmer, the sum of A and I being kept nearly invariant for a given luminance of the TF; the psychological relationship between lightness and illumination, A+I, changed as a linear function of the photometric combination of albedo and illuminance, log A+log I. It was also found that the albedo of the background was an important factor determining the extent of perceptual scission between lightness and illumination.     

A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

The subjective vertical under ‘dry’ and ‘wet’ conditions at clockwise and counterclockwise changed positions and the effect of a parallel-lined background field

Summary The dependence of the subjective vertical (SV, the angle between a subjective vertical line and body median plane) on the gravity vertical (body tilt position, angle ) and on the optical vertical (i.e., a field of parallel lines seen as background to the line to be adjusted) was investigated. The SV was measured under dry and wet conditions at different degrees of body tilt attained in either clockwise (CW) or counterclockwise (CCW) progression.The measured difference in between field-of-lines left and right of the line is smallest at the upright position (=O°) and largest at =150°/165°. All body positions show a -difference between CW and CCW attainment (hysteresis), this too being least at upright and greatest at inverted body positions.These results, and changes of with test time, are discussed relative to the hypothesis that efficiency of the statolith organs decreases with body tilt increase, favouring increase of interference of somatoreceptors and the optical reference.     

Modal Logics of Succession for 2-Dimensional Integral Spacetime

We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable.     

Suppositions in argumentation

The atheist who begins to argue his case by saying, Suppose there is an omniscient Being of the sort in which Christians believe ... is employing a very familiar move in argumentation. However, most books on argumentation theory ignore suppositions completely. Searle omits suppositions entirely from his taxonomy of speech acts and this appears to lead to a similar omission in Speech Acts in Argumentative Discussions by van Eemeren and Grootendorst.This paper argues that suppositional argument is elegant, powerful and extremely common, that the correct way to understand it is based on Gottlob Frege's distinction between asserted and unasserted propositions and hence that suppositions are neither assertions nor (and this is more important) assertives. The paper discusses the connections between suppositions and conditionals; it argues that argumentation theory which ignores suppositions is systematically misleading; and it concludes by indicating some possible developments in argumentation theory.Revised version of a paper delivered at the University of Amsterdam, April 3, 1987.     

Superintuitionistic Companions of Classical Modal Logics

This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic , the set L[] of L-companions of . Here L[] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize if the law of excluded middle p V p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[], whether L[] contains a smallest element, and whether L[] contains lower covers of . Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34].     

Literal meaning, conventional meaning and first meaning

Literal meaning is often identified with conventional meaning. In A Nice Derangement of Epitaphs Donald Davidson argues (1) that literal meaning is distinct from conventional meaning, and (2) that literal meaning is identical to what he calls first meaning. In this paper it is argued that Davidson has established (1) but not (2), that he has succeeded in showing that there is a distinction between literal meaning and conventional meaning but has failed to see that literal meaning and first meaning are also distinct. This failure is somewhat surprising, since it is through a consideration of Davidson's notion of radical interpretation that the distinction between literal meaning and first meaning becomes apparent.I am grateful to the Social Sciences and Humanities Research Council of Canada for its financial support, and to Mark Mercer, Tom Patton and Gary Wedeking for their helpful comments. I would also like to thank David Checkland, who discussed A Nice Derangement of Epitaphs with me at length some years ago.