Results for 'Alen Hajnal'

130 found
Order:
  1. The Influence of Disclosure and Ethics Education on Perceptions of Financial Conflicts of Interest.Donald F. Sacco, Samuel V. Bruton, Alen Hajnal & Chris J. N. Lustgraaf - 2015 - Science and Engineering Ethics 21 (4):875-894.
    This study explored how disclosure of financial conflicts of interest influences naïve or “lay” individuals’ perceptions of the ethicality of researcher conduct. On a between-subjects basis, participants read ten scenarios in which researchers disclosed or failed to disclose relevant financial conflicts of interest. Participants evaluated the extent to which each vignette represented a FCOI, its possible influence on researcher objectivity, and the ethics of the financial relationship. Participants were then asked if they had completed a college-level ethics course. Results indicated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  13
    Meaningfulness Beats Frequency in Multiword Chunk Processing.Hajnal Jolsvai, Stewart M. McCauley & Morten H. Christiansen - 2020 - Cognitive Science 44 (10):e12885.
    Whereas a growing bulk of work has demonstrated that both adults and children are sensitive to frequently occurring word sequences, little is known about the potential role of meaning in the processing of such multiword chunks. Here, we take a first step toward assessing the contribution of meaningfulness in the processing of multiword sequences, using items that varied in chunk meaningfulness. In a phrasal-decision study, we compared reaction times for triads of three-word sequences, corresponding to idiomatic expressions, compositional phrases, and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  4
    The Potential Relevance of Belgian Minority Protection for South Africa.André Alen & Kristien Henrard - 1998 - Res Publica 40 (1):41-58.
    This paper focusses on the Belgian constitutional and legal regulations which are clearly and relatively directly linked to minority protection as welt as their relevance for South Africa by way of analogy, taking into account South Africa's specific circumstances.Generally, what seems to be highly relevant for South Africa is the different kind of solutions in Belgium for its three categories of minorities as related to a different degree of territorial concentration. Going from an emphasis on territorial federalism, providing autonomy, for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras.Hajnal Andreka, Robert Goldblatt & Istvan Nemeti - 1998 - Journal of Symbolic Logic 63 (1):163-184.
     
    Export citation  
     
    Bookmark  
  5.  67
    “Rethink”: Fundamental Aspects of Sustainable Development.Hajnal Klara - 2009 - World Futures 65 (5-6):330-341.
  6.  58
    Illusionism: an Argument for Its Incoherence.Alen Lipuš & Janez Bregant - 2022 - Acta Analytica 37 (3):341-352.
    In his recent paper on the meta-problem of consciousness, Chalmers :6–66, 2018) claims that illusionism is one of the best reductionist theories available and that it is not incoherent, even if it is implausible and empirically false. Our paper argues against this: strong illusionism is poorly established. The first part presents the reasoning leading to strong illusionism; i.e., it describes the initial conditions and relations among them for its establishment. The second part of the paper argues that strong illusionism is (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  23
    Representations for small relation algebras.Hajnal Andr Eka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4).
  8. 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   97 citations  
  9.  15
    Odgoj za integriranje u društvo. Postmoderna pedagogija i obrazovna politika između utopije i distopije.Alen Tafra - 2015 - Metodicki Ogledi 22 (2):39-59.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  89
    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  
  11. 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   26 citations  
  12.  29
    Ralph Wedgwood, The Nature of Normativity: Clarendon Press, Oxford, 2007, p. 296, ISBN-13:9780199251315. £35.00. [REVIEW]Chris Alen Sula - 2008 - Ethical Theory and Moral Practice 11 (2):227-228.
    Direct download  
     
    Export citation  
     
    Bookmark   208 citations  
  13.  50
    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  
     
    Export citation  
     
    Bookmark   24 citations  
  14.  25
    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 (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  15.  49
    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  
  16.  51
    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.
  17.  69
    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   13 citations  
  18. Completeness of Floyd logic.Hajnal Andreka & Istvan Nemeti - 1978 - Bulletin of the Section of Logic 7 (3):115-119.
    This is an abstract of our paper \A characterisation of Floyd-provable programs" submitted to Theoretical Computer Science. ! denotes the set of natural numbers. Y =d fyi : i 2 !g is the set of variable symbols. L denotes the set of classical rst order formulas of type t possibly with free variables , where t is the similarity type of arithmetic, i.e. it consists of \+; ; 0; 1" with arities \2; 2; 0; 0".
     
    Export citation  
     
    Bookmark  
  19.  51
    Not all representable cylindric algebras are neat reducts.Hajnal Andréka & István Németi - 1979 - Bulletin of the Section of Logic 8 (3):145-147.
  20.  42
    On universal algebraic logic and cylindric algebras.Hajnal Andréka & István Németi - 1978 - Bulletin of the Section of Logic 7 (4):152-158.
  21. Program verification within and without logic.Hajnal Andreka, Istvan Nemeti & Ildiko Sain - 1979 - Bulletin of the Section of Logic 8 (3):124-128.
    Theorem 1 states a negative result about the classical semantics j= ! of program schemes. Theorem 2 investigates the reason for this. We conclude that Theorem 2 justies the Henkin-type semantics j= for which the opposite of the present Theorem 1 was proved in [1]{[3] and also in a dierent form in part III of [5]. The strongest positive result on j= is Corollary 6 in [3].
     
    Export citation  
     
    Bookmark  
  22. Quasi Equational Logic Of Partial Algebras.Hajnal Andreka, Peter Burmeister & Istvan Nemeti - 1980 - Bulletin of the Section of Logic 9 (4):193-197.
     
    Export citation  
     
    Bookmark  
  23.  18
    Testing Definitional Equivalence of Theories Via Automorphism Groups.Hajnal Andréka, Judit Madarász, István Németi & Gergely Székely - forthcoming - Review of Symbolic Logic:1-22.
    Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  13
    Eugene T. Richardson. Epidemic Illusions: On the Coloniality of Global Public Health. Cambridge, Mass.: MIT Press, 2020. 224 pp. [REVIEW]Alen Agaronov - 2022 - Critical Inquiry 48 (2):416-418.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  38
    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.
  26.  35
    On a consistency theorem connected with the generalized continuum problem.András Hajnal - 1956 - Mathematical Logic Quarterly 2 (8-9):131-136.
  27.  19
    On a consistency theorem connected with the generalized continuum problem.András Hajnal - 1956 - Mathematical Logic Quarterly 2 (8‐9):131-136.
  28.  34
    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  
  29.  20
    Representations for Small Relation Algebras.Hajnal Andréka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4):550-562.
    There are eighteen isomorphism types of finite relation algebras with eight or fewer elements, and all of them are representable. We determine all the cardinalities of sets on which these algebras have representations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  35
    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  
  31.  33
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  11
    Nonrepresentable relation algebras from groups - addendum.Hajnal Andréka, István Németi & Steven Givant - 2019 - Review of Symbolic Logic 12 (4):892-892.
  33. 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  
  34.  16
    Altered Neural Activity during Irony Comprehension in Unaffected First-Degree Relatives of Schizophrenia Patients—An fMRI Study.Róbert Herold, Eszter Varga, András Hajnal, Edina Hamvas, Hajnalka Berecz, Borbála Tóth & Tamás Tényi - 2018 - Frontiers in Psychology 8.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  3
    Ekumenski imperijalizam.Alen Tafra - 2009 - Filozofska Istrazivanja 29 (1):75-88.
    Rad počiva na stavu da je pojam ‘imperijalizma’ moguće korisno primijeniti i na pretkapitalistička društva. Na pragmatičkom i duhovnom planu, najvažnija etapa antičkog imperijalizma odvija se u razdoblju helenizma koje započinje s osvajanjima Aleksandra Velikoga. To je ujedno protoglobalizacijsko razdoblje formiranja multicivilizacijskog društva i univerzalnog čovječanstva. Stoga je unutar pothos-a koji pokreće imperijalističku ekspanziju potrebno prepoznati pozitivne aspekte poput širenja kulturnih obzora i stvaranja pragmatičke ekumene. Alternativu utopijskoj jezgri protoglobalizacija iz »ekumenskog doba« – kao i danas – moguće je svesti (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  4
    Ecumenical Imperialism.Alen Tafra - 2009 - Filozofska Istrazivanja 29 (1):75-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  4
    Kulturni pesimizam u tradiciji filozofije povijesti.Alen Tafra - 2008 - Zagreb: Hrvatsko filozofsko društvo.
  38.  9
    Križarski ratovi i diskurs filozofije povijesti.Alen Tafra - 2009 - Filozofska Istrazivanja 29 (4):709-717.
    Metageografijska kategorija Zapada svoju kurentnost u medijskom i akademskom diskursu najviše duguje temeljnoj longitudinalnoj podjeli u odnosu na Istok. Prostorno-vremenska univerzalizacija svjetske povijesti pritom je arbitrarna, izvorno europska konstrukcija. Tragamo li za podrijetlom modernoga pojma Europe i europskog identiteta, otkrivamo u kojoj je mjeri islam čimbenik njihova nastanka. Ranonovovjekovni europski humanisti reaktualiziraju antičke konstrukcije Istoka i Zapada – ili Europe i Azije – u smislu čvrstih kulturalnih i političkih granica. Ipak, oni pritom ponajviše započinju sekularizaciju kršćanstva kao srednjevjekovnog oblika zapadnog (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  6
    Paradigma »Megastroja« kao laička teodiceja.Alen Tafra - 2007 - Filozofska Istrazivanja 27 (2):373-387.
    U ovome radu autor tematizira pojedine religijske i mističke aspekte ideje napretka i ukupnoga modernog imaginarija. Rečeno nastojanje temelji se na Spenglerovu izvodu genealogije znanstveničkoga staleža iz svećeničkoga staleža. Pritom skraćeni povijesni pregled konstrukcije mita o napretku ipak ne slijedi vulgarnu ‘tezu o sekularizaciji’ – naime, tvrdnju da ideologija napretka predstavlja tek sekulariziranu inačicu kršćanskoga milenarizma. Nadasve, rad pokušava afirmirati holistički pristup moderni i pojmovima s kojima je ova srasla: Zapadu, Razvoju, Napretku, Racionalnosti, Ekonomiji, Tehnici, Znanosti. Utoliko se svojom obuhvatnošću (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  6
    The Crusades and the Discourse of the Philosophy of History.Alen Tafra - 2009 - Filozofska Istrazivanja 29 (4):709-717.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  5
    The Paradigm of “Megamachine” as Laic Theodicy.Alen Tafra - 2007 - Filozofska Istrazivanja 27 (2):373-387.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  33
    Axioms of Class Existence.A. Hajnal & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (4):663.
  43.  31
    Fraenkel's Addition to the Axioms of Zermelo.A. Hajnal & Richard Montague - 1966 - Journal of Symbolic Logic 31 (4):662.
  44.  9
    Het analyseren van partij-rangschikkingen via het 'exploded logit'-model.Istvan Hajnal & Bart Maddens - 1997 - Res Publica 39 (3):423-438.
    Rankings of politicalparties are often used to map the multiple party preference of the electorate. This article shows how the obtained rankings may be analysed by means of the exploded logit-technique, which allows for testing both the difference between the rankings and the effect of either categorical or quantitative independent variables on the rankings. An analysis of the effect of age on the party preference rankings of the christian democratie electorate in the 1991 Belgian parliamentary election shows that the older (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  16
    Some higher-gap examples in combinatorial set theory.A. Hajnal & P. Komjáth - 1987 - Annals of Pure and Applied Logic 33 (C):283-296.
  46.  33
    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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  15
    On chromatic number of graphs and set systems.P. Erdös, A. Hajnal & B. Rothchild - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 531--538.
  48.  20
    Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2022 - Annals of Pure and Applied Logic 173 (5):103100.
  49.  26
    On tarski’s axiomatic foundations of the calculus of relations.Hajnal Andréka, Steven Givant, Peter Jipsen & István Németi - 2017 - Journal of Symbolic Logic 82 (3):966-994.
    It is shown that Tarski’s set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski’s axioms slightly, and in fact by replacing the right-hand distributive law for relative multiplication with its left-hand version, we arrive at an equivalent set of axioms which is redundant in the sense that one of the axioms, namely the second involution law, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  43
    Perfect extensions and derived algebras.Hajnal Andréka, Steven Givant & István Németi - 1995 - Journal of Symbolic Logic 60 (3):775-796.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 130