Tomis Kapitan

MEDIEVAL LOGICCARLOS A. DUFOUR, Die Lehre der Proprietates Terminorum. Sinn und Referenz in mittelalterlicher Logik. München, Hamden, Wien: Philosophia, 1989. 312 pp. 148 DM.NORMAN KRETZMANN and BARBARA ENSIGN KRETZMANN The Sophismata of Richard Kilvington. Oxford: Published for the British Academy by Oxford University Press, 1990. xx + 156 pp. £27.50.LOGIC AND MATHEMATICSSOULEYMANE BACHIR DIAGNE, Boole. Paris: Editions Belin, 1989. 262pp. 75 Ffr.M.-M. TOEPELL, Über die Entstehung von David Hilberts “Grundlagen der Geometrie”. Göttingen: Vandenhoeck und Ruprecht, 1986. vii + 293 pp. 82 DM.VOLKER PECKHAUS, Hilbertprogramm und Kritische Philosophie. Das Göttinger Model1 interdisziplinarer Zusammenärbeit zwischen Mathematik und Philosophie. Gottingen: Vandenhoeck und Ruprecht, 1990. vi + 291 pp. 78 DM.E. WELTI, Die Philosophie des Strikten Finitismus, Entwicklungstheoretische und mathematische Untersuchungen iiber Unendlichkeitsbegriffe in Ideengeschichte und Mathematik, Bern, Frankfurt am Main und New York: Peter Lang, 1986. xxix + 652pp. $79.90.Philosophy of logicMARK A. NOTTURNO, Perspectives on psychlogism. Leiden, New York, Copenhagen and Cologne: E. J. Brill, 1989. viii + 504 pp. 225 Dfl/$112.50.ROBERT N. MCLAUGHLIN, On the logic of ordinary conditionals. Albany: State University of New York Press, 1990. xvii + 202 pp. $54.50 /$17.95.JAAKKO HINTIKKA and MERRILL HINTIKKA, The logic of epistemology and the epistemology of logic: selected essays. Dordrecht, Boston and London: Kluwer Academic Publishers, 1989.J. NORMAN and R. SYLVAN, Directions in relevant logic. Foreword by N. D. Belnap. Dordrecht, Boston and London: Kluwer Academic Publishers, 1989. xii + 453 pp. £72.00.LOGIC AND LANGUAGEC. J. F. WILLIAMS, What is identity? Oxford: Clarendon Press, 1989. xx + 207 pp. £25.00.GREGORY MCCULLOCH, The game of the name. Oxford: Oxford University Press, 1989. xvi + 320pp. £30.00, £9.95.GRAEME FORBES, Languages of possibility. Oxford: Basil Blackwell, 1989. x + 181 pp. £27.50.

According to C. S. Peirce, abduction is a rational attempt to locate an explanation for a puzzling phenomenon, where this is a process that includes both generating explanatory hypotheses and selecting certain hypotheses for further scrutiny. Since inference is a controlled process that can be subjected to normative standards, essential to his view of abductive rasoning is that it is correlated to a unique species of correctness that cannot be reduced to deductive validity or inductive strength. This irreducibility claim is of considerable importance for the logical and epistemological scrutiny of scientific methods, but it is not clear that Peirce produced a convicing argument for it. To the contrary, when the full structure of abductive argumentation is clarified, especially as presented in Peirce’s later writings on the topic, a good case can be made for viewing every inferential step in the abductive process as dissolving into familiar forms of deductive and inductive reasoning. Specifically, hypothesis-selection is a special type of practical inference that, if correct, is deductively valid, while the creative phase, hypothesis-generation, is not inferential at all. Once this is understood, it emerges that the familiar descriptions of abduction as “inference to the best explanation” or as a process of “belief revision” are, at best, misleading.

It is said that faith in a divine agent is partly an attitude of trust; believers typically find assurance in the conception of a divine being's will, and cherish confidence in its capacity to implement its intentions and plans. Yet, there would be little point in trusting in the will of any being without assuming its ability to both act and know, and perhaps it is only by assuming divine omniscience that one can retain the confidence in the efficacy and direction of divine agency that has long been the lure of certain religious traditions

