Abstract
Science (scientific investigation) appears as the object of analysis of a series of disciplines. Each of these disciplines — epistemology, the psychology of thought, formal logic, sociology, etc. — distinguishes in the studied object a series of specific aspects (special objects) and studies them from the point of view of its own methods.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
Asmus, V.F., Logika, Gt., Moscow 1947.
VanXao and Mak-Noton, R., Aksiomatičeskie sistemy teorii množestv [Axiomatic Systems of Set Theory], IIL, Moscow 1963.
Gil’bert, D., Osnovanija geometry [Foundations of Geometry], Moscow-Lenin- grad 1948.
Gil’bert, D. and Akkerman, V., Osnovy teoretičeskoj logiki [Principles of Mathematical Logic], Moscow 1947.
Zinov’ev, A.A., Logika vyskazyvanij i teorija vyvoda [Propositional Logic and Theory of Inference], Moscow 1962.
Zinov’ev, A.A., ‘Problema stroenija nauki v logike i dialektike’ [The Problem of the Structure of Science in Logic and Dialectics], in: Dialektika i logika. Formy myšlenija, Moscow 1962.
Esenin-Vol’pin, A.S., ‘Ob aksiomaticeskom metode’ [On the Axiomatic Method], VF 1959, 7.
Klini, S.K., Vvedenie v metamatematiku [Introduction to Metamathematics], Moscow 1957.
Kopnin, P.V., ‘Logika naucnogo issledovanija i ee osnovnye ponjatija’ [The Logic of Scientific Investigation and its Basic Concepts], VF 1964, 3.
Ladenko, I.S., ‘Istorija nauki v svete teorii myšlenija’ [The History of Science in the Light of Theory of Thought], VF 1964, 1.
Lukasevič, Ja., Aristotelevskaja sillogistika s točki zrenija sovremennoj formal’noj logiki [Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic], Moscow 1959.
Novikov, P.S., Elementy matematičeskoj logiki [Elements of Mathematical Logic], Moscow 1959.
Petrov, Ju. P., ‘Značenie aksiomatičeskogo metoda v učenii o napravlennyx izmenenijax živyx sistem’ [The Importance of the Axiomatic Method in the Study of Directed Changes in Living Systems], in: Primenenie logiki v nauke i texnike, Moscow 1960.
Revzin, I.I., Modelijazyka [Models of Language], Moscow 1962.
Sadovskij, V.N., ‘Aksiomatičeskij metod postroenija naučnogo znanija’ [The Axiomatic Method of Construction of Scientific Knowledge], in: Filosofskie voprosy sovremennoj formal’noj logiki, Moscow 1962.
Sadovskij, V.N., ‘K voprosu o metodologiceskix principax issledovanija predmetov, predstavljajuscix soboj sistemy’ [On the Methodological Principles of the Investigation of Objects Which form a System], in: Problemy metodologii i logiki nauk, Tomsk 1962.
Sadovskij, V.N., ‘Problemy metodologii deduktivnyx teorij’ [Problems of the Methodology of Deductive Theories], VF, 1963, 3.
Smirnov, V.A., ‘Genetičeskij sposob postroenija naučnoj teorij’ [The Genetic Method of Constiucting Scientific Theory], in: Filosofskie voprosy sovremennoj formal’noj logiki, Moscow 1962.
Stoun, M., ‘Matematika i buduscee nauki’ [Mathematics and the Future of Science], Matematiceskoe prosvescenie N 4 (1959).
Tavanec, P.V., ‘Logika naucnogo poznanija i sovremennaja formal’naja logika’ [The Logic of Scientific Knowledge and Contemporary Formal Logic], VF 1964, 3.
Tavanec, P.V. and Švyrev, V.S., ‘Nekotorye problemy logiki naucnogo poznanija’ [Some Problems of the Logic of Scientific Knowledge], VF 1962, 10.
Filosofskie voprosy sovremennoj formal’noj logiki [Philosophic Questions of Contemporary Formal Logic] Ed. P.V. Tavanec, Moscow 1962.
Černjavskij, V., ‘Vyvod (v matematičeskoj logike)’ [Inference, in Mathematical Logic], in: Filosofskaja enciklopedija, Vol. 1, Moscow 1960.
Čerč, A., Vvedenie v matematičeskuju logiku [Introduction to Mathematical Logic], Moscow 1960.
Švyrev, V.S., ‘Neopozitivistskaja koncepcija empiričeskogo značenija i logičeskij analiz naučnogo znanija’ [The Neopositivist Conception of Empirical Knowledge and the Logical Analysis of Scientific Knowledge], in: Filosofskie voprosy sovremennoj formal’noj logiki, Moscow 1962.
Ščedrovickij, G.P. and Alekseev, N.G., ‘Princip parallelizma “formy i soderžanija myšlenija” i ego značenie dlja tradicionnyx logičeskix i psixologičeskix issledovanij’ [The Principle of Parallelism of “Form and Content of Thought” and its Importance for Traditional Logical and Psychological Investigations], Doklady APN RSFSR N 2 and 4 (1960).
Ščedrovickij, G.P., ‘O različii isxodnyx ponjatij formarnoj i soderžatel’noj logik’ [On the Difference Between the Primitive Concepts of Formal and Informal Logic], in: Problemy metodologii i logiki nauk, Tomsk 1962.
Ščedrovickij, G.P., ‘Metodologiceskie zamecanija k probleme proisxozdenija jazyka’ [Methodological Remarks on the Problem of the Origins of Language], FN 1963, 2.
Ajdukiewicz, K., Abris S der Logik, Berlin 1958.
Ajdukiewicz, K., The Axiomatic Systems from the Methodological Point of View’, Studia Logica t. I X. 1960.
Axiomatic Method with special Reference to Geometry and Physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4, 1958, Amsterdam 1959.
Basson, A.N. and O’Connor, D.J., Introduction to Symbolic Logic, London 1962.
Bochenski, I.M., Formale Logik, Munich/Freiburg 1956.
Carnap, R., Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen, Vienna 1954.
Czerwinski, Z., ‘On the Notion of Deductive Inference’, in: Studia Filozoficzne, Selected Papers, N 1 (1962).
Feigl, H., ‘Das hypothetisch-konstruktive Denken. Zur Methodologie der Naturwissenschaften’, Deutsche Universitätszeitung N 23–24 (1956), 8–13.
Fevrier, P., La structure des théories physiques, Paris 1951.
Fitch, F.B., Symbolic Logic. An Introduction, New York 1952.
Kraft, V., ‘Kann die Deduktion neues ergeben?’, in: Atti del XII Congresso Internazionale di Filosofia, Vol. IV, Florence 1960.
Ladriere, J., Les limitations internes des formalismes, Paris 1957.
Lorenzen, P., ‘Über die Begriffe “Beweis” und “Definition”’, in: Constructivity in Mathematics, Amsterdam 1959.
Prior, A.N., Formal Logic, Oxford 1962.
Tarski, A., ‘What is elementary geometry?’, in: Axiomatic Method, Amsterdam 1959.
Woodger, J.H., Biology and Language, Cambridge 1952.
References
There are some limits on the possible forms of sentences. For example, particular premisses are excluded (see [11; 36–41]).
In talking about the first systems of propositional logic we have in mind rather the genetic-informal sequence than the historical, because already in 1879 Frege proposed the axiomatics of propositional calculus.
For more details on the process of the axiomatic construction of propositional calculus, see [8; 67–129], [24; 65–158], [12; 68–125].
A third possible level of analysis of the object-language is the pragmatic, i.e., the account of the relations of an individual to the language he uses; this is beyond our subject-matter which is limited to the possibilities of the application to logical-methodological problems of the apparatus of contemporary formal logic.
In talking about the primacy of the syntactic approach, we have in mind only the special logical aspect (the contemporary practice of the construction of logical systems). On the genetic and pragmatic planes, the semantic considerations are primary.
Editor information
Rights and permissions
Copyright information
© 1970 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Sadovskij, V.N. (1970). The Deductive Method as a Problem of the Logic of Science. In: Tavanec, P.V. (eds) Problems of the Logic of Scientific Knowledge. Synthese Library, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-3393-0_5
Download citation
DOI: https://doi.org/10.1007/978-94-010-3393-0_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3395-4
Online ISBN: 978-94-010-3393-0
eBook Packages: Springer Book Archive