O pojęciu zdania analitycznego

Rezultaty przedstawione w pracy niniejszej pokrywaj si czciowo z wynikami osignitymi przezR. Wójcickiego w pracy:Analityczne komponenty definicji arbitralnych. Studia Logica, t. XIV. Dotyczy to gównie rezultatów zawartych w czci pierwszej. Chciabym podkreli, i wyniki R. Wójcickiego uzyskane zostay cakowicie niezalenie od rezultatów przedstawionych w pracy obecnej.Allatum est die 16 Aprilis 1962     

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.     

A semantical investigation into Leśniewski's axiom of his ontology

A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom x, y[x y u (u x) u; v(u, v x u v) u(u x u y)] (from the axiom x, y(x y x x) x, y, z(x y z y x z)) iff is true in every -structure (in every quasi -structure).     

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.     

Some modifications of Scott's theorem on injective spaces

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.In this paper we prove a generalization of this theorem for the category of , -closure spaces. The main theorem says that, for some cardinal numbers , , absolute extensors for the category of , -closure spaces are exactly , -closure spaces of , -filters in , >-semidistributive lattices (Theorem 3.5).If = and = we obtain Scott's Theorem (Corollary 2.1). If = 0 and = we obtain a characterization of closure spaces of filters in a complete Heyting lattice (Corollary 3.4). If = 0 and = we obtain a characterization of closure space of all principial filters in a completely distributive complete lattice (Corollary 3.3).     

From negation to “notion”: Cognitive processes and argumentative strategies

Summary This article deals with the role of negation as a language and cognitive operation. Such a topic is treated here within the framework of the argumentative strategies which consist in making certain cognitive landmarks of the discourse flip over with the intent of imposing the necessity to choose between two types of notions, aiming at the transformation of this choice into an implication. The reference here to the Aristotelian logic of Prior Analytics appears to be more efficient than any other contemporary logic and the author intends to give account of the role of negation as contrary coming into play on an operational and cognitive basis in all the argumentative strategies which oscillate reciprocally from universal to particular.     

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

- Allatum est die 5 Martii 1970     

A New Representation Theorem for Contranegative Deontic Logic

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).     

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

A notorious affair called exportation

In Quantifiers and Propositional Attitudes, Quine held (a) that the rule of exportation is always admissible, and (b) that there is a significant distinction between a believes-true (Ex)Fx and (Ex) a believes-true F of x. An argument of Hintikka's, also urged by Sleigh, persuaded him that these two intuitions are incompatible; and he consequently repudiated the rule of exportation. Hintikka and Kaplan propose to restrict exportation and quantifying in to favoured contexts — Hintikka to contexts where the believer knows who or what the person or thing in question is; Kaplan to contexts where the believer possesses a vivid name of the person or thing in question. The bulk of this paper is taken up with criticisms of these proposals. Its ultimate purpose, however, is to motivate an alternative approach, which imposes no restrictions on exportation or quantifying in, but repudiates Quine's other intuition: this is the approach taken in my A Logical Form for the Propositional Attitudes.This paper is based on my doctoral dissertation (Rockefeller University, 1977). I wish to thank Susan Haack for her help in turning a draft into the present version.     

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.     

Cut-free tableau calculi for some propositional normal modal logics

We give sound and complete tableau and sequent calculi for the prepositional normal modal logics S4.04, K4B and G ⁰(these logics are the smallest normal modal logics containing K and the schemata A A, A A and A ( A); A A and AA; A A and ((A A) A) A resp.) with the following properties: the calculi for S4.04 and G ⁰are cut-free and have the interpolation property, the calculus for K4B contains a restricted version of the cut-rule, the so-called analytical cut-rule.In addition we show that G ⁰is not compact (and therefore not canonical), and we proof with the tableau-method that G ⁰is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G ⁰is decidable and also characterised by the class of all frames for G ⁰.Research supported by Fonds zur Förderung der wissenschaftlichen Forschung, project number P8495-PHY.Presented by W. Rautenberg     

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.     

Was sind “ek-statische Maschinen”? (Gedanken aus und zu: M. K. Mamardašvili,Wissenschaft und Kultur)

Ohne ZusammenfassungM. K. Mamardavili, Nauka i kul'tura, inMetodologieskie problemy istorikonaunych issledovanij, M., Nauka, 1982, str. 38–58. Zitate aus diesem Aufsatz werden im Text mit der in Klammern gesetzten Seitenzahl ausgewiesen.     

The logic of linear tolerance

A nonempty sequence T₁,...,T_n of theories is tolerant, if there are consistent theories T ₁ ⁺ ,..., T _n ⁺ such that for each 1 i n, T _i ⁺ is an extension of T_i in the same language and, if i n, T _i ⁺ interprets T _i+1 ⁺ . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is shown that TOL (resp. TOL) yields exactly the schemata of PA-provable (resp. true) arithmetical sentences, if (A₁,..., A_n) is understood as (a formalization of) PA+A₁, ..., PA+A_n is tolerant.     

The ‘will to believe’ in science and religion

