Results for 'Christoph Humrich'

955 found
Order:
  1. Book Review: The Power of Words in International Relations: Birth of an Anti-Whaling Discourse. [REVIEW]Christoph Humrich - 2010 - Environmental Values 19 (4):537-539.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  93
    What is trustworthiness?Christoph Kelp & Mona Simion - 2023 - Noûs 57 (3):667-683.
    This paper develops a novel, bifocal account of trustworthiness according to which both trustworthinesssimpliciter(as in ‘Ann is trustworthy’) and trustworthiness tophi(as in ‘Ann is trustworthy when it comes to keeping your secrets’) are analysed in terms of dispositions to fulfil one's obligations. We also offer a systematic account of the relation between the two types of trustworthiness, an account of degrees of trustworthiness and comparative trustworthiness, as well as a view of permissible trustworthiness attribution.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3. Dimensions of Objectual Understanding.Christoph Baumberger & Georg Brun - 2017 - In Stephen Grimm Christoph Baumberger & Sabine Ammon (eds.), Explaining Understanding: New Perspectives from Epistemology and Philosophy of Science. Routledge. pp. 165-189.
    In science and philosophy, a relatively demanding notion of understanding is of central interest: an epistemic subject understands a subject matter by means of a theory. This notion can be explicated in a way which resembles JTB analyses of knowledge. The explication requires that the theory answers to the facts, that the subject grasps the theory, that she is committed to the theory and that the theory is justified for her. In this paper, we focus on the justification condition and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  4.  33
    Good Thinking: A Knowledge First Virtue Epistemology.Christoph Kelp - 2018 - London, UK: Routledge.
    Process reliabilism -- Virtue reliabilism: justified belief -- Virtue reliabilism: knowledge -- Knowledge first virtue reliabilism -- The competition -- The safety dilemma -- Lottery cases.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  5. Thinking in and about time: A dual systems perspective on temporal cognition.Christoph Hoerl & Teresa McCormack - 2019 - Behavioral and Brain Sciences 42 (e244):1-77.
    We outline a dual systems approach to temporal cognition, which distinguishes between two cognitive systems for dealing with how things unfold over time – a temporal updating system and a temporal reasoning system – of which the former is both phylogenetically and ontogenetically more primitive than the latter, and which are at work alongside each other in adult human cognition. We describe the main features of each of the two systems, the types of behavior the more primitive temporal updating system (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  6. ”A succession of feelings, in and of itself, is not a feeling of succession’.Christoph Hoerl - 2013 - Mind 122 (486):373-417.
    Variants of the slogan that a succession of experiences does not amount to an experience of succession are commonplace in the philosophical literature on temporal experience. I distinguish three quite different arguments that might be captured using this slogan: the individuation argument, the unity argument, and the causal argument. Versions of the unity and the causal argument are often invoked in support of a particular view of the nature of temporal experience sometimes called intentionalism, and against a rival view sometimes (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  7. Life and Mind: The Common Tetradic Structure of Organism and Consciousness – a Phenomenological Approach.Christoph Hueck - 2024 - Dialectical Systems: A Forum in Biology, Ecology, and Cognitive Science.
    The question of the holistic structure of an organism is a recurring theme in the philosophy of biology and has been increasingly discussed again in recent years. Organisms have recently been described as complex systems that autonomously create, maintain and reproduce themselves while constantly interacting with their environment. Key focal points include their autopoiesis, autonomy, agency and teleological structure. This perspective marks a significant advancement from the 20th-century viewpoint, which predominantly saw organisms as genetically programmed, randomly generated and blindly selected (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  44
    The C account of assertion: a negative result.Christoph Kelp & Mona Simion - 2020 - Synthese 197 (1):125-137.
    According to what Williamson labels ‘the C account of assertion’, there is one and only one rule that is constitutive of assertion. This rule, the so-called ‘C Rule’, states that one must assert p only if p has property C. This paper argues that the C account of assertion is incompatible with any live proposal for C in the literature.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  9. Time and memory: issues in philosophy and psychology.Christoph Hoerl & Teresa McCormack (eds.) - 2001 - New York: Oxford University Press.
    Time and Memory throws new light on fundamental aspects of human cognition and consciousness by bringing together, for the first time, psychological and philosophical approaches dealing with the connection between the capacity to represent and think about time, and the capacity to recollect the past. Fifteen specially written essays offer insights into current theories of memory processes and of the mechanisms and cognitive abilities underlying temporal judgements, and draw out key issues concerning the phenomenology and epistemology of memory and its (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  10. The Epistemological Theory of Argument--How and Why?Christoph Lumer - 2005 - Informal Logic 25 (3):213-243.
    The article outlines a general epistemological theory of argument: a theory that regards providingjustified belief as the principal aim of argumentation, and defends it instrumentalistically. After introducing some central terms of such a theory (2), answers to its central questions are proposed: the primary object and structure of the theory (3), the function of arguments, which is to lead to justified belief (4), the way such arguments function, which is to guide the addressee's cognizing (5), objective versus subjective aspects of (...)
    Direct download (16 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  11. Experimental Ethics: Toward an Empirical Moral Philosophy.Christoph Lütge, Hannes Rusch & Matthias Uhl (eds.) - 2014 - London, England: Palgrave-Macmillan.
    This volume gives an overview of the rising field of Experimental Ethics. It is organized into five main parts: PART I – Introduction: An Experimental Philosophy of Ethics? // PART II – Applied Experimental Ethics: Case studies // PART III – On Methodology // PART IV – Critical Reflections // PART V – Future Perspectives. Among the contributors: Walter Sinnott-Armstrong, Eric Schwitzgebel, Ezio di Nucci, Jacob Rosenthal, and Fernando Aguiar.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  12.  75
    Uncertainty in perception and the Hierarchical Gaussian Filter.Christoph D. Mathys, Ekaterina I. Lomakina, Jean Daunizeau, Sandra Iglesias, Kay H. Brodersen, Karl J. Friston & Klaas E. Stephan - 2014 - Frontiers in Human Neuroscience 8.
  13.  87
    What is complexity?Christoph Adami - 2002 - Bioessays 24 (12):1085-1094.
    Arguments for or against a trend in the evolution of complexity are weakened by the lack of an unambiguous definition of complexity. Such definitions abound for both dynamical systems and biological organisms, but have drawbacks of either a conceptual or a practical nature. Physical complexity, a measure based on automata theory and information theory, is a simple and intuitive measure of the amount of information that an organism stores, in its genome, about the environment in which it evolves. It is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  14. Preferences.Christoph Fehige & Ulla Wessels (eds.) - 1998 - New York: De Gruyter.
    ISBN 3110150077 (paperback) DEM 58.00 A collection of invited papers on the role of preferences and desires in practical reasoning: including rational decision making, the concept of welfare, and ethics. With a substantial introduction and a bibliographical survey. culture-specific and universal factors.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  15.  31
    Syntactic priming of relative clause attachments: persistence of structural configuration in sentence production.Christoph Scheepers - 2003 - Cognition 89 (3):179-205.
  16.  26
    Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support.Christoph Benzmüller, Xavier Parent & Leendert van der Torre - 2020 - Artificial Intelligence 287 (C):103348.
  17.  25
    Objektives Denken: Erkenntnistheorie und Philosophy of Mind in Hegels System.Christoph Halbig - 2002 - Stuttgart-Bad Cannstatt: Frommann-Holzboog.
    Die vorliegende Untersuchung verfolgt zwei Ziele: erstens die systematische Rekonstruktion der Grundstruktur von Hegels Erkenntnistheorie und Philosophy of Mind auf der Grundlage der Schriften des 'reifen' Systems, insbesondere der Wissenschaft der Logik und der Enzyklopadie. Zweitens die Eroffnung eines wechselseitig fruchtbaren Dialogs zwischen Hegel und der gegenwartigen analytischen Philosophie in den Debatten um Realismus / Antirealismus, Wahrheitstheorie, Externalismus / Internalismus und um die Struktur kognitiver Systeme. Inhaltlich wird der Nachweis gefuhrt, dass im Zentrum von Hegels Philosophy of Mind eine holistische, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  18.  18
    The mimetic creation of the Imaginary.Christoph Wulf - 2019 - Aisthesis. Pratiche, Linguaggi E Saperi Dell’Estetico 12 (1):5-14.
    Young children learn to make sense of the world through mimetic processes. These processes are focused to begin with on their parents, brothers and sisters and people they know well. Young children want to become like these persons. They are driven by the desire to become like them, which will mean that they belong and are part of them and their world. Young children, and indeed humans in general are social beings. They, more than all non-human primates, are social beings (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  32
    The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  47
    Early Seventeenth-Century Atomism: Theory, Epistemology, and the Insufficiency of Experiment.Christoph Meinel - 1988 - Isis 79 (1):68-103.
  21.  83
    Proclus.Christoph Helmig - forthcoming - Stanford Encyclopedia of Philosophy.
  22. Understanding Counterfactuals, Understanding Causation: Issues in Philosophy and Psychology.Christoph Hoerl, Teresa McCormack & Sarah R. Beck (eds.) - 2011 - Oxford:: Oxford University Press.
    How are causal judgements such as 'The ice on the road caused the traffic accident' connected with counterfactual judgements such as 'If there had not been any ice on the road, the traffic accident would not have happened'? This volume throws new light on this question by uniting, for the first time, psychological and philosophical approaches to causation and counterfactuals. Traditionally, philosophers have primarily been interested in connections between causal and counterfactual claims on the level of meaning or truth-conditions. More (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  55
    Der Begriff der Tugend und die Grenzen der Tugendethik.Christoph Halbig - 2016 - Zeitschrift für Philosophische Forschung 70 (1):103-107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  45
    Isolation, Contamination, and Pure Culture: Monomorphism and Polymorphism of Pathogenic Micro-Organisms as Research Problem 1860–1880.Christoph Gradmann - 2001 - Perspectives on Science 9 (2):147-172.
    : This article analyzes German debates on the microbiology of infectious diseases from 1865 to 1875 and asks how and when organic pollution in tissues became noteworthy for aetiology and pathogenesis. It was with Ernst Hallier's pleomorphistic microbiology that the organic character of alien material in tissues came to be regarded as important for pathology. The process that followed saw both vigorous biological critique and a number of medical applications of Hallier's work. Around 1874 contemporaries reached the conclusion that pleomorphous (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  25. Practical Arguments for Theoretical Theses.Christoph Lumer - 1997 - Argumentation 11 (3):329-340.
    Pascal‘s wager is expounded as a paradigm case of a practical,decision-theoretical argument for acting as if a proposition is true when wehave no theoretical reasons to accept or reject it (1.1.–1.2.). Thoughthe paradigm is fallacious in various respects there are valid and adequatearguments for acting as if certain propositions are true: that theoreticalentities exist, that there are material perceptual objects, that the worldis uniform across time (1.3). After this analysis of examples the author‘sgeneral approach for developing criteria for the validity (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  26.  61
    The Embodied Self and the Paradox of Subjectivity.Christoph Durt - 2020 - Husserl Studies 36 (1):69-85.
    While it seems obvious that the embodied self is both a subject of experience and an object in the world, it is not clear how, or even whether, both of these senses of self can refer to thesameself. According to Husserl, the relation between these two senses of self is beset by the “paradox of human subjectivity.” Following Husserl’s lead, scholars have attempted to resolve the paradox of subjectivity. This paper categorizes the different formulations of the paradox according to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Is Coherentism Coherent?Christoph Jäger - 2007 - Analysis 67 (4):341 - 344.
    In ‘A reductio of coherentism’ (Analysis 67, 2007) Tom Stoneham offers a novel argument against epistemological coherentism. ‘On the face of it’, he writes, ‘the argument gives a conclusive reductio ad absurdum of any coherence theory of justification. But that cannot be right, can it?’ (p. 254). It could be right, but it isn’t. I argue that coherentists need not accept the central premises of Stoneham’s argument and that, even if these premises were acceptable and true, Stoneham’s reductio would not (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28. (1 other version)Logik.Christoph Sigwart - 1879 - Mind 4 (15):426-431.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  29.  17
    Tragödie im Sittlichen: Gerechtigkeit und Freiheit nach Hegel.Christoph Menke - 1996 - Frankfurt am Main: Suhrkamp.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  30.  28
    Younger apes and human children plan their moves in a maze task.Christoph J. Völter & Josep Call - 2014 - Cognition 130 (2):186-203.
  31.  20
    Wozu außereuropäische Religionsgeschichte? Überlegungen zu ihrem Nutzen für die religionswissenschaftliche Theorie- und Identitätsbildung.Christoph Kleine - 2010 - Zeitschrift für Religionswissenschaft 18 (1):3-38.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  56
    (1 other version)Exploring the abuse of robots.Christoph Bartneck & Jun Hu - 2008 - Interaction Studies 9 (3):415-433.
    Robots have been introduced into our society, but their social role is still unclear. A critical issue is whether the robot’s exhibition of intelligent behaviour leads to the users’ perception of the robot as being a social actor, similar to the way in which people treat computers and media as social actors. The first experiment mimicked Stanley Milgram’s obedience experiment, but on a robot. The participants were asked to administer electric shocks to a robot, and the results show that people (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33.  17
    Nichtideale Normativität: ein neuer Blick auf Kants politische Philosophie.Christoph Horn - 2014 - Berlin: Suhrkamp.
  34.  74
    Temporal Asymmetries in Philosophy and Psychology.Christoph Hoerl, Teresa McCormack & Alison Fernandes (eds.) - 2022 - Oxford: Oxford University Press.
    Humans’ attitudes towards an event often vary depending on whether the event has already happened or has yet to take place. The dread felt at the thought of a forthcoming examination turns into relief once it is over. People also value past events less than future ones – offering less pay for work already carried out than for the same work to be carried out in the future, as recent research in psychology shows. This volume brings together philosophers and psychologists (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  53
    Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
    A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. Reliability and Future True Belief: Reply to Olsson and Jönsson.Christoph Jäger - 2011 - Theoria 77 (3):223-237.
    In “Process Reliabilism and the Value Problem” I argue that Erik Olsson and Alvin Goldman's conditional probability solution to the value problem in epistemology is unsuccessful and that it makes significant internalist concessions. In “Kinds of Learning and the Likelihood of Future True Beliefs” Olsson and Martin Jönsson try to show that my argument does “not in the end reduce the plausibility” of Olsson and Goldman's account. Here I argue that, while Olsson and Jönsson clarify and amend the conditional probability (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  35
    Which preferences shall be the basis of rational decision.Christoph Lumer - 1998 - In Christoph Fehige & Ulla Wessels (eds.), Preferences. New York: De Gruyter. pp. 1998--33.
  38.  74
    Humor in ancient chinese philosophy.Christoph Harbsmeier - 1989 - Philosophy East and West 39 (3):289-310.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39.  86
    Past/future attitude asymmetries: Values, preferences and the phenomenon of relief.Christoph Hoerl - 2022 - In Christoph Hoerl, Teresa McCormack & Alison Fernandes (eds.), Temporal Asymmetries in Philosophy and Psychology. Oxford: Oxford University Press. pp. 204-222.
    An influential thought-experiment by Derek Parfit sought to establish that people have a preference for unpleasant events to lie in the past rather than the future. In recent discussions of Parfit’s argument, this purported preference is modelled as a discounting phenomenon, as is the tensed emotion of relief, which Arthur Prior argued demonstrated that there is an objective metaphysical difference between the past and the future. Looking at recent work demonstrating some psychological past/future asymmetries that are more clearly instances of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  38
    Practical arguments for prudential justifications of actions.Christoph Lumer - unknown
    Practical arguments for actions are arguments which, besides their epistemic function, shall motivate an addressee to execute the justified action. First, a strategy is developed how this motivational and other requirements can be met. Part of this strategy is to identify a thesis for which holds that believing it motivates in the required manner. Second, relying on empirical decision theory, such a thesis is identified. Finally, precise validity criteria for the respective arguments are developed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  9
    The Critique of Law and the Law of Critique.Christoph Menke - 2020 - In María Del Del Rosario Acosta López & Colin McQuillan (eds.), Critique in German Philosophy: From Kant to Critical Theory. Albany: SUNY Press. pp. 377-394.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  37
    Do patients and research subjects have a right to receive their genomic raw data? An ethical and legal analysis.Christoph Schickhardt, Henrike Fleischer & Eva C. Winkler - 2020 - BMC Medical Ethics 21 (1):1-12.
    As Next Generation Sequencing technologies are increasingly implemented in biomedical research and care, the number of study participants and patients who ask for release of their genomic raw data is set to increase. This raises the question whether research participants and patients have a legal and moral right to receive their genomic raw data and, if so, how this right should be implemented into practice. In a first step we clarify some central concepts such as “raw data”; in a second (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  82
    Estética y negatividad.Christoph Menke - 2011 - México: División de Ciencias Sociales y Humanidades de la Universidad Autónoma Metropolitana-Iztapalapa. Edited by Gustavo Leyva.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  44. Remembering past experiences: episodic memory, semantic memory and the epistemic asymmetry.Christoph Hoerl - 2018 - In Kourken Michaelian, Dorothea Debus & Denis Perrin (eds.), New Directions in the Philosophy of Memory. New York: Routledge. pp. 313-328.
    There seems to be a distinctive way in which we can remember events we have experienced ourselves, which differs from the capacity to retain information about events that we can also have when we have not experienced those events ourselves but just learned about them in some other way. Psychologists and increasingly also philosophers have tried to capture this difference in terms of the idea of two different types of memory: episodic memory and semantic memory. Yet, the demarcation between episodic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  40
    Dimensions of Pleasure: A first Detailed Reconstruction of Plato’s ‘Tyrant Number’.Christoph Poetsch - 2022 - Apeiron 55 (3):391-416.
    In book IX of the Republic, Socrates offers a strange mathematical calculation, which claims to prove that the tyrant lives exactly 729 times less pleasantly than the king. For the first time, a complete and detailed reconstruction of this difficult text and its underlying structure is offered in the present article. It thereby proves that the distinction between ‘pleasure’ and the ‘image of pleasure’ is one among the keys to understanding the passage. It is furthermore shown how the whole calculation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  57
    (1 other version)Temporal binding and the perception/cognition boundary.Christoph Hoerl - 2019 - In Adrian Bardon, Valtteri Arstila, Sean Power & Argiro Vatakis (eds.), The Illusions of Time: Philosophical and Psychological Essays on Timing and Time Perception. Palgrave Macmillan. pp. 275-287.
    Temporal binding occurs when people observe two events that they believe to be causally connected: They underestimate the length of the interval between those two events, when compared with their estimates of the length of intervals between events they believe to be causally unrelated. I discuss temporal binding in the context of Dennett and Kinsbourne’s (Behavioral and Brain Sciences, 15(2), 183–201, 1992) influential argument levelled at what they call ‘Cartesian Materialism’. In particular, I argue that Dennett and Kinsbourne’s argument trades (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  38
    Hegel on spirited animals.Christoph Schuringa - 2022 - Philosophy 97 (4):485-508.
    Hegel conceives of human beings as both natural and spirited. On Robert Pippin's influential reading, we are natural by being ‘ontologically’ like other animals, but spirited through a ‘social-historical achievement’. I contest both the coherence of this reading and its fidelity to Hegel's texts. For Hegel the human being is the truth of the animal. This means that spirit's self-production is not, as Pippin claims, an achievement that an animal confers on itself, but the realization of what the human being (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  46
    The Concept of Love in Kant’s Virtue Ethics.Christoph Horn - 2008 - In Monika Betzler (ed.), Kant's Ethics of Virtues. De Gruyter. pp. 147-174.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  28
    A Computational-Hermeneutic Approach for Conceptual Explicitation.Christoph Benzmüller & David Fuenmayor - 2019 - In Matthieu Fontaine, Cristina Barés-Gómez, Francisco Salguero-Lamillar, Lorenzo Magnani & Ángel Nepomuceno-Fernández (eds.), Model-Based Reasoning in Science and Technology: Inferential Models for Logic, Language, Cognition and Computation. Springer Verlag.
    We present a computer-supported approach for the logical analysis and conceptual explicitation of argumentative discourse. Computational hermeneutics harnesses recent progresses in automated reasoning for higher-order logics and aims at formalizing natural-language argumentative discourse using flexible combinations of expressive non-classical logics. In doing so, it allows us to render explicit the tacit conceptualizations implicit in argumentative discursive practices. Our approach operates on networks of structured arguments and is iterative and two-layered. At one layer we search for logically correct formalizations for each (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  52
    Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
    We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics. We report some experiments using the higher-order automated theorem prover LEO-II.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 955