Bocheński and Balance: System and History in Analytic Philosophy

Using the work of Józef Bocheski as apositive example, this paper sets out the casefor a balanced use of historical knowledge indoing analytic philosophy. Between the twoextremes of relativizing historicism, whichdenies absolute truth, and arrogant scientism,which denies any constructive role for thehistory of ideas in philosophy, lies a viamedia in which historical reflection onconcepts and their history is placed at theservice of the system of cognitive philosophy.Knowledge of the history of philosophy, whilenot a sine qua non, can empower analyticphilosophy to push forward to new and moresatisfactory solutions to old and new problems.Examples are adduced from Bocheski's oeuvreand from the author's own experience.     

Students’ knowledge about the value of discussions for teaching and learning

We are particularly interested in looking at teaching and learning from students perspectives. Focussed interviews and written responses from a number of linked investigations with middle-school and tertiary students highlighted that students perceive discussion to be a valuable teaching -- learning technique. This paper provides text extracts, organised into six key themes, to illustrate students understandings about how discussion helps them to learn. We conclude that, across the whole participant group, knowledge about the various potentials of discussion for learning is wide ranging. However, at the individual level, some students perspectives appear limited. We propose that specific attention to enhancing students pedagogical knowledge about techniques such as discussion should accompany subject matter instruction.     

Lambda Calculus and Intuitionistic Linear Logic

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.     

DIE MARXISMUS – DEBATTE IM “SILBERNEN ZEITALTER”

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.     

Fuzzy Logic and Arithmetical Hierarchy III

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satisfiable sentences (sentences true in at least one interpretation) as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.     

Rereading sophistical arguments: A political intervention

This essay argues that Aristotle's categories of oratory are not as useful in judging the methods of Sophistical rhetoric as his presentation of time. The Sophistical argumentative method of making the weaker the stronger case is re-evaluated as a political practice. After showing this argument's relation to power and ideology, Aristotle's philosophy, which privileges a procedure of argument consistent with the politics of a polis-ideal rhetoric, is offered as reason for objecting to Sophistical rhetoric. The essay concludes that Sophistical rhetoric prefers the concept of possibility over Aristotelian actuality, and offers a need for an ideological space of radical, generative possibility in rhetorical theory.     

Empirical bayes estimates of domain scores under binomial and hypergeometric distributions for test scores

We introduce two simple empirical approximate Bayes estimators (EABEs)— and —for estimating domain scores under binomial and hypergeometric distributions, respectively. Both EABEs (derived from corresponding marginal distributions of observed test scorex without relying on knowledge of prior domain score distributions) have been proven to hold -asymptotic optimality in Robbins' sense of convergence in mean. We found that, where and are the monotonized versions of and under Van Houwelingen's monotonization method, respectively, the convergence rate of the overall expected loss of Bayes risk in either or depends on test length, sample size, and ratio of test length to size of domain items. In terms of conditional Bayes risk, and outperform their maximum likelihood counterparts over the middle range of domain scales. In terms of mean-squared error, we also found that: (a) given a unimodal prior distribution of domain scores, performs better than both and a linear EBE of the beta-binomial model when domain item size is small or when test items reflect a high degree of heterogeneity; (b) performs as well as when prior distribution is bimodal and test items are homogeneous; and (c) the linear EBE is extremely robust when a large pool of homogeneous items plus a unimodal prior distribution exists.The authors are indebted to both anonymous reviewers, especially Reviewer 2, and the Editor for their invaluable comments and suggestions. Thanks are also due to Yuan-Chin Chang and Chin-Fu Hsiao for their help with our simulation and programming work.     

Peace and Justice: A Limited Reconciliation

This paper aims to relax the tension between the political requirements of making peace and the moral demands of doing justice, in light of the ‘peace processes’ in South Africa and Northern Ireland. It begins by arguing that criminal justice should be reconceived as consisting primarily in the vindication of victims, both direct and indirect. This is not to deny the retributive punishment of perpetrators any role at all, only to insist that it be largely subservient to the goal of vindication. Why should we take such an account of justice to be true? The paper offers two reasons. First, Christians – and even secularist liberals – have a prima facie reason in the consonance of this account with the Bible's eudaimonistic conception of justice as ordered to the restoration of healthy community. Second, since all concepts of criminal justice share the basic notion of putting right what is wrong, it would be odd if the repair of damage done to victims (i.e., their ‘vindication’) were not prominent among its concerns; and there are reasons to suppose that this vindication should actually predominate in relation to the other principles of justice (the retributive ‘balancing’ of crime and punishment, and the reform of the criminal for his own sake). In its final sections, the paper applies the proposed conception of criminal justice to the ‘peace processes’ in South Africa and Northern Ireland, and concludes that in both cases, notwithstanding concessions to the politics of peace-making, considerable justice has been done.     

Feind Oder Zeuge Des Glaubens? Nietzsche im Spiegel der Russischen Religiösen Philosophie

Sehr früh machte sich die russischeintellektuelle und literarischeÖffentlichkeit mit den Ideen von Nietzschevertraut, und bald entbrannten – nach gutrussischer Art – heftige Kontroversen, in derenZentrum die russische religiöse Philosophiestand. Mit Ausnahme von Solov'ëv, der eineunwiderlegbare Kritik an Nietzsches Atheismusausübte, aber sich damit begnügte,versuchten Berdjaev, estov und Frank dieinneren Widersprüche und Ambivalenzen desPredigers des ``Übermenschen aufzudecken.'Diese Denker waren geneigt neben dem``Antichrist' auch dem Gottsucher Rechnung zutragen, der, obschon Gott leugnet, dennoch umihn ringt und durch die Aufrichtigkeit undLeidenschaftlichkeit seines Erlebens derGottesfrage zu ihrem besseren und tieferenVerständnis beitragen kann.     

Some Thoughts about the Origins of ``Greek Ethics'

In this paper, I argue that several of the main issues that became a focus for classical Greek philosophy were initially framed by Homer. In particular, Homer identifies a tension between justice and individual excellence, and problematizes the connection between the heroic conception of excellence and ``eudaimonia' (happiness). The later philosophers address the problems raised in Homer by profoundly transforming the way each of these terms was to be conceived.