Results for 'Goris Maarten'

526 found
Order:
  1.  22
    Rijke. PDL for Ordered Trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten - forthcoming - Journal of Applied Non-Classical Logics.
  2.  84
    PDL for Ordered Trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx & Maarten de Rijke - 2005 - Journal of Applied Non-Classical Logics 15 (2):115-135.
    This paper is about a special version of PDL, proposed by Marcus Kracht, for reasoning about sibling ordered trees. It has four basic programs corresponding to the child, parent, left- and right-sibling relations in such trees. The original motivation for this language is rooted in the field of model-theoretic syntax. Motivated by recent developments in the area of semi-structured data, and, especially, in the field of query languages for XML documents, we revisit the language. This renewed interest comes with a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  10
    Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
    This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic IL. Next, the method is applied to obtain new results: the modal completeness (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  5
    A New Principle In The Interpretability Logic Of All Reasonable Arithmetical Theories.Evan Goris & Joost Joosten - 2011 - Logic Journal of the IGPL 19 (1):1-17.
    The interpretability logic of a mathematical theory describes the structural behavior of interpretations over that theory. Different theories have different logics. This paper revolves around the question what logic describes the behavior that is present in all theories with a minimum amount of arithmetic; the intersection over all such theories so to say. We denote this target logic by IL.In this paper we present a new principle R in IL. We show that R does not follow from the logic ILP0W* (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  1
    L’a priorihistorique chez Husserl et Foucault.Wouter Goris & Julien Farges - 2015 - Philosophie 125 (2):22.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  8
    Remarks on Gregory's" Actually" Operator.Blackburn Patrick & Marx Maarten - 2002 - Journal of Philosophical Logic 31 (3):281-288.
    In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] : 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the "actually" axioms to standard hybrid axioms, yields the decidability (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  2
    A Neural Population Model for Visual Pattern Detection.Robbe L. T. Goris, Tom Putzeys, Johan Wagemans & Felix A. Wichmann - 2013 - Psychological Review 120 (3):472-496.
  8.  5
    Self Provers and Σ1 Sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.
    This paper is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this method, we obtained some completeness results, some already known, and some new. In this paper, we will set the construction method to work to obtain more results. First, the modal completeness of the logic ILM is proved using the construction method. This is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  57
    The Angelic Doctor and Angelic Speech: The Development of Thomas Aquinas's Thought on How Angels Communicate.Harm Goris - 2003 - Medieval Philosophy and Theology 11 (1):87-105.
    This paper shows how Aquinas gradually developed his view on angelic speech. His major texts are summarized and compared to those of contemporaries (sections II-III). Next the texts are analyzed, focusing on three issues: the notion of ‘word’ (section IV), the role of the will (section V), and the need of signification (section VI). With regard to each of these topics, Aquinas’ thought evolved, first by juxtaposing and later by integrating Augustinian and Aristotelian viewpoints. Aquinas reaches his mature position in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  3
    Evaluating Mindful With Your Baby/Toddler: Observational Changes in Maternal Sensitivity, Acceptance, Mind-Mindedness, and Dyadic Synchrony.Moniek A. J. Zeegers, Eva S. Potharst, Irena K. Veringa-Skiba, Evin Aktar, Melissa Goris, Susan M. Bögels & Cristina Colonnesi - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Boekbesprekingen.A. H. C. van Eijk, Eric Ottenheijm, Paul van Geest, H. Goris, Daniela Müller, C. T. M. [Kees] van Vliet, Ton Meijers, Veerle Fraeters, J. Vijgen, A. Brants, R. Welten, Giorgio Baruchello & Carlo Leget - 2002 - Bijdragen 63 (4):494-508.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  36
    De Magistro - Thomas Aquinas, Henry of Ghent, and John Duns Scotus on Natural Conceptions.Wouter Goris - 2013 - Review of Metaphysics 66 (3):435-468.
  13.  61
    Tense Logic in 13th-Century Theology.Harm Goris - 2001 - Vivarium 39 (2):161-184.
  14.  4
    Implicit Knowledge.W. Goris - 2002 - Recherches de Theologie Et Philosophie Medievales 69 (1):33-65.
    The doctrine of being developed by the Franciscan theologian Peter of Oriol 1is highly original. The present contribution will analyse this doctrine from a distinct point of view. It is mainly interested in Aureoli's description of the concept of being as an implicit concept and reads his doctrine of being exclusively in this regard. The interest of the idea that the concept of being is entirely implicit lies in the particularity that the Franciscan also holds the concept of being to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  18
    Chronic Activation of the Glucocorticoid Receptor Alters Memory Function of Val66Met Polymorphism Knock-in hBDNF Mice.Notaras Michael, Hill Rachel, Gogos Joseph & Van Den Buuse Maarten - 2015 - Frontiers in Human Neuroscience 9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  21
    Near–Death Experiences. A Theological Interpretation.Harm Goris - 2014 - International Journal of Philosophy and Theology 75 (1):74-85.
    Stories about near-death experiences draw much attention from the general public and are extensively discussed by medical doctors and neuroscientists. However, though eschatology belongs to their core business, only few theologians participate in the debate. This article proposes a theological interpretation of NDEs as ‘private revelations’. I first give a critical analysis of the development of the modern, allegedly ‘scientific’, concept of NDE. This concept changes concrete personal testimonies into statistical data that are used as scientific evidence for the existence (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. The Angelic Doctor and Angelic Speech.Hjmj Goris - 2004 - Medieval Philosophy and Theology 11:87-105.
     
    Export citation  
     
    Bookmark  
  18.  29
    Two-Staged Doctrines of God as First Known and the Transformation of the Concept of Reality in Bonaventure and Henry of Ghent.Wouter Goris - 2011 - American Catholic Philosophical Quarterly 85 (1):77-97.
    The medieval doctrine of God as first known presents a privileged moment in a tradition of classical metaphysics that runs from Plato to Levinas. The presentcontribution analyzes two versions of this doctrine formulated by Bonaventure († 1274) and Henry of Ghent († 1293). In reaction to the preceding discussion inParis, they advance a doctrine of God as first known that distinguishes the relative priority of God within the first known transcendental concepts from the absolutepriority of God over these. Although their (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  18
    After Scotus. Dispersions of Metaphysics, of the Scope of Intelligibility, and of the Transcendental in the Early 14 Th Century.Wouter Goris - 2008 - Quaestio 8:139-157.
  20.  11
    Waarheid, geloof en weten: Thomas versus bernardus.Wouter Goris - 2008 - Philosophia Reformata 73 (1):61-70.
    In deze bijdrage worden twee alternatieve visies op de verhouding van geloof en weten geschetst aan de hand van twee middeleeuwse denkers: Bernardus van Clairvaux en Thomas van Aquino. De auteur betoogt dat zowel de ‘rationalistische’ positie van Thomas van Aquino als de ‘anti-rationalistische’ positie van Bernardus van Clairvaux beide, geloof en rede, als op waarheid betrokken zien, waarmee zicht wordt geboden op het wijsgerige belang van dit vermeende anti-rationalisme.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  4
    Boekbesprekingen.Theo de Kruijf, Bart J. Koet, E. A. M. van der Vin, Veerle Fraeters, Carlo Leget, Geert van Dartel, Wim Smit, Bart Hansen, Ton Meijers, Joke Maex, Harm Goris & Ria Kloppenborg - 2002 - Bijdragen 63 (1):101-119.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  8
    Zeden En Criminaliteit Te Antwerpen in de Tweede Helft der XIVe Eeuw Naar de Rekeningen der Schouten van 1358 Tot 1387. [REVIEW]J. -A. Goris - 1926 - Revue Belge de Philologie Et D’Histoire 5 (4):871-886.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23.  13
    Interpolation and the Interpretability Logic of PA.Evan Goris - 2006 - Notre Dame Journal of Formal Logic 47 (2):179-195.
    In this paper we will be concerned with the interpretability logic of PA and in particular with the fact that this logic, which is denoted by ILM, does not have the interpolation property. An example for this fact seems to emerge from the fact that ILM cannot express Σ₁-ness. This suggests a way to extend the expressive power of interpretability logic, namely, by an additional operator for Σ₁-ness, which might give us a logic with the interpolation property. We will formulate (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    Dust Bound for Heaven: Explorations in the Theology of Thomas Aquinas by Reinhard Hütter , X + 511 Pp.Harm Goris - 2015 - Modern Theology 31 (2):366-368.
  25.  9
    Éthique et métaphysique?Wouter Goris - 1995 - Recherches de Theologie Et Philosophie Medievales 62:226-254.
    Pendant le symposium à l'occasion des adieux d'Albert Zimmermann, Jan Aertsen, son successeur au Thomas-Institut à Cologne, profitait de cette occasion pour présenter sa conception de la philosophie médiévale. Dans sa contribution à ce symposium, Aertsen décrit un débat dans lequel il prend ensuite position lui-même. Dans le titre de sa contribution, la problématique de ce débat se trouve résumée: «Gibt es eine mittelalterliche Philosophie?». Aertsen répond à cette question en discutant de trois conceptions de la philosophie médiévale. Il prête (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  5
    Wahrheitsspiele. Die Herausbildung der mittelalterlichen Korrespondenztheorie der Wahrheit vom Standpunkt einer antirealistischen Wahrheitstheorie aus betrachtet.Wouter Goris - 2010 - In David Wirmer & Andreas Speer (eds.), 1308: Eine Topographie Historischer Gleichzeitigkeit. De Gruyter. pp. 286-318.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  9
    A Modal Provability Logic of Explicit and Implicit Proofs.Evan Goris - 2009 - Annals of Pure and Applied Logic 161 (3):388-403.
    We establish the bi-modal forgetful projection of the Logic of Proofs and Formal Provability GLA. That is to say, we present a normal bi-modal provability logic with modalities □ and whose theorems are precisely those formulas for which the implicit provability assertions represented by the modality can be realized by explicit proof terms.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    The Empirical and the Transcendental - Stoic, Arabic, and Latin Medieval Accounts of ‘Our’ Common Knowledge.Wouter Goris - 2016 - In Thomas Jeschke & Andreas Speer (eds.), Schüler Und Meister. De Gruyter. pp. 3-20.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Review article van S.-C. Park, Die Rezeption der mittelalterlichen Sprachphilosophie in der Theologie des Thomas von Aquin.Hjmj Goris - 2002 - Vivarium 40:306-309.
  30.  5
    Zeden en criminaliteit te Antwerpen in de tweede helft van de XIVe eeuw. [REVIEW]J. -A. Goris - 1927 - Revue Belge de Philologie Et D’Histoire 6 (1):181-205.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  4
    Das Meister-Eckhart-Archiv am Thomas-Institut der Universität zu Köln. Die Kontinuität der Forschungsaufgaben.A. Speer & W. Goris - 1995 - Bulletin de Philosophie Medievale 37:149-174.
  32.  5
    Lichaamssamenstelling bij anorexia nervosa patiënten voor en na behandeling.Marina Goris, Herman Van Coppenolle, Michel Probst & Walter Vandereycken - 1990 - Hermes 21:543-551.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  4
    La bibliothèque d'un marchand milanais à Anvers au XVIe siècle, Jeronimo Cassina, 1596.J. -A. Goris - 1924 - Revue Belge de Philologie Et D’Histoire 3 (4):851-856.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  5
    Mittelalterliche Philosophie Als Transzendentales Denken.Wouter Goris - 2013 - Philosophische Rundschau 60 (1):61-72.
  35.  5
    Absolute Beginners: Der Mittelalterliche Beitrag Zu Einem Ausgang Vom Unbedingten.Wouter Goris - 2007 - Brill.
    "Absolute Beginners" is a multi-approach study of the founding role of the Absolute as the very beginning of knowledge in medieval philosophy (Henry of Ghent, Richard Conington), the subject being addressed from historical, methodological, ...
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Divine Transcendence and Immanence in the Work of Thomas Aquinas: A Collection of Studies Presented at the Third Conference of the Thomas Instituut Te Utrecht, December 15-17, 2005. [REVIEW]Harm J. M. J. Goris, Herwi Rikhof & Henk J. M. Schoot (eds.) - 2009 - Peeters.
     
    Export citation  
     
    Bookmark  
  37. Einheit Als Prinzip Und Ziel: Versuch Über Die Einheitsmetaphysik des opus Tripartitum Meister Eckharts.Wouter Goris - 1997 - Brill.
    This study attempts a reconstruction of the philosophy of the unfinished _Opus tripartitum_ of Meister Eckhart. One new feature is the 'hermeneutic approach' to the question of Eckhart's philosophy, another is the recognition that the concept of Unity plays a decisive role in the organisation of his metaphysics, to the extent, indeed, that one can speak of a metaphysics of the One. Eckhart's metaphysics is determined to a contemplation of the divine, which in this thinking of Unity is understood as (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Medieval Philosophy as Transcendental Thought.Wouter Goris - 2013 - Philosophische Rundschau 60 (1):61 - 72.
  39. The Scattered Field: History of Metaphysics in the Postmetaphysical Era: Inaugural Address at the Free University of Amsterdam on January 16, 2004.Wouter Goris - 2004 - Peeters.
     
    Export citation  
     
    Bookmark  
  40.  45
    Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - Springer.
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Philosophy of the Natural Sciences: Philosophy of Physics / Richard DeWitt. Philosophy of Chemistry / Joachim Schummer. Philosophy of Biology / Matthew H. Haber ... [Et Al.]. Philosophy of Earth Science. [REVIEW]G. Kelinhans Maarten, J. J. Buskes Chris & W. De Regt Henk - 2010 - In Fritz Allhoff (ed.), Philosophies of the Sciences. Wiley-Blackwell.
  42. Aquinas as Authority a Collection of Studies Presented at the the Second Conference of the Thomas Instituut Te Utrecht, December 14-16, 2000. [REVIEW]Paul van Geest, Harm J. M. J. Goris, Carlo Leget & Thomas Instituut te Utrecht - 2002
     
    Export citation  
     
    Bookmark  
  43.  15
    Aquinas as Authority: A Collection of Studies Presented at the Second Conference of the Thomas Insituut Te Utrecht, December 14-16, 2000. [REVIEW]Paul van Geest, Harm J. M. J. Goris, Carlo Leget & Mishtooni Bose (eds.) - 2002 - Peeters.
    This book collects a selection of the studies that were presented (Peeters 2001).
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  16
    L'a priori historique chez Husserl et Foucault : La pertinence philosophique d'un concept directeur de l'épistémologie historique.Wouter Goris & Julien Farges - 2014 - Philosophie 123 (4):3-27.
    L’« effet un peu criant » produit par la juxtaposition qui constitue le concept d’a priori historique ne l’a pas empêché de devenir un concept directeur de l’« épistémologie historique », une orientation philosophique qui introduit la contingence historique au sein des « cadres infrangibles » qui structurent notre expérience. On peut identifier les travaux de cette tradition...
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  45. Beyond Fakers and Fanatics: A Reply to Maarten Boudry and Jerry Coyne.Neil Van Leeuwen - 2016 - Philosophical Psychology 29 (4):1-6.
    Maarten Boudry and Jerry Coyne have written a piece, forthcoming in Philosophical Psychology, called “Disbelief in Belief,” in which they criticize my recent paper “Religious credence is not factual belief” (2014, Cognition 133). Here I respond to their criticisms, the thrust of which is that we shouldn’t distinguish religious credence from factual belief, contrary to what I say. I respond that their picture of religious psychology undermines our ability to distinguish common religious people from fanatics. My response will appear (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx.Patrick Blackburn & Maarten Marx Hybrid Logic - 2001 - Journal of Symbolic Logic 66 (3):977-1010.
     
    Export citation  
     
    Bookmark   2 citations  
  47.  16
    Friedman's Permanent Income Hypothesis as an Example of Diagnostic Reasoning: Maarten C. W. Janssen and Yao-Hua Tan.Maarten C. W. Janssen - 1992 - Economics and Philosophy 8 (1):23-46.
    Many recent developments in artificial intelligence research are relevant for traditional issues in the philosophy of science. One of the developments in AI research we want to focus on in this article is diagnostic reasoning, which we consider to be of interest for the theory of explanation in general and for an understanding of explanatory arguments in economic science in particular. Usually, explanation is primarily discussed in terms of deductive inferences in classical logic. However, in recent AI research it is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Maarten Doormans Kwantitatieve Argumenten Voor Vooruitgang in de Kunst.Gert-Jan C. Lokhorst - unknown
    Basisbegrippen. Een formeel model voor de ontwikkeling van de kunst is een structuur T, <, K, , d, p, q, s, B , waarbij T een verzameling van “tijdstippen” is, < (“is eerder dan”) een relatie op T is, K een verzameling van “mogelijke kunstwerken” is, (“levert commentaar op”) een relatie op K is, d, p, q en s functies van K naar de verzameling van alle deelverzamelingen van K zijn, en B een functie van T naar de verzameling van (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  27
    Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science, No. 53. Cambridge University Press, Cambridge, New York, Etc., 2001, Xxii + 554 Pp. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
  50.  21
    Maarten Wicher Visser Bunder. Set Theory Based on Combinatory Logic. Dissertation Amsterdam 1969, 80 Pp. + 3 Pp. Of Corrections. [REVIEW]Jonathan P. Seldin - 1970 - Journal of Symbolic Logic 35 (1):147-148.
1 — 50 / 526