Results for 'Niel Henk Conradie'

19 found
Order:
See also
Niël Henk Conradie
University of St. Andrews (PhD)
  1.  53
    Towards a Convincing Account of Intention.Niel Henk Conradie - 2014 - Dissertation, University of Stellenbosch
    Thesis (MA)--Stellenbosch University, 2014.
    Download  
     
    Export citation  
     
    Bookmark  
  2.  30
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  18
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 2005 - In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. Kings College London Publ.. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  21
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Dr. Henk E. S. Woldring. Karl Mannheim: The Development of His Thought Philosophy, Sociology and Social Ethics. Assen: Van Gorcum, 1986.Bruce C. Wearne - 1988 - Philosophia Reformata 53 (1):59-69.
    This is a review of Henk Woldring's book on Karl Mannheim.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Henk W. De Regt, Sabina Leonelli and Kai Eigner , Scientific Understanding: Philosophical Perspectives. Pittsburgh: University of Pittsburgh Press, 2009. Pp. Ix+352. ISBN 978-0-8229-4378-6. $65.00. [REVIEW]Jacob Stegenga - 2011 - British Journal for the History of Science 44 (4):578-580.
    Download  
     
    Export citation  
     
    Bookmark  
  7.  56
    Beat the (Backward) Clock.Fred Adams, John A. Barker & Murray Clarke - 2016 - Logos and Episteme 7 (3):353-361.
    In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Reason and the Structure of Davidson's "Desire-Belief Model".Henk Bij de Weg - manuscript
    of “Reason and the structure of Davidson’s ‘Desire-Belief-Model’ ” by Henk bij de Weg In the present discussion in the analytic theory of action, broadly two models for the explanation or justification of actions can be distinguished: the internalist and the externalist model. Against this background, I discuss Davidson’s version of the internalist Desire-Belief Model . First, I show that what Davidson calls “pro attitude” has two distinct meanings. An implication of this is that Davidson’s DBM actually comprises two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Numerals and Quantifiers in X-Bar Syntax and Their Semantic Interpretation.Henk J. Verkuyl - 1981 - In Jeroen A. G. Groenendijk, Theo M. V. Janssen & Martin B. Stokhof (eds.), Formal Methods in the Study of Language Volume 2. U of Amsterdam. pp. 567-599.
    The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  10. Collective Intentionality and Individual Action.Henk Bij de Weg - 2016 - My Website.
    People often do things together and form groups in order to get things done that they cannot do alone. In short they form a collectivity of some kind or a group, for short. But if we consider a group on the one hand and the persons that constitute the group on the other hand, how does it happen that these persons work together and finish a common task with a common goal? In the philosophy of action this problem is often (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  71
    Understanding, Explanation, and Intelligibility. [REVIEW]Insa Lawler - 2018 - Metascience (1):57-60.
    Review of Henk de Regt's "Understanding Scientific Understanding".
    Download  
     
    Export citation  
     
    Bookmark  
  12. Global Justice Considerations for a Proposed “Climate Impact Fund”.Cristian Timmermann & Henk van den Belt - 2012 - Public Reason 4 (1-2):182-196.
    One of the most attractive, but nevertheless highly controversial proposals to alleviate the negative effects of today’s international patent regime is the Health Impact Fund (HIF). Although the HIF has been drafted to facilitate access to medicines and boost pharmaceutical research, we have analysed the burdens for the global poor a similar proposal designed to promote the use and development of climate-friendly technologies would have. Drawing parallels from the access to medicines debate, we suspect that an analogous “Climate Impact Fund” (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  86
    What is True. Gettier Cases and the Problem of Truth.Henk bij de Weg - manuscript
    One of the most discussed articles in the theory of knowledge is Edmund Gettier’s article “Is Justified True Belief Knowledge?”, published in 1963. In this article Gettier undermined the view that knowledge is justified true belief. I think that Gettier’s analysis has consequences not only for the question what knowledge is but also for our idea of truth. In this paper I argue that an analysis in the sense of Gettier shows that a statement can be both true and not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Can a Person Break a World Record?Henk Bij de Weg - manuscript
    Most philosophers in the analytical philosophy answer the question what personal identity is in psychological terms. Arguments for substantiating this view are mainly based on thought experiments of brain transfer cases and the like in which persons change brains. However, in these thought experiments the remaining part of the body plays only a passive part. In this paper I argue that the psychological approach of personal identity cannot be maintained, if the whole body is actively involved in the analysis, and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Explaining Consciousness and the Duality of Method.Henk Bij de Weg - manuscript
    In consciousness studies, the first-person perspective, seen as a way to approach consciousness, is often seen as nothing but a variant of the third-person perspective. One of the most important advocates of this view is Dennett. However, as I show in critical interaction with Dennett’s view, the first-person perspective and the third-person perspective are different ways of asking questions about themes. What these questions are is determined by the purposes that we have when we ask them. Since our purposes are (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  55
    Decision-Theoretic Approaches to Non-Knowledge in Economics.Ekaterina Svetlova & Henk van Elst - 2015 - In Gross Matthias & McGoey Linsy (eds.), Routledge International Handbook of Ignorance Studies. Routledge. pp. 349-360.
    The aim of this contribution is to provide an overview of conceptual approaches to incorporating a decision maker’s non-knowledge into economic theory. We will focus here on the particular kind of non-knowledge which we consider to be one of the most important for economic discussions: non-knowledge of possible consequence-relevant uncertain events which a decision maker would have to take into account when selecting between different strategies.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Dretske and the Causality of Reasons.Henk Bij de Weg - manuscript
    In his work on reasons Dretske argues that reasons are only worthwhile for having them if they are causally relevant for explaining behaviour, which he elaborates in his representational theory of explanation. The author argues against this view by showing that there are reasons that are relevant for explaining behaviour but not causally relevant. He gives a linguistic foundation of his argumentation and shows that Dretske’s representational theory cannot explain human actions because man does not only perceive things that have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  26
    Quanta Transfer in Space is Conserved.Henk Grimm - 2017
    Physical phenomena emerge from the quantum fields everywhere in space. However, not only the phenomena emerge from the quantum fields, the law of the conservation of energy must have its origin from the same spatial structure. This paper describes the relations between the main law of physics and the mathematical structure of the “aggregated” quantum fields.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Under Influence - Philosophical Festival Drift (2014).Channa van Dijk, Eva van der Graaf, Michiel den Haan, Rosa de Jong, Christiaan Roodenburg, Dyane Til & Deva Waal (eds.) - 2015 - Omnia.
    Proceedings of Philosophical Festival Drift 2014. Theme: Under Influence. Includes lectures by Katrien Schaubroeck, Philippe Descola, Markus Gabriel, Ray Brassier, Francesco Berto, Henk Oosterling, and Tomáš Sedlácek (among others). Lectures are in Dutch or English.
    Download  
     
    Export citation  
     
    Bookmark