Results for 'Pavel Surynek'
935 found
Order:
1 filter applied
- Multi-agent pathfinding with continuous time.Anton Andreychuk,Konstantin Yakovlev,PavelSurynek,Dor Atzmon &Roni Stern -2022 -Artificial Intelligence 305 (C):103662.
- Multi-agent path finding with mutex propagation.Han Zhang,Jiaoyang Li,PavelSurynek,T. K. Satish Kumar &Sven Koenig -2022 -Artificial Intelligence 311 (C):103766.
- ProfesorPavel Materna slaví životní jubileum.Pavel Materna &Rotislav Niederle -2005 -Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 12 (2):176-192.No categoriesExport citation
Bookmark - Pavel Materna vzpomíná na Luboše Nového.Pavel Materna -2017 -Studia Philosophica 64 (1):79-80.No categories
- 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, ...
- Leaving the Enchanted World Behind: Kant on the Order of Nature, Empirical Space and the Possibility of Miracles.Pavel Reichl -2019 -Kantian Review 24 (1):103-125.Despite relative neglect in the literature, Kant’s published and unpublished writings in theoretical philosophy reveal a sustained and at times ambivalent effort to come to terms with the problem of miracles. Because they entail a form of supernatural causation that undermines the law-governedness of the order of nature, miracles pose a significant problem for Kant’s metaphysics. I explore in detail Kant’s account of miracles in conjunction with the relevant aspects of his metaphysics of nature in order to establish in what (...) sense miracles are possible, and how they fit into Kant’s architectonic more generally. (shrink)
- An approach to intensional analysis.Pavel Tichý -1971 -Noûs 5 (3):273-297.
- Kripke on necessity a posteriori.Pavel Tichý -1983 -Philosophical Studies 43 (2):225 - 241.
- 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 (...) threats to the security of Russian citizens associated with the use of ChatGPT as one of the technologies of "artificial intelligence". The formulation of the problem of the classical Turing test "to distinguish a person from a machine" is characterized as a scholastic abstraction, instead a more correct and productive approach is proposed: a socio-cultural assessment of the value (based on cultural axiology) of new computer technologies. The starting point of the analysis is the determination of socio-cultural value (or, conversely, damage) as a result of the use of generative language models based on machine learning. Further, the contribution and responsibility of various socio-cultural subjects of its creation and application are revealed − user, creator and developer. The result of the application of the proposed approach is the deconstruction of the discourse of the "philosophy of artificial intelligence" in terms of uncritical translation of developer declarations intended for marketing and attracting financing. Hypertrophied perception, precariously balancing on the edge of utopia and dystopia, is assessed as a risk of incorrect identification and ranking of threats to information security. Assumptions about the hypothetical "superweapon of psychological warfare" mask modern incidents of cross-border leakage of confidential data, the risks of being held accountable for publishing deliberately false information and illegal content as a result of using ChatGPT. National security measures are recommended, including restrictive measures and increasing the general civil culture of information security of users, as well as the orientation of domestic developments of solutions of this type on traditional values, socio-cultural identity and interests of Russian citizens. (shrink)No categories
- Simple Concepts.Pavel Materna -2013 -Acta Analytica 28 (3):295-319.To talk about simple concepts presupposes that the notion of concept has been aptly explicated. I argue that a most adequate explication should abandon the set-theoretical paradigm and use a procedural approach. Such a procedural approach is offered by Tichý´s Transparent Intensional Logic (TIL). Some main notions and principles of TIL are briefly presented, and as a result, concepts are explicated as a kind of abstract procedure. Then it can be shown that simplicity, as applied to concepts, is well definable (...) as a property relative to conceptual systems, each of which is determined by a finite set of simple (‘primitive’) concepts. Refinement as a method of replacing simple concepts by compound concepts is defined. (shrink)
- 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 (...) media. Unlike previous studies, which are mostly conceptual, qualitative, or focused on one or few eco-labels, we study a large set of eco-labels, combining data from three different sources. Our findings suggest that experts and media are primarily concerned about “re-assurance” practices, looking for one or preferably multiple layers of “re-assurance” that independent parties are overseeing the eco-label and the firms certified under it. (shrink)
- 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.
- 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, (...) Perceptual discrimination. 3, Waking, sleep, and control of the senses. 4, Perceiving that what we see and hear, and monitoring of the senses. 5, Other roles of the common sense -- Conclusion. (shrink)
- In Memory of Maja Hudoletnjak Grgić (1964–2010).Pavel Gregorić -2012 -Croatian Journal of Philosophy 12 (2):121-124.
- Čtyři empirické principy Ehrenfrieda Walthera von Tschirnhause.Pavel Vrtílka -2022 -Filosoficky Casopis 70 (1):139-156.No categories
- Evaluating Food and Beverage Experience: Paradoxes of the Normativity.Pavel Zahrádka -2020 -Eidos. A Journal for Philosophy of Culture 4 (3):99-112.This article is concerned with an analysis of semantics and the normativity of evaluative judgments, in which “aesthetic concepts” and “predicates of personal taste” are used in the context of the evaluation of selected cultural forms. Qualitative data obtained through semi-structured interviews with representatives in four categories of actors in the cultural field are analyzed. In the light of the findings, theories of aesthetic judgment are critically assessed, which on the one hand, postulate the categorical semantic and normative difference between (...) aesthetic concepts and predicates of personal taste and, on the other hand, conceive aesthetic disputes from an epistemological point of view and do not sufficiently take into account their pragmatic context. In conclusion, a functional analysis of the semantics and normativity of evaluative judgments is presented, in which the speakers use terms from the field of aesthetics. (shrink)No categories
- The sociological critique of philosophical aesthetics.Pavel Zahradka -2013 -Filosoficky Casopis 61 (3):349-370.Export citation Bookmark
- Counterfactual and seeing-to-it responsibilities in strategic games.Pavel Naumov &Jia Tao -2023 -Annals of Pure and Applied Logic 174 (10):103353.
- The problem of plurality of logics: understanding the dynamic nature of philosophical logic.Pavel Arazim -2021 - New York: Bloomsbury Academic.As the foundation of our rationality, logic has traditionally been considered fixed, stable and constant. This conception of the discipline has been challenged recently by the plurality of logics and in this book,Pavel Arazim extends the debate to offer a new view of logic as dynamic and without a definite, specific shape. The Problem of Plurality of Logics examines the origins of our standard view of logic alongside Kant's theories, the holistic view, the issue of logic's pragmatic significance (...) and Robert Brandom's logical expressivism. Arazim then draws on proof-theoretical approaches to present a convincing argument for a dynamic version of logical inferentialism, which opens space for a new freedom to modify our own logic. He explores the scope, possibilities and limits of this freedom in order to highlight the future paths logic could take, as a motivation for further research. Marking a departure from logical monism and also from the recent doctrine of logical pluralism in its various forms, this book addresses current debates concerning the expressive role of logic and contributes to a lively area of discussion in analytic philosophy. (shrink)
- Price of privacy.Pavel Naumov &Jia Tao -2017 -Journal of Applied Logic 20:32-48.
- Together we know how to achieve: An epistemic logic of know-how.Pavel Naumov &Jia Tao -2018 -Artificial Intelligence 262 (C):279-300.
- An epistemic logic of blameworthiness.Pavel Naumov &Jia Tao -2020 -Artificial Intelligence 283 (C):103269.
- 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.
- Knowing-how under uncertainty.Pavel Naumov &Jia Tao -2019 -Artificial Intelligence 276 (C):41-56.
- Mic dicționar filozofic.Pavel Apostol (ed.) -1973 - București,: Editura politcă.Export citation Bookmark
- Roumanie: les méandres de la privatisation.Pavel Campeanu -1993 -Cahiers Internationaux de Sociologie 95:355-368.Export citation Bookmark
- Rozh ľ ady.Pavel Cmorej -1994 -Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (2):149-159.
- A Climate Justice Compass for Transforming Self and World.M. PalomaPavel -2015 -World Futures 71 (3-4):96-113.Climate change is a turning point in human history, necessitating human–ecological transformation on an individual, local, and global scale. Metropolitan regions offer an opportunity for collective action that can transform individuals and communities by expanding and re-integrating our localities, while making a significant impact on global climate change. The Breakthrough Compass is a conceptual tool for navigating the transition from fragmented self toward wholeness and connection to place, while transforming our world. This article offers stories and case studies illustrating how (...) metropolitan regional climate justice coalitions can galvanize this local and global transformation. (shrink)
- Mental effort and fatigue as consequences of monotony.Pavel N. Prudkov -2013 -Behavioral and Brain Sciences 36 (6):702-703.
- Kant’s Herder Review: Analogical Inference, Indirect Cognition, and Philosophical Style.Pavel Reichl -2021 - In Camilla Serck-Hanssen & Beatrix Himmelmann,The Court of Reason: Proceedings of the 13th International Kant Congress. De Gruyter. pp. 2015-2022.
- Цифровая гуманитаристика и технологии в образовании (DHTE 2023). Сборник статей III Всероссийской научно-практической конференции с международным участием. Москва, 2023.Pavel Simashenkov (ed.) -2023No categoriesExport citation Bookmark
- 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.
- Concepts and Objects.Pavel Materna -1998 - Philosophical Society of Finland.
- Doppelgänger Changes the Game.Pavel Janda -forthcoming -Episteme:1-26.Thirders sometimes feel compelled to give the same answer – a credence of 1/3 – to the original and the duplicating Sleeping Beauty problem, which leads to some unwanted consequences. I will argue that they do not have to feel compelled to give the same answer, because the original and the duplicating version of the Sleeping Beauty problem are different types of decision problems. If one accepts that it is rationally permissible to give different answers to different types of decision (...) problems, both versions do not require the same solution. (shrink)
- On an Approach to the Philosophy of the Sacred.Pavel Krupkin -manuscriptThe study explores an approach to the philosophy of the sacred, tracing its presence from early recorded history to contemporary socio-political structures. The sacred is examined as a fundamental component of social organization, influencing social identities, institutions, and state legitimacy. -/- A key hypothesis introduced is the genetically determined centre of the sacred in the human brain, which evolved 50,000–70,000 years ago and functions archetypally, shaping emotions such as reverence, indignation at desecration, and numinous experiences. The sacred extends beyond traditional (...) religion into secular domains, including ideologies and eschatological narratives in modern societies. -/- The study also examines the role of trust and legitimacy in state stability, challenging N. Luhmann’s theory by arguing that trust operates beyond mere communication mechanisms and requires a fourth, sacred environment to maintain political order. The collapse of modern states (e.g., USSR, Libya, Syria) is linked to failures in reproducing trust. Furthermore, the paper introduces the concept of egregores – self-reproducing sacred structures that sustain collective belief systems, vital for the autopoiesis of political entities. -/- This work expands the philosophy of the sacred, linking it to macroevolutionary processes, the structuring of social identities, and the survival mechanisms of states. (shrink)
- Aristotle’s Model of Animal Motion.Pavel Gregoric &Klaus Corcilius -2013 -Phronesis 58 (1):52-97.In this paper we argue that Aristotle operates with a particular theoretical model in his explanation of animal locomotion, what we call the ‘centralized incoming and outgoing motions’ model. We show how the model accommodates more complex cases of animal motion and how it allows Aristotle to preserve the intuition that animals are self-movers, without jeopardizing his arguments for the eternity of motion and the necessary existence of one eternal unmoved mover in Physics VIII. The CIOM model helps to elucidate (...) Aristotle’s two central yet problematic claims, namely that the soul is the efficient cause of animal motion and that it is the internal supporting-point necessary for animal motion. Moreover, the CIOM model helps us to explain the difference between voluntary, involuntary and non-voluntary motions, and to square Aristotle’s cardiocentrism with his hylomorphism, but also, more generally, it provides an interesting way of thinking about the place of intentionality in the causal structure of the world. (shrink)
- A counterexample to the Stalnaker-Lewis analysis of counterfactuals.Pavel Tichý -1976 -Philosophical Studies 29 (4):271 - 273.
- K některým filosofickým aspektům Dantova díla.Pavel Floss -2016 -Filosofie Dnes 7 (2):3-19.Článek se zaměřuje na některé aspekty Dantova spisu De monarchia, především na povahu Alighieriho realizace ideje celosvětové monarchie, jež je jedinou zárukou trvalého míru, který je představen jako nezbytný předpoklad plné realizace všech duchovních potencí lidského rodu jako takového. Ačkoliv Dantovy názory vykazují ovlivnění dobovým averroismem, opírá se ve filosofické argumentaci pro upřednostnění vlády jediného celosvětového vladaře o scholasticky interpretovanou aristotelskou metafyziku. Autor konfrontuje základní momenty Dantovy politické filosofie s názory Marsilia z Padovy a především s koncepcemi Tomáše Akvinského. Ačkoliv (...) Dante přispěl k posílení autonomie světského a vymanění se panovnické moci z nároků, jež si osobovalo dobové papežství, vytvořilo jeho zbožštění panovnické moci ideové předpoklady pro zbožštění státu a novodobý etatismus. The study focuses on aspects of Dante`s De monarchia — particularly on Alighieri`s conception of realization of the idea of universal monarchy as the only guarantee of permanent peace. This is presented as a necessary precondition for a full realization of all spiritual potentialities of the human kind as such. Although Dante`s views display an influence of contemporary Averroism, his philosophical argumentation in favour of the rule of one universal monarch is based on scholastic interpretations of Aristotelian metaphysics. Key moments of Dante`s philosophy are confronted with the views of Marsilius of Padua and, particularly, with the conceptions of Thomas Aquinas. It is then argued that Dante contributed to strengthening of the autonomy of the secular order and to liberation of monarchic rule from power claims of the contemporary papacy. At the same time, however, his deification of monarchic rule created preconditions for deification of the state and modern etatism. (shrink)No categories
- Proměny vědění.Pavel Floss -1987 - Praha: Mladá fronta.No categoriesExport citation Bookmark
- Arkhiv L. P. Karsavina: neopublikovannye trudy: rukopisi.Pavel Ivinskiĭ (ed.) -2002 - Vilnius: Vilniaus universiteto leidykla.
- Werktreue und kulturelles Gedächtnis.Pavel B. Jiracek -2011 - In Gerhard Brunner & Sarah Zalfen,Werktreue: Was Ist Werk, Was Treue? Böhlau.No categoriesExport citation Bookmark
- Smysl konečnosti.Pavel Kouba -2001 - Praha: Oikoymenh.
- TMSmap – Software for Quantitative Analysis of TMS Mapping Results.Pavel A. Novikov,Maria A. Nazarova &Vadim V. Nikulin -2018 -Frontiers in Human Neuroscience 12.
- An Interpretation of Two Personal Names in the Ninth Line of the Tonyukuk Inscription.Pavel Ryken &Nikolai Telitsin -2022 -Journal of the American Oriental Society 140 (2):287.The paper deals with the etymology of the personal names Qunï Säŋün and Toŋra Simä appearing in the ninth line of the Old Turkic Tonyukuk inscription. These names are borne by the envoys sent by the kagan of the Tokuz Oghuz to the Chinese and Khitan, respectively, to conclude a military alliance against the Turks. Both names have the same structure, a combination of an ethnonym vs. toŋra), referring to a tribal unit within the Tiele 鐵勒 confederation, and a title (...) of Chinese origin. Based on a thorough analysis of historical and philological data, the authors try to establish possible ethnolinguistic grounds for the Tokuz Oghuz mission, which have so far eluded researchers of the inscription and can be fully restored only in the light of the latest discoveries in the history and philology of Inner Asia of the Old Turkic period, e.g., the decipherment of the famous Khüis Tolgoi inscription from Mongolia. (shrink)No categories
- Prime models of finite computable dimension.Pavel Semukhin -2009 -Journal of Symbolic Logic 74 (1):336-348.We study the following open question in computable model theory: does there exist a structure of computable dimension two which is the prime model of its first-order theory? We construct an example of such a structure by coding a certain family of c.e. sets with exactly two one-to-one computable enumerations into a directed graph. We also show that there are examples of such structures in the classes of undirected graphs, partial orders, lattices, and integral domains.
- Empirizm i rat︠s︡ionalizm v filosofīi Novogo vremeni.Pavel Dmitrievich Shashkevich -1976 - Moskva: Myslʹ.Export citation Bookmark
- Integrating Drupal, Flickr, and Mediawiki in a first-year writing composition class. PraxisWiki: Narratives on technology & writing.Pavel Zemliansky -2007 -Kairos: A Journal of Rhetoric, Technology, and Pedagogy 11.No categoriesExport citation Bookmark
- (1 other version)Higher education reform: looking back looking forward.Pavel Zgaga,Ulrich Teichler,Hans Georg Schütze &Andrä Wolter (eds.) -2015 - New York: Peter Lang.The central focus of this monograph is the concept of higher education reform in the light of an international and global comparative perspective. This volume takes a close look at these changes, the drivers of change, their effects and possible future scenarios.
- 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.
- 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 (...) both logic and mathematics, and that a coherent semantic account of mathematical formulas cannot be given without assuming that they serve as names of constructions. (shrink)
| 1 — 50 / 935 |
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-5b9ff6f457-ljglp uwo