Abstract
Under the influence of the mathematization of sciences and the successes of mathematical logic in the last few decades, a special branch of logical-philosophical research has developed. Its essence is the use of the ideas, the apparatus (calculi) and methods of mathematical logic and mathematics (exact methods) in the solution of a series of traditional problems of formal logic and philosophy as well as of new problems of the methodology of science specifically connected with the development of contemporary science.
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
Ackermann, W., ‘Begründung einer strengen Implikation’, Journal of Symbolic Logic21, 2 (1956).
Burks, A. W., ‘The Logic of Causal Propositions’, Mind60, 239 (1951).
Burks, A. W., ‘Dispositional Statements’, Philosophy of Science22, 3 (1955).
Bunge, M., Pričcinnost’ [Causality], Moscow 1962.
Vitgenstejn, L., Logiko-filosofskij traktat [Tractatus…], Moscow 1958.
Gentzen, G., ‘Untersuchungen über das logische Schliessen’, Math. Zeitschrift 39 (1934).
Zinov’ev, A. A., ‘Logičeskoe stroenie znanij o svjazjax’ [The Logical Structure of Knowledge on Connections], in: Logiceskie issledovanija, Moscow 1959.
Zinov’ev, A. A., ‘Deduktivnyj metod v issledovanii vyskazyvanij o svjazjax’ [The Deductive Method in the Investigation of Statements on Connections], in: Primenenie logiki v nauke i texnike, Moscow 1961.
Zinov’ev, A. A., ‘K opredeleniju ponjatija svjazi’ [On the Definition of the Concept of Connection], VF 1960, 8.
Zinov’ev, A. A., Logika vyskazyvanij i teorija vyvoda [Propositional Logic and the Theory of Inference], Moscow 1962.
Carnap, R., Einführung in die symbolische Logik, Vienna 1954.
Karnap, R., Znacenie i neobxodimost’ [Meaning and Necessity], Moscow 1959.
Kolmogorov, A. N., ‘O principe tertium non datur’ [On the Principle of tertium non datur], Matematiceskij sbornik 32, 4 (Moscow 1925 ).
Lewis, C. I., A Survey of Symbolic Logic, Berkeley 1918.
Lewis, C. I. and Langford, C. H., Symbolic Logic, New York 1932.
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.
Povarov, G. N., ‘O sobytijnom i suždeničeskom aspektax logiki’, [On the Event- Aspects and Judgement-Aspects of Logic], in: Primenenie logiki v nauke i texnike, Moscow 1961.
Reichenbach, H., Elements of Symbolic Logic, New York 1947.
Reichenbach, H., Nomological Statements and Admissible Operations, New York 1954.
Schmidt, A., ‘Ein aussagenlogischer Zugang zu den Modalitäten der strikten Logic’, in: Proc. of the Int. Congress of Math., Amsterdam 1954.
Frank, F., Filosofija nauki [The Philosophy of Science], Moscow 1960.
Editor information
Rights and permissions
Copyright information
© 1970 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Zinov’ev, A.A. (1970). Logical and Physical Implication. 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_4
Download citation
DOI: https://doi.org/10.1007/978-94-010-3393-0_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3395-4
Online ISBN: 978-94-010-3393-0
eBook Packages: Springer Book Archive