Finite quasivarieties and self-referential conditions

In this paper, we concentrate on finite quasivarieties (i.e. classes of finite algebras defined by quasi-identities). We present a motivation for studying finite quasivarieties. We introduce a new type of conditions that is well suited for defining finite quasivarieties and compare these new conditions with quasi-identities.Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko     

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.     

Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

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     

Test of the violation of local realism in quantum mechanics with no use of Bell's inequalities

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies and noise.     

A non-finitely based quasi-variety of De Morgan algebras

In this paper we exhibit a non-finitely based, finitely generated quasi-variety of De Morgan algebras and determine the bottom of the lattices of sub-quasi-varieties of Kleene and De Morgan algebras.Supported by Vicerrectoría Académica de la Facultad de Ciencias and by División de Investigación, Sede Bogotá of the Universidad Nacional de Colombia.Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko     

Hemingway's Aging Heroes and the Concept of Phronesis

This article explores the concept of phronesis (practical wisdom) in four aging protagonists in Ernest Hemingway's works ranging from the short story A Clean Well-Lighted Place to the novella The Old Man and the Sea. Phronesis represents an understanding of the ways of the world, an acute sensitivity to a critical logic of human existence that can be attained only through extensive experience and suffering. The four aging protagonists are examples of Hemingway's definition of aging productively and profitably by purchasing an inner peace that consists of an intuitive system of continuous adjustment to the exigencies of daily living.     

Praxis and Agency in Foucault’s Historiography

This paper examines the consequences for agency that Foucaults historiographical approach constructs. The analysis begins by explaining the difference between legislative history and exemplary history, drawing parallels to similar theoretical distinctions offered in the works of Max Weber, J.L. Austin, and Zygmunt Bauman. The analysis continues by reading Habermass critique of Foucault through the tropological lenses suggested by White [Metahistory. Baltimore, MD: Johns Hopkins University Press, 1973]; it argues that Habermass critique misrecognizes the tropes of Foucaultian genealogy. The paper draws implications for education by articulating possibilities for praxis and agency in terms of pedagogy specifically related to the distinction between didactics and modeling. The paper concludes by suggesting that genealogy does not play by Hegels rules, but rather exemplifies agency in ways that are not recognizable from a modernist perspective.     

Truthlikeness without truth: A methodological approach

