Results for 'S. N. Artemov'

1000+ found
Order:
  1.  10
    Justification logic: reasoning with reasons.S. N. Artemov - 2019 - New York, NY: Cambridge University Press. Edited by Melvin Fitting.
  2. Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
    In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   115 citations  
  3.  23
    S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. , vol. 14 , pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 , pp. 401–429. , pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 , pp. 403–405. , pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 , pp. 569–572. , pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 , pp. 384–387. , pp. 1289–1292.). [REVIEW]Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
  4. Le Prabodhacandrodaya de Kṛṣṇamiśra: un drame allégorique sanskrit. Kṛṣṇamiśra - 1974 - Paris: Institut de civilisation indienne ; dépositaire exclusif, E. de Boccard. Edited by Armelle Pédraglio.
     
    Export citation  
     
    Bookmark  
  5.  10
    Śrīkr̥ṣṇāvadhūtaracitāni Madhvatatvasūtrāṇi svopajñavyākhyāsahitāni. Kr̥ṣṇāvadhūta - 2022 - Beṅgalūru: Śrīviśveśatīrthasaṃśodhanakendram, Karnatakasamskrtavisvavidyalayena "Samsodhanakendram" iti manitam. Edited by Ānandatīrthācārya Vi Nāgasampagi.
    Treatise with auto-commentary on Dvaita philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Kr̥ṣṇājī jīvitaṃ.Cikkāla Kr̥ṣṇārāvu - 1992 - Bhīmunipaṭnaṃ, Viśākhajillā: Pratulaku, Cikkāla Kr̥ṣṇārāvu.
    Biography of Jiddu Krishnamurti, 1895-1986, Indian philosopher.
     
    Export citation  
     
    Bookmark  
  7.  15
    [Omnibus Review].Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
    Reviewed Works:S. N. Artemov, B. M. Schein, Arithmetically Complete Modal Theories.S. N. Artemov, E. Mendelson, On Modal Logics Axiomatizing Provability.S.N. Artemov, E. Mendelson, Nonarithmeticity of Truth Prdicate Logics of Provability.V. A. Vardanyan, E. Mendelson, Arithmetic Complexity of Predicate Logics of Provability and Their.S. N. Artemov, E. Mendelson, Numerically Correct Provability Logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  8.  47
    Creating the Umwelt: From Chance to Choice.S. N. Salthe - 2014 - Biosemiotics 7 (3):351-359.
    Individual semiotic systems interpreting their environment are not well understood from the externalist approach typical of the scientific method. Science constructs probabilities describing large populations of systems, not individuals. The Umwelt, as the individually experienced/created aspects of the habitat aspect of its population’s ecological niche, is given an internalist understanding within the framework of the compositional hierarchy. Vagueness is an important aspect of the internalist condition. It is selectively reduced momentarily by creative choices that can have a Peircean semiotic formulation, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  13
    Shivasvarodaya: Prāṇa vidyā, the science of sciences.S. N. Bhavsar - 2005 - Mumbai: Softyog. Edited by Veena Londhe.
    Study of Śivasvarodaya, work on yoga; includes original Sanskrit text with English translation.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  7
    Langdon's Historical and Religious Texts from the Temple Library of Nippur-Additions and Corrections.S. N. Kramer - 1940 - Journal of the American Oriental Society 60 (2):234-257.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  16
    Man's Golden Age: A Sumerian Parallel to Genesis XI. 1.S. N. Kramer - 1943 - Journal of the American Oriental Society 63 (3):191-194.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Transt︠s︡endentnoe v ontologicheskikh strukturakh filosofii i nauki.S. N. Zharov - 2006 - Voronezh: Izd-vo Voronezhskogo gos. universiteta.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Vedāntadarśanam-Ācāryavācaspatimiśrāśca: laghunibandhoyaṃ.Rā Muttukr̥ṣṇaśāstrī - 1982 - Trichy: Hithabhashini Publications.
    Life and works of Vācaspatimiśra, fl. 976-1000, Hindu philosopher; with special reference to his contribution to the Advaita school.
     
    Export citation  
     
    Bookmark  
  14. Mahāmahopādhyāyabālakr̥ṣṇamiśrasmr̥tigranthaḥ.Bālakr̥ṣṇa Miśra, Kiśoranātha Jhā, Lakṣmīnātha Jhā & Vinoda Miśra (eds.) - 2007 - Madhubanī (Bihāra): Sāhityikī.
    Commemoration volume of Mahamahopadhyaya Bālakr̥ṣṇa Misŕa, 1887-1943, Sanskrit author; contributed research papers on Hindu philosophy, Sanskrit grammar and Vedic literature and some on his life and works.
     
    Export citation  
     
    Bookmark  
  15.  18
    Child’s native language acquisition as a synergetic process.S. N. Tseytlin - 2019 - Liberal Arts in Russia 8 (4):288.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. The Civilizational Dimension in Sociological Analysis.S. N. Eisenstadt - 2000 - Thesis Eleven 62 (1):1-21.
    The civilizational turn in sociological theory is best understood as an attempt to do full justice to the autonomy of culture (against all versions of structural-functional theory) without conceding the issue to cultural determinism. Civilizational formations are based on combinations of cultural visions of the world with regulative frameworks of social life, but the relationship between the two levels is open to conflicting interpretations and strategic uses of them. Axial age civilizations open up new structural and historical dimensions of interaction (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17. Political Identity Over Personal Impact: Early U.S. Reactions to the COVID-19 Pandemic.Robert N. Collins, David R. Mandel & Sarah S. Schywiola - 2021 - Frontiers in Psychology 12.
    Research suggests political identity has strong influence over individuals’ attitudes and beliefs, which in turn can affect their behavior. Likewise, firsthand experience with an issue can also affect attitudes and beliefs. A large survey of Americans was analyzed to investigate the effects of both political identity and personal impact on individuals’ reactions to the COVID-19 pandemic. Results show that political identity and personal impact influenced the American public’s attitudes about and response to COVID-19. Consistent with prior research, political identity exerted (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  27
    J. S. Dryzek, B. Honig and A. Phillips , The Oxford Handbook of Poltical Theory, Oxford University Press.S. N. Eisenstadt - 2010 - Japanese Journal of Political Science 11 (3):401-403.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    Wittgenstein's Tractatus.S. N. Ganguly - 1968 - Santiniketan,: Centre of Advanced Study in Philosophy, Visva-Bharati. Edited by Ludwig Wittgenstein.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  74
    A bird's eye view: biological categorization and reasoning within and across cultures.Jeremy N. Bailenson, Michael S. Shum, Scott Atran, Douglas L. Medin & John D. Coley - 2002 - Cognition 84 (1):1-53.
    Many psychological studies of categorization and reasoning use undergraduates to make claims about human conceptualization. Generalizability of findings to other populations is often assumed but rarely tested. Even when comparative studies are conducted, it may be challenging to interpret differences. As a partial remedy, in the present studies we adopt a 'triangulation strategy' to evaluate the ways expertise and culturally different belief systems can lead to different ways of conceptualizing the biological world. We use three groups (US bird experts, US (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  21. Vstrecha s filosofom Ė. Ilʹenkovym.S. N. Mareev - 1997 - Moskva: Izd-vo "Erebus".
     
    Export citation  
     
    Bookmark  
  22. Kulʹtura kak mudrostʹ: renessansnai︠a︡ tradit︠s︡ii︠a︡ v evropeĭskom gumanizme XIX-XX vv.S. N. Artanovskiĭ - 2000 - Sankt-Peterburg: Sankt-Peterburgskiĭ gos. universitet kulʹtury i iskusstv.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Filosofii︠a︡ i metodologii︠a︡ nauki: materialy vserossiĭskoĭ konferent︠s︡ii, Ulʹi︠a︡novsk, 15-17 ii︠u︡ni︠a︡ 2011.N. G. Baranet︠s︡ & A. B. Verevkin (eds.) - 2011 - Ulʹi︠a︡novsk: Izdatelʹ Kachalin Aleksandr Vasilʹevich.
     
    Export citation  
     
    Bookmark  
  24.  75
    Tolerance and Illness: The Politics of Medical and Psychiatric Classification.S. N. Glackin - 2010 - Journal of Medicine and Philosophy 35 (4):449-465.
    In this paper, I explore the links between liberal political theory and the evaluative nature of medical classification, arguing for stronger recognition of those links in a liberal model of medical practice. All judgments of medical or psychiatric "dysfunction," I argue, are fundamentally evaluative, reflecting our collective willingness or reluctance to tolerate and/or accommodate the conditions in question. Illness, then, is "socially constructed." But the relativist worries that this loaded phrase evokes are unfounded; patients, doctors, and communities will agree in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  25. Ap'te nostalgia stēn pragmatikotēta.N. A. Makrēs - 1970
     
    Export citation  
     
    Bookmark  
  26.  18
    The Protestant ethic and modernization.S. N. Eisenstadt - 1968 - New York,: Basic Books.
  27. Kr̥ṣṇamādhavacintāmaṇiḥ: janmaśatavārṣikīsmr̥tigranthaḥ.Kr̥ṣṇa Mādho Jhā, Govinda Jhā & Śaśinātha Jhā (eds.) - 1999 - Madhubanī, Bihāra: Paṇḍita Kr̥ṣṇamādhavajhā Janmaśatavārṣikī Samārohasamiti.
    Contributed articles on Indic philosophy, Vedic grammer, and classical Sanskrit literature; includes some on the life of Kr̥ṣṇa Mādho Jha, Sanskrit scholar.
     
    Export citation  
     
    Bookmark  
  28. Sáṁkara and Bradley.S. N. L. Shrivastava - 1968 - Delhi,: Motilal Banarsidass. Edited by Śaṅkarācārya & F. H. Bradley.
  29. Biography - S. I. Vavilov.S. N. Gorelov - 1947 - Synthese 5 (9-10):422.
     
    Export citation  
     
    Bookmark  
  30.  3
    Rossiĭskoe filosofskoe soobshchestvo i transli︠a︡t︠s︡ii︠a︡ filosofskogo znanii︠a︡ na rubezhe XIX-XX vekov.N. G. Baranet︠s︡ - 2007 - Ulʹi︠a︡novsk: Ulʹi︠a︡novskiĭ gos. pedagogicheskiĭ universitet im. I.N. Ulʹi︠a︡nova.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  1
    Subcultural trends in the information technologies epoch.S. N. Volkov - 2020 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 9 (2):104.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  1
    Communitas as the “essential We”: The Possibility of Dialogical Relationships in a Community.N. S. Vorobyeva - 2019 - Sociology of Power 31 (4):155-184.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  5
    The feminist revision of philosophy: Potentials and prospects.N. S. Yulina - 1992 - Philosophy East and West 42 (2):249-261.
  34.  53
    Hildegard of Bingen: A New Twelfth‐century Woman Philosopher?Helen J. John, S. N. D. - 1992 - Hypatia 7 (1):115-123.
  35. Śrībhāṣyajijñāsādhikaraṇe pūrvapakṣasiddhāntasaṃyojanam.Śiraśinahaḷ Kr̥ṣṇamācāryulu - 2005 - Tirupatiḥ: Rāṣṭrīyasaṃskr̥taviśvavidyālayaḥ. Edited by T. V. Raghavacharyulu.
    Study of Śrībhāṣya of Rāmānuja, 1017-1137, commentary on Brahmasūtra of Bādarāyaṇa, aphoristic work on Vedanta philosophy.
     
    Export citation  
     
    Bookmark  
  36.  46
    The overall pattern of the evolution of information in dissipative, material systems.S. N. Salthe - 1997 - World Futures 50 (1):457-465.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Outstanding humanist achiever 2012.S. N. Stuart - 2012 - The Australian Humanist 107 (107):8.
    No categories
     
    Export citation  
     
    Bookmark  
  38. The Vienna circle: Exact thinking in times of tumult.S. N. Stuart - 2016 - Australian Humanist, The 121:6.
    Stuart, SN An extraordinary concentration of intellectual effort in Vienna during 1924 to 1936 produced a new standard of philosophy which remains an important touchstone today, despite some shortcomings which have become apparent. The contributors were animated to regain clarity of collective thought, felt to be lost in the convulsion of the Great War. As its topics were quickly taken up in Prague and Berlin, Cambridge and Harvard, the Vienna Circle came to exert an important, international influence on the intellectual (...)
     
    Export citation  
     
    Bookmark  
  39. Encounter of Hindus with the Ancient Thomas Christians in Kerala.S. N. Rao - 1994 - Journal of Dharma 19 (2):138-159.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  40.  28
    A re-appraisal of Patanjali's Yoga-sutras in the light of the Buddha's teaching.S. N. Tandon - 1995 - Igatpuri, Maharashtra, India: Vipassana Research Institute.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  31
    Cascade decay of a heavy K-meson.S. N. Sen Gupta & M. S. Sinha - 1957 - Philosophical Magazine 2 (19):936-938.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  61
    The Mahārāshtra Purāṇa, An Eighteenth-Century Bengali Historical TextThe Maharashtra Purana, An Eighteenth-Century Bengali Historical Text.S. N. H., Edward C. Dimock & Pratul Chandra Gupta - 1968 - Journal of the American Oriental Society 88 (2):384.
  43.  33
    From Oblivion to Post-History: Sublime Othering in Rider Haggard and W. E. B. Du Bois.S. N. Nyeck - 2019 - The European Legacy 24 (6):617-643.
    This article addresses the ways in which art and philosophy have been discursively used to conceptualize critical political changes and frame narratives of liberation by including and excluding primitive consciousness simultaneously. More concretely, it analyzes the contribution of art and philosophy to the understanding of history and post-history through different representations of black bodies, black desires, and black agencies in the novels She (1886) by Rider Haggard and The Quest of the Silver Fleece (1911) by W. E. B. Du Bois. (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44. Notes by the way.S. N. Patten - 1924 - Australasian Journal of Psychology and Philosophy 2 (2):81-81.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Rossiĭskoe filosofskoe soobshchestvo i transli︠a︡t︠s︡ii︠a︡ filosofskogo znanii︠a︡ v XX veke.N. G. Baranet︠s︡ - 2008 - Ulʹi︠a︡novsk: Artishok.
     
    Export citation  
     
    Bookmark  
  46.  26
    Skinner's practical metaphysic may be impractical.S. N. Salthe - 1984 - Behavioral and Brain Sciences 7 (4):696-697.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  26
    The Construction of Collective Identities: Some Analytical and Comparative Indications.S. N. Eisenstadt - 1998 - European Journal of Social Theory 1 (2):229-254.
    This paper is based on four assumptions concerning the analysis of the construction of collective identities. First, such construction, like power and economic relations, is an analytically autonomous basic component of the construction of social life. Second, such constructions have been going on in all human societies throughout history. Third, all such patterns of collective identity have been continually constructed from some basic yet continually changing building blocks, codes or themes - especially those of primordiality, civility and `sacredness'. The paper (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  10
    Darwinism evolving: Systems dynamics and the genealogy of natural selection.S. N. Salthe - 1997 - Complexity 2 (5):37-39.
  49.  20
    The effect of a stimulant and a depressant drug on a measure of reactive inhibition.S. N. Sinha, Cyril M. Franks & P. L. Broadhurst - 1958 - Journal of Experimental Psychology 56 (4):349.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. Freethinkers in ADB.S. N. Stuart - 2012 - The Australian Humanist 107 (107):23.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000