首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
Choice and Logic     
There is a little known paradox the solution to which is a guide to a much more thoroughgoing solution to a whole range of classic paradoxes. This is shown in this paper with respect to Berrys Paradox, Heterologicality, Russells Paradox, and the Paradox of Predication, also the Liar and the Strengthened Liar, using primarily the epsilon calculus. The solutions, however, show not only that the first-order predicate calculus derived from Frege is inadequate as a basis for a clear science, and should be replaced with Hilbert and Bernays conservative extension. Standard second-order logic, and quantified propositional logic also must be substantially modified, to incorporate, in the first place, nominalizations of predicates, and whole sentences. And further modifications must be made, so as to insist that predicates are parts of sentences rather than forms of them, and that truth is a property of propositions rather than their sentential expressions. In all, a thorough reworking of what has been called logic in recent years must be undertaken, to make it more fit for use.Portions of this paper have previously been published in Logical Studies, vol. 9, http://www.logic.ru/LogStud/09/No9-06.html, and the Australasian Journal of Logic, vol. 2, http://www.philosophy.unimelb.edu.au/ajl/2004/2004_4.pdf.  相似文献   

3.
Inferential Intensionality   总被引:1,自引:1,他引:0  
The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its rules lead from the non-rejected assumptions to the accepted conclusions.First, we focus on the syntactic features of the framework and present the q-consequence as related to the notion of proof. Such a presentation uncovers the reasons for which the adjective inferential is used to characterize the approach and, possibly, the term inference operation replaces q-consequence. It also shows that the inferential approach is a generalisation of the Tarski setting and, therefore, it may potentially absorb several concepts from the theory of sentential calculi, cf. [10]. However, as some concrete applications show, see e.g.[4], the new approach opens perspectives for further exploration.The main part of the paper is devoted to some notions absent, in Tarski approach. We show that for a given q-consequence operation W instead of one W-equivalence established by the properties of W we may consider two congruence relations. For one of them the current name is kept preserved and for the other the term W-equality is adopted. While the two relations coincide for any W which is a consequence operation, for an arbitrary W the inferential equality and the inferential equivalence may differ. Further to this we introduce the concepts of inferential extensionality and intensionality for q-consequence operations and connectives. Some general results obtained in Section 2 sufficiently confirm the importance of these notions. To complete a view, in Section 4 we apply the new intensionality-extensionality distinction to inferential extensions of a version of the ukasiewicz four valued modal logic.  相似文献   

4.
Adults' accuracy on a sentence verification task was measured to assess reliable biases in their responses as a function of their level of knowledge about the target words, as well as adults' ability to reject incorrect ontological category membership for their partially known words. Three levels of word knowledge (known, frontier, and unknown) were assessed in two experiments. Results indicated that participants were conservative decision-makers about sentences using the vocabulary words and that the conservative bias increased in strength as their level of knowledge about the target word increased. When biased guessing was discouraged, results indicated that participants were able to accurately identify both correct and incorrect sentences using targets at all three levels of knowledge, including their partially known words, but were least reliable at rejecting false sentences using unknown targets. Implications for the role of knowing not in adults' vocabulary acquisition are discussed.  相似文献   

5.
The ability of behavioral scientists to assist society deal competently with destructive behavior relies upon a recognition of its causes. Despite the pervasiveness of violence in American society, the roots of destructiveness are still poorly understood. Five primary and five secondary factors found in the developmental histories of people who have become involved in serious destruction are identified and discussed. The confluence of these factors in the steps toward destructive acts are traced.  相似文献   

6.
Im Anfang des 20.Jahrhunderts unterzog eine Reihe von jungen, später berühmt gewordenen Philosophen den Marxismus einer tiefen Kritik. Ihnen ist es gelungen, wichtige Defekte der revolutionären Doktrinen aufzudecken und ihre verhängnivsollen Konsequenzen vorwegzunehmen. Diese Kritik ist auch für die gegenwärtige geistig-politische Situation aktuell.  相似文献   

