Results for 'A. G. Dragalin'

(not author) ( search as author name )
1000+ found
Order:
  1.  37
    Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  2.  28
    The collapse of the descriptive complexity of truth definitions. Completions of Heyting and Boolean algebras.A. G. Dragalin - 1991 - Bulletin of the Section of Logic 20 (3/4):94-95.
  3.  18
    On Problems of the Evolution of Logic.V. A. Bocharov, E. K. Voishvillo, A. G. Dragalin & V. A. Smirnov - 1980 - 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)  
     
    Export citation  
     
    Bookmark  
  4.  24
    Explicit algebraic models for constructive and classical theories with non-standard elements.Albert G. Dragalin - 1995 - Studia Logica 55 (1):33 - 61.
    We describe an explicit construction of algebraic models for theories with non-standard elements either with classical or constructive logic. The corresponding truthvalue algebra in our construction is a complete algebra of subsets of some concrete decidable set. This way we get a quite finitistic notion of true which reflects a notion of the deducibility of a given theory. It enables us to useconstructive, proof-theoretical methods for theories with non-standard elements. It is especially useful in the case of theories with constructive (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  45
    In Memoriam: Albert G. Dragalin 1941–1998.S. Artemov, B. Kushner, G. Mints, E. Nogina & A. Troelstra - 1999 - Bulletin of Symbolic Logic 5 (3):389-391.
  6.  40
    Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory. [REVIEW]A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
  7.  27
    A. G. Dragalin. Matématičéskij intuicionizm. Vvédénié v téoriú dokazatél'stv. Russian original of the preceding. Matématičéskaá logika i osnovaniá matématiki, “Nauka,”Moscow1979, 256 pp. - D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer. Proceedings of the Royal Society of London, ser. A vol. 400 , pp. 97–117. [REVIEW]Urquhart Alasdair - 1990 - Journal of Symbolic Logic 55 (3):1309-1310.
  8. Lumière et périls du bergsonisme.A. G. Sertillanges - 1943 - Paris,: Flammarion.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  12
    Review: A. G. Dragalin, Matematiceskij Intuicionizm. Vvedenie v Teoriu Dokazatel'stv; D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. [REVIEW]Alasdair Urquhart - 1990 - Journal of Symbolic Logic 55 (3):1309-1310.
  10. Tak̲h̲līqī ʻamal.Vazīr Āg̲h̲ā - 1970
    No categories
     
    Export citation  
     
    Bookmark  
  11.  6
    Chronological Snobbery.A. G. Holdier - 2018-05-09 - In Robert Arp, Steven Barbone & Michael Bruce (eds.), Bad Arguments. Wiley. pp. 311–313.
    This chapter focuses on one of the common fallacies in Western philosophy: chronological snobbery (CS). First described by the Christian academic Owen Barfield in the 1920s and later popularized by his friend and colleague C.S. Lewis, the fallacy of CS presupposes that cultural, philosophical, or scientific ideas from later time periods are necessarily superior to those from earlier ages. Grounded on the Enlightenment's concept of “progress”, this informal fallacy stems from the assumption that the ever‐increasing amount of knowledge in society (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Eenheid in veelheid.A. G. M. Janner - 1968 - Utrecht,: Dekker & Van de Vegt.
    No categories
     
    Export citation  
     
    Bookmark  
  13. Problema t︠s︡ennosti v filosofii.A. G. Kharchev (ed.) - 1966 - Leningrad,: Nauka [Leningradskoe otd-nie].
     
    Export citation  
     
    Bookmark  
  14. Filosofskai︠a︡ myslʹ v Shvet︠s︡ii: osnovnye ėtapy i tendent︠s︡ii razvitii︠a︡.A. G. Myslivchenko - 1972 - Moskva: Nauka.
    No categories
     
    Export citation  
     
    Bookmark  
  15. Teorii︠a︡, preobrazui︠u︡shchai︠a︡ mir.A. G. Spirkin - 1969
     
    Export citation  
     
    Bookmark  
  16. Roger Bacon.A. G. Little - 1928 - London,: H. Milford.
     
    Export citation  
     
    Bookmark   2 citations  
  17. Dialektika razvitii︠a︡ matematicheskogo znanii︠a︡: (zakonomernosti ėvoli︠u︡t︠s︡ii sposoba sistematizat︠s︡ii).A. G. Barabashev - 1983 - Moskva: Izdatelʹstvo Moskovskogo universiteta.
     
    Export citation  
     
    Bookmark  
  18. Metodologicheskie problemy issledovanii︠a︡ marksistskoĭ filosofii za rubezhom.A. G. Myslivchenko, I. I. Petrov & M. M. Fedorova (eds.) - 1984 - Moskva: Akademii︠a︡ nauk SSSR, In-t filosofii AN SSSR.
     
    Export citation  
     
    Bookmark  
  19.  2
    Puti Germesa: mezhdunarodnyĭ simpozium: materialy simpoziuma, 14 fevrali︠a︡ 2008 goda, Moskva, VGBIL.A. G. Petrov (ed.) - 2009 - Moskva: Vseros. gos. biblioteka inostrannoĭ lit-ry im. M.I. Rudomino.
    В прил.: Пометы Александра Блока в "Истории древней философии" Вильгельма Виндельбанда.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Hayen, André, S. J.: Saint Thoma D'aquin Et La Vie De L'église.A. G. José & Staff - 1955 - Revista de Filosofía (Madrid) 14 (52):166.
    No categories
     
    Export citation  
     
    Bookmark  
  21.  3
    Budushchee matematiki: metodologicheskie aspekty prognozirovanii︠a︡.A. G. Barabashev - 1991 - Moskva: Izd-vo Moskovskogo universiteta.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Ästhetik und gesellschaftliches Leben.A. G. Egorov - 1976 - Berlin: Dietz Verlag.
     
    Export citation  
     
    Bookmark  
  23. Dio o niente?A. G. Sertillanges - 1940 - Torino,: Società editrice internazionale.
    No categories
     
    Export citation  
     
    Bookmark  
  24. Der Utilitarismus bei Sidgwick und Spencer..A. G. Sinclair - 1907 - Heidelberg,: C. Winter.
  25. Roger Bacon essays: contributed by various writers on the occasion of the commemoration of the seventh centenary of his birth.A. G. Little - 1972 - New York: Russell & Russell. Edited by Roger Bacon.
    On Roger Bacon's life and works, by A. G. Little. -- Der Einfluss des Robert Grosseteste auf die wissenschaftliche Richtung des Roger Bacon, von L. Baur. -- La place de Roger Bacon parmi les philosophes du xiie siècle, par F. Picavet. -- Roger Bacon and the Latin vulgate, by F. A. Gasquet. -- Roger Bacon and philology, by S. A. Hirsch. -- The place of Roger Bacon in the history of mathematics, by D. E. Smith. -- Roger Bacon und seine (...)
     
    Export citation  
     
    Bookmark  
  26. Metodologicheskiĭ analiz zakonomernosteĭ razvitii︠a︡ matematiki.A. G. Barabashev, S. S. Demidov & M. I. Panov (eds.) - 1989 - Moskva: [S.N.].
     
    Export citation  
     
    Bookmark  
  27. Filosofskie problemy obshchestvennogo razvitii︠a︡: nauchno-tekhnicheskai︠a︡ revoli︠u︡t︠s︡ii︠a︡ i moralʹ.A. G. Kharchev (ed.) - 1975 - Moskva: Myslʹ.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  2
    Complex Question.A. G. Holdier - 2018-05-09 - In Robert Arp, Steven Barbone & Michael Bruce (eds.), Bad Arguments. Wiley. pp. 314–316.
    This chapter focuses on one of the common fallacies in Western philosophy called 'complex question (CQ)'. The fallacy of the CQ appears in two varieties. The implicit form distracts an interlocutor by assuming the truth of an unproven premise and shifting the focus of the argument in an unfounded direction. While the explicit form collapses two distinct questions into a single question such that a single answer would appear to satisfy both inquiries. The possibility that an undetected CQ might lead (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  5
    Should You Eat Baby Yoda?A. G. Holdier - 2023-01-09 - In Jason T. Eberl & Kevin S. Decker (eds.), Star Wars and Philosophy Strikes Back. Wiley. pp. 199–208.
    Some moral sentimentalists say that ethical judgments just are our affective responses to the world and do not necessarily refer to or reflect anything beyond those emotional experiences. Moral sentimentalism tries to take seriously the psychological mechanisms that underwrite our making moral judgments. Moral sentimentalists treat feelings, or affective attitudes, as important components of moral theorizing and decision‐making. Fortunately, moral sentimentalists have a better option for measuring the appropriateness of our ethical feelings. Scottish philosopher Adam Smith's 1759 book The Theory (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  3
    Fundamentos del materialismo dialéctico e histórico.A. G. Spirkin - 1980 - La Habana: Editora Política. Edited by Ovshiĭ Ovshievich I︠A︡khot.
  31. Poznanie i sot︠s︡ialʹnai︠a︡ deĭstvitelʹnostʹ: Po materialam rabot filosofov sot︠s︡. stran: Sb. nauch.-analit. obzorov.A. G. Myslivchenko (ed.) - 1979 - Moskva: INION.
     
    Export citation  
     
    Bookmark  
  32.  6
    Russkiĭ kosmizm: N.F. Fedorov, K.Ė. T︠S︡iolkovskiĭ, V.I. Vernadskiĭ, A.L. Chizhevskiĭ.A. G. Gacheva, B. I. Pruzhinin & T. G. Shchedrina (eds.) - 2022 - Moskva: ROSSPĖN.
  33. Cenni bibliografici.G. M. A. & Rédaction - 1917 - Rivista di Filosofia 9 (4):358.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  5
    Avtomorfizmy: ot zerkalʹnogo k simmetrii znaniĭ.A. G. Lozhkin - 2011 - Glazov: Glazovskiĭ inzhenerno-ėkonomicheskiĭ institut. Edited by N. G. Di︠u︡kina.
    Работа будет полезной для специалистов в сфере аналитической и прикладной геометрии, а также студентов и аспирантов компьютерных и математических специальностей профильных вузов.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  4
    Moskovskiĭ Sokrat: Nikolaĭ Fedorovich Fedorov: sbornik nauchnykh stateĭ.A. G. Gacheva & M. M. Panfilov (eds.) - 2018 - Moskva: Akademicheskiĭ proekt.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  13
    Phenomenology and the problem of relativism in social science.A. G. Schutte - 1979 - Philosophical Papers 8 (2):21-28.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Ethik: philos.-eth. Forschungen in d. Sowjetunion.A. G. Kharchev & Reinhold Miller (eds.) - 1976 - Berlin: Deutscher Verlag d. Wiss., VEB.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Moralʹ razvitogo sot︠s︡ializma: aktualʹnye problemy teorii.A. G. Kharchev (ed.) - 1976 - Moskva: Myslʹ.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Trudnyĭ putʹ k zrelosti.A. G. Kharchev - 1975
    No categories
     
    Export citation  
     
    Bookmark  
  40. Rene Dekart.G. P. Matvievskai︠a︡ - 1976
     
    Export citation  
     
    Bookmark  
  41. Problemy gumanizma v marksistsko-leninskoĭ filosofii: (Istorii︠a︡ i sovremennostʹ).A. G. Myslivchenko - 1975 - Moskva: Politizdat. Edited by L. N. Suvorov.
     
    Export citation  
     
    Bookmark  
  42. Roger Bacon essays.A. G. Little - 1914 - Oxford,: Clarendon press.
    On Roger Bacon's life and works, by A. G. Little.--Der einfluss des Robert Grosseteste auf die wissenschaftliche richtung des Roger Bacon, von Ludwig Baur.--La place de Roger Bacon parmi les philosophes du XIIIe siècle, par François Picavet.--Roger Bacon and the Latin vulgate, by Francis Aidan, cardinal Gasquet.--Roger Bacon and philology, by S. A. Hirsch.--The place of Roger Bacon in the history of mathematics, by David Eugene Smith.--Roger Bacon und seine verdienste um die optik, von Eilhard Wiedemann.--Roger Bacons lehre von der (...)
     
    Export citation  
     
    Bookmark   1 citation  
  43. Pochemu i kak izmeni︠a︡i︠u︡tsi︠a︡ nauka i kulʹtura?A. G. Egorov (ed.) - 2013 - Moskva: Novyĭ khronograf.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Matematika i opyt.A. G. Barabashev (ed.) - 2003 - Moskva: Izdatelʹstvo Moskovskogo universiteta.
     
    Export citation  
     
    Bookmark  
  45.  51
    Interpretar y argumentar: la hermenéutica gadameriana a la luz de las teorías de la argumentación.María G. Navarro - 2009 - Madrid: Spanish National Research Council/ Plaza & Valdés.
    Dentro de la tradición de la hermenéutica filosófica y, más específicamente, de la ontología hermenéutica del filósofo alemán H.G. Gadamer, "Interpretar y argumentar" constituye una indagación en el modelo de racionalidad propio ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Sufitum und Theologie bei Aḥmad Ibn 'Aǧība: eine Studie zur Methode des Religionsbegriffs.Florian A. G. L.|Tzen - 2020 - Tübingen: Mohr Siebeck.
    Florian A.G. Lützen untersucht in dieser Studie den Religionsbegriff ( din) bei Aḥmad Ibn Aǧība (gest. 1224/1809), seine Synthese von Sufitum und Theologie. Den Religionsbegriff beschreibt er insbesondere anhand der im "Gabriel-Hadith" dargestellten Ebenen: islam, iman und i san - Hingabe, Glaube und Vervollkommnung. Dieses Stufengebilde, von vielen Gelehrten in der späten Phase der Islamischen Theologie (etwa 1400-1800) für fundamental erachtet, eignet sich zum einen dazu, die Religion aus der Perspektive der Theologie darzustellen, und zum anderen, um den Weg des (...)
     
    Export citation  
     
    Bookmark  
  47. Problemy dukhovnogo razvitii︠a︡: gumanizm, reformat︠s︡ii︠a︡, katolicheskai︠a︡ reforma.A. G. Vulʹfius - 1922 - Peterburg: "Nauka i shkola".
    No categories
     
    Export citation  
     
    Bookmark  
  48. Vsemirnai︠a︡ istorii︠a︡ fiziki s drevneĭshikh vremen do kont︠s︡a XVIII veka.I︠A︡. G. Dorfman - 1974 - Moskva,: "Nauka,".
     
    Export citation  
     
    Bookmark  
  49. Vsemirnai︠a︡ istorii︠a︡ fiziki s nachala XIX do serediny XX vv.I︠A︡. G. Dorfman - 1979 - Moskva: Nauka.
     
    Export citation  
     
    Bookmark  
  50. Klassifikat︠s︡ii︠a︡ stepennykh nilʹpotentnykh grupp po ėlementarnym svoĭstvam.A. G. Mi︠a︡snikov & V. N. Remeslennikov - 1982 - In S. L. Sobolev (ed.), Matematicheskai︠a︡ logika i teorii︠a︡ algoritmov. Novosibirsk: Izd-vo "Nauka," Sibirskoe otd-nie.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000