Results for 'Pavel B. Brazdil'

995 found
Order:
  1. Werktreue und kulturelles Gedächtnis.Pavel B. Jiracek - 2011 - In Gerhard Brunner & Sarah Zalfen (eds.), Werktreue: Was Ist Werk, Was Treue? Böhlau.
    No categories
     
    Export citation  
     
    Bookmark  
  2. Bureaucratization of the Urban and the Ecclesiastical Administration from Below.Pavel B. Kurka - 2009 - Filosoficky Casopis 57:213-220.
  3.  28
    Reviews. [REVIEW]Mario L. Rybarczyk, Pavel Kovaly, Patrick McNally & B. J. - 1973 - Studies in East European Thought 13 (1-2):301-310.
  4.  35
    Russell's Arguments against Frege's Sense-Reference Distinction.Paveł Turnau - 1991 - Russell: The Journal of Bertrand Russell Studies 11 (1):52-66.
    In lieu of an abstract, here is a brief excerpt of the content:RUSSELLS ARGUMENT AGAINST FREGE'S SENSE-REFERENCE DISTINCTION PAWEL TURNAu Philosophy I Jagiellonian University Cracow, Poland I n "On Denoting"l Russell argued that Frege's theory of sense and reference was an "inextricable tangle", but, ironically, many readers found the argument even more knotry. In an effort to make sense of it, commentators were often driven to attribute to Russell quite obvious and simple fallacies. A different approach was taken by Peter (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  12
    Aesthetic experience in the political philosophy of A. Kojève: towards understanding the practice and theory of the total state.Pavel Egorov - 2023 - Sotsium I Vlast 4 (98):21-36.
    Introduction. The article is focused on analyzing the aesthetic aspect of A. Kojève’s philosophy, the ability of his philosophy, from an aesthetic point of view, to clarify a number of key problems of the modern political and cultural environment. The purpose of the study is to determine the epistemological attitude of A. Kojève’s philosophy able to clarify the way in which his philosophy problematizes the current cultural and political reality. Methods. Hermeneutics, comparative analysis and deconstruction are used as research methods. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  33
    Brill Online Books and Journals.Giovanni Arrighi, Ellen Meiksins Wood, Peter Thomas, Richard B. Day, Pavel V. Maksakovsky & Neil Davidson - 2002 - Historical Materialism 10 (3):115-131.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  3
    Double Helix of Life Technologization.Pavel Tishchenko - 2016 - Epistemology and Philosophy of Science 48 (2):51-53.
    The author discusses B.G. Yudin's image technoscience as having two contours, the external one dealing with science, business and society, and the internal one represented by laboratories. Together these two contours present a multidimensional net of relations between science and technology in conducting experiments, development of instruments (e.g. visualization tools), etc. The author argues that, in such a system, coordinated activity of the internal and the external contours is provided by a synergy of regulatory principles of truth, good and usefulness. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    Můj J. B. Kozák.Pavel Spunar - 2015 - Studia Philosophica 62 (1):71-104.
    Cílem této práce je připomenout odkaz J. B. Kozáka (1888–1974) a hodnotu jeho přednášek na Karlově univerzitě v letech 1949–1952, které měly hluboký význam v souvislosti s novou politickou situací po komunistickém puči v roce 1948. Život J. B. Kozáka byl hluboce ovlivněn jeho církevním vzděláním. Nakonec však získal post profesora filosofie na Karlově univerzitě v Praze. Jako prominentní zástupce Českého kulturního života se stal aktivním členem malého kroužku „pátečníků“ založeného spisovatelem K. Čapkem (1890–1938) a podporovaného T. G. Masarykem (1850–1937). (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  11
    The logos of semantic structure.Marie Duží Bjørn Jespersen Pavel Materna, M. Duží & B. Jespersen - 2010 - In Piotr Stalmaszczyk (ed.), Objects of Inquiry in Philosophy of Language and Linguistics. Ontos Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Humanistic, authoritative and ecopsychological perspective in education or rethinking philosophy for children under globalization.Pavel Lushyn - 2008 - Childhood and Philosophy 4 (7):173-192.
    The paper deals with the analysis of the buffer or transitional nature of humanistic-oriented school subjects like “Philosophy for children” first introduced in the USA by Dr. M. Lipman and Dr. Ann Sharp. A new ecopsychological and ecofacilitative vision is suggested. The ecofacilitative approach is assumed to be better fit a) into the framework of the ongoing educational ecocrisis and b) as a resolution of the emergent eurointegration and globalization issues.
     
    Export citation  
     
    Bookmark  
  11.  47
    Plantinga on essence: A few questions.Pavel Tichy - 1972 - Philosophical Review 81 (1):82-93.
    In his article "world and essence" ("phil. Rev." 1970, Pages 461-492) plantinga submitted that (a) individuals have essences and (b) the essence of an individual is a non-Trivial property which can be completely known only to god. In my note it is shown that on plantinga's own definitions each individual x has exactly one essence, The trivial property of x-Identity. Thus (b) fails.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  17
    The Life and Works of Abū al-Ḥusayn ʿAbd al-Bāqī b. Qāniʿ.Pavel Pavlovitch - 2022 - Journal of the American Oriental Society 141 (1):1.
    ʿAbd al-Bāqī b. Qāniʿ was a traditionist and evaluator of transmitters, one of the founders of the genre of biographical dictionaries devoted to the Com- panions of the Prophet. Ibn Qāniʿ has not attracted much attention from scholars— only Khalīl Qūtlāy has authored a doctoral dissertation, now published in fifteen volumes, that comprises Ibn Qāniʿ’s Muʿjam al-ṣaḥāba. In this essay I argue that Ibn Qāniʿ and his contemporaries relied on the chains of hadith transmission to extract the names of many (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    El origen del isnād y la revuelta de al-Mujtār b. Abī ‘Ubayd en Kūfa.Pavel Pavlovitch - 2018 - Al-Qantara 39 (1):17-48.
    During the past century of oriental studies, the question of when and where Muslim traditions came to be propped up with validating lines of transmission has attracted a considerable amount of scholarly attention, for its bearing on the key issue of the historicity of ḥadīth. In this essay, I review the existing theories about the origin of the isnād, which alternate between the lifetime of the Prophet’s Companions and the end of the second century AH/c. 816 CE. Based on a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  21
    The so-called myth of museum.Pavel Materna - 2004 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 11 (3):229-242.
    Quine claims that a) considering meaning as a separate object leads to mentalism and b) to overcome mentalism we have to accept an empirical analysis. The paper shows that a) is wrong and not accepting mentalism we can apply a logical, i.e., not empirical approach.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  78
    Are concepts A Priori?Pavel Materna - 2005 - In L. Behounek & M. Bilkova (eds.), The Logica Yearbook 2004. Praha: Filosofia.
    In [Laurence, Margolis 2003] the authors try - within their polemics against F.Jackson’s views in [Jackson 1998] - to decide the question whether concepts are a priori (in their formulation “to be defined a priori”). Their discussion suffers - as a number of similar articles - from a typical drawback: some problem whose solution requires an exact notion of concept is handled as if the latter were quite clear. The consequence of this ‘conceptual laxity’ is that a) the topic of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  8
    Logical Analysis of Natural Language as an Organic Part of Logic.Pavel Materna - 2015 - Studia Philosophica 62 (2):74-85.
    There are two kinds of logical errors. Either you use a non-valid scheme of an argument or your analysis of the premises is mistaken. No extensional or intensional theory can solve the following problem connected with analyzing NL expressions: The Leibniz principle of substituting identical for identical contains the condition a = b. Extensional as well as intensional systems (at least if intensions are defined as functions from possible worlds) analyzing this condition as formulated in natural language are happy if (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. O Definici A Pojmu Toho, Co Není.Pavel Materna & Petr Kolář - 1994 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (1):4-16.
    In the paper, Priorś well-known \'tonk\' argument is examined and taken as a basis for general considerations regarding the logical status of implicit definition, and the semantical status of the \'tonk\'-like expressions. Further, the whiff of logical vanity attendant upon Priorś conclusions is dispelled by employing a new theory of concept. In particular, the authors argue that: a) Priorś \'tonk\' argument discredits neither the concept of analytical validity nor the role of implicit definition. The arguments underlying the authors\' view draw (...)
    No categories
     
    Export citation  
     
    Bookmark  
  18.  18
    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  
  19.  49
    Bounded arithmetic and the polynomial hierarchy.Jan Krajíček, Pavel Pudlák & Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52 (1-2):143-153.
    T i 2 = S i +1 2 implies ∑ p i +1 ⊆ Δ p i +1 ⧸poly. S 2 and IΔ 0 ƒ are not finitely axiomatizable. The main tool is a Herbrand-type witnessing theorem for ∃∀∃ П b i -formulas provable in T i 2 where the witnessing functions are □ p i +1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  20.  11
    Russian Neo-Kantianism: Experiments (self)definitions and modern perspective.Vladimir Belov & Pavel Vladimirov - 2021 - Studies in Transcendental Philosophy 2 (3).
    One of the most important tasks in each philosophical tradition is to determine the methodological foundations and the target reason for research practice. Russian Russian neo-Kantianism raises several fundamental questions, including the criteria for distinguishing individual systems and the possibility of their integral reconstruction, the identification of the independence of Russian philosophers in overcoming the key contradictions of transcendental idealism, as well as discussions regarding the contribution of Russian neo-Kantians to the history of the development of Russian and European philosophy. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Points of View from a Logical Perspective.Marie Duží, Pavel Materna & Bjørn Jespersen - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):5-31.
    In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P, because it is a P only relative to some point of view and a non-P from another point of view. But there is (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  22. Points of View from a Logical Perspective.Marie Duží, Pavel Materna & Bjørn Jespersen - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (3):277-305.
    In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P , because it is a P only relative to some point of view and a non-P from another point of view. But there (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  23.  24
    Digitized Future of Medicine: Challenges for Bioethics.Elena G. Grebenshchikova & Pavel D. Tishchenko - 2020 - Russian Journal of Philosophical Sciences 63 (2):83-103.
    The article discusses the challenges, benefits, and risks that, from a bioethical perspective, arise because of the the development of eHealth projects. The conceptual framework of the research is based on H. Jonas’ principles of the ethics of responsibility and B.G. Yudin’s anthropological ideas on human beings as agents who constantly change their own boundaries in the “zone of phase transitions.” The article focuses on the events taking place in the zone of phase transitions between humans and machines in eHealth. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  8
    From Russian Theurgical Aesthetics to the Utopian Theurgy of Beauty and Art in the Russian Diaspora Philosophy.Galina G. Kolomiets & Pavel V. Lyashenko - 2022 - RUDN Journal of Philosophy 26 (1):120-136.
    The paper is devoted to the analysis of theurgic aesthetics in relation to the concept of utopia that initiates a different understanding of the philosophy of the Russian diaspora representatives through the prism of utopian theurgy of beauty and art. Introducing the idea of utopian theurgy of beauty and art the authors emphasize its meaningful, axiological component. The authors interpret the utopian theurgy of beauty and art in the Russian diaspora philosophy of the first third of the 20th century as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Virtues and Vices of Interpreted Classical Formalisms: Some Impertinent Questions for Pavel Materna on the occasion of his 70th Birthday.B. G. Sundholm - unknown
     
    Export citation  
     
    Bookmark  
  26.  4
    Ekphrasis. Two watercolors by Pavel Zaltsman.B. K. Barmankulova - forthcoming - Vox Philosophical journal.
    Five Heads (1929–1930) and Actors in the Square (1969). An attempt was made to trace the external plan of the image in all its elements (form construction, figure composition, the characteristics of faces, the color landscape) and to reveal the internal plan, the figurative structure, which manifests itself in the play of the color surface, which performs a dual role: to be both an object shell and a screen, where associations that arose in the mind and imagination of the artist (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Meaning, denotation, signification and reference in TIL theory.B. Cakovska - 2005 - Filozofia 60 (3):176-184.
    The Transparent Intensional Logic explicates the meaning of a linguistic expression as a construction. The construction is a hyperintensional entity. It is characterised as instructions for a „calculation“ of a concrete value. In the terminology of Pavel Tichy a linguistic expression denotes its meaning , which construes the signification of the expression. If the signification is an intension, we can call it a reference of the expression. In several semantic conceptions the question of the denotation and of the reference (...)
     
    Export citation  
     
    Bookmark  
  28. Construction and Deconstruction.B. Harvey - 2015 - Constructivist Foundations 10 (3):365-366.
    Open peer commentary on the article “Constructionism and Deconstructionism” by Pavel Boytchev. Upshot: Pavel Boytchev’s article calls attention to the fruitful dialectic between building things and taking them apart: No successful construction without deconstruction. Of course by using the word “deconstruction,” he is also implicitly invoking the critical-theory sense of the term, inviting us to deconstruct constructionism. I found the article fascinating on both levels.
     
    Export citation  
     
    Bookmark  
  29.  36
    Points of View from a Logical Perspective I.Duží Marie, Jespersen Bjørn & Materna Pavel - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (3):277-305.
    In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P, because it is a P only relative to some point of view and a non-P from another point of view. But there is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  23
    Pavel Krafl, Synody a statuta olomoucké diecéze období středovĕku [Medieval synods and statutes of the diocese of Olomouc]. (Opera Instituti Historici Pragae, B/2.) Prague: Historický ústav Akademie vĕd ČR, 2003. Pp. 272 plus 24 black-and-white plates; black-and-white frontispiece, black-and-white figures, 13 tables, and 1 map. [REVIEW]Howard Kaminsky - 2006 - Speculum 81 (1):220-220.
  31. Preodolenie zabluzhdenii︠a︡ v nauchnom poznanii.Pavel Stepanovich Zabotin - 1979 - Moskva: Myslʹ.
     
    Export citation  
     
    Bookmark  
  32.  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  
  33.  72
    An approach to intensional analysis.Pavel Tichý - 1971 - Noûs 5 (3):273-297.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  34. A counterexample to the Stalnaker-Lewis analysis of counterfactuals.Pavel Tichý - 1976 - Philosophical Studies 29 (4):271 - 273.
  35.  5
    Hidden Dimensions: The Unification of Physics and Consciousness.B. Alan Wallace - 2007 - Cambridge University Press.
    Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...)
  36.  16
    Centre of Applied Ethics Banska Bystrica, Slovakia.Pavel Fobel, Daniela Fobelova & Zuzana Simoniova - 2006 - Business Ethics: A European Review 15 (3):310-311.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  22
    Pluralism and the Moral Grounds of Liberal Theory.Carmen Pavel - 2007 - Social Theory and Practice 33 (2):199-221.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  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  
  39.  50
    Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
  40. 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  
  41.  96
    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   164 citations  
  42.  6
    Funkce jako kritérium aktualizace Aristotelova konceptu morálního charakteru.Jan Brázdil - 2022 - Studia Philosophica 69 (1):51-55.
    Článek spadá do tematické oblasti současných snah o oživení Aristotelovy etické teorie. V užším vymezení jde o téma aktualizace konceptu morálního charakteru (či mravní ctnosti), které je spojováno s využitím poznatků psychologických věd. Zde pak klíčovou pozornost věnuji problému kritérií, podle kterých můžeme posuzovat adekvátnost návrhů na takovou aktualizaci. Vedle běžně respektovaných kritérií interdisciplinarity a empirické a normativní adekvátnosti představuji kritérium funkce, které je ústředním pojmem článku. Cílem článku je formulovat toto kritérium a pro jeho vyjasnění co nejlépe vystihnout funk­ci (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  3
    Proč Slunce svítí a hřeje? : Atomisté: Vesmír plný žíhajících korálků.Jan Brázdil - 2023 - Studia Philosophica 70 (2):109-115.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    Role zvyku a racionalizace v morálních charakteru.Jan Brázdil - 2021 - Pro-Fil 22 (2):1.
    Ve své práci se v rámci aktualizace klasického Aristotelova konceptu morálního charakteru věnuji pojmu zvyku (habit) a otázce automatizace mentálních procesů. Dokazuji, že pojetí ctnosti jako zvyku, chápaného jako rutinní a zautomatizovaná činnost, při které nejsme schopni předložit skutečný důvod pro své jednání, není konzistentní s klasickou Aristotelovou teorií. Můj důkaz vychází z analýzy pojmu záměrná volba (proairésis) a za proponenty kritizovaného směru jsou představeni Bill Pollard a Matt Stichter. Větší část této práce pak věnuji filozofce Nancy Snowové a jejímu (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  9
    Role zvyku a racionalizace v morálních charakteru.Jan Brázdil - 2021 - Pro-Fil 22 (2):1.
    Ve své práci se v rámci aktualizace klasického Aristotelova konceptu morálního charakteru věnuji pojmu zvyku (habit) a otázce automatizace mentálních procesů. Dokazuji, že pojetí ctnosti jako zvyku, chápaného jako rutinní a zautomatizovaná činnost, při které nejsme schopni předložit skutečný důvod pro své jednání, není konzistentní s klasickou Aristotelovou teorií. Můj důkaz vychází z analýzy pojmu záměrná volba (proairésis) a za proponenty kritizovaného směru jsou představeni Bill Pollard a Matt Stichter. Větší část této práce pak věnuji filozofce Nancy Snowové a jejímu (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  32
    Hidden Dimensions: The Unification of Physics and Consciousness.B. Alan Wallace - 2007 - Columbia University Press.
    Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...)
  47.  21
    Macromolecular crystallographic estructure refinement.Pavel V. Afonine, Alexandre Urzhumtsev & Paul D. Adams - 2015 - Arbor 191 (772):a219.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. The Eucharistic Conquest of Time.Pavel Butakov - 2017 - Faith and Philosophy 34 (3):247-271.
    Roman Catholic and Eastern Orthodox theologians claim that the unique event of Christ’s sacrifice on Calvary is present in Eucharistic liturgies. A popular explanatory strategy for this miraculous presence suggests that due to its supernatural character the Eucharist “conquers time,” transcends its boundaries, and allows for temporal coincidence of two chronologically distant events. I discuss the four main approaches within this strategy that can be discovered in contemporary theological writings. The first approach implies a time travel of the Calvary event. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  68
    Incompleteness in the Finite Domain.Pavel Pudlák - 2017 - Bulletin of Symbolic Logic 23 (4):405-441.
    Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond NP ≠ coNP. These conjectures formally connect computational complexity with the difficulty of proving some sentences, which means that high computational complexity of a problem associated with a sentence implies that the sentence is not provable in a weak theory, or requires a long proof. Another reason for putting forward these conjectures is that some results in proof complexity seem to be (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50. 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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
1 — 50 / 995