Krystyna Misiuna

Michael Dummett, Frege and other philosophers. Oxford:Clarendon Press, 1991. xii + 330pp. £35. ISBN W.Balzer and C.U.Moulines (eds,), Structuralist theory of science:focal issues, new results, Berlin; de Gruyter, 1996. xi + 295 pp.DM 210. ISBN 3-11-014075-6 Henry Prakken, Logical tools for modeling legal argument a study of defeasible reasoning in law.Dordrecht, The Netherlands:Kluwer Academic, 1997, xiii + 314pp.£75.00/$125.00 J.Srzednicki and Z.Stachniak (eds.) Lesniewski’s Systems.Protothetic.Nijhoff International Philosophy Series, 54, Dordrecht, Boston and London:Kluwer, 1998. xiv + 310 pp, £99 (cloth). ISBN 0-7923-4504-5

Patrick Grim, The incomplete universe:totality, knowledge, and truth. Cambridge, Mass, and London: The MIT Press, 1991. xiv + 165pp. £22.50 Jan SebestikLogique et mathématique chez Bernard Bolzano. Paris:Vrin, 1992. 522 pp. 198Fr J. De Lorenzo, Kant y la matemâtica. El uso constructivo de la razön pura Madrid:Editorial Tecnos, 1992. 180 pp. No price stated F. Coniglione, R. Poli And J. Woleintski, Polish scientific philosophy:The Lvov-Warsaw school. Amsterdam and Atlanta, Georgia: Rodopi, 1993. xi + 358pp. No price stated I. Kant Lectures on logic. Translated and edited by J. Michael Young. Cambridge:Cambridge University Press, 1992. xxxii + 695 pp. £55.00 Michael Dummett, The seas of language. Oxford:Clarendon Press, 1993. xvii + 482 pp. £40.00 Stephen Read,, Sophisms in medieval logic and grammar. Acts of the Ninth European Symposium for Medieval Logic and Semantics held at St Andrews, June 1990. Dordrecht, Boston, London:Kluwer Academic Publishers, 1993. xvii + 421pp. $157.50 James D. McCawley, Everything that linguists have always wanted to know about logic∗ ∗but were ashamed to ask. Second edition. Chicago and London:The University of Chicago Press, 1993. xxi + 633pp. £25.95/$37.50 ; £79.25/$113.75 Theodor Ebert, Dialektiker und frühe Stoiker bei Sextus Empiricus. Untersuchungen zur Entstehung der Aussagenlogik. Göttingen:Vandenhoeck & Ruprecht, 1991. 347 pp. DM 85.00 Entre la logique et la foi. Entretiens avec Joseph-M. Bochenski recueillis par Jan Parys. Translated from the Polish by Eric Morin-Aguilar. Montricher :Editions Noir-sur-Blanc, 1990. 353 pp. SFr 40.00 Noel Balzer, The human being as a logical thinker. Amsterdam and Atlanta:Rodopi 1993, 148 pp. No price stated R. I. G. Hughes, A philosophical companion to first-order logic. Indianapolis:Hackett, 1993, viii + 309 pp. No price stated Shahid Rahman, Über Dialoge, Protologische Kategorien und andere Seltenheiten, Frankfurt, Peter Lang Verlag, 1993. 318 pp. No price stated Claire Ortiz Hill, Word and object in Husserl, Frege, and Russell. The roots of twentieth century philosophy. Athens, Ohio:Ohio University Press, 1991. xiii + 215pp., $34.95

Michael Dummett, Frege and other philosophers. Oxford:Clarendon Press, 1991. xii + 330pp. £35. ISBN W.Balzer and C.U.Moulines, Structuralist theory of science:focal issues, new results, Berlin; de Gruyter, 1996. xi + 295 pp.DM 210. ISBN 3-11-014075-6 Henry Prakken, Logical tools for modeling legal argument a study of defeasible reasoning in law.Dordrecht, The Netherlands:Kluwer Academic, 1997, xiii + 314pp.£75.00/$125.00 J.Srzednicki and Z.Stachniak Lesniewski’s Systems.Protothetic.Nijhoff International Philosophy Series, 54, Dordrecht, Boston and London:Kluwer, 1998. xiv + 310 pp, £99. ISBN 0-7923-4504-5

The main aim of the present article is an outline of an intuitively adequate system of logic of the operator "being informed". Such a system should be different from the familiar systems of epistemic and doxastic logic. The principle of veracity occurring in epistemic logics does not describe adequately the information operator, since the information may be true as well as false. On the other hand, the principle of consistency of beliefs, occurring in doxastic logics, cannot be applied to information, because the information can be inconsistent. Our logic of information, although it is based on Kripke's semantics, includes principles not occurring in the systems of epistemic and doxastic logics, such as the principle of incompleteness of information and the Brouwerian Axiom. We prove that this system is incomplete. We also suggest that it can be generalized to a dynamic logic in the sense of van Benthem

The concept of inconsistency has become recently the subject of many studies focused on the principle ex contradictione sequitur quodlibet which is a hallmark of the classical inconsistency. Stanisław Jaśkowski was the first who took a non-classical standpoint toward this principle building a system of propositional logic which rejects this classical principle. Rejecting it implies important consequences for the concept of classical negation, and poses the question in which properties the op-eration of negation should be endowed. The intention of this article is to define the concept of inconsistency as well as the concept of negation in a way satisfying the main intuitions natural language users connect with the two notions occurring in propositions containing vague concepts. The vagueness of natural language dis-course leads to the phenomenon of the seeming contradiction characteristic of natural language. A non-standard consequence relation for such a language has been defined in terms of preferential semantics making use of the concept of most classical model. This non-standard consequence relation is applied to the ethical discourse. The concepts introduced in this article have been used to an interpretation of the contradictories of Plato's Parmenides, as well as to the rejection of dialetheism

All empirical concepts belonging to natural language are vague. The vagueness of empirical discourse is a source of many semantical problems which have been known since ancient times. One of those problems concerns the so called sorites paradoxes. This article is an attempt to show that the paradoxes are either invalid or unsound inferences. Since classical logic is useless for semantical analysis of such inferences, the article makes use of the Belnap four-valued logic based on the bilattice FOUR. Belnap's logic is the base logic for defining a nonmonotonic consequence relation which prefers models with classical valuations among all valuations of the four-valued logic whenever it is possible. The approach outlined in this article is intuitive, and has more advantages than the supervaluational approach