The use of single letters in displaying patterns, functions, generalizations, and unknowns, dominates mathematical expression, and for that reason, appears in every domain of theoretical and technical discourse employing even the slightest bit of mathematical language. These variables, as they have come to be called, are the very mark of abstract power and precision, ingenious tools for expressing functionality and valid formulae and, thereby, for providing solutions to types of problems as well as facilitating the calculation of unknowns. Compare, for example, the ease with which we grasp and work with the formula.

In 'You and She*' (ANALYSIS 51.3, June 1991) C.J.F. Williams notes the importance of reflexive pronouns in attributions of propositional attitudes, and claims to improve upon an earlier account of Hector-Neri Castaneda's in [1]. However, to the extent which his remarks are accurate, they reveal nothing that Castaneda hasn't already said, while insofar as they are new, they obliterate distinctions vital to Castaneda's theory. Castaneda called these pronouns quasi-indicators and noted that they function as linguistic devices used for attributing indexical reference to others. For example, in hearing Arthur say 'I am wise' we would report his claim in English with, (1) Arthur thinks that he himself is wise. where 'he himself' is a quasi-indicator used to attribute to Arthur reference to himself qua self -- an expression that Castaneda abbreviated with 'he*.' Note that (1) is quite different from, (2) Arthur thinks that I am wise for 'I', functioning here as an indexical term, represents only the speaker's reference. Nor can (1) be identified with, (3) Arthur thinks that Arthur is wise. for this fails to represent the indexical character of Arthur's thought. Thus, (3) falls short of the informational content of (1). Moreover, as Williams, echoing Castaneda, points out, Arthur might not know that he himself is Arthur, or that he is named 'Arthur.' Hence, (3) might be false even if (1) is true. Williams observes that 'she' can also be used in oratio obliqua to report an indexical 1 usage, e.g., in (4) Arthur told Mary that she ought to talk to Shirley Makepeace's..

Any intelligent discussion of terrorism must demarcate its subject matter, for the term ‘terrorism’ is differently understood and where there is no accord on its meaning there is little chance for agreement on its application or normative status. The best course is to sketch a morally neutral definition that classifies as ‘terrorist’ as many widely-agreed upon cases as possible. Definitions that explicitly render terrorism illegitimate make classification contentious, and it is more informative to base moral assessment on an examination of the case rather than through apriori stipulation. Most writers on the topic agree that terrorism is (i) a deliberate use or threat of violence, (ii) politically-motivated, and (iii) directed against non-military personnel, that is, against civilians or noncombatants. Taking these as the only essential features of terrorism, the simplest and more accurate reportive definition is this: Terrorism is deliberate, politically-motivated violence, or the threat of such, directed against civilians.1 By contrast, Ted Honderich describes terrorism as small-scale violence, driven by a political aim, that violates national or international law and is prima facie morally wrong. He thereby counts a good deal of resistance activity and guerilla warfare as terrorist, even when directed against military personnel, while excluding the large-scale military actions of governments. Of course, he may define the word as he chooses, but given its common..

Philosophers commonly speak of a person’s being justified in believing a proposition by one or more reasons he or she has for it. This phenomenon, often called inferential or indirect justification, seems so pervasive that some are tempted to count all epistemic justification as such, though even dessenters from this view can acknowledge that justification through reasons is central to wide domains of cognitive appraisal, e.g., in science and in law. A basic task for the epistemologist is to explain how an indirectly justified belief is related to the evidential belief by which it is justified. Here, I will address one aspect of this issue, namely, if S is indirectly justified in believing p by his belief that q must S also be justified in believing that q is a reason for p, or, in other words, that q confirms or supports p? An affirmative response imposes what can be called a requirement of a justified connecting belief or, as I shall speak, of a warranted connecting proposition upon indirect justification. Opinion is divided as to its necessity, with many reliabilists anxious to avoid it altogether. I propose to remove certain obstacles to its acceptance, even within a reliability framework, while attempting a more precise determination of what the requirement comes to.

Everyday reasoning is replete with arguments which, though not logically valid, nonetheless harbor a measure of credibility in their own right. Here the claim that such arguments force us to acknowledge material validity, in addition to logical validity, is advanced, and criteria that attempt to unpack this concept are examined in detail. Of special concern is the effort to model these criteria on explications of logical validity that rely on notions of substitutivity and logical form. It is argued, however, that such a parallel is not easily located and that it is uncertain that a construal of material validity can be fashioned after traditional accounts of logical validity. Attention is also given to the topics of enthymemes and to the proper domain of logic