Results for 'Petr H��jek'

1000+ found
Order:
  1.  85
    Objecting Vaguely to Pascal's Wager.Alan H.´jek - 2000 - Philosophical Studies 98 (1-16):1 - 16.
  2.  3
    The Cable Guy Paradox.Alan H.Á & jek - 2005 - Analysis 65 (2):112-119.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  12
    The Heroic Age of Scandinavia. G. Turville-Petre.H. M. Smyser - 1953 - Speculum 28 (1):217-218.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Patrick Farrington. Hinges and Automorphisms of the Degrees of Non-Constructibility. The Journal of the London Mathematical Society, Ser. 2 Vol. 28 , Pp. 193–202. - Petr Hájek. Some Results on Degrees of Constructibility. Higher Set Theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, Edited by G. H. Müller and D. S. Scott, Lecture Notes in Mathematics, Vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, Pp. 55–71. - Zofia Adamowicz. On Finite Lattices of Degrees of Constructibility of Reals. The Journal of Symbolic Logic, Vol. 41 , Pp. 313–322. - Zofia Adamowicz. Constructive Semi-Lattices of Degrees of Constructibility. Set Theory and Hierarchy Theory V, Bierutowice, Poland 1976, Edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture Notes in Mathematics, Vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, Pp. 1–43. [REVIEW]Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Focus and the Levels of Language System.Petr Sgall - 1991 - Journal of Semantics 8 (1-2):37-49.
    Recent linguistic trends stress the necessity to investigate not only the system of language, but also discourse patterns. In this context it is important to understand the sentence both semantically and syntactically not just as an “assertion”, being the linguistic counterpart of a fact’, but rather as a component part of a discourse, which in the general case is not a monologue. The sentence structure should then be described in such a way that its properties imposed by the sentence's functioning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  53
    Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.Matthias Baaz (ed.) - 2011 - Cambridge University Press.
    Machine generated contents note: Part I. Historical Context - Gödel's Contributions and Accomplishments: 1. The impact of Gödel's incompleteness theorems on mathematics Angus Macintyre; 2. Logical hygiene, foundations, and abstractions: diversity among aspects and options Georg Kreisel; 3. The reception of Gödel's 1931 incompletabilty theorems by mathematicians, and some logicians, to the early 1960s Ivor Grattan-Guinness; 4. 'Dozent Gödel will not lecture' Karl Sigmund; 5. Gödel's thesis: an appreciation Juliette C. Kennedy; 6. Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Philosophy and Logic: Selected Writings of Petre Botezatu.Petre Botezatu - 1987 - "Al. I. Cuza" University of Iaṣi, Department of Philosophy.
  8.  5
    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  
  9.  4
    From The Dialectics of the Concrete to Charter 77. [REVIEW]A. Tucker - 1996 - Télos 1996 (107):187-195.
    Title: The Crisis of Modernity: Essays and Observations from the 1968 EraPublisher: Rowman & LittlefieldISBN: 0847676811Author: Karel Kosík, James H. Satterwhite Title: Profils de Jan PatockaPublisher: Facultes universitaires Saint-LouisISBN: 2802800825Author: Henri Declève Title: Filosofie a Politika kú ePublisher: Institut pro stredoevropskou kulturu a politikuISBN: 8085241048Author: Petr Rezek.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  12
    Sensorimotor Coupling in Music and the Psychology of the Groove.Petr Janata, Stefan T. Tomic & Jason M. Haberman - 2012 - Journal of Experimental Psychology: General 141 (1):54-75.
  11.  28
    Liberalism: H. J. McCloskey.H. J. Mccloskey - 1974 - Philosophy 49 (187):13-32.
    Liberalism is commonly believed, especially by its exponents, to be opposed to interference by way of enforcing value judgments or concerning itself with the individual's morality. My concern is to show that this is not so and that liberalism is all the better for this. Many elements have contributed to liberal thought as we know it today, the major elements being the liberalism of which Locke is the most celebrated exponent, which is based upon a belief in natural, human rights; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  53
    Is Multiset Consequence Trivial?Petr Cintula & Francesco Paoli - forthcoming - Synthese:1-25.
    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 (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  63
    Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
    This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual” logics, yet easily manageable with nice logical properties. Then we introduce its subclass–the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  14.  32
    Distinguished Algebraic Semantics for T -Norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
    This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  15.  19
    Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
    Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  16.  42
    The Proof by Cases Property and its Variants in Structural Consequence Relations.Petr Cintula & Carles Noguera - 2013 - Studia Logica 101 (4):713-747.
    This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  91
    Global Bioethics: The Collapse of Consensus : Edited by H. Tristram Engelhardt, Jr.H. Tristram Engelhardt (ed.) - 2006 - M & M Scrivener Press.
    This collection of essays, Global Bioethics: The Collapse of Consensus, deals with the issue of the repeated failure of attempts to derive a universal set of ...
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  18.  21
    Mutual Aid; a Factor of Evolution.Petr Kropotkin - unknown
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  19.  42
    Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
    Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  32
    Implicational (Semilinear) Logics I: A New Hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
    In abstract algebraic logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this process one considers the Leibniz relation of indiscernible formulae. Such approach has resulted in a classification of logics partly based on generalizations of equivalence connectives: the Leibniz hierarchy. This paper performs an analogous abstract study of non-classical logics based on the kind of generalized implication connectives they possess. It yields a new classification of logics expanding Leibniz (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  21.  13
    H. E. Armstrong and the Teaching of Science, 1880-1930.W. H. Brock - 1974 - British Journal of Educational Studies 22 (1):119-120.
  22.  34
    J. H. Hexter, Neo-Whiggism And Early Stuart Historiography.William H. Dray - 1987 - History and Theory 26 (2):133-149.
    J. H. Hexter, an American historian of early seventeenth-century history, terms himself whiggish and claims whiggishness is returning after the misguided popularity of Marxism. The distinction "whiggish" is more elusive than his claim suggests, and the accuracy of its application to Hexter's claim is unclear. Three characteristics commonly assigned to whig interpretation by its critics can be seen as reflections of broader, unresolved historical issues. These are: attention to political and constitutional issues; a tendency to refer to the present in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  18
    Fuzzy Logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  81
    Schizophrenia, Dissociation, and Consciousness.Petr Bob & George A. Mashour - 2011 - Consciousness and Cognition 20 (4):1042-1049.
    Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  27
    Response by H. H. Pattee to Jon Umerez’s Paper: “Where Does Pattee’s “How Does a Molecule Become a Message?” Belong in the History of Biosemiotics?”. [REVIEW]H. H. Pattee - 2009 - Biosemiotics 2 (3):291-302.
    Umerez’s analysis made me aware of the fundamental differences in the culture of physics and molecular biology and the culture of semiotics from which the new field of biosemiotics arose. These cultures also view histories differently. Considering the evolutionary span and the many hierarchical levels of organization that their models must cover, models at different levels will require different observables and different meanings for common words, like symbol, interpretation, and language. These models as well as their histories should be viewed (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  11
    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  
  27.  10
    The Liar Paradox and Fuzzy Logic.Petr Hajek, 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 saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}$ for all sentences $\varphi$? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  28.  13
    William H. Bragg's Corpuscular Theory of X-Rays and Γ-Rays.Roger H. Stuewer - 1971 - British Journal for the History of Science 5 (3):258-281.
    The modern corpuscular theory of radiation was born in 1905 when Einstein advanced his light quantum hypothesis; and the steps by which Einstein's hypothesis, after years of profound scepticism, was finally and fully vindicated by Arthur Compton's 1922 scattering experiments constitutes one of the most stimulating chapters in the history of recent physics. To begin to appreciate the complexity of this chapter, however, it is only necessary to emphasize an elementary but very significant point, namely, that while Einstein based his (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29. WADDINGTON, C. H. - "The Ethical Animal". [REVIEW]C. H. Whiteley - 1962 - Mind 71:136.
  30. Interpreting Davidson.Petr Kotatko, Peter Pagin & Gabriel Segal (eds.) - 2001 - Center for the Study of Language and Inf.
    Donald Davidson is, arguably, the most important philosopher of mind and language in recent decades. His articulation of the position he called "anomalous monism" and his ideas for unifying the general theory of linguistic meaning with semantics for natural language both set new agendas in the field. _Interpreting Davidson_ collects original essays on his work by some of his leading contemporaries, with Davidson himself contributing a reply to each and an original paper of his own.
     
    Export citation  
     
    Bookmark   20 citations  
  31.  38
    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  
  32.  28
    II. Human Flourishing: H. MEYNELL.H. Meynell - 1969 - Religious Studies 5 (2):147-154.
    Miss G. E. M. Anscombe has said that, in order for progress to be made in ethics, we must have some determinate idea of ‘human flourishing.’ I want to cite in what follows the work of a number of writers in the psychiatric field who seem to me to throw light on just what it is for a human individual to flourish, for a human community to flourish, and for a human individual to flourish in relation to or in spite (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  74
    Belief ‘In’ and Belief ‘That’1: H. H. PRICE.H. H. Price - 1965 - Religious Studies 1 (1):5-27.
    Epistemologists have not usually had much to say about believing ‘in’, though ever since Plato's time they have been interested in believing ‘that’. Students of religion, on the other hand, have been greatly concerned with belief ‘in’, and many of them, I think, would maintain that it is something quite different from belief ‘that’. Surely belief ‘in’ is an attitude to a person, whether human or divine, while belief ‘that’ is just an attitude to a proposition? Could any difference be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34.  23
    Micro-Composition1: D. H. Mellor.D. H. Mellor - 2008 - Royal Institute of Philosophy Supplement 62:65-80.
    Entities of many kinds, not just material things, have been credited with parts. Armstrong, for example, has taken propositions and properties to be parts of their conjunctions, sets to be parts of sets that include them, and geographical regions and events to be parts of regions and events that contain them. The justification for bringing all these diverse relations under a single ‘part–whole’ concept is that they share all or most of the formal features articulated in mereology. But the concept (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  29
    Future Generations and the Justifiability of Germline Engineering.Ioana Petre - 2017 - Journal of Medicine and Philosophy 42 (3):328-341.
    The possibility of performing germline modifications on currently living individuals targets future generations’ health and well-being by reducing the diversity of the human gene pool. This can have two negative repercussions: reduction of heterozygosity, the latter being associated with a health or performance advantage; uniformization of the genes involved in reproductive recombination, which may lead to the health risks involved in asexual reproduction. I argue that germline interventions aimed at modifying the genomes of future people cannot be ethically justifiable if (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  21
    T. H. Huxley on Education.Cyril Bibby & T. H. Huxley - 1972 - British Journal of Educational Studies 20 (3):352-353.
  37. Privacy, Individuality, Rules: A Response to Petr Glombicek.Petr Kot'atko - 2008 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 15 (2):211-234.
     
    Export citation  
     
    Bookmark  
  38.  21
    Review of H. Joas, Die Kreativität des Handelns. [REVIEW]H. G. Callaway - 1995 - Philasophical Quarterly (Scotland) 45 (179):247-249.
  39.  14
    Implicational Logics II: Additional Connectives and Characterizations of Semilinearity.Petr Cintula & Carles Noguera - 2016 - Archive for Mathematical Logic 55 (3-4):353-372.
    This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  4
    [Book Review] Follies and Fallacies in Medicine. [REVIEW]Petr Skrabanek & James McCormick - 1991 - Journal of Medical Ethics 17:110-111.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  41.  26
    Max H. Fisch: Rigorous Humanist.Edward H. Madden - 1986 - Transactions of the Charles S. Peirce Society 22 (4):375 - 396.
  42.  56
    Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties: Nonassociative Substructural Logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.
    Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  8
    Topic, Focus and Generative Semantics.Petr Sgall - 1973 - Kronberg Taunus, Scriptor Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  13
    A Note on Natural Extensions in Abstract Algebraic Logic.Petr Cintula & Carles Noguera - 2015 - Studia Logica 103 (4):815-823.
    Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  12
    Petr Kropotkin.Gustav Landauer - 2016 - Società Degli Individui 54:75-92.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  9
    A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.
  47.  25
    A Complete Many-Valued Logic with Product-Conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
    A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  48.  53
    On Łukasiewicz's Four-Valued Modal Logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
    ukasiewicz''s four-valued modal logic is surveyed and analyzed, together with ukasiewicz''s motivations to develop it. A faithful interpretation of it in classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed in the light of the presented results, ukasiewicz''s own texts, and related literature.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  49.  9
    Formal Systems of Fuzzy Logic and Their Fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.
    Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  21
    Revisting Husserl’s Account of Language in Logical Investigations.Petr Urban - 2018 - HORIZON. Studies in Phenomenology 7 (2):263-272.
1 — 50 / 1000