Dowód aksjomatyzowalności pewnychn-wartościowych rachunków zdań

Praca ta zostaa wykonana pod kierunkiem prof. drJerzego Supeckiego. Jej szczególny przypadek dotyczcyn-wartociowego rachunku zda o jednej wartoci wyrónionej by referowany w Warszawie na zjedzie Grupy Logiki Instytutu Filozofii i Socjologii PAN. Streszczenie tego referatu [5] zostao wydrukowane w Sprawozdaniach Wydziau Nauk Spoecznych PAN.Allatum est die 19 Aprilis 1963     

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.     

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.     

Eliminativism and the ambiguity of ‘belief’

It has recently been claimed (1) that mental states such as beliefs are theoretical entities and (2) that they are therefore, in principle, subject to theoretical elimination if intentional psychology were to be supplanted by a psychology not employing mentalistic notions. Debate over these two issues is seriously hampered by the fact that the key terms theoretical and belief are ambiguous. This article argues that there is only one sense of theoretical that is of use to the eliminativist, and in this sense some kinds of belief (dispositional states, infra-conscious states and the Freudian unconscious) are indeed theoretical and hence possible candidates for elimination, while others (consciously occurring thoughts like judgements and perceptualGestalten) are not theoretical and hence not candidates for elimination.     

The artist as transgressor in Mandel'štam's poetry

In Mandel'tam's writing, artistic creativity is described as based on the indispensable yet contradictory modes of compliance and deviation. The artist, by his artistic nature, must be an obedient disciple to the tradition that inspires him, and, at the same time, a violator who renders what inspires him in an individual form. Thus, art implies iterability through novelty. In the totalitarian state, this double nature of art acquires a sinister context and brings the artist to an unavoidable conflict with the state. He has a choice between a servile compliance with the state's command and artistic independence. If the artist complies, he loses his ingenuity; if, on the other hand, he has the courage to break away from the established order, his fate is martyrdom. The criteria of truth and falsehood, the issue of loyalty, of compromise and collaboration or resistance become most relevant. Such words as outcast or non-contemporary acquire the meaning of non-collaborationist or enemy of the people. In the totalitarian state a genuine artist is viewed as a law-breaker, and his art leads him to crime. The notions of compliance and deviation cease being merely aesthetic terms and assume in Mandel'tam's poetry complex, subtle and tragic overtones.I would like to express my gratitude to John Barnstead, Thomas Blakeley, James Doull, Elena Glazov-Corrigan, Gregory Glazov, Leonard Kazdan, Peter Kussmaul, Malcolm Ross, Detlev Steffen, and Ieva Vitins for their valuable criticism, suggestions, and revisions of my English.     

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).

     

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.     

Is it always fallacious to derive values from facts?

Since the time of David Hume, many philosophers have held that there is a logical Is/Ought gap. According to the doctrine of the Is/Ought gap, there are no valid (i.e., non-fallacious) arguments from purely factual premises about whatis the case to moral or normative conclusions about whatought to be. Occasionally, this doctrine has been challenged, but frequently it has been accepted without argumentation. Charles Pigden has recently argued for a logical Is/Ought gap on the grounds of the conservativeness of logic. I offer a counter-example which shows that Pigden's argument is unsound and that there need be no logical gap between Is-premises and an Ought-conclusion. My counter-example is an argument which is logically valid, has only Is-premises and an Ought-conclusion, and does not purport to violate the conservativeness of logic. Moreover, my argument does not rely, as other alleged counter-examples do, on controversial assumptions from Aristotelian biology about natures or ends, or about institutions such as promise-making.     

New lower and upper bounds for communality in factor analysis

We derive several relationships between communalities and the eigenvalues for ap ×p correlation matrix under the usual factor analysis model. For suitable choices ofj, _j (), where _j () is thej-th largest eigenvalue of , provides either a lower or an upper bound to the communalities for some of the variables. We show that for at least one variable, 1 - _p () improves on the use of squared mulitiple correlation coefficient as a lower bound.This research was done while the second author was at Tokyo Institute of Technology.     

Argumentative aspects of indirect proof

While direct proof is widely considered the paradigm of the acquisition of knowledge by deductive means, indirect proof has traditionally been criticized as showing merely that its conclusion is true and not why it is true. This paper accounts for the traditional objection by emphasizing the argumentative role in indirect proof of logical principles such as excluded middle and non-contradiction.     

A Note on Algebras of Substitutions

We will study the class RSA of -dimensional representable substitution algebras. RSA is a sub-reduct of the class of representable cylindric: algebras, and it was an open problem in Andréka [1] that whether RSA can be finitely axiomatized. We will show, that the answer is positive. More concretely, we will prove, that RSA is a finitely axiomatizable quasi-variety. The generated variety is also described. We note that RSA is the algebraic counterpart of a certain proportional multimodal logic and it is related to a natural fragment of first order logic, as well.     

Computer content analysis of sex differences in the language of children

This study presents empirical procedures for the collection and content analysis of the oral language of kindergarten children. The analysis technique used material and machines available to most researchers. The results of the analysis of language samples of 144 randomly selected children from the entire kindergarten class of the Ithaca, New York, school system showed that boys produced significantly more language than did the girls as well as significantly more references to aggression, self, time, space, quantity, fears, good, act of oral communication, negation, and affirmation, and asked more questions of the examiner than did the girls. The girls made significantly more female references than did the boys. Implications for future research are discussed.     

Demonstrative utterances

Conclusion We have worked out a small part of a program originally devised by Kaplan which included a clarification of the phrase y intends to demonstrate x. The analysis of demonstrative utterances, combined with a theory of deferred ostensive reference, enabled us to account for a much larger class of utterances (accompained by a relevant gesture) than expected. Regrettably, the analysis forces more questions on us than it answers. Although I have used the term gesture quite freely without providing any sort of explication, there is much more to say about gestures and their relation to speech. Especially questions concerning the ontological nature of gestures (What kind of a thing is a gesture anyway?), their epistemological status (How can we tell gestures apart from other actions?), and their semantic status (What makes a gesture have meaning?) have remained largely unexplored. To my knowledge, no philosopher in the analytic tradition has addressed those issues in any systematic manner.     

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.     

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.     

Intuitionistic uniformity principles for propositions and some applications

This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no non-trivial countable partition of;id is the only injective function from to; there are no many-place injective prepositional functions; card () is incomparable with the cardinality of all metric spaces containing at least three elements.     

Routes to action in reaction time tasks

Summary Two-choice tactile RTs are no faster than 8-choice tasks, implying the existence of a direct route. However, simple tactile RTs are much faster than choice tactile RTs (Leonard, 1959). In Experiment I we show that this is not due to subjects anticipating the stimulus in simple tactile RT tasks. Increasing probability of stimulus occurrence at a particular time led to equally decreased tactile RTs for simple and choice tasks.We suggest that an alternative route is available for simple RTs which is faster than the direct route available for choice tactile RTs. This route is faster because (a) the response can be specified in advance, and (b) the stimulus does not need to be identified. The subject needs merely to register that it has occurred. In Experiment II we show that simple RTs to a visual stimulus are decreased by a simultaneous uninformative tactile stimulus even when this is to the wrong finger. This confirms that exact stimulus identification is not necessary in the fast route. In Experiment III we show that a secondary task slows down simple tactile RTs to the same level as choice tactile RTs while the latter are hardly affected. This suggests that focussed attention is not needed for the direct route, but it is needed for the fast route. We propose that a useful distinction can be made between action largely controlled by external stimuli (the direct route) and action largely controlled by internal intentions of will (the fast route).     

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

Following Henkins discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or cardinality quantifiers, e.g., most, few, finitely many, exactly , where is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general definition of monotone-increasing (M) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwises 1979 analysis of the basic case of M POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages.     

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.     

An Exploration of Johnson's Sense of ‘Argument’

This essay attempts to give definitions and identity conditions for the two predominant senses of Argument currently in use, the one involving reasons for a conclusion and the other denoting an expressed disagreement with ensuing verbal behaviour by two parties. I see Johnson's new concept of Argument, as developed in his book Manifest Rationality, as a hybrid of the two common senses of Argument, and, accordingly, I try to define and give the identity conditions of Johnson-arguments. Finally, I disagree with Johnson on the nature of the definition he thinks he has proposed, and I conclude with observations suggesting that his logical perspective has dialectical and rhetorical components.