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

- Allatum est die 5 Martii 1970     

Die Wüste Des Realen: Slavoj Žižek Und Der Deutsche Idealismus

Part of Slavoj iek's philosophical background is located in German idealism. In this article, his relation to German idealism is critically assessed, and the key to this assessment is found in iek's favorite medium: film. In film, reality can only appear as a new image, replacing an old reality as fictitious, the real itself, however, remains unreachable by thought. At this point, a parallel with German idealism appears: it was Kant who turned reality into a desert, and Hegel and Schelling who tried to retrieve it. Siding with Adorno and Heidegger, iek reaches a negative conclusion that does justice to neither German idealism nor indeed Schelling. His use of German idealism is one-sided and selective, regardless of the fact that it allows him to formulate an adequate critique of Western society. Perceiving a parallel between iek's conception of cinema and Kantian imagination [Einbildungskraft], the final conclusion is that he approaches German idealism not in terms of its conceptual system-character, but in terms of sensual multiplicity, not seeking unity in it, but precisely fragmentation.     

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.     

Theor of free choice permission

I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the disjunctive uses of or may have come about through an intermediate discourse-adverbial use of or, drawing a parallel with but, which, etymologically, is disjunctive rather than conjunctive and whose conjunctive uses seem to represent just such a discourse-adverbial application.     

PROXY FUNCTIONS,TRUTH AND REFERENCE

Quines ontological relativity is related to Tarskis theory of truth in two ways: Quine repudiates term-by-term-correspondence, as does Tarskis rule of truth; and Quines proxy argument in support of relativity finds exact formulation in Tarskis truth definition.Unfortunately, relativity is threatened by the fact that the proxy argument doesnt comply with the rule of truth (Tarskis celebrated condition (T)). Despite Quines express allegiance to (T), use of proxy schemes does not generate all of the true sentences condition (T) requires.A possible adjustment is to drop (T), retain the satisfaction definition and proxy argument, and appeal to the theory of observation and indeterminacy of reference as grounds of relativity. But as we shall see Quines theories of assent to observation sentences and of reference-learning dont square easily with his naturalism. The first attributes intentional attitudes to observers; and the second assumes a holistic context principle and a concept of individuation which do not withstand scrutiny as empirical notions. Both appear to violate Quines behavorist canon.A saving alternative is a theory of term-reference that appears in Roots of Reference and affords a return to behaviorism, and reinstatement of the proxy argument and relativity in a way compatible with Tarskis (T).     

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.     

Les “règles de la discussion légitime” dans la logique de Port-Royal

In the XVIIth century the conflict which opposed the jansenists to the jesuits involved the problem of the due process in theological matter. The jesuits heralded the thesis that the infallibility of the Church has to be extended from dogmatics (quaestio iuris) to the historical facts (quaestio facti). On the opposite side Arnauld maintained that such an opinion was monstruous: also in religious matters the fact has to be proved according to the principles of a due process, and not by authority. In this article the thesis pleaded by the jansenists is considered in connection with the model of argumentative procedure offered by the Port-Royal logic.The Logique ou Art de penser (1622) by Antoine Arnauld and Pierre Nicole seems to have rediscovered the classical principles of the theory of argumentation: from the burden of proof to the idea of probable truth. But really a new model of adversary-system has been introduced into the modern mind, which is very different in concept from the topical tradition. The basic metaphor of combat, implying that the truth will prevail in the fight, is compatible with the epistemological premises of the modern logic (as the separation between fact and value). Therefore the problem of the fact-finding seems to be attracted into the area of the logic of information, and not of the theory of argumentation.

     

A new approach to the formulation and testing of learning models

It is argued that current attempts to model human learning behavior commonly fail on one of two counts: either the model assumptions are artificially restricted so as to permit the application of mathematical techniques in deriving their consequences, or else the required complex assumptions are imbedded in computer programs whose technical details obscure the theoretical content of the model. The first failing is characteristic of so-called mathematical models of learning, while the second is characteristic of computer simulation models. An approach to model building which avoids both these failings is presented under the title of a black-box theory of learning. This method permits the statement of assumptions of any desired complexity in a language which clearly exhibits their theoretical content.Section II of the paper is devoted to the problem of testing and comparing alternative learning theories. The policy advocated is to abandon attempts at hypothesis testing. It is argued that, in general, we not only lack sufficient data and sufficiently powerful techniques to test hypotheses, but that the truth of a model is not really the issue of basic interest. A given model may be true in the sense that on the basis of available evidence we cannot statistically reject it, but not interesting in the sense that it provides little information about the processes underlying behavior. Rather, we should accept or reject models on the basis of how much information they provide about the way in which subjects respond to environmental structure. This attitude toward model testing is made precise by introducing a formal measure of the information content of a model. Finally, it is argued that the statistical concept of degrees-of-freedom is misleading when used in the context of model testing and should be replaced by a measure of the information absorbed from the data in estimating parameters.I would like to express my indebtedness to Ernest W. Adams and Julian Feldman for their guidance and encouragement of the research reported here.Much of the research reported here was conducted at the University of California, Berkeley, and incorporated in a Ph.D. dissertation in Logic and the Methodology of Science [15]. The research was supported in part by the Computer Institute for Social Science Research, Michigan State University.     

Toulmin on Ideals of Natural Order

