Results for 'Petr Vopěnka'

787 found
Order:
  1.  19
    [Russian Text Ignored.].Petr Vopênka - 1962 - Mathematical Logic Quarterly 8 (3‐4):293-304.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  37
    Russian Text Ignored.Petr Vopênka - 1962 - Mathematical Logic Quarterly 8 (3-4):293-304.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  18
    Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie.Petr Vopênka & Petr Hájek - 1963 - Mathematical Logic Quarterly 9 (12‐15):235-241.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  30
    Über Die Gültigkeit Des Fundierungsaxioms in Speziellen Systemen Der Mengentheorie.Petr Vopênka & Petr Hájek - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):235-241.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  18
    Contributions to the theory of semisets V: On the axiom of general collapse.Petr Vopênka & Antonín Sochor - 1975 - Mathematical Logic Quarterly 21 (1):289-302.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  14
    Petr Vopěnka.A. Sochor - 2001 - Annals of Pure and Applied Logic 109 (1-2):1-8.
  7.  31
    Review: Petr Vopenka, Petr Hajek, The Theory of Semisets. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  8.  41
    Review: Petr Vopenka, Mathematics in the Alternative set Theory. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1423-1424.
  9.  11
    Petr Vopěnka. Modéli téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 281–292. [REVIEW]Ralph Seifert - 1967 - Journal of Symbolic Logic 32 (3):411-412.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Review: Petr Vopenka, Modeli Teorii Mnozestv (Modelle der Mengenlehre). [REVIEW]Ralph Seifert - 1967 - Journal of Symbolic Logic 32 (3):411-412.
     
    Export citation  
     
    Bookmark  
  11.  33
    Petr Vopěnka. Mathematics in the alternative set theory. Teubner-Texte zur Mathematik. Teubner Verlagsgesellschaft, Leipzig1979, 120 pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1423-1424.
  12.  5
    Review: Petr Vopenka, Die Konstruktion von Modellen der Mengenlehre Nach der Methode der Ultraprodukte. [REVIEW]Peter G. Hinman - 1968 - Journal of Symbolic Logic 33 (3):475-476.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  11
    Vopěnka Petr. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá . Doklady Akadémii Nauk SSSR, vol. 143 , pp. 11–12.Vopěnka Petr. Postroénié modéléj téorii množéstv métodom spéktra . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 149–160.Vopěnka Petr. Eléméntarnyé pondtiá v téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 161–167.Vopěnka Petr. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 229–233.Vopěnka Petr. Podmodéli modéléj téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 163–172. [REVIEW]Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (3):470-472.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Vopěnka Petr. Postroénié modeléj téorii mnozéstv métodom ul'traproizvédéniá . Zeitschrift für mathematische Logik und Grundtagen der Mathematik, vol. 8 , pp. 293–304. [REVIEW]Peter G. Hinman - 1968 - Journal of Symbolic Logic 33 (3):475-476.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  21
    Vopěnka Petr and Hájek Petr. The theory of semisets. Studies in logic and the foundations of mathematics, vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 pp. [REVIEW]Azriel Levy - 1984 - Journal of Symbolic Logic 49 (4):1422-1423.
  16.  23
    Infinity and continuum in the alternative set theory.Kateřina Trlifajová - 2021 - European Journal for Philosophy of Science 12 (1):1-23.
    Alternative set theory was created by the Czech mathematician Petr Vopěnka in 1979 as an alternative to Cantor’s set theory. Vopěnka criticised Cantor’s approach for its loss of correspondence with the real world. Alternative set theory can be partially axiomatised and regarded as a nonstandard theory of natural numbers. However, its intention is much wider. It attempts to retain a correspondence between mathematical notions and phenomena of the natural world. Through infinity, Vopěnka grasps the phenomena of vagueness. Infinite sets (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  40
    Rozpaky nad Vopěnkovými Meditacemi o základech vědy.Jaroslav Peregrin - unknown
    V kontextu české filosofie, kde není nouze o vzdělané a chytré lidi, ale kde se to nijak nehemží skutečnými individualitami, představuje Petr Vopěnka zcela zvláštní případ. Je matematik nejenom vzděláním, ale v matematice i leccos dokázal. Jeho knihy o filosofii matematiky, zejména jeho tetralogie Rozprav s geometrií1, jsou velice vyhraněné: Vopěnka v nich předkládá svůj originální obraz a příliš se nestará o to, aby ho konfrontoval s tím, co si o tom myslí jiní. Jak sám připouští, i historické osoby, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  85
    Is multiset consequence trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.
    Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  19. An Aristocratic Compatibilist's Providence: Components of Aquinas's Soft Determinist View.Petr Dvorský - 2024 - BRILL.
    Analyzing different philosophical and theological components of Aquinas’s view regarding the relation between human agency and divine providence, the monograph shows this view to be compatibilist, based on a determinist conception of causation and an aristocratic understanding of goodness.
     
    Export citation  
     
    Bookmark  
  20.  5
    The psychology of man's possible evolution.Petr Demʹi︠a︡novich Uspenskiĭ - 1954 - New York,: Knopf; [distributed by Random House].
    Studies man in view of what he may become. Describes how a man must work simultaneously on his knowledge and his being to find inner unity.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  7
    Philosophy and logic: selected writings of Petre Botezatu.Petre Botezatu - 1987 - Iaṣi: "Al. I. Cuza" University of Iaṣi, Department of Philosophy.
  22. The liar paradox and fuzzy logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  23.  6
    Ethics: origin and development.Petr Alekseevich Kropotkin - 1924 - Chalmington, Dorchester, Dorset: Prism Press. Edited by Louis S. Friedland & Joseph R. Piroshnikoff.
  24.  76
    A new small emendation of gödel's ontological proof.Petr Hájek - 2002 - Studia Logica 71 (2):149 - 164.
  25. Modern microcontroller building set for teaching and development of industrial applications.Petr Weissar, Kamil Kosturik & Michal Kubík - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. Cambridge University Press. pp. 5--15.
  26.  42
    The liar paradox and fuzzy logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
    Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying “xis true” and satisfying the “dequotation schema”for all sentences φ? This problem is investigated in the frame of Łukasiewicz infinitely valued logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  27.  8
    A New Small Emendation of Gödel's Ontological Proof.Petr Hájek - 2002 - Studia Logica 71 (2):149-164.
  28.  81
    Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
    Rational Pavelka logic extends Lukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0, 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  29.  58
    Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  30.  5
    Anxiety, Hope and Meaning in Times of Ecological Crisis: An Existential-Phenomenological Perspective on Environmental Emotions.Petr Vaškovic & Gabriela Vičanová - forthcoming - Human Studies:1-21.
    Environmental anxiety is often thought of as a psychopathological condition. Our paper aims to challenge this narrow understanding by offering an existential-phenomenological interpretation of environmental anxiety that posits it as an _existential attunement_ with a transformative potential, capable of opening the anxious individual to a hopeful and meaningful outlook on the future. In the first part of the paper, we provide a conceptual analysis of environmental anxiety, drawing on current interdisciplinary taxonomies of environmental emotions as well as on existential-phenomenological definitions (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Russification of Soviet nationalities: The importance of territorial autonomy.Petr F. Dostál & Hans Knippenberg - 1992 - History of European Ideas 15 (4-6):631-638.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  12
    Dedicated to Petr Vopeynka.Bohuslav Balcar & Petr Simon - 2001 - Annals of Pure and Applied Logic 109 (1):2-15.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  6
    The theological program of Fr. Georges Florovsky from the Russian perspective.Petr B. Mikhaylov - forthcoming - Studies in East European Thought:1-19.
    The theological program of Archpriest Georges Florovsky is understood as a conception of the neopatristic synthesis that he developed. From the beginning, its appearance was associated with the participation of its creator in a public discussion about the historical ways of Russia within the framework of the Eurasian movement, then, with his scientific investigations into the history of Russian Orthodoxy and ancient Christian thought and later with his activity in the ecumenical movement. It is noteworthy that the positive content of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  69
    On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
    In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  35. Spirituality as a Subject of Academic Studies in Continental Theology of the Twentieth Century.Petr Mikhaylov - 2015 - European Journal for Philosophy of Religion 7 (2):193--207.
    I examine mystical experience through the history of European religious thought, its modern state, and different spiritual practices of the Patristic epoch. The survey gives some definitions: mystical experience is situated in the field of spirituality along with practices of its acquisition -- ascetics; and the fruits of it -- theology and doctrine. The second part of the article is devoted to a wide field of Christian texts as a representative example of the same experience of the crystallization of mystical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  35
    The Realism and Evolutionary Personalism of N.O. Lossky.Petr Abramov & Andrei Ivanov - 2018 - Sophia 59 (4):767-778.
    The paper is devoted to Nikolay Lossky who was one of the leading Russian philosophers of the first half of the twentieth century. We demonstrate the interrelationship between three aspects of Lossky’s philosophy: realism in the theory of knowledge, hierarchical personalism, and supra-naturalistic concept of evolution. We pay attention to the contemporary relevance of Lossky, and we discuss and critique his ideas in light of those of other philosophers. Lossky acknowledges that the subject interacts with being itself and that knowledge (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Undoing law : public art as contest over meanings.Petr Agha - 2016 - In Mónica López Lerma & Julen Etxabe (eds.), Ranciere and Law. Routledge.
     
    Export citation  
     
    Bookmark  
  38. as: české jádro na rakouských zahrádkách aneb výlučná mezinárodní příslušnost civilních soudů podle čl. 16 Bruselské úmluvy.Petr–ČEZ BŘÍZA - forthcoming - Jurisprudencija: Mokslo darbu žurnalas.
     
    Export citation  
     
    Bookmark  
  39. SEVIC Systems AG: přeshraniční fúze spadají do režimu svobody usazování dle čl. 43 SES.Petr Bříza - forthcoming - Jurisprudencija: Mokslo darbu žurnalas.
     
    Export citation  
     
    Bookmark  
  40.  10
    Chytrost bez porozumění: hypotéza kulturní inteligence a její limity.Petr Matějíček - forthcoming - Teorie Vědy / Theory of Science:1-27.
    Humans are remarkably adaptable, and therefore a successful species. There are many speculative answers to the question of why this is so. One of them represents the cultural intelligence hypothesis, which consid-ers cultural learning skills as the key to human success. This work aims to present the hypothesis of cultural intelligence as a viable alternative to more conventional approaches within the debate about the origin of human intelligence, such as the hypothesis of general and improvisational intelligence. Theirmutual comparison shows that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  21
    Male and stale? Questioning the role of “opinion leaders” in agricultural programs.Petr Matous - 2023 - Agriculture and Human Values 40 (3):1205-1220.
    Social networks can influence people’s behaviour and therefore it is assumed that central individuals in social networks, also called “opinion leaders”, play a key role in driving change in agricultural and food systems. I analyse the outcomes of an intervention (that encouraged Sulawesi smallholder farmers to take a specific action toward improving the health of their cocoa trees) to assess the impact of engaging opinion leaders in agricultural programs that aim to change farmers’ practices. The intervention has been implemented through (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  24
    Behavioral Political Economy and Democratic Theory: Fortifying Democracy for the Digital Age.Petr Špecián - 2022 - Londýn, Velká Británie: Routledge Frontiers of Political Economy.
    Drawing on current debates at the frontiers of economics, psychology, and political philosophy, this book explores the challenges that arise for liberal democracies from a confrontation between modern technologies and the bounds of human rationality. With the ongoing transition of democracy's underlying information economy into the digital space, threats of disinformation and runaway political polarization have been gaining prominence. Employing the economic approach informed by behavioral sciences' findings, the book's chief concern is how these challenges can be addressed while preserving (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  20
    The Limits of Doubt: The Moral and Political Implications of Skepticism.Petr Lom - 2001 - State University of New York Press.
    Shows how different forms of skepticism can lead to remarkably different moral and political implications.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  44. No-Regret Learning Supports Voters’ Competence.Petr Spelda, Vit Stritecky & John Symons - forthcoming - Social Epistemology:1-17.
    Procedural justifications of democracy emphasize inclusiveness and respect and by doing so come into conflict with instrumental justifications that depend on voters’ competence. This conflict raises questions about jury theorems and makes their standing in democratic theory contested. We show that a type of no-regret learning called meta-induction can help to satisfy the competence assumption without excluding voters or diverse opinion leaders on an a priori basis. Meta-induction assigns weights to opinion leaders based on their past predictive performance to determine (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  12
    An Interdisciplinary Perspective on the Relationship between Ethics and Today’s Capitalism.Petre Comsa & Costea Munteanu - 2015 - Annales. Ethics in Economic Life 18 (4):39-53.
    The paper begins by emphasizing the fact that, on a historical scale, one can have several views of the relationship that has existed over time between ethics and capitalism, namely: missionary, ‘Nietzschean’, critical, and ‘regulatory’. It is argued that, nowadays, the capitalization of the contributions supplied, over time, by the four views embraces the form of two modern diametrically opposed perspectives, i.e.: on the one hand, there is the interpretation given by the neo-classical school of thought (mainstream economics) and, on (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. SumatraTT: Towards a universal data preprocessor.Petr Aubrecht, Filip Zelezny, Petr Miksovsky, Olga Stepankova & Olga Tdpclnkovcl - 2002 - In Robert Trappl (ed.), Cybernetics and Systems. Austrian Society for Cybernetics Studies. pp. 818-823.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  23
    Correspondence, conference threads and debate.Petr Beckmann - 1993 - Apeiron: Studies in Infinite Nature 17:27.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  10
    Jean-Paul Sartre ou les chemins de l'existentialisme.Petre Mareș - 2006 - Paris: Harmattan.
    L'auteur a essayé de démontrer le positionnement de Jean-Paul Sartre sous la bannière de l'ontologie dès sa création de jeunesse, sans laquelle il est difficile de comprendre la place du philosophe français dans l'histoire de la phénoménologie. La nouvelle formule créée par Jean-Paul Sartre, à savoir "l'ontologie phénoménologique" est une forme spécifique de l'ontologie moderne de l'humain comprenant également des questions fondamentales caractéristiques de n'importe quelle pensée philosophique. u u.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  62
    Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
    We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50. What Can Artificial Intelligence Do for Scientific Realism?Petr Spelda & Vit Stritecky - 2020 - Axiomathes 31 (1):85-104.
    The paper proposes a synthesis between human scientists and artificial representation learning models as a way of augmenting epistemic warrants of realist theories against various anti-realist attempts. Towards this end, the paper fleshes out unconceived alternatives not as a critique of scientific realism but rather a reinforcement, as it rejects the retrospective interpretations of scientific progress, which brought about the problem of alternatives in the first place. By utilising adversarial machine learning, the synthesis explores possibility spaces of available evidence for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 787