Results for 'Torben Bra��ner'

311 found
Order:
  1. Torben Braüner, Per Hasle and Peter Øhrstrøm/Preface Patrick Blackburn/Arthur Prior and Hybrid Logic B. Jack Copeland/Meredith, Prior, and the History of Possible Worlds Semantics.Torben Braüner - 2006 - Synthese 150 (1):509-510.
     
    Export citation  
     
    Bookmark  
  2. Moving Pictures: A New Theory of Film Genres, Feelings, and Cognition.Torben Grodal - 1999 - Clarendon Press.
    Providing an alternative to pyschoanalytically based descriptions, this major study presents a unique, new theoretical account of the way emotions and thought patterns interact in creating aesthetic effects in films. Using diverse examples, Torben Grodal shows how films activate effects in the viewer and how these effects are moulded by genres which determine the way in which characters will react in given situations.
     
    Export citation  
     
    Bookmark   14 citations  
  3.  2
    The Concept of Legal Competence: An Essay in Conceptual Analysis.Torben Spaak - 1994 - Dartmouth Pub. Co..
    Explains the concept of legal competence (or power). This book then discusses the analysis and definition of legal concepts in general; the relation between the concept of competence and (in)validity; what it means to exercise competence; different types of competence; and competence norms.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  4. Trusting the Media? TV News as a Source of Knowledge.Nicola Mößner - 2018 - International Journal of Philosophical Studies 26 (2):205-220.
    Why do we trust TV news? What reasons might support a recipient’s assessment of the trustworthiness of this kind of information? This paper presents a veritistic analysis of the epistemic practice of news production and communication. The topic is approached by discussing a detailed case study, namely the characteristics of the most popular German news programme, called the ‘Tagesschau’. It will be shown that a veritistic analysis can indeed provide a recipient with relevant reasons to consider when pondering on the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    Dopamine and Cognitive Control in Prefrontal Cortex.Torben Ott & Andreas Nieder - 2019 - Trends in Cognitive Sciences 23 (3):213-234.
  6.  34
    Wissen aus dem Zeugnis anderer - der Sonderfall medialer Berichterstattung.Nicola Mößner - 2010 - Paderborn: mentis Verlag.
    Wendet man sich der Frage nach den Quellen unseres Wissens zu, so muss man feststellen, dass wir zweifelsohne einen großen Teil unseres Wissens über die Welt aus dem Zeugnis anderer gewinnen. In der gegenwärtigen erkenntnistheoretischen Diskussion wird nicht in Frage gestellt, dass das Zeugnis anderer zur Genese unseres Wissens beiträgt. Umstritten ist dagegen,ob die Anführung des Ursprungs solcher Überzeugungen auch zu deren Rechtfertigung in hinreichendem Maße beiträgt. Dieses Buch bietet einen systematischen Einblick in die verschiedenen epistemologischen Positionen dieser Debatte – (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  7.  15
    Foucault on Parrhesia.Torben Bech Dyrberg - 2016 - Political Theory 44 (2):265-288.
    Foucault’s discussions of parrhesia provide fertile ground for raising a number of classical and pertinent issues in political theory related to critique, citizenship, and political authority. Foucault situates parrhesia in his analytical grid of power/knowledge/ethics, which maps political participation and experience, and he looks at how those who pursue or contest political power articulate and integrate these three facets of politics, which might well pull in opposite directions. Power concerns the ability and the audacity to face up to important political (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Visual Information and Scientific Understanding.Nicola Mößner - 2015 - Axiomathes 25 (2):167-179.
    Without doubt, there is a widespread usage of visualisations in science. However, what exactly the _epistemic status_ of these visual representations in science may be remains an open question. In the following, I will argue that at least some scientific visualisations are indispensible for our cognitive processes. My thesis will be that, with regard to the activity of _learning_, visual representations are of relevance in the sense of contributing to the aim of _scientific_ _understanding_. Taking into account that understanding can (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  63
    Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
    This is a companion paper to Braüner where a natural deduction system for propositional hybrid logic is given. In the present paper we generalize the system to the first-order case. Our natural deduction system for first-order hybrid logic can be extended with additional inference rules corresponding to conditions on the accessibility relations and the quantifier domains expressed by so-called geometric theories. We prove soundness and completeness and we prove a normalisation theorem. Moreover, we give an axiom system first-order hybrid logic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  8
    Compositionality Meets Belief Revision: a Bayesian Model of Modification.Corina Strößner - 2020 - Review of Philosophy and Psychology 11 (4):859-880.
    The principle of compositionality claims that the content of a complex concept is determined by its constituent concepts and the way in which they are composed. However, for prototype concepts this principle is often too rigid. Blurring the division between conceptual composition and belief update has therefore been suggested. Inspired by this idea, we develop a normative account of how belief revision and meaning composition should interact in modifications such as “red apple” or “pet hamster”. We do this by combining (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  11.  47
    Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.
    The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  44
    Normality and Majority: Towards a Statistical Understanding of Normality Statements.Corina Strößner - 2015 - Erkenntnis 80 (4):793-809.
    Normality judgements are frequently used in everyday communication as well as in biological and social science. Moreover they became increasingly relevant to formal logic as part of defeasible reasoning. This paper distinguishes different kinds of normality statements. It is argued that normality laws like “Birds can normally fly” should be understood essentially in a statistical way. The argument has basically two parts: firstly, a statistical semantic core is mandatory for a descriptive reading of normality in order to explain the logical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
    In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  41
    Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
    In this paper two different natural deduction systems forhybrid logic are compared and contrasted.One of the systems was originally given by the author of the presentpaper whereasthe other system under consideration is a modifiedversion of a natural deductionsystem given by Jerry Seligman.We give translations in both directions between the systems,and moreover, we devise a set of reduction rules forthe latter system bytranslation of already known reduction rules for the former system.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15. Knowledge, Democracy, and the Internet.Nicola Mößner & Philip Kitcher - 2017 - Minerva 55 (1):1-24.
    The internet has considerably changed epistemic practices in science as well as in everyday life. Apparently, this technology allows more and more people to get access to a huge amount of information. Some people even claim that the internet leads to a democratization of knowledge. In the following text, we will analyze this statement. In particular, we will focus on a potential change in epistemic structure. Does the internet change our common epistemic practice to rely on expert opinions? Does it (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  20
    The Logic of “Most” and “Mostly”.Corina Strößner - 2018 - Axiomathes 28 (1):107-124.
    The paper suggests a modal predicate logic that deals with classical quantification and modalities as well as intermediate operators, like “most” and “mostly”. Following up the theory of generalized quantifiers, we will understand them as two-placed operators and call them determiners. Quantifiers as well as modal operators will be constructed from them. Besides the classical deduction, we discuss a weaker probabilistic inference “therefore, probably” defined by symmetrical probability measures in Carnap’s style. The given probabilistic inference relates intermediate quantification to singular (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  65
    Karl Olivecrona's Legal Philosophy. A Critical Appraisal.Torben Spaak - 2011 - Ratio Juris 24 (2):156-193.
    I argue in this article (i) that Karl Olivecrona's legal philosophy, especially the critique of the view that law has binding force, the analysis of the concept and function of a legal rule, and the idea that law is a matter of organized force, is a significant contribution to twentieth century legal philosophy. I also argue (ii) that Olivecrona fails to substantiate some of his most important empirical claims, and (iii) that the distinction espoused by Olivecrona between the truth and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Thought Styles and Paradigms—a Comparative Study of Ludwik Fleck and Thomas S. Kuhn.Nicola Mößner - 2011 - Studies in History and Philosophy of Science Part A 42 (2):362–371.
    At first glance there seem to be many similarities between Thomas S. Kuhn’s and Ludwik Fleck’s accounts of the development of scientific knowledge. Notably, both pay attention to the role played by the scientific community in the development of scientific knowledge. But putting first impressions aside, one can criticise some philosophers for being too hasty in their attempt to find supposed similarities in the works of the two men. Having acknowledged that Fleck anticipated some of Kuhn’s later theses, there seems (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  19. Photographic Evidence and the Problem of Theory-Ladenness.Nicola Mößner - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):111–125.
    Scientists use visualisations of different kinds in a variety of ways in their scientific work. In the following article, we will take a closer look at the use of photographic pictures as scientific evidence. In accordance with Patrick Maynard’s thesis, photography will be regarded as a family of technologies serving different purposes in divergent contexts. One of these is its ability to detect certain phenomena. Nonetheless, with regard to the philosophical thesis of theory-ladenness of observation, we encounter certain reservations concerning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  16
    Alf Ross on the Concept of a Legal Right.Torben Spaak - 2014 - Ratio Juris 27 (4):461-476.
    In this article, I discuss Alf Ross's claim that the concept of a legal right is best understood as a technical tool of presentation, which ties together a disjunction of operative facts and a conjunction of legal consequences, and that rights statements render the content of a number of legal norms in a convenient manner. I argue that while Ross's analysis is appealing, it is problematic in at least three respects. I also argue, however, that despite these difficulties Ross's analysis (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  6
    The Role of Reasoning and Pragmatics in the Modifier Effect.Corina Strößner & Gerhard Schurz - 2020 - Cognitive Science 44 (2).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  11
    Existential Import, Aristotelian Logic, and its Generalizations.Corina Strößner - 2020 - Logica Universalis 14 (1):69-102.
    The paper uses the theory of generalized quantifiers to discuss existential import and its implications for Aristotelian logic, namely the square of opposition, conversions and the assertoric syllogistic, as well as for more recent generalizations to intermediate quantifiers like “most”. While this is a systematic discussion of the semantic background one should assume in order to obtain the inferences and oppositions Aristotle proposed, it also sheds some light on the interpretation of his writings. Moreover by applying tools from modern formal (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23.  13
    Realism About the Nature of Law.Torben Spaak - 2017 - Ratio Juris 30 (1):75-104.
    Legal realism comes in two main versions, namely American legal realism and Scandinavian legal realism. In this article, I shall be concerned with the Scandinavian realists, who were naturalists and non-cognitivists, and who maintained that conceptual analysis is a central task of legal philosophers, and that such analysis must proceed in a naturalist, anti-metaphysical spirit. Specifically, I want to consider the commitment to ontological naturalism and non-cognitivism on the part of the Scandinavians and its implications for their view of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  32
    The Leftist Fascination with Schmitt and the Esoteric Quality of `the Political'.Torben Bech Dyrberg - 2009 - Philosophy and Social Criticism 35 (6):649-669.
    The article looks critically at the Schmitt revival among radical leftists, how they try to insulate his work from his political conviction and make a problematic distinction between liberalism and democracy, which undercuts the specificity of modern democracy and plays into reactionary identity politics. I then turn to how Schmitt conceptualizes the political and argue that the structure of his argument is antithetic to modern democracy. Against those who hold that it is possible to use Schmitt against himself, I argue (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  64
    Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
    In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  8
    Being Deceived: Information Asymmetry in Second‐Order False Belief Tasks.Torben Braüner, Patrick Blackburn & Irina Polyanskaya - 2020 - Topics in Cognitive Science 12 (2):504-534.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  22
    Intuitionistic Hybrid Logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
    Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. Vita: Life in a Zone of Social Abandonment.João Biehl & Torben Eskerod - 2005 - University of California Press.
    Zones of social abandonment are emerging everywhere in Brazil’s big cities—places like Vita, where the unwanted, the mentally ill, the sick, and the homeless are left to die. This haunting, unforgettable story centers on a young woman named Catarina, increasingly paralyzed and said to be mad, living out her time at Vita. Anthropologist João Biehl leads a detective-like journey to know Catarina; to unravel the cryptic, poetic words that are part of the “dictionary” she is compiling; and to trace the (...)
    No categories
     
    Export citation  
     
    Bookmark   16 citations  
  29.  17
    Schauer's Anti‐Essentialism.Torben Spaak - 2016 - Ratio Juris 29 (2):182-214.
    In his new book, The Force of Law, Frederick Schauer maintains that law has no necessary properties, and that therefore jurisprudents should not assume that an inquiry into the nature of law has to be a search for such properties. I argue, however, that Schauer's attempt to show that legal anti-essentialism is a defensible position fails, because his one main argument is either irrelevant or else incomplete, depending on how one understands it, and because the other main argument is false.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  19
    Richard Swinburne: Christian Philosophy in a Modern World.Nicola Mößner, Sebastian Schmoranzer & Christian Weidemann (eds.) - 2008 - ontos.
    Richard Swinburne is one of the most influential contemporary proponents of the analytical philosophy of religion. He is, above all, a traditional theist. However, his interests are very wide-ranging. He has written about nearly all central theological and philosophical issues such as epistemology, metaphysics, theory of mind and ethics. During the “Münstersche Vorlesungen 2007” students and faculty members of the Department of Philosophy at Münster University entered into a skilful and interesting discussion concerning most of Swinburne’s positions. This volume presents (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31.  9
    Die Logik der Normalität: Untersuchungen Zur Semantik von Normalitätsurteilen.Corina Strößner - 2014 - De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  32.  72
    Visual Representations in Science - Concept and Epistemology.Nicola Mößner - 2018 - London AND New York: Routledge.
    Visual representations (photographs, diagrams, etc.) play crucial roles in scientific processes. They help, for example, to communicate research results and hypotheses to scientific peers as well as to the lay audience. In genuine research activities they are used as evidence or as surrogates for research objects which are otherwise cognitively inaccessible. Despite their important functional roles in scientific practices, philosophers of science have more or less neglected visual representations in their analyses of epistemic methods and tools of reasoning in science. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  47
    Karl Olivecrona on Judicial Law-Making.Torben Spaak - 2009 - Ratio Juris 22 (4):483-498.
    The Scandinavian Realist Karl Olivecrona did not pay much attention to questions of legal reasoning in his many works. He did, however, argue that courts necessarily create law when deciding a case. The reason, he explained, is that judges must evaluate issues of fact or law in order to decide a case, and that evaluations are not objective. Olivecrona's line of argument is problematic, however. The problem is that Olivecrona uses the term "evaluation" in a sense that is broad enough (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  26
    Biometric and Emotion Identification: An ECG Compression Based Method.Susana Brás, Jacqueline H. T. Ferreira, Sandra C. Soares & Armando J. Pinho - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  5
    Ein Neues Fundament der Ökonomie?Gebhard Kirchgäßner - 1977 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 8 (1):118-131.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  69
    Legal Positivism, Law's Normativity, and the Normative Force of Legal Justification.Torben Spaak - 2003 - Ratio Juris 16 (4):469-485.
    In this article, I distinguish between a moral and a strictly legal conception of legal normativity, and argue that legal positivists can account for law's normativity in the strictly legal but not in the moral sense, while pointing out that normativity in the former sense is of little interest, at least to lawyers. I add, however, that while the moral conception of law's normativity is to be preferred to the strictly legal conception from the rather narrow viewpoint of the study (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37.  7
    Women’s Empowerment and Gender Inequality in Adolescent Nutritional Status: Evidence From the Indonesian Family Life Survey.Yohanes Sondang Kunto & Hilde Bras - 2018 - Journal of Biosocial Science 50 (5):640-665.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  53
    Relativism in Legal Thinking: Stanley Fish and the Concept of an Interpretative Community.Torben Spaak - 2008 - Ratio Juris 21 (1):157-171.
    Relativistic theories and arguments are fairly common in legal thinking. A case in point is Stanley Fish's theory of interpretation, which applies to statutes and constitutions as well as to novels and poems. Fish holds, inter alia, (i) that an interpretation of a statute, a poem, or some other text can be true or valid only in light of the interpretive strategies that define an interpretive community, and (ii) that no set of interpretive strategies (and therefore no interpretation) is truer (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  49
    Meta-Ethics and Legal Theory: The Case of Gustav Radbruch. [REVIEW]Torben Spaak - 2009 - Law and Philosophy 28 (3):261 - 290.
  40.  6
    Karl Olivecrona on Judicial Law‐Making.Torben Spaak - 2009 - Ratio Juris 22 (4):483-498.
    The Scandinavian Realist Karl Olivecrona did not pay much attention to questions of legal reasoning in his many works. He did, however, argue that courts necessarily create law when deciding a case. The reason, he explained, is that judges must evaluate issues of fact or law in order to decide a case, and that evaluations are not objective. Olivecrona's line of argument is problematic, however. The problem is that Olivecrona uses the term “evaluation” in a sense that is broad enough (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  33
    Norms That Confer Competence.Torben Spaak - 2003 - Ratio Juris 16 (1):89-104.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  26
    Realism About the Nature of Law.Torben Spaak - 2016 - Ratio Juris 29 (4).
    Legal realism comes in two main versions, namely American legal realism and Scandinavian legal realism. In this article, I shall be concerned with the Scandinavian realists, who were naturalists and non-cognitivists, and who maintained that conceptual analysis is a central task of legal philosophers, and that such analysis must proceed in a naturalist, anti-metaphysical spirit. Specifically, I want to consider the commitment to ontological naturalism and non-cognitivism on the part of the Scandinavians and its implications for their view of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  3
    The Canberra Plan and the Nature of Law.Torben Spaak - 2016 - In Pawel Banas, Adam Dyrda & Tomasz Gizbert-Studnicki (eds.), Metaphilosophy of Law.
    In this article, I shall consider a method for conceptual analysis which has been called the Canberra Plan and which might perhaps be conceived as an alternative approach to conceptual analysis in the classical sense. The Canberra Plan is not, however, aimed primarily at the elucidation of the relevant concept, but at the metaphysical question of identifying the descriptive property that corresponds to the concept.[1] The idea of the Canberra Plan is, more specifically, to clarify the import of the concept (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  2
    Beyond Burned Bras and Purple Dungarees: Feminist Orientations Within Working Women’s Networks.Gill Kirton & Nicole Avdelidou-Fischer - 2016 - European Journal of Women's Studies 23 (2):124-139.
    Is there a feminist ideological undertone when women choose to organise separately, or are their motivations purely instrumental? While this question has been addressed by numerous researchers, most studies are mono-national; most extrapolate meaning from different types of networks/groups, and most do not carry out close examination of network members’ orientations. This article explores varieties of orientations to feminism among members of four networks for business and professional women in the UK and Germany. The findings suggest that even within a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  78
    Naturalizing Jurisprudence – by Brian Leiter.Torben Spaak - 2008 - Theoria 74 (4):352-362.
  46. Udforskningen af det danske sprog fra 1800.Torben Arboe - 2009 - In Ole Hã¸Iris & Thomas Ledet (eds.), Modernitetens Verden: Tiden, Videnskab, Historien Og Kunst. Aarhus Universitetsforlag. pp. 349.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  30
    The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
    The present article deals with the power of the axiom of choice within the second-order predicate logic. We investigate the relationship between several variants of AC and some other statements, known as equivalent to AC within the set theory of Zermelo and Fraenkel with atoms, in Henkin models of the one-sorted second-order predicate logic with identity without operation variables. The construction of models follows the ideas of Fraenkel and Mostowski. It is e. g. shown that the well-ordering theorem for unary (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  21
    The Concept of Human Nature and Its Place in the Science of Ethics.Iakov A. Mil'ner-Irinin - 1988 - Russian Studies in Philosophy 27 (1):6-24.
    In publishing this article the Editorial Board considers it necessary to mention that it does not share a number of the author's positions, and above all his treatment of ethics as a strictly normative science.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  36
    Book Review: Brian Leiter, Naturalizing Jurisprudence. [REVIEW]Torben Spaak - 2008 - Theoria 74 (4):352-62.
  50.  33
    Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.
    A hybrid logic is obtained by adding to an ordinary modal logic further expressive power in the form of a second sort of propositional symbols called nominals and by adding so-called satisfaction operators. In this paper we consider hybridized versions of S5 (“the logic of everywhere”) and the modal logic of inequality (“the logic of elsewhere”). We give natural deduction systems for the logics and we prove functional completeness results.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 311