Results for 'Roman Kocourek'

944 found
Order:
  1.  18
    Some Considerations about Number.Roman A. Kocourek - 1961 - Laval Théologique et Philosophique 17 (2):197.
  2. Motionless Motion.Roman A. Kocourek - 1961 - The Thomist 24 (2):419.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  92
    Semantics for the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):77 - 82.
  4. The Literary Work of Art. Investigations on the Borderlines of Ontology, Logic and the Theory of Literature.Roman Ingarden - 1973 - Evanston,: Northwestern University Press.
    Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and ...
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  5. Explaining Thermodynamic-Like Behavior in Terms of Epsilon-Ergodicity.Roman Frigg & Charlotte Werndl - 2011 - Philosophy of Science 78 (4):628-652.
    Gases reach equilibrium when left to themselves. Why do they behave in this way? The canonical answer to this question, originally proffered by Boltzmann, is that the systems have to be ergodic. This answer has been criticised on different grounds and is now widely regarded as flawed. In this paper we argue that some of the main arguments against Boltzmann's answer, in particular, arguments based on the KAM-theorem and the Markus-Meyer theorem, are beside the point. We then argue that something (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  6.  33
    Disjunctions with Stopping Conditions.Roman Kossak & Bartosz Wcisło - 2021 - Bulletin of Symbolic Logic 27 (3):231-253.
    We introduce a tool for analysing models of$\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of$\text {CT}^-$are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of$\text {CT}^-$carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a nonstandard cut which cannot be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  92
    Identity connective and modality.Roman Suszko - 1971 - Studia Logica 27 (1):7-39.
  8. Fiction in science.Roman Frigg - unknown
    At first blush, the idea that fictions play a role in science seems to be off the mark. Realists and antirealists alike believe that science instructs us about how the world is. Fiction not only seems to play no role in such an endeavour; it seems to detract from it. The aims of science and fiction seem to be diametrically opposed and a view amalgamating the two rightly seems to be the cause of discomfort and concern.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  9.  16
    The Structure of Models of Peano Arithmetic.Roman Kossak & James Schmerl - 2006 - Oxford, England: Clarendon Press.
    Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for nonstandard models of arithmetic. The book covers basic isomorphism invariants: families of type realized in a model, lattices of elementary substructures and automorphism groups.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10. The ergodic hierarchy.Roman Frigg & Joseph Berkovitz - 2011 - Stanford Encyclopedia of Philosophy.
    The so-called ergodic hierarchy (EH) is a central part of ergodic theory. It is a hierarchy of properties that dynamical systems can possess. Its five levels are egrodicity, weak mixing, strong mixing, Kolomogorov, and Bernoulli. Although EH is a mathematical theory, its concepts have been widely used in the foundations of statistical physics, accounts of randomness, and discussions about the nature of chaos. We introduce EH and discuss how its applications in these fields.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  11. Classification of δ-invariant amalgamation classes.Roman D. Aref'ev, John T. Baldwin & Marco Mazzucco - 1999 - Journal of Symbolic Logic 64 (4):1743-1750.
  12.  69
    Essentiale Fragen. Ein Beitrag zum Wesensproblem.Roman Ingarden - 1925 - Jahrbuch für Philosophie Und Phänomenologische Forschung 7:125-304.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  13.  71
    Beyond Mimesis and Convention: Representation in Art and Science.Roman Frigg & Matthew Hunter (eds.) - 2008 - Boston Studies in Philosophy of Science.
    Featuring contributions from leading experts, this book represents the first collection of essays on the topic of art and science in the analytic tradition of ...
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  14. Aesthetic experience and aesthetic object.Roman Ingarden - 1960 - Philosophy and Phenomenological Research 21 (3):289-313.
    The purpose here is to give a thorough phenomenological account of the aesthetic experience. The difference between cognitive perception of a real object and the aesthetic experience of an esthetic object is discussed at length. Elements and phases of an esthetic experience are delineated; illustrations of a preliminary emotion of esthetic experience are given, All of which suggest a fundamental change of attitude. From normal perceiving to esthetic perceiving there is a change from categorical structures to qualitative harmony structures, Producing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  15. Undefinability of truth. the problem of priority:tarski vs gödel.Roman Murawski - 1998 - History and Philosophy of Logic 19 (3):153-160.
    The paper is devoted to the discussion of some philosophical and historical problems connected with the theorem on the undefinability of the notion of truth. In particular the problem of the priority of proving this theorem will be considered. It is claimed that Tarski obtained this theorem independently though he made clear his indebtedness to Gödel’s methods. On the other hand, Gödel was aware of the formal undefinability of truth in 1931, but he did not publish this result. Reasons for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  16.  49
    Semantyka dla rachunku zdań Z identycznością.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):82-82.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  16
    Existential concept of science in Heidegger’s fundamental ontology.Roman Kobets - 2020 - Filosofska Dumka (Philosophical Thought) 1:37-51.
    The article explores specificities of thematization of science and scientific rationality in Martin Heidegger’s fundamental ontology. This analysis focuses on the concept of scienticity, character- istic for Heidegger’s “early” line of thought, as well as continuation and divergence of exposition of “science” and the nature of “theoretical attitude” as the subject of interpretation of transcen- dental phenomenology of E. Husserl. This research places an emphasis on particularity of Hei- degger’s explication of existential concept of science as opposed to prevailing logico-epistemolog- (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Cognition of the Literary Work of Art.Roman Ingarden - 1973 - Evanston [Ill.]: Northwestern University Press.
    This long-awaited translation of Das literarische Kunstwerk makes available for the first time in English Roman Ingarden's influential study. Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and mode of existence. The Literary Work of Art establishes the groundwork for a philosophy of literature, i.e., an ontology in terms of which the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  32
    The Literary Work of Art: An Investigation of the Borderlines of Ontology, Logic, and Theory of Language.Roman Ingarden - 1973 - Evanston,: Northwestern University Press.
    This long-awaited translation of Das literarische Kunstwerk makes available for the first time in English Roman Ingarden's influential study. Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and mode of existence. The Literary Word of Art establishes the groundwork for a philosophy of literature, i.e., an ontology in terms of which the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  20. The Future of AI: Stanisław Lem’s Philosophical Visions for AI and Cyber-Societies in Cyberiad.Roman Krzanowski & Pawel Polak - 2021 - Pro-Fil 22 (3):39-53.
    Looking into the future is always a risky endeavour, but one way to anticipate the possible future shape of AI-driven societies is to examine the visionary works of some sci-fi writers. Not all sci-fi works have such visionary quality, of course, but some of Stanisław Lem’s works certainly do. We refer here to Lem’s works that explore the frontiers of science and technology and those that describe imaginary societies of robots. We therefore examine Lem’s prose, with a focus on the (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  20
    Errata: Investigations into the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1976 - Notre Dame Journal of Formal Logic 17 (4):640-640.
  22.  41
    Arithmetically Saturated Models of Arithmetic.Roman Kossak & James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):531-546.
    The paper presents an outline of the general theory of countable arithmetically saturated models of PA and some of its applications. We consider questions concerning the automorphism group of a countable recursively saturated model of PA. We prove new results concerning fixed point sets, open subgroups, and the cofinality of the automorphism group. We also prove that the standard system of a countable arithmetically saturated model of PA is determined by the lattice of its elementary substructures.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  23. Das Weltbild Nikolai Berdjajews.Roman Rössler - 1956 - Göttingen,: Vandenhoeck & Ruprecht.
     
    Export citation  
     
    Bookmark  
  24.  34
    Why can information not be defined as being purely epistemic?Roman Krzanowski - 2020 - Philosophical Problems in Science 68:37-62.
    The concept of information can be viewed from two perspectives, namely epistemic and ontological. In the epistemic view, information is associated with meaning, semantics, and knowledge, while in the ontological view, it is understood as structures and forms of objects. Information is most often perceived as epistemic information, yet a closer look at epistemic information reveals that this concept does not account for ontological information. This paper poses the following question: Should we select epistemic or ontological information as our primary (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  17
    Neutrally expandable models of arithmetic.Athar Abdul‐Quader & Roman Kossak - 2019 - Mathematical Logic Quarterly 65 (2):212-217.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Introducción a la literatura de la" Perfección de la Sabiduría".María Teresa Román López - 2005 - Ciudad de Dios 218 (1):97-111.
    No categories
     
    Export citation  
     
    Bookmark  
  27. Phenomenological aesthetics: An attempt at defining its range.Roman Ingarden - 1975 - Journal of Aesthetics and Art Criticism 33 (3):257-269.
  28.  81
    A certain class of models of peano arithmetic.Roman Kossak - 1983 - Journal of Symbolic Logic 48 (2):311-320.
  29. Cuestiones éticas sobre la clonación humana.José Román Flecha Andrés - 1998 - Salmanticensis 45 (1):105-127.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Humanización del dolor en el cuidado de la salud: acogida y compasión.José-Roman Flecha Andres - 2003 - Salmanticensis 50 (2):201-223.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Structuralism and category theory in the contemporary philosophy of mathematics.Izabela Bondecka-Krzykowska & Roman Murawski - 2008 - Logique Et Analyse 51 (204):365.
  32. Seguimiento de cristo y moral cristiana en San Bernardo.José-Roman Flecha Andres - 2007 - Salmanticensis 54 (1):5-29.
     
    Export citation  
     
    Bookmark  
  33.  49
    Would the real human embryonic stem cell please stand up?Ben Zhang, Roman Krawetz & Derrick E. Rancourt - 2013 - Bioessays 35 (7):632-638.
    Embryonic stem cells (ESCs) are now classified into two types of pluripotency: “naïve” and “primed” based upon their differing characteristics. Conventional human ESCs have much more in common with mouse epiblast stem cells and are now deemed to be primed. Naïve human ESCs that resemble mouse ESCs have recently been generated from their primed counterpart by cellular reprogramming. Isolation of naïve hESCs from human embryos has proven to be difficult. Is the inability to capture naïve hESCs the result of suboptimal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  44
    The road to conscious machines: AI through failed ideas.Roman Krzanowski - 2021 - Philosophical Problems in Science 70:171-181.
    Presented here is a review of the book by Michael Wooldridge The Road to Conscious Machines: The Story of AI. The book was published in 2021 by Pelican Publishing Company. The book presents a philosophical exploration of the AI-related quest to understand the essence of our minds, ethics, and consciousness. Nonetheless, the book is unconventional as it focuses on failures of past AI programs rather than on AI success stories. The author also indicates the possible pathways to develop new, more (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  54
    Quasi-completeness in non-Fregean logic.Roman Suszko - 1971 - Studia Logica 29 (1):7-16.
  36. Confesión públicade Dios ante los nuevos ídolos.José Román Flecha Andrés - 2001 - Salmanticensis 48 (2):239-270.
    It is said that Europe finds itself today in a post-christian situa-tion. Further, there are many who advocate abandoning monotheism in order to get back to prechristian polytheism in the hope that the plurality of gods would favour a democratic tolerance in a pluralistic world. In this article the author firstly asks if European Christians have not gone back to adoring idols and to attempting to distinguish between them in the new forms of devotion to possessiveness, to power and to (...)
     
    Export citation  
     
    Bookmark  
  37. Humanización del dolor en el cuidado de la salud: acogida y compasión.José Román Flecha Andrés - 2003 - Salmanticensis 50 (2):201-223.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  12
    Panorama de estudios morales.José Román Flecha Andrés - 1994 - Salmanticensis 41 (2):291-326.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Seguimiento de Cristo y moral cristiana en San Bernardo.José Román Flecha Andrés - 2007 - Salmanticensis 54 (1):5-29.
    No categories
     
    Export citation  
     
    Bookmark  
  40. (2 other versions)Discorsi di Religione.G. Gentile, Roman Lafite, A. Chiappelli & A. Aliotta - 1921 - Revue Philosophique de la France Et de l'Etranger 92:404-409.
     
    Export citation  
     
    Bookmark   1 citation  
  41. Opt teze despre iconomia religioasă a ştiinţei.Horia Roman Patapievici - 2002 - Dilema 502:11.
    No categories
     
    Export citation  
     
    Bookmark  
  42. The Internet as an Epistemic Agent (EA).Roman Krzanowski & Paweł Polak - 2022 - Információs Társadalom 22 (2):39-56.
    We argue that the Internet is, and is acting as, an EA because it shapes our belief systems, our worldviews. We explain key concepts for this discussion and provide illustrative examples to support our claims. Furthermore, we explain why recognising the Internet as an EA is important for Internet users and society in general. We discuss several ways in which the Internet influences the choices, beliefs, and attitudes of its users, and we compare this effect with those of psychological conditioning (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  9
    Corps et images: œuvres, dispositifs et écrans contemporains.Jacinto Lageira & Mathilde Roman (eds.) - 2017 - [Sesto San Giovanni]: Éditions Mimésis.
    Si les écrans sont multiples, les images sont toujours à construire dans une expérience perceptive qui participe aux cheminements du sens et des imaginaires. En virtualisant ses émotions esthétiques par le recours permanent à Internet et aux réseaux sociaux, le spectateur s'engage dans des approches complexes, à la fois conceptuelles et émotionnelles. Une coexistence qui lui permet de vivre des expériences esthétiques au fort potentiel critique. Face à la présence de plus en plus grande du virtuel dans les vies quotidiennes, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Filosofía de la historia al final del siglo XX: una experiencia transformada.Manuel Cruz Rodríguez & Román G. Cuartango - 2005 - In Manuel Garrido, El legado filosófico y científico del siglo XX. Madrid: Cátedra.
  45. Philosophy, poetry and drama in the museum.Roman de la Calle - forthcoming - Teorema: International Journal of Philosophy.
  46.  9
    Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
  47.  15
    Plotino y el problema del yo: una aproximación a su antropología filosófica a través del estudio del mal.Massiel Román Molero - 2019 - Estudios de Filosofía (Universidad de Antioquia) 17:11-32.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  24
    Dual spaces for topological Boolean algebras.R. Quackenbush & Roman Suszko - 1974 - Bulletin of the Section of Logic 3 (1):16-18.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Szkice filozoficzne.Zofia Zarnecka & Roman Ingarden (eds.) - 1964 - Warszawa: [Państwowe Wydawn. Naukowe].
     
    Export citation  
     
    Bookmark  
  50.  56
    Introduction.Roman Frigg & Stephan Hartmann - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (2):231-232.
    The formalism of quantum mechanics provides us with the probabilities for certain events to occur—this much is uncontroversial. But how are we to understand these probabilities? The essays in this special issue approach this question from different angles. The first three contributions take as their point of departure the philosophy of probability and discuss what the two main outlooks—objective and subjective interpretations of probability—have to offer in the context of quantum mechanics. The following five papers explore the question of how (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 944