Conclusion The Will to Believe defines the religious question as forced, living and momentous, but even in this article James asserts that more objective factors are involved. The competing religious hypotheses must both be equally coherent and correspond to experimental data to an equal degree. Otherwise the option is not a live one. If I say to you Be a theosophist or be a Mohammedan, it is probably a dead option, because for you neither hypothesis is likely to be alive. Analogously, in A Pluralistic Universe James is at pains to convince the reader that his own religious hypothesis is just as objective, makes just as much sense, etc. as alternative possibilities: the only thing I emphatically insist upon is that it [pluralistic pantheism] is a fully coordinate hypothesis with monism. This world may, in the last resort, be a block universe; but on the other hand, it may be a universe only strung along, not rounded in and closed. Reality may exist distributively just as it sensibly seems to, after all. On that possibility I do insist. Here, once again, before the will to believe can be employed, the objective factors of competing hypotheses, their equal coherence and correspondence, must be brought out.When reconstructed, James' overall outlook has a qausi Kuhnian taint to it- though obvious differences remain. Much of what goes on in evaluating competing scientific hypotheses is either not forced, or not living, or not momentous, but rather typical, dead, and avoidable, in short very normal. But there are moments in the history of science where the decision between hypotheses might well be forced, living and momentous, and sometimes James comes close to recognizing this.Analogously, a good deal of what goes on in religion is not forced, not living or not momentous - in short it is all too normal. In The Varieties of Religious Experience for example, James proposes to ignore the institutional branch of the religious domain and to concentrate on personal and psychological factors, his reason being that the institutional aspect concentrates on the routine, the normal. Worship and sacrifice, procedures for working on the dispositions of the deity, theology and ceremony and ecclesiastical organization, are the essentials of religion in the institutional branch. Were we to limit our view to it, we should have to define religion as an external art, the art of winning the favor of the gods. and again The word religion, as ordinarily used, is equivocal. A survey of history shows us that, as a rule, religious geniuses attract disciples, and produce groups of sympathizers. When these groups get strong enough to organize themselves, they become ecclesiastical institutions with corporate ambitions of their own. The spirit of politics and the lust of dogmatic rule are then apt to enter and to contaminate the originally innocent thing; so that when we hear the word religion nowadays, we think inevitably of some church or other.Clearly here religion has a normal, i.e. trivial side, just as does science. On the other hand, there are revolutionary moments in religion, such as that of choosing between theism and materialism in Pragmatism, or choosing among theism, monistic pantheism and pluralistic pantheism in A Pluralistic Universe. Such moments involve the will to believe and are clearly more personal than their counterparts in the domain of normal institutionalized religion. Going further, there are no doubt differences of degree between the will to believe decisions in science and the will to believe decisions in religion. These have been explicated in more specific terms by Ian Barbour in his article, Paradigms in Science and Religion. ...each of the subjective features of science... is more evident in the case of religion: (1) the influence of interpretation on data, (2) the resistance of comprehensive theories of falsification, and (3) the absence of rules for choice among paradigms. Each of the corresponding objective features of science is less evident in the case of religion: (1) the presence of common data on which disputants can agree, (2) the cumulative effect of evidence for or against a theory, and (3) the existence of criteria which are not paradigm-dependent. It is clear that in all three respects religion is a more subjective enterprise than science. But in each case there is a difference of degree - not an absolute contrast between an objective science and a subjective religion. Barbour correctly notes that the ...choice is not between religion and science, but between theism, pantheism, and naturalism, let us say, as each is expressed in a particular historical tradition. No basic beliefs are capable of demonstrable proof. James sometimes comes close to recognizing this but his oscillation on the status of the everyday world of common sense, or the perceptual world, causes him not to see the issue clearly. When the animated world of the perceptual is taken as the all inclusive really real, science is viewed as an abstract, second class citizen. But James offers what we would consider a more sophisticated and adequate perspective when he views the world of common sense, having become linguistified, as itself suspicious, and consequently views all three tiers - common sense, scholastic philosophy, and science - as regional ontologies, or language games in Wittgenstein's terminology - and opposes all three to a more primordial or prereflexive level. When James takes this second approach it is easier to see that the basic distinction he began to make in The Will to Believe was between the scientific and religious domain where the will to believe was to be employed, and the domain of ordinary religion and science. Finally this position anticipates his ultimate metaphysical outlook, viz. pure experience as approachable through language on a series of diverse regional levels, but nonetheless not completely describable within language.It is important to recall that in The Varieties of Religious Experience James distinguishes between the science of religions and what he calls living religion: [T] he science of religions may not be an equivalent for living religion; and if we turn to the inner difficulties of such a science, we see that a point comes when she must drop the purely theoretic attitude, and either let her knots remain uncut, or have them cut by active faith. The study of religion, in short is not the activity of religion; the latter is animated, personal, and, we would argue, necessitates a commitment in terms of the will to believe. Once again, however, James hesitates over offering the same two-fold delineation in other areas of science. On the one hand he tells the reader that science-has ended by utterly repudiating the personal point of view. On the other hand, he offers the following comment a few pages later on in a footnote: ...the divorce between scientist facts and religious facts may not necessarily be as eternal as it at first sight seems, nor the personalism and romanticism of the world, as they appeared to primitive thinking, be matters so irrevocably outgrown. The final opinion may, in short, in some manner now impossible to forsee, revert to the more personal style, just as any path of progress may follow a spiral rather than a straight line. If this were so, the rigorously impersonal view of science might one day appear as having been a temporarily useful eccentricity rather than the definitely triumphant position which the sectarian scientist at present so confidently announces it to be. The burden of this paper has been to indicate that when James' two-fold outlook on perception and/or common sense is properly reconstructed, the raproachment between science and religion is not so impossible to forsee.

---

     

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.     

Three views of demonstrative reference

Three views of demonstrative reference are examined: contextual, intentional, and quasi-intentional. According to the first, such reference is determined entirely by certain publicly accessible features of the context. According to the second, speaker intentions are criterial in demonstrative reference. And according to the third, both contextual features and intentions come into play in the determination of demonstrative reference. The first two views (both of which enjoy current popularity) are rejected as implausible; the third (originally proposed by Kaplan in Dthat) is argued to be highly plausible.