In this paper I criticize Toulmin's concept of Ideals of Natural Order and his account of the role these Ideals play in scientific explanation as given in his book, Foresight and Understanding. I argue that Toulmin's account of Ideals of Natural Order as those theories taken to be self evident by scientists at a given time introduces an undesirable subjectivism into his account of scientific explanation. I argue also that the history of science, especially the recent history of microphysics, does not support Toulmin's contentions about the supposed self-evidence of the basic explanatory theories in science.     

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.     

The relativity of perceptual knowledge

Since the most promising path to a solution to the problem of skepticism regarding perceptual knowledge seems to rest on a sharp distinction between perceiving and inferring, I begin by clarifying and defending that distinction. Next, I discuss the chief obstacle to success by this path, the difficulty in making the required distinction between merely logical possibilities that one is mistaken and the real (Austin) or relevant (Dretske) possibilities which would exclude knowledge. I argue that this distinction cannot be drawn in the ways Austin and Dretske suggest without begging the questions at issue. Finally, I sketch and defend a more radical way of identifying relevant possibilities that is inspired by Austin's controversial suggestion of a parallel between saying I know and saying I promise: a claim of knowledge of some particular matter is relative to a context in which questions about the matter have been raised.     

On some structural aspects of physical problems

Bachelard's concept of the problématique is used in order to classify physical problems and their interrelations. This classification is effectuated along two dimensions. Along the horizontal dimension, physical problems are divided into the kinds that the different modes of physics' development define. These modes are themselves determined by the interplay among the conceptual system, the object and the experimentation transactions specific to physics. Along the vertical dimension, physical problems are classified according to the different stages of maturation they have to undergo before the process of their solution is effectively undertaken. To determine these maturation stages, the Althusserian conception of ideology is used. The interrelations between physical problems are examined through the introduction and elaboration of the notion interdependence network.It is a pleasure to thank Marcello Pera and Kostas Gavroglou for their very helpful comments and criticisms.     

Ability estimation for conventional tests

Five different ability estimators—maximum likelihood [MLE ()], weighted likelihood [WLE ()], Bayesian modal [BME ()], expected a posteriori [EAP ()] and the standardized number-right score [Z ()]—were used as scores for conventional, multiple-choice tests. The bias, standard error and reliability of the five ability estimators were evaluated using Monte Carlo estimates of the unknown conditional means and variances of the estimators. The results indicated that ability estimates based on BME (), EAP () or WLE () were reasonably unbiased for the range of abilities corresponding to the difficulty of a test, and that their standard errors were relatively small. Also, they were as reliable as the old standby—the number-right score.     

Causal condition,causal asymmetry,and the counterfactual analysis of causation

In a recent paper Causal Asymmetry, Douglas Ehring has proposed an intriguing solution to the vexing problem of causal asymmetry. The aim of this paper is to show that his theory is not satisfactory. Moreover, the examples that I use in showing the defect of Ehring's theory also indicate that the counterfactual analysis of causation has a problem that cannot be remedied by Marshall Swain's suggested refinement of the counterfactual analysis of causation in Causation and Distinct Events.     

Think Before You Speak: Utterances and the Logic of Indexicals

This essay discusses some aspects of the logical behaviour of sentences in languages containing indexical and demonstrative expressions. After some preliminary remarks in section one, sections two and three focus on instances of logically true sentences that may be uttered falsely, and on cases of logically equivalent sentences whose utterances may have distinct truth-values. The logical and semantic problems taken into consideration include the validity of a Principle of Translation, the so-called puzzle of addressing, and examples related to measurement and approximation. Section four discusses the complementary phenomenon of sentences that may presumably always be uttered truly, but that do not qualify as logically true. In particular, I argue against the widespread tendency to consider I am here now or I exist as truths of the logic of indexicals.     

Promoting perspective coordination by dilemma discussion. The effectiveness of classroom group discussion on interpersonal negotiation strategies of 12-year-old students

Promoting social competence and social cognition is an important aim of education and socialization. According to theories of social cognitive and moral development, social cognition may be promoted by adolescent peer interaction. In this study, social cognition is theoretically conceptualized by the interpersonal negotiation strategies model of Selman which distinguishes levels of perspective coordination and steps of information processing (identification of a problem, generating negotiation strategies, selection of a strategy, evaluation). In a pre-post control group design this study investigated whether dilemma discussions among peers lead to higher individual levels of perspective coordination compared to an individualistic condition. Members of the discussion-condition exhibited higher gain scores in perspective coordination compared to the control group regarding the information processing steps generating strategies and strategy selection. In order to analyze verbal interaction in the discussion groups, an integrative coding schedule was developed. In addition, trait-like argumentative motives of the participants were assessed. The results of multilevel analyses suggest that progress in posttest-perspective coordination is mediated by the groups consensual solution of the dilemma as well as by an explanation-oriented discussion style, but only if the latter is accompanied by a trait-like subject- and consensus-oriented argumentative motive. Theoretical and practical conclusions are drawn.     

Richard Zaner’s Phenomenology of the Clinical Encounter

The clinical ethics propounded by Richard Zaner is unique. Partly because of his phenomenological orientation and partly because of his own daily practice as a clinical ethicist in a large university hospital, Zaner focuses on the particular concrete situations in which patients and their families confront illness and injury and struggle toward workable ways for dealing with them. He locates ethical reality in the clinical encounter. This encounter encompasses not only patient and physician but also the patients family and friends and indeed the entire lifeworld in which the patient is still striving to live. In order to illuminate the central moral constituents of such human predicaments, Zaner discusses the often-overlooked features of disruption and crisis, the changed self, the patients dependence and the physicians power, the violation of personal boundaries and their necessary reconfiguring, and the art of listening.     

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     

On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.