Abstract
It is well known that classical logics are able to represent only some aspects of ordinary reasoning. In particular, by accepting the law of obversion, they remove the possibility of defining any but a propositional negation; certain natural uses of negation thus elude them. Logical theories do exist, however, that are exempt from such limitations. Among these theories are those of S. Leśniewski, which differ profoundly from classical formal systems. Unlike the latter, they do not have a determined list of functors of syntactical-semantical categories. Due to formalized directives for definitions, the logics of Leśniewski are constructed progressively, making new theses and consequently functors of new syntactical-semantical categories accessible. In this article we use some of these theses-definitions to define a principle of appropriateness. With this principle it is possible to represent certain logical subtleties that are used quite naturally but are neglected due to the law of obversion.
Similar content being viewed by others
Bibliographie
Apothéloz, D.: 1987, ‘Logical and non-logical foundations of argumentation’, in F. H. van Eemeren, R. Grootendorst, J. A. Blair, C. A. Willard (eds.), Argumentation: Perspectives and Approaches, Foris, Dordrecht, 407–417.
Aristote: 1962, De la Métaphysique. Traduction et notes par J. Tricot, Vrin, Paris.
Aristote: 1962, Les Premiers Analytiques, Traduction et notes par J. Tricot, Vrin, Paris.
Aristote: 1977, De l'Interprétation. Traduction nouvelle et notes par J. Tricot, Vrin, Paris.
Bain, A.: 1870, Logique déductive et inductive, Gernier Boillière, Paris, Tomes I et II.
Blamey, S.: 1986, ‘Partial Logic’, Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, 1–70.
Boole, G.: 1965, The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning, Blackwell, Oxford, (lère éd., 1847).
Corcoran, J.: 1973, ‘Gaps between logical theory and mathematical practice, in M. Bunge (ed.), The methodological Unity of Science, Reidel, Dordrecht, 24–50.
Frey, L.: 1987, ‘La négation dans la logique d'Aristote’, Revue Européenne des Sciences Sociales, Vol. 25, no. 77, 47–60.
Kant, E.: 1967, La critique de la raison pure, Traduction française avec notes par A. Tremesaygues et B. Pacaud, PUF, Paris, (éd. originale, 1781).
Leśniewski, S.: 1930, ‘Ueber die Grundlagen der Ontologie’, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, classe III, 23, 111–132.
Miéville, D.: 1984, Un développement des systèmes logiques de S. Leśniewski. Protothétique, Ontologie, Méréologie, Lang, Berne, New York.
Miéville, D.: 1987, ‘Remarques sur le traitement de la référence dans les systèmes logiques’, Travaux du Centre de Recherches Sémiologique, Université de Neuchâtel, no 53, 91–109.
Prior, A. N.: 1955, Formal Logic, Clarendon, Oxford.
Strawson, P. F.: 1966, Introduction to logical theory, Methuen, London, (lère éd. 1952).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Miéville, D. Lorsque la logique rencontre l'argumentation. Argumentation 3, 45–57 (1989). https://doi.org/10.1007/BF00116416
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF00116416