Results for 'Petr Kříž'

459 found
Order:
  1.  4
    Merleau-Ponty’s Discovery of the Pre-Objective Body and Its Consequences for Body-Oriented Disciplines.Petr Kříž - 2019 - Sport, Ethics and Philosophy 15 (1):122-138.
    This paper addresses the ontological status of the body in the context of bodily practices in body-oriented disciplines, such as sport training, dance, and physiotherapy. Following Descartes’, Huss...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2. Merleau-Ponty’s Discovery of the Pre-Objective Body and Its Consequences for Body-Oriented Disciplines.Petr Kříž - 2019 - Sport, Ethics and Philosophy 15 (1):122-138.
    This paper addresses the ontological status of the body in the context of bodily practices in body-oriented disciplines, such as sport training, dance, and physiotherapy. Following Descartes’, Huss...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  21
    Homogeneity, Non-Maximality, Andall.Manuel Križ - 2016 - Journal of Semantics 33 (3):493-539.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4.  22
    Two Methods to Find Truth-Value Gaps and Their Application to the Projection Problem of Homogeneity.Manuel Križ & Emmanuel Chemla - 2015 - Natural Language Semantics 23 (3):205-248.
    Presupposition, vagueness, and oddness can lead to some sentences failing to have a clear truth value. The homogeneity property of plural predication with definite descriptions may also create truth-value gaps: The books are written in Dutch is true if all relevant books are in Dutch, false if none of them are, and neither true nor false if, say, half of the books are written in Dutch. We study the projection property of homogeneity by deploying methods of general interest to identify (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  1
    Children's Acquisition of Homogeneity in Plural Definite Descriptions.Lyn Tieu, Manuel Križ & Emmanuel Chemla - 2019 - Frontiers in Psychology 10.
  6.  3
    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  
  7.  20
    Mutual Aid; a Factor of Evolution.Petr Kropotkin - unknown
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  8.  11
    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.
  9.  17
    Revisting Husserl’s Account of Language in Logical Investigations.Petr Urban - 2018 - HORIZON. Studies in Phenomenology 7 (2):263-272.
  10. 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   19 citations  
  11.  32
    Flow of Time in Bst/Bcont Models and Related Semantical Observations.Petr Švarný - unknown
    First the Branching Space-time and Branching Continuations mod-els are briefly presented. We compare their properties with the traditional definition of a Flow of Time from physics and we point out the difficulties of it in relativistic time. A solution of a Flow of Time in the given models is then proposed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  30
    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   20 citations  
  13.  58
    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   21 citations  
  14.  18
    Enacting Care.Petr Urban - 2015 - Ethics and Social Welfare 9 (2):216-222.
  15.  42
    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   6 citations  
  16.  38
    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.  37
    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  
  18.  10
    Toward an Expansion of an Enactive Ethics with the Help of Care Ethics.Petr Urban - 2014 - Frontiers in Psychology 5.
  19. 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  
  20.  28
    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.  18
    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   15 citations  
  22.  21
    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   25 citations  
  23.  22
    Ü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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  24.  9
    Interpreting plural predication: homogeneity and non-maximality.Manuel Križ & Benjamin Spector - forthcoming - Linguistics and Philosophy:1-48.
    Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  87
    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   16 citations  
  26.  41
    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 (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  27.  9
    Ü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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  28.  61
    A New Small Emendation of Gödel's Ontological Proof.Petr Hájek - 2002 - Studia Logica 71 (2):149 - 164.
  29.  20
    On Arithmetic in the Cantor- Łukasiewicz Fuzzy Set Theory.Petr Hájek - 2005 - Archive for Mathematical Logic 44 (6):763-782.
    Axiomatic set theory with full comprehension is known to be consistent in Łukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  30.  17
    Joint Attention and Anthropological Difference.Petr Urban - 2014 - Environmental Philosophy 11 (1):59-70.
    According to Michael Tomasello’s evolutionary anthropological approach, joint attention is one of the essential keys to understanding the difference between human and animal. The present paper discusses a recent phenomenological account of the anthropological difference inspired by Tomasello’s conception. A criticism of this account is put forward, while an alternative view is also introduced that stresses the impact of differential rearing experiences on the socio-cognitive development of human and non-human animals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  58
    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   11 citations  
  32.  76
    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  
  33.  41
    Fuzzy Logic and Arithmetical Hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
    Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies and satisfiable sentences as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34.  10
    On Witnessed Models in Fuzzy Logic.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (1):66-77.
    Witnessed models of fuzzy predicate logic are models in which each quantified formula is witnessed, i.e. the truth value of a universally quantified formula is the minimum of the values of its instances and similarly for existential quantification. Systematic theory of known fuzzy logics endowed with this semantics is developed with special attention paid to problems of arithmetical complexity of sets of tautologies and of satisfiable formulas.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35.  12
    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  
  36.  16
    Fuzzy Logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  37. On Vagueness, Truth Values and Fuzzy Logics.Petr Hájek - 2009 - Studia Logica 91 (3):367-382.
    Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic. Presented are some generalizations of Shapiro’s formal apparatus.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Experimental Logics and Π3 0 Theories.Petr Hájek - 1977 - Journal of Symbolic Logic 42 (4):515-522.
  39.  8
    A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.
  40.  8
    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  
  41. Kriz Ve Küçülme.Sena Erten, Neslihan ŞAHİN & Yelda Tavlan - forthcoming - Humanitas.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. A VÁVRA, P. Strojírenská Příručka 7. Svazek. 1. Vyd. Praha.Rudolf KŘÍŽ - forthcoming - Scientia.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Fikce.J. Kriz - 1993 - Estetika 30 (1):38-52.
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Jsoucí a Skutečné V Ontologii Hodnot.J. Kriz - 1995 - Estetika 32 (1):39-51.
     
    Export citation  
     
    Bookmark  
  45.  17
    Jürgen Kriz : Subjekt und Lebenswelt. Personzentrierte Systemtheorie für Psychotherapie, Beratung und Coaching. Verlag Vandenhoeck & Ruprecht, 300 Seiten, € 30, als E-Book € 23,99, ISBN 978-3-525-49163-8. [REVIEW]Thomas Fuchs - 2018 - Gestalt Theory 40 (1):75-80.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Subjekt und Lebenswelt. Personzentrierte Systemtheorie für Psychotherapie, Beratung und Coaching.Jürgen Kriz - 2017
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  47. The Chains of Words and Fullness of the World.Jaroslav Kriz - 2011 - Filozofia 66 (7):689-695.
    No categories
     
    Export citation  
     
    Bookmark  
  48.  22
    The Role of Spatial Information in Referential Communication: Speaker and Addressee Preferences for Disambiguating Objects.Sarah Kriz, J. Gregory Trafton & J. Malcolm McCurry - 2007 - In McNamara D. S. & Trafton J. G. (eds.), Proceedings of the 29th Annual Cognitive Science Society. Cognitive Science Society.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  12
    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   2 citations  
  50.  55
    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   2 citations  
1 — 50 / 459