Results for 'Hajnal Andr��ka'

1000+ found
Order:
  1.  17
    Representations for Small Relation Algebras.Hajnal Andr Eka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4).
  2.  34
    Ka katholon ontos oti peóte: P. Aubenque / A. de Muralt. Una polémica conceptual sobre la metafísica aristotélica.Francisco León Florido - 2002 - Anales Del Seminario de Historia de la Filosofía 19 (2):197-225.
    En este artículo nos ocupamos de la Polémica conceptual entre la lectura de la metafísica de Aristóteles que hace el profesor suizo André de Muralt, que se vertebra sobre la doctrina analogía del ser, y la interpretación de Pierre Aubenque, que defiende una Interpretación aporética, que niega la presencia de tal doctrina en los textos aristotélicos. Esbozaremos, por tanto, dos imágenes muy distintas del pensamiento aristotélico. El Aristóteles de Aubenque es un filósofo que fracasa en su pretensión científica y que (...)
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. A Logic Road From Special Relativity to General Relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.
    We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  4.  25
    Does Ontology Rest on a Mistake?: Andre Gallois.Andre Gallois - 1998 - Supplement to the Proceedings of the Aristotelian Society 72 (1):263-283.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  34
    Authors’ Response: The Virtues of Minimalism in Ontology and Epistemology: Michael Esfeld and Dirk-André Deckert: A Minimalist Ontology of the Natural World. New York: Routledge, 2017, 182pp, US$140.00 HB.Michael Esfeld & Dirk-André Deckert - 2018 - Metascience 27 (3):443-451.
    The paper sets out and defends against criticism the claims argued for in the book A minimalist ontology of the natural world.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
    What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   70 citations  
  7.  93
    Reasonableness, Thy Name is Nature: A Review of John Finnis, Natural Law Natural Rights by Andres Rosler. [REVIEW]Andrés Rosler - 2011 - Jurisprudence 2 (2):529-545.
    Coercion and the State: A review of B Sharon Byrd and Joachim Hruschka, Kant's Doctrine of Right: A Commentary by Helga Varden.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  22
    Complexity of Equations Valid in Algebras of Relations Part I: Strong Non-Finitizability.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2):149-209.
    We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  9. André Mercier, Physicien Et Métaphysicien.André Mercier, Maja Svilar & A. Held - 1983 - Institut des Sciences Exactes de l'Université de Berne.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. An Interview with Pierre-André Taguieff.Pierre-André Taguieff - 1993 - Telos: Critical Theory of the Contemporary 98 (winter/spring).
  11.  73
    Axiomatizing Relativistic Dynamics Without Conservation Postulates.Hajnal Andréka, Judit Madarász X., István Németi & Gergely Székely - 2008 - Studia Logica 89 (2):163 - 186.
    A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  24
    André Berger, de la Théorie Astronomique au Réchauffement Global Et au Développement Durable.André Berger, Jacques-Louis de Beaulieu & Claude Millier - 2012 - Natures Sciences Sociétés 20 (3):343-352.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  34
    Mutual Definability Does Not Imply Definitional Equivalence, a Simple Example.Hajnal Andréka, Judit X. Madarász & István Németi - 2005 - Mathematical Logic Quarterly 51 (6):591-597.
    We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  14. André Lalande Par Lui-Mê,E.André Lalande - 1967 - J. Vrin.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  34
    PADOUX, André, Vac, the Concept of the Word in Selected Hindu TantrasPADOUX, André, Vac, the Concept of the Word in Selected Hindu Tantras.André Couture - 1993 - Laval Théologique et Philosophique 49 (1):168-169.
  16.  54
    Omitting Types for Finite Variable Fragments and Complete Representations of Algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
    We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  17.  25
    Back and Forth Between Modal Logic and Classical Logic.Hajnal Andreka, Johan van Benthem & Istvan Nemeti - 1995 - Logic Journal of the IGPL 3 (5):685-720.
  18.  24
    Complexity of Equations Valid in Algebras of Relations Part II: Finite Axiomatizations.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2-3):211-229.
    We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  41
    Lambek Calculus and its Relational Semantics: Completeness and Incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
    The problem of whether Lambek Calculus is complete with respect to (w.r.t.) relational semantics, has been raised several times, cf. van Benthem (1989a) and van Benthem (1991). In this paper, we show that the answer is in the affirmative. More precisely, we will prove that that version of the Lambek Calculus which does not use the empty sequence is strongly complete w.r.t. those relational Kripke-models where the set of possible worlds,W, is a transitive binary relation, while that version of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  20.  4
    Nonrepresentable Relation Algebras From Groups - Addendum.Hajnal Andréka, István Németi & Steven Givant - 2019 - Review of Symbolic Logic 12 (4):892-892.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  9
    Nonrepresentable Relation Algebras From Groups.Hajnal Andréka, István Németi & Steven Givant - 2020 - Review of Symbolic Logic 13 (4):861-881.
    A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  23
    Notions of Density That Imply Representability in Algebraic Logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.
    Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  15
    Arturo Andrés Roig: Metodología y Filosofía del Pensamiento latinoamericano.Andrés C. G. Pérez Javaloyes - 2014 - Estudios de Filosofía Práctica E Historia de Las Ideas 16 (2):120-123.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  8
    Mental Conflict: Descartes: André Gombay.André Gombay - 1979 - Philosophy 54 (210):485-500.
    In a famous text Descartes has written this: Whenever the thought of God's supreme power occurs to me, I cannot help feeling that he might easily, if he so wished, make me go wrong even in what I think I see most clearly with my mind's eye. On the other hand, whenever I turn to the matters themselves which I think I perceive very clearly, I am so convinced by them that I burst out: ‘let who will deceive me, he (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  16
    Lettre de M. André cresson.André Cresson - 1945 - Revue de Métaphysique et de Morale 50 (1/2):5 - 7.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  11
    Inner Experience in the Scanner: Can High Fidelity Apprehensions of Inner Experience Be Integrated with fMRI?Simone Kühn, Charles Fernyhough, Benjamin Alderson-Day & Russell T. Hurlburt - 2014 - Frontiers in Psychology 5.
  27.  5
    Occasions of Identity: A Study in the Metaphysics of Persistence, Change, and Sameness.André Gallois - 1998 - Oxford University Press.
    Occasions of Identity is an exploration of timeless philosophical issues about persistence, change, time, and sameness. Andre Gallois offers a critical survey of various rival views about the nature of identity and change, and puts forward his own original theory. He supports the idea of occasional identities, arguing that it is coherent and helpful to suppose that things can be identical at one time but distinct at another. Gallois defends this view, demonstrating how it can solve puzzles about persistence dating (...)
    Direct download  
     
    Export citation  
     
    Bookmark   65 citations  
  28.  21
    Binary Relations and Permutation Groups.Hajnal Andréka & Ivo Düntsch - 1995 - Mathematical Logic Quarterly 41 (2):197-216.
    We discuss some new properties of the natural Galois connection among set relation algebras, permutation groups, and first order logic. In particular, we exhibit infinitely many permutational relation algebras without a Galois closed representation, and we also show that every relation algebra on a set with at most six elements is Galois closed and essentially unique. Thus, we obtain the surprising result that on such sets, logic with three variables is as powerful in expression as full first order logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  28
    On a Consistency Theorem Connected with the Generalized Continuum Problem.András Hajnal - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (8-9):131-136.
  30. Expressibility of Properties of Relations.Hajnal Andréka, Ivo Düntsch & István Németi - 1995 - Journal of Symbolic Logic 60 (3):970-991.
    We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  11
    On a Consistency Theorem Connected with the Generalized Continuum Problem.András Hajnal - 1956 - Mathematical Logic Quarterly 2 (8‐9):131-136.
  32.  14
    Meta-Analytic Evidence of Low Convergence Between Implicit and Explicit Measures of the Needs for Achievement, Affiliation, and Power.Martin G. Kã¶Llner & Oliver C. Schultheiss - 2014 - Frontiers in Psychology 5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33. A Twist in the Geometry of Rotating Black Holes: Seeking the Cause of Acausality.Christian Wüthrich, Hajnal Andréka & István Németi - manuscript
    We investigate Kerr–Newman black holes in which a rotating charged ring-shaped singularity induces a region which contains closed timelike curves (CTCs). Contrary to popular belief, it turns out that the time orientation of the CTC is oppo- site to the direction in which the singularity or the ergosphere rotates. In this sense, CTCs “counter-rotate” against the rotating black hole. We have similar results for all spacetimes sufficiently familiar to us in which rotation induces CTCs. This motivates our conjecture that perhaps (...)
     
    Export citation  
     
    Bookmark   1 citation  
  34.  27
    General Algebraic Logic: A Perspective on “What is Logic”.Istvan Nemeti & Hajnal Andreka - 1994 - In Dov M. Gabbay (ed.), What is a Logical System? Oxford University Press.
  35.  62
    The World Without, the Mind Within: An Essay on First-Person Authority.André Gallois - 1996 - Cambridge University Press.
    In this challenging study, André Gallois proposes and defends a thesis about the character of our knowledge of our own intentional states. Taking up issues at the centre of attention in contemporary analytic philosophy of mind and epistemology, he examines accounts of self-knowledge by such philosophers as Donald Davidson, Tyler Burge and Crispin Wright, and advances his own view that, without relying on observation, we are able justifiably to attribute to ourselves propositional attitudes, such as belief, that we consciously hold. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  36. Argument by Analogy.André Juthe - 2005 - Argumentation 19 (1):1-27.
    ABSTRACT: In this essay I characterize arguments by analogy, which have an impor- tant role both in philosophical and everyday reasoning. Arguments by analogy are dif- ferent from ordinary inductive or deductive arguments and have their own distinct features. I try to characterize the structure and function of these arguments. It is further discussed that some arguments, which are not explicit arguments by analogy, nevertheless should be interpreted as such and not as inductive or deductive arguments. The result is that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  37.  4
    Diagnosis Confirmation Model: A Value-Based Pricing Model for Inpatient Novel Antibiotics.Ka Lum, Taimur Bhatti, Silas Holland, Mark Guthrie & Stephanie Sassman - 2018 - Journal of Law, Medicine and Ethics 46 (s1):66-74.
    The Diagnosis Confirmation Model includes a dual-pricing mechanism designed to support value-based pricing of novel antibiotics while improving the alignment of financial incentives with their optimal use in patients at high risk of drug-resistant infections. DCM is a market-based model and complementary to delinked models. Policymakers interested in stimulating antibiotic innovation could consider tailoring the DCM to their reimbursement systems and incorporating it into the suite of incentives to improve the economics of antibiotics.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Ideas and Identities: A Festschrift for Andre Liebich.André Liebich, Jaci Eisenberg & Davide Rodogno (eds.) - 2014 - Peter Lang.
  39. Social Constructivism and the Philosophy of Science.André Kukla - 1967 - Routledge.
    Social constructivists maintain that we invent the properties of the world rather than discover them. Is reality constructed by our own activity? Or, more provocatively, are scientific facts--is everything --constructed? Social Constructivism and the Philosophy of Science is a clear assessment of this critical and increasingly important debate. Andre Kukla presents a comprehensive discussion of the philosophical issues involved and analyzes the strengths and weaknesses of a range of constructivist arguments, illustrating the divide between the sociology and the philosophy of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  40.  3
    Social Constructivism and the Philosophy of Science.André Kukla - 2000 - Routledge.
    Social constructionists maintain that we invent the properties of the world rather than discover them. Is reality constructed by our own activity? Do we collectively invent the world rather than discover it? André Kukla presents a comprehensive discussion of the philosophical issues that arise out of this debate, analysing the various strengths and weaknesses of a range of constructivist arguments and arguing that current philosophical objections to constructivism are inconclusive. However, Kukla offers and develops new objections to constructivism, distinguishing between (...)
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  41.  3
    The Prototype of Social Quality Theory and its Applicability to Asian Societies.Ka Lin - 2011 - International Journal of Social Quality 1 (1):57-69.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  23
    On Certain Indestructibility of Strong Cardinals and a Question of Hajnal.Moti Gitik & Saharon Shelah - 1989 - Archive for Mathematical Logic 28 (1):35-42.
    A model in which strongness ofκ is indestructible under κ+ -weakly closed forcing notions satisfying the Prikry condition is constructed. This is applied to solve a question of Hajnal on the number of elements of {λ δ |2 δ <λ}.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  43.  13
    The Benefits of Looking at Intraindividual Dynamics in Cognitive Training Data.Tanja Könen & Julia Karbach - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  35
    The Lattice of Varieties of Representable Relation Algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
    We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  16
    A Representation Theorem for Measurable Relation Algebras.Steven Givant & Hajnal Andréka - 2018 - Annals of Pure and Applied Logic 169 (11):1117-1189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  20
    Interoception and Stress.André Schulz - forthcoming - Frontiers in Psychology.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  47.  10
    The Variety of Coset Relation Algebras.Steven Givant & Hajnal Andréka - 2018 - Journal of Symbolic Logic 83 (4):1595-1609.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  8
    An Epigenetic Machine: Review of The Organic Codes: An Introduction to Semantic Biology by Marcello Barbieri. [REVIEW]Fatima Cvrčková, Eduard Gajdoš, László Hajnal & Anton Markoš - 2003 - Sign Systems Studies 2 (2):605-616.
  49. Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic.Judit Madarász & Gergely Székely (eds.) - 2021 - Springer.
    This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  40
    Meaning and Intuitive Act in the Logical Investigations.Ka-Wing Leung - 2011 - Husserl Studies 27 (2):125-142.
    This essay attempts to approach the dispute over the conceptualist or non-conceptualist interpretation of Husserl’s conception of intentional experience from a specific question: Is the intuitive act essentially a carrier of meaning? In the sixth Investigation, Husserl apparently tries to show that intuition is no carrier of meaning and therefore must be unified with a meaning-conferring act in order to be meaningful. But it seems to me that the brief arguments given by Husserl here are far from conclusive and that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000