20 found
Sort by:
  1. V. A. Smirnov, V. Shalak & Institut Filosofii Nauk) (2001). Logiko-Filosofskie Trudy V.A. Smirnova.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. V. A. Smirnov, P. I. Bystrov & V. N. Sadovskii (1996). Philosophical Logic and Logical Philosophy Essays in Honour of Vladimir A. Smirnov.
     
    My bibliography  
     
    Export citation  
  3. V. A. Smirnov (1989). Logicheskije Metodi Analiza Nauchnowo Znanija. Studia Logica 48 (1):135-136.
     
    My bibliography  
     
    Export citation  
  4. V. A. Smirnov (1989). Logicheskaja Semantika I Filosofskije Osnovanija Logiki. Studia Logica 48 (1):136-137.
     
    My bibliography  
     
    Export citation  
  5. 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  
     
    My bibliography  
     
    Export citation  
  6. V. A. Smirnov (1987). Logicheskie Metody Analiza Nauchnogo Znaniia. Nauka.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  8. V. A. Smirnov (1986). Correction. Studia Logica 45 (2):231-231.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  9. V. A. Smirnov (1986). Logical Relations Between Theories. Synthese 66 (1):71 - 87.
  10. 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.
     
    My bibliography  
     
    Export citation  
  11. V. A. Smirnov (1986). Modality de re and Vasiliev's imaginary logics. Logique Et Analyse 29 (14):205.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. 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 to English
    |
     
    My bibliography  
     
    Export citation  
  13. 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)  
     
    My bibliography  
     
    Export citation  
  14. V. A. Smirnov & Institut Filosofii Sssr) (1982). Modal Nye I Relevantnye Logiki. Akademiia Nauk Sssr, in-T Filosofii.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  16. V. N. Karpovich & V. A. Smirnov (1978). Terminy V Strukture Teorii Logicheskii Analiz. Izd-Vo "Nauka," Sibirskoe Otd-Nie.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. P. V. Tavanets, V. A. Smirnov & Institut Filosofii Sssr) (1974). Filosofiia I Logika [Sbornik Statei. Nauka.
     
    My bibliography  
     
    Export citation  
  18. 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
     
    My bibliography  
     
    Export citation  
  19. V. A. Smirnov (1971). Elimination des termesε dans la logique intuitioniste. Revue Internationale de Philosophie 98:512-519.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  20. V. A. Smirnov (1971). Élimination des termes epsilon dans la logique intuitionniste. Revue Internationale de Philosophie 25 (4=98):512.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation