Results for 'Pavel Surynek'

983 found
Order:
  1.  15
    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  
  2.  20
    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  
  3. 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  
  4.  99
    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, ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   165 citations  
  5.  96
    Aristotle on the common sense.Pavel Gregoric - 2007 - New York: Oxford University Press.
    I. The framework. 1, Aristotle's project and methods. 2, The perceptual capacity of the soul. 3, The sensory apparatus. 4, The common sense and the related capacities -- II. The terminology. 1, Overlooked occurrences of the phrase 'common sense'. 2, De anima III.1 425a27. 3, De partibus animalium IV.10 686a31. 4, De memoria et reminiscentia 1 450a10. 5, De anima III.7 431b5. 6, Conclusions on the terminology -- III. Functions of the common sense. 1, Simultaneous perception and cross-modal binding. 2, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  6.  4
    “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  
  7. What do we talk about?Pavel Tichý - 1975 - Philosophy of Science 42 (1):80-93.
    Intensions feature prominently among the entities we talk about.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8. 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   179 citations  
  9.  7
    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. A Multiple‐Channel Model of Task‐Dependent Ambiguity Resolution in Sentence Comprehension.Pavel Logačev & Shravan Vasishth - 2016 - Cognitive Science 40 (2):266-298.
    Traxler, Pickering, and Clifton found that ambiguous sentences are read faster than their unambiguous counterparts. This so-called ambiguity advantage has presented a major challenge to classical theories of human sentence comprehension because its most prominent explanation, in the form of the unrestricted race model, assumes that parsing is non-deterministic. Recently, Swets, Desmet, Clifton, and Ferreira have challenged the URM. They argue that readers strategically underspecify the representation of ambiguous sentences to save time, unless disambiguation is required by task demands. When (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  11.  20
    Pharmacological Neuroenhancement in the Field of Economics—Poll Results from an Online Survey.Pavel Dietz, Michael Soyka & Andreas G. Franke - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  71
    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  
  13. Kripke on necessity a posteriori.Pavel Tichý - 1983 - Philosophical Studies 43 (2):225 - 241.
  14.  73
    An approach to intensional analysis.Pavel Tichý - 1971 - Noûs 5 (3):273-297.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  15.  25
    The Role of First Principles in Fichte’s Philosophy of History.Pavel Reichl - 2021 - Fichte-Studien 49:288-308.
    In this article, I explore the role of the first principle in Fichte’s philosophy of history and assess the extent to which its introduction is able to resolve problems in the philosophies of history of his predecessors. Particularly, I focus on Fichte’s response to the question of how history can be grasped in a systematic manner for the purposes of theoretical cognition. I argue that while Fichte is able to resolve the tension between Herder’s pluralism and Kant’s chiliasm in an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  44
    Governance of Eco-Labels: Expert Opinion and Media Coverage.Pavel Castka & Charles J. Corbett - 2016 - Journal of Business Ethics 135 (2):309-326.
    “Eco-labels” are an increasingly important form of private regulation for sustainability in areas such as carbon emissions, water consumption, ethical sourcing, or organic produce. The growing interest and popularity of eco-labels has also been coupled with growing concerns about their credibility, in part because the standard-setting and conformity assessment practices that eco-labels adopt exhibit striking differences. In this paper, we assess which assurance practices contribute to eco-labels being perceived as better governed, in the eyes of experts as well as the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  95
    Verisimilitude revisited.Pavel Tichý - 1978 - Synthese 38 (2):175 - 196.
    The article offers a rigorous explication of the intuitive notion of verisimilitude, I.E., Of the distance of a theory from the truth. The proposal is defended against charges of material inadequacy made by popper, Niniluoto, And miller.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  18.  35
    Making history philosophical: Kant, Maimon, and the evolution of the historiography of philosophy in the critical period.Pavel Reichl - 2020 - British Journal for the History of Philosophy 28 (3):463-482.
    In this article I explore Maimon’s role in the evolution of Kant’s understanding of the function of the history of philosophy in philosophical enquiry. Kant is often viewed as holding an ambivalent...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  6
    Os princípios da Escola Fonológica de São Petersburgo para a elaboração de corpora de fala.Pavel Skrelin, Tatiana Kachkovskaia, Daniil Kocharov, Vera Evdokimova & Uliana Kochetkova - 2023 - Bakhtiniana 18 (2):205-226.
    ABSTRACT The paper discusses the main principles in designing and annotating speech corpora within the framework of the Saint Petersburg phonological school, and provides examples of using corpus data in phonetic research. One of the major principles that we follow is to analyse the speech material at all levels: from segmental to intonational, including speech disfluencies. During segmental phonetic annotation, we suggest listening to each speech sound in isolation (without knowing its context) and relying on spectrographic data. At the syllabic (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  50
    Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
  21.  76
    Questions, Answers, and Logic.Pavel Tichy - 1978 - American Philosophical Quarterly 15 (4):275 - 284.
  22.  79
    The transiency of truth.Pavel Tichý - 1980 - Theoria 46 (2-3):165-182.
  23. A counterexample to the Stalnaker-Lewis analysis of counterfactuals.Pavel Tichý - 1976 - Philosophical Studies 29 (4):271 - 273.
  24.  60
    Intension in terms of Turing machines.Pavel Tichý - 1969 - Studia Logica 24 (1):7 - 25.
  25.  72
    Constructions.Pavel Tichy - 1986 - Philosophy of Science 53 (4):514-534.
    The paper deals with the semantics of mathematical notation. In arithmetic, for example, the syntactic shape of a formula represents a particular way of specifying, arriving at, or constructing an arithmetical object (that is, a number, a function, or a truth value). A general definition of this sense of "construction" is proposed and compared with related notions, in particular with Frege's concept of "function" and Carnap's concept of "intensional isomorphism." It is argued that constructions constitute the proper subject matter of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  26.  36
    A note on applicability of the incompleteness theorem to human mind.Pavel Pudlák - 1999 - Annals of Pure and Applied Logic 96 (1-3):335-342.
  27.  20
    Philosophy of the Novel.Thomas Pavel - 2016 - Common Knowledge 22 (1):141-141.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  28
    Jozef Kovalčik and Max Ryynänen, eds., Aesthetics of Popular Culture.Pavel Zahrádka - 2016 - Estetika: The European Journal of Aesthetics 53 (2):246-255.
    A review of Jozef Kovalčik´s and Max Ryynänen´s Aesthetics of Popular Culture.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  95
    A new theory of subjunctive conditionals.Pavel Tichý - 1978 - Synthese 37 (3):433 - 457.
    The article offers a rigorous truth condition for subjunctively conditional statements. The theory is framed in the system of transparent intensional logic and takes connections (especially the cause-Effect relation) as basic. Counterexamples are given to rival theories based on the notion of world similarity.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  30.  29
    Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.
    We give an exponential lower bound on number of proof-lines in the proof system K of modal logic, i.e., we give an example of K-tautologies ψ₁, ψ₂,... s.t. every K-proof of ψi must have a number of proof-lines exponential in terms of the size of ψi. The result extends, for the same sequence of K-tautologies, to the systems K4, Gödel—Löb's logic, S and S4. We also determine some speed-up relations between different systems of modal logic on formulas of modal-depth one.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  31.  56
    Indiscernibility of identicals.Pavel Tichý - 1986 - Studia Logica 45 (3):251 - 273.
    It is well known that the manner in which a definitely descriptive term contributes to the meaning of a sentence depends on the place the term occupies in the sentence. A distinction is accordingly drawn between ordinary contexts and contexts variously termed non-referential, intensional, oblique, or opaque. The aim of the present article is to offer a general account of the phenomenon, based on transparent intensional logic. It turns out that on this approach there is no need to say (as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  32.  60
    Ability and Freedom.Pavel Tichy & Graham Oddie - 1983 - American Philosophical Quarterly 20 (2):135 - 147.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33.  6
    Diskuse nad Dawkinsem.Pavel Doleček - 2012 - Teorie Vědy / Theory of Science 34 (3):133-158.
    The study reviews following books: Richard DAWKINS, Bož blud: Přin nboženstv těchu, nebo bolest? Praha: Academia 2009, 480 s. (The God Delusion, translated by Zuzana Gabrov with epilogue by Filip Jaro and Stanislav Komrek); HANU, J. - VYBRAL, J. (eds.), Dawkins pod mikroskopem: Diskuse nad knihou Richarda Dawkinse Bož blud. Brno: Centrum pro studium demokracie a kultury 2010. The aim of this study is to overview the debate inspired by publication of the Czech translation of Dawkins' book The God Delusion, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. The Masters and the End of the World: Exegesis in the Polemics with Chiliasm.Pavel Soukup - 2009 - Filosoficky Casopis 57:91-114.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Historical progress and involution of ideals / Исторический прогресс и инволюция идеалов.Pavel Simashenkov - 2017
    My book is about the human creativity being a source of progress, and cycling of evolution caused by platitude and triviality of once high-reaching idealism. In essence the book presents an original perception of human history, based on Christian values as vital coordinates system. I hope this book will revive the interest to the Russian school of thoughts and to humanism in general.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  9
    Concepts and Objects.Pavel Materna - 1998 - Philosophical Society of Finland.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  37.  30
    The Psychodynamics of Community of Inquiry and Educational Reform: a Cross-Cultural Perspective.Pavel Lushyn & David Kennedy - 2000 - Thinking: The Journal of Philosophy for Children 15 (3):9-16.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  54
    Frege and the Case of the Missing Sense.Pavel Tichy - 1986 - Grazer Philosophische Studien 27 (1):27-47.
    It is widely held that oblique contexts and indexical terms present difficulties to Frege's theory of sense. The aim of the present paper is to show that a simple device involving no revision of Frege's semantic doctrine resolves all the alleged difficulties. A simple extension of Frege's notation is proposed which makes it possible to translate oblique contexts into the concept script.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  17
    Culturological reconstruction of ChatGPT's socio-cultural threats and information security of Russian citizens.Pavel Gennadievich Bylevskiy - forthcoming - Philosophy and Culture (Russian Journal).
    The subject of the study is the socio-cultural threats to the information security of Russian citizens associated with ChatGPT technologies (Chat Generative Pre-trained Transformer, a machine-generated text response generator simulating a dialogue). The object of research − evaluation of the ratio of advantages and threats of generative language models based on "machine learning" in modern (2021-2023) scientific literature (journals HAC K1, K2 and Scopus Q1, Q2). The scientific novelty of the research lies in the culturological approach to the analysis of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  26
    A lower bound for intuitionistic logic.Pavel Hrubeš - 2007 - Annals of Pure and Applied Logic 146 (1):72-90.
    We give an exponential lower bound on the number of proof-lines in intuitionistic propositional logic, IL, axiomatised in the usual Frege-style fashion; i.e., we give an example of IL-tautologies A1,A2,… s.t. every IL-proof of Ai must have a number of proof-lines exponential in terms of the size of Ai. We show that the results do not apply to the system of classical logic and we obtain an exponential speed-up between classical and intuitionistic logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  41.  27
    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  
  42.  32
    Marketing impact on diffusion in social networks.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:49-74.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43. The dialectical foundations of AF Losev's philosophy of history.Pavel Boyko - 2005 - Russian Studies in Philosophy 44 (1):62-81.
     
    Export citation  
     
    Bookmark  
  44.  17
    The Revolution: The Beginning of the Transition.Pavel Campeanu & Stefana Steriade - 1993 - Social Research: An International Quarterly 60:915.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  24
    On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
    We give proofs of the effective monotone interpolation property for the system of modal logic K, and others, and the system IL of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the number of proof-lines in those systems. The main results have been given in [P. Hrubeš, Lower bounds for modal logics, Journal of Symbolic Logic 72 941–958; P. Hrubeš, A lower bound for intuitionistic logic, Annals of Pure and Applied Logic 146 72–90]; here, we give considerably simplified (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  46.  65
    Subjunctive conditionals: Two parameters vs. three.Pavel Tichý - 1984 - Philosophical Studies 45 (2):147 - 179.
  47. Lower Bounds for resolution and cutting plane proofs and monotone computations.Pavel Pudlák - 1997 - Journal of Symbolic Logic 62 (3):981-998.
    We prove an exponential lower bound on the length of cutting plane proofs. The proof uses an extension of a lower bound for monotone circuits to circuits which compute with real numbers and use nondecreasing functions as gates. The latter result is of independent interest, since, in particular, it implies an exponential lower bound for some arithmetic circuits.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  48. Once more on analytic vs. synthetic.Pavel Materna - 2007 - Logic and Logical Philosophy 16 (1):3-43.
    The boundary between analytic and synthetic sentences is well definable. Quine’s attempt to make it vague is based on a misunderstanding: instead of freeing semantics from shortcomings found, e.g. in Carnap’s work, Quine actually rejects semantics of natural language and replaces it by behavioristically articulated pragmatics. Semantics of natural language as a logical analysis is however possible and it can justify hard and fast lines between analyticity and syntheticity.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  24
    Constructions as the Subject Matter of Mathematics.Pavel Tichý - 1995 - Vienna Circle Institute Yearbook 3:175-185.
    The vision informing 20th Century philosophy has been aptly described as one of a desert landscape. Philosophers behave as if in expectation of an ontological tax collector to whom they will owe the less the fewer entities they declare. The metaphysical purge is perpetrated under a banner emblazoned with Occam’s Razor. But Occam never counselled ontological genocide at all cost. He only cautioned against multiplying entities beyond necessity His Razor is thus in full harmony with the complementary principle, known as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  50.  24
    Aristotle on How Animals Move: The De incessu animalium. Text, Translation, and Interpretative Essays ed. by Andrea Falcon and Stasinos Stavrianeas (review).Pavel Gregorić - 2024 - Journal of the History of Philosophy 62 (1):151-152.
    Aristotle was deeply fascinated by animals on account of their self-motion—that is, animals move themselves from one place to another in response to their needs and desires rather than in mechanical or chemical reaction to things in their environment, as inanimate things and plants do. This ability requires sensory awareness of one's environment and sophisticated control of one's body. Moreover, Aristotle was intrigued by the sheer variety of ways animals move themselves and of the parts they employ to do so. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 983