7.
The author offers a personal reading of James Joyce's The Dead. She focuses on how the sounds of the language are used to portray the main character's deadness and his beginning to come to life once the barriers to inner self and self-knowledge are broken.  相似文献   

8.
Studies in East European Thought - Articulated in the twenties, the doctrines of the exiled Russian ‘Evrazijstvo’ movement are undergoing a renaissance in Russia today. As the...  相似文献   

9.
A distinction between activities and processes plays an important role in Aristotle's argument to establish that the good life is a life of activities, among which metaphysical contemplation is foremost. But, as a result of having failed to distinguish internal from external ends of action, Aristotle makes fallacious inferences from every activity's having an internal end in itself to its possessing features which may be legitimately inferred only from external ends, and from every process's having an internal end that is its terminal point to its having the attainment of that terminal point as an external end. The resulting confusion explains a number of problematic elements in Aristotle's ethical theory.  相似文献   

10.
Experience with real data indicates that psychometric measures often have heavy-tailed distributions. This is known to be a serious problem when comparing the means of two independent groups because heavy-tailed distributions can have a serious effect on power. Another problem that is common in some areas is outliers. This paper suggests an approach to these problems based on the one-step M-estimator of location. Simulations indicate that the new procedure provides very good control over the probability of a Type I error even when distributions are skewed, have different shapes, and the variances are unequal. Moreover, the new procedure has considerably more power than Welch's method when distributions have heavy tails, and it compares well to Yuen's method for comparing trimmed means. Wilcox's median procedure has about the same power as the proposed procedure, but Wilcox's method is based on a statistic that has a finite sample breakdown point of only 1/n, wheren is the sample size. Comments on other methods for comparing groups are also included.  相似文献   

11.
Yameng Liu 《Argumentation》1997,11(4):479-491
A recognition of the acutely terministic and agonistic character of philosophizing has led to the perception of a dilemma in philosophical debates: differing positions are capable of being maintained only at the expense of mutual unintelligibility, and a real contact of minds could never be achieved without one side of the controversy abandoning its position and the enabling argumentative tension ceasing to exist. This perception is sustainable, however, only if we continue to accept the assumption that a direct, unmediated confrontation between disputants personifying two sets of rigidly defined terms is the mode of philosophical argumentation. A triadic rather than diadic conception of a typical debate between opposing schools of thought, which differentiates between the opponent and the audience, would address the theoretical misgivings caused by the perceived predicament.  相似文献   

12.
Daniel Levinson's claim for the universality of age-linked periods is considered highly controversial considering that his theory evolved from a study consisting of males only. Theories relating to women's development, particularly at midlife, are somewhat scarce and restricted. Using Levinson's theory of adult development as a framework, the present study retrospectively examined the Dream and its impact on women's psychological health and adjustment to the Midlife Transition. Three hundred midlife women completed a questionnaire examining Dream Status, Dream Content, Dream Success, and the psychological health variables, depression, anxiety, self-esteem, and life satisfaction. Dream Success was significantly related to psychological health on dimensions of well-being and composure, and interesting changes were observed in Dream Content across the early and current Dream. Our findings revealed that, despite the overall greater complexity of women's Dreams, Levinson's theory is largely applicable to women's development.  相似文献   

13.
The introduction of Linear Logic extends the Curry-Howard Isomorphism to intensional aspects of the typed functional programming. In particular, every formula of Linear Logic tells whether the term it is a type for, can be either erased/duplicated or not, during a computation. So, Linear Logic can be seen as a model of a computational environment with an explicit control about the management of resources.This paper introduces a typed functional language ! and a categorical model for it.The terms of ! encode a version of natural deduction for Intuitionistic Linear Logic such that linear and non linear assumptions are managed multiplicatively and additively, respectively. Correspondingly, the terms of ! are built out of two disjoint sets of variables. Moreover, the -abstractions of ! bind variables and patterns. The use of two different kinds of variables and the patterns allow a very compact definition of the one-step operational semantics of !, unlike all other extensions of Curry-Howard Isomorphism to Intuitionistic Linear Logic. The language ! is Church-Rosser and enjoys both Strong Normalizability and Subject Reduction.The categorical model induces operational equivalences like, for example, a set of extensional equivalences.The paper presents also an untyped version of ! and a type assignment for it, using formulas of Linear Logic as types. The type assignment inherits from ! all the good computational properties and enjoys also the Principal-Type Property.  相似文献   

