Results for 'Pavel Pudl'ak'

969 found
Order:
  1.  33
    Fragments of bounded arithmetic and the lengths of proofs.Pavel Pudl'ak - 2008 - Journal of Symbolic Logic 73 (4):1389-1406.
    We consider the problem whether the $\forall \Sigma _{1}^{b}$ theorems of the fragments $T_{2}^{a}$ form a strictly increasing hierarchy. We shall show a link to some results about the lengths of proofs in predicate logic that supports the conjecture that the hierarchy is strictly increasing.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2. Karl Popper a sepětí vědecké metody a demokracie.Pavel Doleček - 2012 - Teorie Vědy / Theory of Science 34 (4):439-467.
    Článek se zabývá způsobem, jakým vnímá vztah vědecké metody a demokracie Karl Popper. Toto sepětí je jedním ze základních atributů Popperova myšlení. Pro jeho pochopení je třeba zasadit Poppera do historického kontextu vývoje liberálního myšlení a poukázat na možné souvislosti se Schumpeterovou redefinicí demokracie. Výchozím bodem je však interpretace základních episte- mologických předpokladů Popperova myšlení - konceptů provizornosti vědeckého poznání a ratio negativa. Primárním cílem článku je kontextualizace těchto předpokladů s politologickými a sociologickými důsledky. Ty lze spatřovat nejen s odmítnutím (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  8
    Péče o duši: díl. Stati z let 1970-1977. Nevydané texty a přednášky ze sedmedesátých let.Jan Patocka, Ivan Chvatík & Pavel Kouba - 1996
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Sefer Mishmeret ha-yiḥud: hilkhot yiḥud kelalehen, u-firṭehen ʻarukhot u-mesudarot ke-Shulḥan ʻarukh.Shelomoh Zalman ben Yaʻaḳov Tsevi Ṿolf - 2014 - Yerushalayim: Hotsaʼah la-or Tsuf.
     
    Export citation  
     
    Bookmark  
  5.  25
    Multi-agent path finding with mutex propagation.Han Zhang, Jiaoyang Li, Pavel Surynek, T. K. Satish Kumar & Sven Koenig - 2022 - Artificial Intelligence 311 (C):103766.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Sefer Taḳanat ha-shavim.ḥubar me-iti Ḥayim Yitsḥaḳ Aharon - 1977 - In Joseph ben Solomon Calahora, Ḥayim Yitsḥaḳ Aharon, Eliyahu Saliman Mani, Moses ben Menahem Graf, Shimʻon ben Daṿid Abayov & Avraham Bar Shem Ṭov, Yesod Yosef. [Yerushalayim: Ḥ. Mo. L..
     
    Export citation  
     
    Bookmark  
  7.  29
    FAST: A Novel, Executive Function-Based Approach to Cognitive Enhancement.Jessamy Norton-Ford Almquist, Santosh Mathan, Anna-Katharine Brem, Franziska Plessow, James McKanna, Emiliano Santarnecchi, Alvaro Pascual-Leone, Roi Cohen Kadosh, Misha Pavel & Nick Yeung - 2019 - Frontiers in Human Neuroscience 13.
  8.  15
    The Logos of Semantic Structure.Marie Duží, Bjørn Jespersen & Pavel Materna - 2010 - In Piotr Stalmaszczyk, Philosophy of Language and Linguistics: Volume I: The Formal Turn; Volume II: The Philosophical Turn. De Gruyter. pp. 85-102.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  10
    Pavel Materna vzpomíná na Luboše Nového.Pavel Materna - 2017 - Studia Philosophica 64 (1):79-80.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  21
    Psychological and Behavior Changes of Consumer Preferences During COVID-19 Pandemic Times: An Application of GLM Regression Model.Larisa Ivascu, Aura Emanuela Domil, Alin Emanuel Artene, Oana Bogdan, Valentin Burcă & Codruta Pavel - 2022 - Frontiers in Psychology 13.
    The life we considered normal was disrupted due to measures taken to limit the spread of the novel coronavirus. Quarantine, isolation, social distancing, and community containment have influenced consumer behavior and contributed to the rapid development of e-commerce. In pandemic times, even those unfamiliar with the online environment have had to adapt and make acquisitions in this new manner. Hence, we focused our research on measuring the perception of consumers on how the restrictive measures imposed to limit the spread of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  41
    Semiologie de la representation: theatre, television, bande dessinee.Michael Rengstorf, Andre Helbo, Jean Alter, Rene Berger, Pavel Campeaun, Regis Durnad, Umberto Eco, Pierre Fesnault-Deruelle, Solomon Marcus & Pierre Schaeffer - 1978 - Substance 6 (21):163.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Profesor Pavel Materna slaví životní jubileum.Pavel Materna & Rotislav Niederle - 2005 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 12 (2):176-192.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  15
    T'ak Sŏk-san ŭi Han'guk ŭi chŏngch'esŏng.Sŏk-san T'ak - 2016 - Sŏul-si: Ch'aek Sesang.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Sheloshah sifre musar ḳadmonim.Zeʼev Goṭlib, Avraham ben Yehuda Leyb, Yitsḥaḳ ben Eliʻezer & Mosheh Kahana (eds.) - 1999 - Yerushalayim: Mekhon "Shaʻare Tsiyon".
     
    Export citation  
     
    Bookmark  
  15. Sefer Ṭov meʼod.Ḥayim Berish bha-R. Yaʻaḳov ha-Kohen - 1862 - In Avraham Abeli Rozanos, Ḥayim Berish ben Yaʻaḳov & Jonah ben Abraham Gerondi, Sefer Sheloshah sifre musar. [Brooklyn, N.Y.?: Ḥ. Mo. L..
     
    Export citation  
     
    Bookmark  
  16.  7
    Chʻŏrhak ilgŏ chunŭn namja: chayuropko myŏngkʻwaehan chʻŏrhakcha Tʻak Sŏk-san i tŭllyŏ chunŭn uri sidae chʻŏrhak iyagi.Sŏk-san Tʻak - 2003 - Sŏul-si: Myŏngjin Chʻulpʻan.
  17.  25
    Multi-agent pathfinding with continuous time.Anton Andreychuk, Konstantin Yakovlev, Pavel Surynek, Dor Atzmon & Roni Stern - 2022 - Artificial Intelligence 305 (C):103662.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Sefer Shaʻare Shalom: liḳuṭim, ḥidushim u-veʼurim be-dine li-fene ʻiṿer lo titen mikhshol.Shalom Yitsḥaḳ ben Mikhaʼel Ṭoṿil - 1999 - Yerushalayim: [Ḥ. Mo. L..
     
    Export citation  
     
    Bookmark  
  19.  24
    Mapping the Scene and Object Processing Networks by Intracranial EEG.Kamil Vlcek, Iveta Fajnerova, Tereza Nekovarova, Lukas Hejtmanek, Radek Janca, Petr Jezdik, Adam Kalina, Martin Tomasek, Pavel Krsek, Jiri Hammer & Petr Marusic - 2020 - Frontiers in Human Neuroscience 14.
  20.  27
    Antecedents and Moderation Effects of Maladaptive Coping Behaviors Among German University Students.Lina Marie Mülder, Nicole Deci, Antonia Maria Werner, Jennifer L. Reichel, Ana Nanette Tibubos, Sebastian Heller, Markus Schäfer, Daniel Pfirrmann, Dennis Edelmann, Pavel Dietz, Manfred E. Beutel, Stephan Letzel & Thomas Rigotti - 2021 - Frontiers in Psychology 12.
    Prolonging working hours and presenteeism have been conceptualized as self-endangering coping behaviors in employees, which are related to health impairment. Drawing upon the self-regulation of behavior model, the goal achievement process, and Warr's vitamin model, we examined the antecedents and moderation effects regarding quantitative demands, autonomy, emotion regulation, and self-motivation competence of university students' self-endangering coping behaviors. Results from a cross-sectional survey of 3,546 German university students indicate that quantitative demands are positively related and autonomy has a u-shape connection with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Kendi̇ kalemi̇nden prof. Dr. coşkun ak.Çoşkun Ak - 2012 - Journal of Turkish Studies 7:I-XXIII.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Sefer Yede Yitsḥaḳ: tsadiḳim yirʼu ṿe-yiśmeḥu... be-maʼamre hashḳafah ṿe-ḥidushe Torah, derashot u-musar..Yitsḥaḳ Dayan - 2006 - Yerushalayim: Mekhon Meḥḳere Erets. Edited by Pseudo-Baḥya, Ibn Ezra, Abraham ben Meïr & Yitsḥaḳ Dayan.
     
    Export citation  
     
    Bookmark  
  23. Sefer Zikhron Yitsḥaḳ: śiḥot be-ʻinyene hashḳafah u-maḥshavah.Yitsḥaḳ ben Binyamin Zeʼev Ṿais - 1989 - Yerushalayim: Y. ben B.Z. Ṿais.
     
    Export citation  
     
    Bookmark  
  24. Komentář k příspěvku J. Kroba.Pavel Materna - 2000 - Filosoficky Casopis 48:692.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Gândirea romanului.Toma Pavel - forthcoming - Humanitas.
    No categories
     
    Export citation  
     
    Bookmark  
  26. Sefer Naḥalat Yaʻaḳov: kolel shene ḥalaḳim ki-mevoʼar ba-shaʻar ha-sheni.Yaʻaḳov ben Avraham - 1879 - [New York?: Ḥ. Mo. L..
     
    Export citation  
     
    Bookmark  
  27. Oholekha Yaʻaḳov: Oholekha Yaʻaḳov: Et amalenu: Melekhet H.Yaʻaḳov Yiśraʼel Lugasi - 2013 - Yerushalayim: [Yaʻaḳov Yiśraʼel Lugasi].
    Oholekha Yaʻaḳov -- Et amalenu -- Melekhet H.
     
    Export citation  
     
    Bookmark  
  28. The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.
    Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...
  29. Divre Yaʻaḳov: pirḳe maḥshavah.Yaʻaḳov ʻAdes - 2013 - [Israel]: [Yaʻaḳov ʻAdes].
     
    Export citation  
     
    Bookmark  
  30. Sefer Yesod Yitsḥaḳ.Yitsḥaḳ Ayziḳ - 1909 - [Bruḳlin, N.Y.: M.M. Shlezinger. Edited by Menaḥem Mendl Shlezinger & Joseph ben Solomon Calahora.
     
    Export citation  
     
    Bookmark  
  31. Le-oro: ʻiyunim be-mishnat Rabenu Avraham Yitsḥaḳ ha-Kohen Ḳuḳ, zatsal.Yaʻaḳov Filber - 1995 - Yerushalayim: ha-Makhon le-ḥeḳer mishnat ha-Reʼiyah.
     
    Export citation  
     
    Bookmark  
  32. Sefer Zeraʻ Yitsḥaḳ: meyusad ʻal ha-sheloshah devarim sheha-ʻolam ʻomed ʻalehem..Yitsḥaḳ ben Avraham - 1788 - Bruḳlin, N.Y.: Aḥim Goldenberg.
     
    Export citation  
     
    Bookmark  
  33. Sefer Zohore ḥamah.Daṿid Ḳaḳun - 1989 - Migdal ha-ʻEmeḳ: D. Ḳaḳun.
     
    Export citation  
     
    Bookmark  
  34.  14
    Prosocial Orientation of Russians During the COVID-19 Pandemic: Caring for Others and Yourself.Pavel A. Kislyakov & Elena A. Shmeleva - 2021 - Frontiers in Psychology 12:629467.
    To mitigate the potentially devastating effects of the COVID-19 pandemic, it is vital to identify psychosocial and moral resources. The care, preservation, protection, and well-being of social communities are attributes of prosocial behavior that can be such a resource. The purpose of the study is to identify the features of prosocial orientation of Russian youth during the COVID-19 pandemic, as well as to identify strategies for prosocial behavior during the COVID-19 pandemic. The sample consisted of 447 people. The study was (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  11
    “How can I keep quiet?” Motivations to participate in vaccination communication on Facebook.Pavel Rodin - 2023 - Communications 48 (4):482-501.
    Risk and crisis communication (RCC) is a complex constellation of multiple actors, platforms, and voices. It involves institutional actors but also laypeople. Participation by social media users can both facilitate and obstruct effective RCC. The present study draws on in-depth interviews with Swedish Facebook users, and explores motivational factors for lay participation in RCC in the context of vaccination utilizing Peter Dahlgren’s (2011) model. The contributions of this study are threefold. First, it identifies three dominant clusters of participation motivations: personal (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  21
    Vlastne mena, ich sémantika a filozofické problémy (I).Pavel Cmorej-Dezider Kamhal-Marián Zouhar - 2005 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 12 (1):80-94.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Verisimilitude Redefined.Pavel Tichý - 1976 - British Journal for the Philosophy of Science 27 (1):25-42.
    Of two false theories, One can be, Intuitively, Closer to the truth than the other. The purpose of the article is to propose a rigorous explication of this intuitive notion.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  38. Hakîm es-Semerkandî’nin “es-Sev'dü’l-A‘zam” İsimli Eseri Bağlamında M'türidî Ak'id Eserlerinde Fıkhî Konulara Yer Verilmesinin Muhtemel Nedenleri.Murat Akın - 2017 - Ilahiyat Tetkikleri Dergisi 47:103-118.
    Hicri I ve II. asırlarda meydana gelen bir takım olaylar, Müslümanların düşünce dünyalarına da bazı tartışmaları beraberinde getirmiştir. Tartışmalı ortamın gerektirdiği sahih bir inanç sisteminin ortaya konulması, akâid türü metinlerin yazılmasına sebep olmuştur. Mâtürîdî ekolünde, Ebû Hanife (ö. 150/767)’nin Fıkhu’l-ekber’i ile başlatılan bu tür metinler içerisinde Hakîm es-Semerkandî (ö. 324/953)’nin es-Sevâdü’l-a‘zam’ı da önemli bir yer tutmaktadır. Bu metnin ayırt edici özelliği ise akâid eseri olmasına rağmen içerisinde birçok fıkhî meseleler barındırmasıdır. Genelde akâid metinlerinde özelde de es-Sevâdü’l-a‘zam isimli eserde fıkhî meselelerin (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. On Popper's definitions of verisimilitude.Pavel Tichý - 1974 - British Journal for the Philosophy of Science 25 (2):155-160.
    2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   185 citations  
  40. Sefer Shaʻare Yitsḥaḳ.Yitsḥaḳ Ayziḳ - 1898 - [Bruḳlin, N.Y.: Mekhirah ha-rashit etsel Be. m.s. Bigelʼaizen. Edited by Yiśraʼel Shelomoh Zalman Aharon.
     
    Export citation  
     
    Bookmark  
  41. Sefer Torat Yitsḥaḳ: berure halakhah u-maʼamre musar.Yitsḥaḳ Hofman - 1989 - Yerushalayim: Mekhon "Shaʻare ziṿ".
     
    Export citation  
     
    Bookmark  
  42. Sefer Ḥeleḳ Yaʻaḳov.Yaʻaḳov ben Naftali Grinvald - 1922 - [Bruḳlin, N.Y.: Aḥim Goldenberg. Edited by Naḥum Shemary Shekhṭer.
     
    Export citation  
     
    Bookmark  
  43.  38
    Incomplete Worlds, Ritual Emotions.Thomas G. Pavel - 1983 - Philosophy and Literature 7 (1):48-58.
    In lieu of an abstract, here is a brief excerpt of the content:Thomas G. Pavel INCOMPLETE WORLDS, RITUAL EMOTIONS' IN recent years, the notion of "fictional world" has enjoyed a considerable rise in fortune. The expression, however, is not entirely new. To refer to the world of a literary work, of a novel or of a play, has always been a favorite way of speaking for literary critics and aestheticians. In most cases, these were informal worlds. A discussion of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Komplexy.Pavel Cmorej & Pavel Tichý - 1998 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 5 (2):139-161.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  11
    O Tom isTom ao inom.Pavel Cmorej - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):88-91.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Kognitivismus versus Dezisionismus in der Gerichtsanwendung der Charta der Grundrechte und der Grundfreiheiten.Pavel Holländer - 2003 - Rechtstheorie 34 (4):487-504.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  93
    Sobor and Sobornost'.Pavel Tulaev - 1993 - Russian Studies in Philosophy 31 (4):25-53.
    Ultimately everything returns to its own place. And our life, like a river that had overflowed its banks, is again returning to its former bed. We are now assimilating long-hidden treasures, understanding forgotten truths, and regaining our sight and seeing what we were unable to see when we were blinded.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  23
    Towards a Right-Libertarian Welfare State. An Analysis of Right-Libertarian Principles and Their Implications.T. Vi ak - 2015 - Philosophical Quarterly 65 (258):137-140.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  91
    An approach to intensional analysis.Pavel Tichý - 1971 - Noûs 5 (3):273-297.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  50. A counterexample to the Stalnaker-Lewis analysis of counterfactuals.Pavel Tichý - 1976 - Philosophical Studies 29 (4):271 - 273.
1 — 50 / 969