Abstract
Assertions and arguments involving vague notions occur often both in ordinary language and in many branches of science. The vagueness may be plainly expressed by “modifiers”, such as ‘generally’, ‘rarely’, ‘most’, ‘many’, etc., or, less obviously, conveyed by objects termed ‘representative’, ‘typical’ or ‘generic’. A precise treatment of such ideas has been a basic motivation for logics of qualitative reasoning. Here, we present some logical systems with generalized quantifiers for these modifiers, also handling ‘generic’ reasoning. Other possible applications for these and related logics for qualitative reasoning are indicated. These (monotonic) generalized logics, with simple sound and complete deductive calculi, are proper conservative extensions of classical first-order logic, with which they share various properties. For generic reasoning, special individuals can be introduced by means of ‘generally’, and internalized as representative constants, thereby producing conservative extensions where one can reason about generic objects as intended. Some interesting situations, however, require such assertions to be relative to various universes, which cannot be captured by relativization. Thus we extend our generalized logics to sorted versions, with qualitative notions relative to the universes, which can also be compared.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Antoniou, G.: 1997, Nonmonotonic Reasoning, Cambridge, MIT Press.
Black, M.: 1967, ‘Induction’, in Edwards (1967) 4, 169–181.
Barwise, J. and R. Cooper: 1981, ‘Generalized Quantifiers and Natural Language’, Linguistics and Philosophy 4, 159–219.
Barwise, J. and S. Feferman: 1985, Model-Theoretic Logics, New York, Springer-Verlag.
Bell, J. L. and A. B. Slomson: 1971, Models and Ultraproducts: an Introduction, Amsterdam, North-Holland, (2nd rev. pr.).
Besnard, P.: 1989, An Introduction to Default Logic, Berlin, Springer-Verlag.
Brewka, G.: 1991, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge, Cambridge University Press.
Brewka, G., J. Dix and K. Konolige: 1997, Nonmonotonic Reasoning: An Overview, Stanford, CSLI.
Carnielli, W. A. and M. C. G. Grácio: 2000, ‘Modulated Logics and Uncertain Reasoning’, in Proc. Kurt Gödel Colloquium, Barcelona (to appear).
Carnielli, W. A. and A. M. Sette: 1994, ‘Default Operators’, Abstracts of the Workshop on Logic, Language, Information and Computation, Recife.
Carnielli, W. A. and P. A. S. Veloso: 1997, ‘Ultrafilter Logic and Generic Reasoning’, in G. Gottlob, A. Leitsch and D. Mundici (eds.), Computational Logic and Proof Theory, Berlin, Springer-Verlag (LNCS 1289), pp. 34–53.
Church, A.: 1956, Introduction to Mathematical Logic, vol. I, Princeton, Princeton University Press.
Enderton, H. B.: 1972, A Mathematical Introduction to Logic, New York, Academic Press.
Edwards, P. (ed.): 1967, The Encyclopedia of Philosophy, London, Collier Macmillan, (repr. Macmillan, New York, 1972).
Fine, K.: 1985, Reasoning with Arbitrary Objects, Oxford, Basil Blackwell (Aristotelian Society Series, vol. 3).
Frege, G.: 1879, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Louis Nebert, Halle (English translation in (van Heijenoort 1967, pp. 1–82)).
Gärdenfors, P.: 1988, Knowledge in Flux: Modelling the Dynamics of Epistemic States, Cambridge, MIT Press (Bradford Books).
Goodman, N.: 1955, Fact, Fiction and Forecast, Cambrige, Harvard University Press.
Grácio, M. C. G.: 1999, Lógicas Moduladas e Raciocínio sob Incerteza, D. Sc. dissertation, UNICAMP, Campinas.
Halmos, P. R.: 1963, Lectures on Boolean Algebras, Princeton, D. van Nostrand.
Hempel, C.: 1945, ‘Studies in the Logic of Confirmation’, Mind 54, 1–26, 97–121, (reprinted in (Hempel 1965, pp. 1–51)).
Hempel, C.: 1965, Aspects of Scientific Explanation and Other Essays in the Philosophy of Science, New York, Free Press.
Henkin, L.: 1949, ‘The Completeness of the First-order Functional Calculus’, Journal of Symbolic Logic 14, 159–166.
Keisler, H. J.: 1970, ‘Logic with the Quantifier there Exist Uncountably Many’, Annals of Mathematical Logic 1, 1–93.
Kelley, J. L.: 1955, General Topology, New York, D. van Nostrand.
Lecourt, D. (ed.): 1999, Dictionnaire d’Histoire et Philosophie des Sciences, Paris, PUF (Presse Universitaire de France).
Lindström, P.: 1966, ‘On Extensions of Elementary Logic’, Theoria 35, 1–11.
Lukaszewicz, W.: 1990, Non-monotonic Reasoning: Formalization of Commonsense Reasoning, Chichester, Ellis Horwood.
Makinson, D. and Gärdenfors, P.: 1991, ‘Relations between the Logic of Theory Change and Nonmonotonic Logic’, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Berlin, Springer-Verlag (LNAI 465).
Marek, V. W. and M. Truszczyński: 1993, Nonmonotonic Logic: Context-dependent Reasoning, Berlin, Springer-Verlag.
Meré, M. C. and P. A. A. Veloso: 1995, ‘Definition-like Extensions by Sorts’, Bulletin of the IGPL 3, 579–595.
Montague, R.: 1974, in R. Thomason (ed.), Formal Philosophy: Selected Papers, New Haven, Yale University Press.
Mostowski, A.: 1957, ‘On a Generalization of Quantifiers’, Fundamenta Mathematicae 44, 1236.
Nagel, E.: 1961, The Structure of Science: Problems in the Logic of Scientific Explanation, New York, Harcourt Brace.
Peterson, P. L.: 1979, ‘On the Logic of ‘Few’, ‘Many’, and ‘Most’ ’, Notre Dame Journal of Formal Logic 20, 155–179.
Popper, K. R.: 1934, Logik der Forschung, J. C. B. Molir, Tübingen (5. Aufl. 1973) (English translation The Logic of Scientific Discovery, New York, Basic Books, 1959 (6th edn. 1972)).
Popper, K. R.: 1975, Objective Knowledge: An Evolutionary Approach, Oxford, Clarendon.
Rentería, C. J., E. H. Haeusler and P. A. S. Veloso: 2001, ‘NUL: Natural Deduction for Ultrafilter Logic, Natural Deduction 2001, Rio de Janeiro (also ‘Dedução natural para lógica de ultrafiltros’, Res. Rept. MCC 16/02, PUC-Rio, Rio de Janeiro, 2002).
Reiter, R.: 1980, ‘A Logic for Default Reasoning’, Journal of Artificial Intelligence 13, 81–132.
Rescher, N.: 1962, ‘Plurality Quantification’, Journal of Symbolic Logic 27, 373–374.
Rosenkrantz, R. D.: 1982, ‘Does the Philosophy of Induction Rest on a Mistake?’, Journal of Logic of Philosophy 79, 78–97.
Schilpp, P. A. (ed.): 1963, The Philosophy of Rudolf Carnap, La Salle, Open Court.
Schilpp, P. A. (ed.): 1973, The Philosophy of K. R. Popper, La Salle, Open Court.
Schlechta, K.: 1995, ‘Defaults as Generalized Quantifiers’, Journal of Logic and Computation 5, 473–494.
Sette, A. M., W. A. Carnielli and P. A. S. Veloso: 1999, ‘An Alternative View of Default Reasoning and its Logic’, in E. H. Haeusler and L. C. Pereira (eds.), Pratica: Proofs, Types and Categories, Rio de Janeiro, PUC-Rio, pp. 127–158.
Sgro, J.: 1972, ‘ompleteness Teorems for Tpological Mdels’ Notices of the American Mathematical Society 19, A-765.
Shoenfield, J. R.: 1967, Mathematical Logic, Reading, Addison-Wesley.
Slanley, J.: 1988, ‘A Note on ‘Most’ ’, Analysis 48, 134–135.
Slomson, A. B.: 1967, Some Problems in Mathematical Logic, D. Sc. dissertation, Oxford, Oxford University.
Tarski, A.: 1936, ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica, pp. 261–405 (English translation in (Tarski 1956, pp. 152–278)).
Tarski, A.: 1956, Logic, Semantics and Metamathematics: Papers from 1923 to 1938 by Alfred Tarski (Woodger, J. H. (trans.)). Oxford, Clarendon Press.
Toulmin, S. E.: 1958, The Uses of Argument, Cambridge, Cambridge University Press.
Turner, W.: 1984, Logics for Artificial Intelligence, Chichester, Ellis Horwood.
van Heijenoort, J. (ed.): 1967, From Frege to Gödel: A Source Book in Mathematical Logic. Cambridge, Harvard University Press, (3rd prt).
Veloso, P. A. S.: 1998, ‘On Ultrafilter Logic as a Logic for ‘Almost all’ and ‘Generic’ Reasoning’, Res. Rept. ES-488/98, COPPE-UFRJ, Rio de Janeiro.
Veloso, P. A. S.: 1999, ‘On ‘Almost all’ and Some Presuppositions’, in L. C. P. D. Pereira and M. B. Wrigley (eds.), Logic, Language and Knowledge: Essays in Honour of Oswaldo Chateaubriand Filho, Manuscrito XXII, pp. 469–505.
Veloso, P. A. S.: 2000, ‘On the Power of Ultrafilter Logic’, Bulletin of the Section of Logic 29, 89–97.
Veloso, P. A. S.: 2001, ‘On Interpolation and Modularity for Ultrafilter Logic’, in J. M. Abe and J. I. Silva Filho (eds.), Logic, Artificial Intelligence and Robotics: LAPTEC'2001, Amsterdam, IOS Press, pp. 270–278.
IOS Press Veloso, P. A. S.: 2002, ‘Issues in Reasoning with ‘Generally’ and ‘Rarely’ ’, in A. O. Cupani and C. A. Mortari (eds.), Linguagem e Filosofia: Anais do 2° Simpósio Internacional Principia, UFSC, Florianópolis, pp. 51–72.
Veloso, S. R. M. and P. A. S. Veloso: 2001, ‘On a Logical Framework for ‘Generally’ ’, in J. M. Abe and J. I. Silva Filho (eds.), Logic, Artificial Intelligence and Robotics: LAPTEC'2001, Amsterdam, IOS Press, pp. 279–286.
Veloso, S. R. M. and P. A. S. Veloso: 2002, ‘On Special Functions and Theorem Proving in Logics for ‘Generally’ ’, in G. Bittencourt and G. L. Ramalho (eds.), Advances in Artificial Intelligence: 16th Brazilian Symposium in Artificial Intelligence, (Lecture Notes in Artificial Intelligence 2507), Berlin, Springer-Verlag, pp. 1–10.
Zadeh, L. A.: 1975, ‘Fuzzy Logic and Approximate Reasoning’, Synthèse 30, 407–428.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Veloso, P.A., Carnielli, W.A. (2009). Logics For Qualitative Reasoning. In: Rahman, S., Symons, J., Gabbay, D.M., Bendegem, J.P.v. (eds) Logic, Epistemology, and the Unity of Science. Logic, Epistemology, And The Unity Of Science, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-2808-3_23
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2808-3_23
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2486-2
Online ISBN: 978-1-4020-2808-3
eBook Packages: Springer Book Archive