In this paper, an attempt is made to solve various problems posed to current theories of verisimilitude: (1) the (Miller's) problem of linguistic variance; (2) the problem of which are the best scientific methods for getting the most verisimilar theories; and (3) the question of the ontological commitment in scientific theories. As a result of my solution ot these problems, and with the help of other considerations of epistemological character, I conclude that the notion of Tarskian truth is dispensable in a rational (and realist) interpretation of the scientific enterprise. As a logical result, however, falsificationism will be vindicated.

... and in brief, a speaker must always aim at verisimilitude, and send the truth packing.

Plato,Phaedrus, 272 EI want to express my gratitude to Professors García-Bermejo, Niiniluoto, and Zofío for interesting comments and critiques of several of the ideas in this paper, and to Miss Karen Firnich for correcting my English. I am also thankful to an anonymous referee who indicated several dark points on a previous version of my article.     

On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties

We study the structure of algebraic -closed subsets of an algebraic lattice L, where is some Browerian binary relation on L, in the special case when the lattice of such subsets is an atomistic lattice. This gives an approach to investigate the atomistic lattices of congruence-Noetherian quasivarieties.V. A. Gorbunov has died in January 1999Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented by M. E. Adams, W. Dziobiak, and A. V. Kravchenko     

Mel Gibson’s Big Gamble: <Emphasis Type="Italic">The Passion of Christ</Emphasis>

Mel Gibsons film is a creative reworking of opportunities provided by migrating to Australia as a boy and a life-long desire to be reconciled to his father, Hutton Gibson. If the film is read as a study in psychology and biography, then biblical and theological critiques, along with contemporary politically correct stances towards what Gibson did, can be set temporarily aside in search of a larger trajectory of meaning implicit in the film. The embodied nature of the film, along with other violent films in which Gibson starred in the past three decades, points to wellsprings of power in the blood. Violence becomes an idiom of reconciliation with authority. Gibsons relationship to his father plays a major role in such a reading of the film. A continuous reconciliation with his father is evident not only in thematic continuities over the course of Mel Gibsons professional acting career and starring roles. It also structures the directors construction of Christs Passion. A desire not to be forsaken gives rise to this idiosyncratic and controversial film, itself a cinematic statement about Gibsons own personal spiritual torment.Richard A. Hutch is Director of Studies of the Faculty of Arts and Reader in Religion and Psychological Studies in the School of History, Philosophy, Religion, and Classics at the University of Queensland in Brisbane, Australia 4072.     

Reflection-impulsivity and information seeking in emotionally disturbed children

Forty-four emotionally disturbed children were administered the Matching Familiar Figures Test by one examiner after which the 13 most impulsive and 13 most reflective were chosen. A second examiner administered the Fixed Alternatives Question-Asking Game in whichSs sought information by asking questions that could be answered either yes or no. These questions were classified on a developmental basis; reflective children were found to employ more mature questions than did impulsive ones. Indirect comparisons between the present results and those obtained with normalSs were made.     

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.     

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.     

“Some more” notes,toward a “third” sophistic

Historians of rhetoric refer to two Sophistics, one in the 5th century B.C. and another c. 2nd century A.D. Besides these two, there is a 3rd Sophistic, but it is not necessarily sequential. (The 3rd is counter to counting sequentially.) Whereas the representative Sophists of the 1st Sophistic is Protagoras, and the second, Aeschines, the representative sophists of the 3rd are Gorgias (as proto-Third) and Friedrich Nietzsche, Jean-François Lyotard, Michel Foucault, Jacques Lacan, and Paul de Man.To distinguish between and among Socrates, Plato, and Aristotle, and then Protagoras, Gorgias, and Lacan, the author determines how far each of these personages can count. The model of counting, used semiotically across the topoi of possible/impossible, is that of the people of New Guinea: one thing, two things, many things. It is determined (generally) that the philosophers, including Aristotle, count to one; the Sophists to two; and Gorgias, Lacan, and Lyotard, et al. count to many things, thereby breaking up a monism or binarism. The ancient philosophers employ a substratum of probability to hold together the contraries of possible/impossible; the Sophists employ anti/logic, which keeps the contraries/antitheses separate and therefore without synthesis, but which eventually threatens the integrity of the substratum, or the law of non-contradiction; and Gorgias, Lacan, Lyotard et al. theorize about the impossibility/Resistance of the Logos (reason, logic, law, argumentation, history) to Theory/Totalization, because of the Gorgian Kairos and the Lacanian Real — both of which enter the Logos and break up the cycle of the antitheses and create something new, irrational (Untersteiner).This breaking up has a negative/positive influence on Protagoras's man-measure doctrine, which in turn has a similar influence on the problem of the ethical subject. The subject/agent not only no longer knows (by way of Logos) but also no longer acts (as independent agent); the subject becomes a function of Logos as determined by Kairos/Real; it moves from a hypotaxis/syntaxis of one and two to a radical parataxis/paralogy of some more.From the Impossibility/tragedy of knowledge, however, comes the Possible, or Possibilisms, which allows for the new (though divided) ethical subject to reclaim its position as individual. Such a reclamation of the subject, however, has a profound effect on argumentation, and especially the notion of consensus. What is wanted, then, in a Third Sophistic ethical — as opposed to a political — rhetoric is dissensus through radical parataxes and paralogies.     

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.     

Moral Conflicts between Groups of Agents

Two groups of agents, and , face a moral conflict if has a moral obligation and has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like ‘In the interest of group of agents, group of agents ought to see to it that .’ We provide a formal language and a consequentialist semantics. An illustration of our semantics with an analysis of the Prisoner’s Dilemma follows. Next, necessary and sufficient conditions are given for (1) the possibility that a single group of agents faces a moral conflict, for (2) the possibility that two groups of agents face a moral conflict within a single moral code, and for (3) the possibility that two groups of agents face a moral conflict.     

Heidegger's Brightness as a Responsibility of the Therapist in Existential Family Therapy

The author reflects upon the Heideggerian concepts of thrown-ness, death imagery, arrogance and brightness and their usefulness in existential family therapy. The article describes and illustrates with clinical material the process of helping a couple or family to move from an arrogance response to thrownness and death imagery to the response of brightness as attendants of Being. The responsibilities of the therapist in facilitating such a process are also described.Director of the Worthington Logotherapy Institute, co-director of Lantz and Lantz Counseling Associates, and a professor at The Ohio State University. College of Social Work     

Are Knowledge Claims Indexical?

David Lewis, Stewart Cohen, and Keith DeRose have proposed that sentences of the form S knows P are indexical, and therefore differ in truth value from one context to another.¹ On their indexical contextualism, the truth value of S knows P is determined by whether S meets the epistemic standards of the speakers context. I will not be concerned with relational forms of contextualism, according to which the truth value of S knows P is determined by the standards of the subject Ss context, regardless of the standards applying to the speaker making the knowledge claim. Relational contextualism is a form of normative relativism. Indexical contextualism is a semantic theory. When the subject is the speaker, as when S is the first person pronoun I, the two forms of contextualism coincide. But otherwise, they diverge. I critically examine the principal arguments for indexicalism, detail linguistic evidence against it, and suggest a pragmatic alternative.     

Why? Versus Why Not?: Potentialities of Aging in Shaw's Back to Methuselah

Bernard Shaw's critique of society's sacred cows, as well as his participation in the social, cultural and political marketplace in which he lived, resemble the new historical/cultural materialism of contemporary theory. In Back to Methuselah, Shaw examines the notions of aging and illuminates the degree to which our chronological standards of old age are sociological not biological constructs. This tour de force on aging both dramatizes age as a function of societal and/or individual choice, not as a biological given, and juxtaposes opinions toward aging in such a way that flexible attitudes toward the subject emerge.