20 found
Order:
  1.  22
    V. A. Smirnov (1986). Correction. Studia Logica 45 (2):231-231.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  2.  11
    V. A. Smirnov (1988). Internal and External Logic. Bulletin of the Section of Logic 17 (3/4):170-181.
    In an essential way I make use of Frege’s and Vasilev’s ideas. N. A. Vasilev distinguished two levels in a logic. The abstract logic depends on gnoeologic assumptions while the empirical part of logic depends on ontological ones. Vasilev did not change the external logic but he did change the internal one. His system can be viewed as a non-standard syllogistics based on classical propositional logic . Vasilev’s ideas become plain if we discern cleary acts of predication and acts of (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  12
    V. A. Smirnov (1983). Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates. Studia Logica 42 (2-3):197 - 207.
    LetEO be the elementary ontology of Leniewski formalized as in Iwanu [1], and letLS be the monadic second-order calculus of predicates. In this paper we give an example of a recursive function , defined on the formulas of the language ofEO with values in the set of formulas of the language of LS, such that EO A iff LS (A) for each formulaA.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  9
    V. A. Smirnov (1986). Logical Relations Between Theories. Synthese 66 (1):71 - 87.
  5. V. A. Smirnov (1986). Modality de re and Vasiliev's imaginary logics. Logique Et Analyse 29 (14):205.
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  6. V. A. Smirnov (1971). Elimination des termesε dans la logique intuitioniste. Revue Internationale de Philosophie 98:512-519.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  7.  6
    V. A. Smirnov (1986). A Correction to "Embedding the Elementary Ontology of Stanisław Leśniewski Into the Monadic Second-Order Calculus of Predicates". Studia Logica 45 (2):231 -.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  4
    V. A. Bocharov, E. K. Voishvillo, A. G. Dragalin & V. A. Smirnov (1980). On Problems of the Evolution of Logic. Russian Studies in Philosophy 18 (4):31-52.
    Logic today is a ramified discipline existing on many levels. It is actively pursued by philosophers, mathemeticians, and computer specialists. The reason is that it is widely employed to solve a number of problems both in the theory of knowledge and in mathematics and computer science. But the broad spectrum of application of contemporary logic does not change the fact that its basic content has the nature of philosophical methodology. In contemporary logic it is the forms of thought and the (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  9. V. N. Karpovich & V. A. Smirnov (1978). Terminy V Strukture Teorii Logicheskii Analiz. Izd-Vo "Nauka," Sibirskoe Otd-Nie.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  10. William Morris, Aleksandr Abramovich Anikst, V. A. Smirnov & E. V. Kornilova (1973). Iskusstvo I Zhizn Izbrannye Stat I, Lektsii, Rechi, Pis Ma. Iskusstvo.
    No categories
     
    Export citation  
     
    My bibliography  
  11. V. A. Smirnov (1971). Élimination des termes epsilon dans la logique intuitionniste. Revue Internationale de Philosophie 25 (4=98):512.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  12. V. A. Smirnov (1987). Logicheskie Metody Analiza Nauchnogo Znaniia. Nauka.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  13. V. A. Smirnov (1989). Logicheskije Metodi Analiza Nauchnowo Znanija. Studia Logica 48 (1):135-136.
     
    Export citation  
     
    My bibliography  
  14. V. A. Smirnov (1989). Logicheskaja Semantika I Filosofskije Osnovanija Logiki. Studia Logica 48 (1):136-137.
     
    Export citation  
     
    My bibliography  
  15. V. A. Smirnov, V. Shalak & Institut Filosofii Nauk) (2001). Logiko-Filosofskie Trudy V.A. Smirnova.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  16. V. A. Smirnov (1986). Modality de Re and Vasiliev's Imaginary Logics in Dynamics of Meaning and Modality. Logique Et Analyse 29 (114):205-212.
     
    Export citation  
     
    My bibliography  
  17. V. A. Smirnov & Institut Filosofii Sssr) (1982). Modal Nye I Relevantnye Logiki. Akademiia Nauk Sssr, in-T Filosofii.
    Translate
     
     
    Export citation  
     
    My bibliography  
  18. V. A. Smirnov, A. S. Karpenko, E. A. Sidorenko & Institut Filosofii Sssr) (1984). Modal Nye I Intensional Nye Logiki I Ikh Primenenie K Problemam Metodologii Nauki. Izd-Vo "Nauka".
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  19. V. A. Smirnov, P. I. Bystrov & V. N. Sadovskii (1996). Philosophical Logic and Logical Philosophy Essays in Honour of Vladimir A. Smirnov.
     
    Export citation  
     
    My bibliography  
  20. P. V. Tavanets, V. A. Smirnov & Institut Filosofii Sssr) (1974). Filosofiia I Logika [Sbornik Statei]. Nauka.
     
    Export citation  
     
    My bibliography