14.
In a previous examination of Ferenczis concept of the Wise Baby (1996), I had noted both its applications and its limitations in the analytic treatment of an unusually intelligent adult. Ferenczis concepts of the origin of intellect in trauma and of the wise baby have often left the indistinct impression of being interrelated phenomena. In this paper, I regard as arguable the notion that very high intelligence is pathological when it is precocious. This return visit to the territory of the wise baby extends Ferenczis ideas about the origin and use of the intellect to include a consideration of what may constitute effective treatment for those who suffer from giftedness.Judith E. Vida, M.D. edits On the Arts for this journal. She is a Founding Member and Faculty of the Institute of Contemporary Psychoanalysis in Los Angeles, CA, a member of both American and International Psychoanalytic Associations, and of the Sándor Ferenczi Society of Budapest. Her private practice is in Pasadena, CA.Address correspondence to Judith E. Vida, 301 S. Fair Oaks Ave., Suite 406A, Pasadena, CA 91105, USA; e-mail: jvida@spence.net  相似文献   

15.
I provide a method of measuring the inconsistency of a set of sentences – from 1-consistency, corresponding to complete consistency, to 0-consistency, corresponding to the explicit presence of a contradiction. Using this notion to analyze the lottery paradox, one can see that the set of sentences capturing the paradox has a high degree of consistency (assuming, of course, a sufficiently large lottery). The measure of consistency, however, is not limited to paradoxes. I also provide results for general sets of sentences.  相似文献   

16.
17.
Löwe  Benedikt  Welch  Philip D. 《Studia Logica》2001,68(1):21-41
We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.  相似文献   

18.
This article reviews changes in models of supervision, resulting from technological developments and reflecting a variety of theoretical approaches. The focus is on open live supervision, conducted in the presence of the family. The supervisor and a therapeutic team join the therapist and the family, creating a complex supra-system that opens up several options for therapeutic intervention. Sessions are videotaped, and therapists use recordings for additional supervision and independent study. Therapists may also show recordings to the family as part of the therapeutic process. The advantages and disadvantages of the model are considered, and examples of some of the therapeutic options are described.This model was developed in the course of the author's work teaching and supervising students at the Counseling Department of the School of Education at the Hebrew University of Jerusalem, and supervising a multi-disciplinary team including physicians, psychologists, and social workers engaged in family therapy at the Municipal Psychological Services for Schools in Jerusalem. A shorter version of this article appeared in Hebrew inSihot 5 1991. Appreciation is expressed to Batya Stein for translating the final version of this article from Hebrew. Reprint requests should be addressed to Katrit Ron, Neve Granot 3-B, Jerusalem 93706, Israel.  相似文献   

19.
The purpose of this paper is to introduce an approach to clinical practice aiming to resolve the dilemma of choosing between a mechanistic and a phenomenological model. The approach is an extension of Polanyi's epistemology. Michael Polanyi (1891–1976), devised an epistemology of science which overcomes the problem of detachment, inherent in the mechanistic approach, and resolves the problem of subjectivity troubling phenomenologists. His epistemology is known as Personal Knowledge. An extension of this epistemology, a Neo-Polanyian proposal, is offered as a more successful model for clinical practice than previous suggestions addressing the dilemma.  相似文献   

20.
This paper examines Ronald Dworkin's claim that the right to free speech does not include a right to circumstances that encourage citizens to speak nor a right to competent and sympathetic understanding on the part of listeners. Drawing on familiar arguments for the existence of other human rights, the paper challenges Dworkin's claim. Even if, however, the challenge fails and it is not possible to show that there is such a right, that is not the end of the story. It is argued that democratic societies should try to foster conditions in which citizens are encouraged to speak and are listened to sympathetically in the interests of the well-being and flourishing of the polity. The important role education has to play in this is explored.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号