Results for 'Johan Hoornaert'

967 found
Order:
  1.  19
    Visie van de universiteit op het algemeen secundair onderwijs en op de overstap van secundair naar hoger onderwijs.Johan Hoornaert & André Oosterlinck - 2000 - Nova et Vetera: Tijdschrift Voor Onderwijs en Opvoeding 2000 (1-2):45-69.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  30
    Horizontes da religião (Horizons of religion) - DOI: 10.5752/P.2175-5841.2011v9n23p633.Eduardo Hoornaert - 2011 - Horizonte 9 (23):633-636.
    Horizontes da religião (Horizons of religion) - DOI: 10.5752/P.2175-5841.2011v9n23p633.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  26
    The bipolar Buddha.Paul Hoornaert - 1984 - Journal of Indian Philosophy 12 (1):51-66.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Modal logic and classical logic.Johan van Benthem - 1983 - Atlantic Highlands, N.J.: Distributed in the U.S.A. by Humanities Press.
  5.  22
    An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
  6. Mathematical symbols as epistemic actions.Johan De Smedt & Helen De Cruz - 2013 - Synthese 190 (1):3-19.
    Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  7. Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
    We discuss games of both perfect and imperfect information at two levels of structural detail: players’ local actions, and their global powers for determining outcomes of the game. We propose matching logical languages for both. In particular, at the ‘action level’, imperfect information games naturally model a combined ‘dynamic-epistemic language’ – and we find correspondences between special axioms and particular modes of playing games with their information dynamics. At the ‘outcome level’, we present suitable notions of game equivalence, plus some (...)
    Direct download  
     
    Export citation  
     
    Bookmark   62 citations  
  8. Essays in Logical Semantics.Johan van Benthem - 1988 - Studia Logica 47 (2):172-173.
     
    Export citation  
     
    Bookmark   82 citations  
  9.  14
    A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
  10.  94
    Twelve gordian knots when developing an organizational code of ethics.Muel Kaptein & Johan Wempe - 1998 - Journal of Business Ethics 17 (8):853-869.
    Following the example of the many organizations in the United States which have a code of ethics, an increasing interest on the part of companies, trade organizations, (semi-)governmental organizations and professions in the Netherlands to develop codes of ethics can be witnessed. We have been able to escort a variety of organizations in this process. The process that organizations must go through in order to attain a code involves a variety of difficult decisions. In this article we will, based on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  11. Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  12. A Cognitive Approach to the Earliest Art.Johan de Smedt & Helen de Cruz - 2011 - Journal of Aesthetics and Art Criticism 69 (4):379-389.
    This paper takes a cognitive perspective to assess the significance of some Late Palaeolithic artefacts (sculptures and engraved objects) for philosophicalconcepts of art. We examine cognitive capacities that are necessary to produceand recognize objects that are denoted as art. These include the ability toattribute and infer design (design stance), the ability to distinguish between themateriality of an object and its meaning (symbol-mindedness), and an aesthetic sensitivity to some perceptual stimuli. We investigate to what extent thesecognitive processes played a role in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  13. Epistemic logic and epistemology: The state of their affairs.Johan van Benthem - 2006 - Philosophical Studies 128 (1):49 - 76.
    Epistemology and epistemic logic At first sight, the modern agenda of epistemology has little to do with logic. Topics include different definitions of knowledge, its basic formal properties, debates between externalist and internalist positions, and above all: perennial encounters with sceptics lurking behind every street corner, especially in the US. The entry 'Epistemology' in the Routledge Encyclopedia of Philosophy (Klein 1993) and the anthology (Kim and Sosa 2000) give an up-to-date impression of the field. Now, epistemic logic started as a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  14. Multimo dal logics of products of topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.
    We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  15. Merging Observation and Access in Dynamic Logic.Johan van Benthem - unknown
    Rational agents base their actions on information from observation, inference, introspection, or other sources. But this information comes in different kinds, and it is usually handled by different logical mechanisms. We discuss how to integrate external ‘updating information’ and internal ‘elucidating information’ into one system of dynamic epistemic logic, by distinguishing two basic informational actions: ‘bare seeing’ versus ‘conscious realization’.
     
    Export citation  
     
    Bookmark   14 citations  
  16.  96
    The Geometry of Knowledge.Johan van Benthem & Darko Sarenac - unknown
    The most widely used attractive logical account of knowledge uses standard epistemic models, i.e., graphs whose edges are indistinguishability relations for agents. In this paper, we discuss more general topological models for a multi-agent epistemic language, whose main uses so far have been in reasoning about space. We show that this more geometrical perspective affords greater powers of distinction in the study of common knowledge, defining new collective agents, and merging information for groups of agents.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  30
    On describing.Anders Johan Schoubye - 2011 - Dissertation, St. Andrews
    The overarching topic of this dissertation is the semantics and pragmatics of definite descriptions. It focuses on the question whether sentences such as ‘the king of France is bald’ literally assert the existence of a unique king or simply presuppose the existence of such a king. One immediate obstacle to resolving this question is that immediate truth value judgments about such sentences are particularly unstable; some elicit a clear intuition of falsity whereas others simply seem awkward or strange. Because of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  89
    Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
    For a Euclidean space , let L n denote the modal logic of chequered subsets of . For every n 1, we characterize L n using the more familiar Kripke semantics, thus implying that each L n is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics L n form a decreasing chain converging to the logic L of chequered subsets of . As a result, we obtain that L is also a logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  19.  58
    Rawlsian Constructivism: A Practical Guide to Reflective Equilibrium.Eric Brandstedt & Johan Brännmark - 2020 - The Journal of Ethics 24 (3):355-373.
    Many normative theorists want to contribute to making the world a better place. In recent years, it has been suggested that to realise this ambition one must start with an adequate description of real-life practices. To determine what should be done, however, one must also fundamentally criticise existing moral beliefs. The method of reflective equilibrium offers a way of doing both. Yet, its practical usefulness has been doubted and it has been largely ignored in the recent practical turn of normative (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  12
    How circuits work.Johan De Kleer - 1984 - Artificial Intelligence 24 (1-3):205-280.
  21.  42
    Assessing the epistemic quality of democratic decision-making in terms of adequate support for conclusions.Henrik Friberg-Fernros & Johan Karlsson Schaffer - 2017 - Social Epistemology 31 (3):251-265.
    How can we assess the epistemic quality of democratic decision-making? Sceptics doubt such assessments are possible, as they must rely on controversial substantive standards of truth and rightness. Challenging that scepticism, this paper suggests a procedure-independent standard for assessing the epistemic quality of democratic decision-making by evaluating whether it is adequately supported by reasons. Adequate support for conclusion is a necessary aspect of epistemic quality for any epistemic justification of democracy, though particularly relevant to theories that emphasize public deliberation. Finding (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  15
    Extending the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):163-196.
  23.  14
    Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.
  24.  47
    The Logic of Aspect: An Axiomatic Approach.Johan van Benthem & Antony Galton - 1986 - Philosophical Review 95 (3):434.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  25.  41
    In Defence of Stakeholder Pragmatism.Tommy Jensen & Johan Sandström - 2013 - Journal of Business Ethics 114 (2):225-237.
    This article seeks to defend and develop a stakeholder pragmatism advanced in some of the work by Edward Freeman and colleagues. By positioning stakeholder pragmatism more in line with the democratic and ethical base in American pragmatism (as developed by William James, John Dewey and Richard Rorty), the article sets forth a fallibilistic stakeholder pragmatism that seeks to be more useful to companies by expanding the ways in which value is and can be created in a contingent world. A dialogue (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26.  44
    Logic of transition systems.Johan Van Benthem & Jan Bergstra - 1994 - Journal of Logic, Language and Information 3 (4):247-283.
    Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to this (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27. Logic in Philosophy.Johan van Benthem - 2002 - In Dale Jacquette (ed.), Philosophy of Logic. Malden, Mass.: North Holland. pp. 65-99.
    1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...)
     
    Export citation  
     
    Bookmark   9 citations  
  28. Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
    Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of modal formalisms. To show that the equational view of processes from process algebra is closely related (...)
     
    Export citation  
     
    Bookmark   6 citations  
  29.  34
    The conjunction of non-consciously perceived object identity and spatial position can be retained during a visual short-term memory task.Fredrik Bergström & Johan Eriksson - 2015 - Frontiers in Psychology 6.
  30.  11
    Using crude probability estimates to guide diagnosis.Johan de Kleer - 1990 - Artificial Intelligence 45 (3):381-391.
  31.  15
    Toward an Integrative Approach of Cognitive Neuroscientific and Evolutionary Psychological Studies of Art.Johan De Smedt & Helen De Cruz - 2010 - Evolutionary Psychology 8 (4):695 - 719.
    This paper examines explanations for human artistic behavior in two reductionist research programs, cognitive neuroscience and evolutionary psychology. Despite their different methodological outlooks, both approaches converge on an explanation of art production and appreciation as byproducts of normal perceptual and motivational cognitive skills that evolved in response to problems originally not related to art, such as the discrimination of salient visual stimuli and speech sounds. The explanatory power of this reductionist framework does not obviate the need for higher-level accounts of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  32. Modal logics for product topologies.Johan van Benthem, Guram Bezhanishvili, Balder Ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):375-99.
  33.  5
    (1 other version)Modal Logic.Johan van Benthem - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 389–409.
    This chapter contains sections titled: Enriching Extensional Logic with Intensional Notions Changing Views of Modal Logic A Précis of Basic Modal Logic The Major Applications Fine‐Structure of Expressive Power System Combination: Action and Information Back to the Heartland Conclusion.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  34.  88
    The Historical Roots of Personalism.Johan de Tavernier - 2009 - Ethical Perspectives 16 (3):361-392.
    The present article focuses on American and European personalism during the early part of the twentieth century . The immediate predecessor of the personalist movement as such was the philosopher Rudolf Hermann Lotze who inspired two of his students, Methodist Borden Parker Bowne and Rudolf Eucken. In France, in the meantime, Charles Renouvier published his Le personnalisme in 1903, while Emmanuel Mounier later presented personalism as a new political philosophy under the influence Alexandre Marc’s comments on Nicolai Hartmann’s Ethik. Mounier’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  7
    Eliminating the fixed predicates from a circumscription.Johan de Kleer & Kurt Konolige - 1989 - Artificial Intelligence 39 (3):391-398.
  36.  30
    Destination New Zealand: A history of the Afrikaans Christian Church of New Zealand.Johan M. Van der Merwe - 2015 - HTS Theological Studies 71 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  43
    Ecidence Logic: A New Look at Neighborhood Structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 97-118.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  38.  44
    El Vaticano II y la mujer: ¿es posible un diálogo? (Vatican II and the woman: is it possible the dialogue?) - DOI: 10.5752/P.2175-5841.2011v9n24p1280. [REVIEW]Eduardo Hoornaert - 2011 - Horizonte 9 (24):1280-1289.
    O artigo introduz a questão da relação entre a Igreja hierárquica e a mulher, afirmando que, desde seus começos, o cristianismo teve dificuldades para compreender o comportamento de Jesus para com as mulheres. Destaca alguns sinais do surgimento, no século XX, de uma nova consciência feminina, caracterizada pela emergência do “pensamento autônomo”. Em contraposição às mudanças do universo feminino e referindo-se ao “desconhecimento da mulher” que caracterizou o Vaticano II, o artigo refere-se à dificuldade da Igreja em identificar a ideologia (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  39.  41
    How can we be moral when we are so irrational?Nils-Eric Sahlin & Johan Brännmark - unknown
    Normative ethics usually presupposes background accounts of human agency, and although different ethical theorists might have different pictures of human agency in mind, there is still something like a standard account that most of mainstream normative ethics can be understood to rest on. Ethical theorists tend to have Rational Man, or at least some close relative to him, in mind when constructing normative theories. It will be argued here that empirical findings raise doubts about the accuracy of this kind of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  16
    Why the human brain is not an enlarged chimpanzee brain.Johan De Smedt, Helen De Cruz & Johan Braeckman - 2009 - In H. Høgh-Olesen, J. Tønnesvang & P. Bertelsen (eds.), Human Characteristics: Evolutionary Perspectives on Human Mind and Kind. pp. 168-181.
    Following Darwin, many comparative psychologists assume that the human mind is a kind of ape mind, differing only in degree from the extant apes – we call this the mental continuity assumption. However, the continuity principle in evolutionary theory does not posit continuity between extant closely related species, but between extant species and their extinct ancestors. Thus, it is possible that some human cognitive capacities have no parallels in extant apes, but that they emerged in extinct hominid species after the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  53
    Beyond Belief : On the Nature and Rationality of Agnostic Religion.Carl-Johan Palmqvist - 2020 - Printed in Sweden by Media-Tryck, Lund University.
    It is standardly assumed that a religious commitment needs to be based upon religious belief, if it is to be rationally acceptable. In this thesis, that assumption is rejected. I argue for the feasibility of belief-less religion, with a focus on the approach commonly known as “non-doxasticism”. According to non-doxasticism, a religious life might be properly based on some cognitive attitude weaker than belief, like hope, acceptance or belief-less assumption. It provides a way of being religious open exclusively to the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. A note on modeling theories.Johan van Benthem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):403-419.
    We discuss formats for formal theories, from sets of models to more complex constructs with an epistemic slant, clarifying the issue of what it means to update a theory. Using properties of verisimilitude as a lead, we also provide some connections between formal calculus of theories in the philosophy of science and modal-epistemic logics. Throughout, we use this case study as a platform for discussing more general connections between logic and general methodology.
     
    Export citation  
     
    Bookmark   4 citations  
  43. Epistemic Logic and Epistemology. The State of their Affairs', to appear in V. Hendricks, ed., special issue of.Johan van Benthem - forthcoming - Philosophical Studies.
     
    Export citation  
     
    Bookmark   2 citations  
  44. A Faith for the Future.Carl-Johan Palmqvist - 2022 - European Journal for Philosophy of Religion 14 (1):95-122.
    . In the philosophy of J. L. Schellenberg, “evolutionary religion” is a religious stance oriented towards the deep future. According to Schellenberg, the best form of evolutionary religion is non-doxastic faith in ultimism. I reject Schellenberg’s arguments for preferring ultimism and suggest that committing non-doxastically to traditional religion makes more sense from an evolutionary perspective. I argue that the alignment argument for traditional religion remains sound even when the deep future is considered. Furthermore, I assess Schellenberg’s claim that humanity is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  18
    Die dimensies “eenheid” en “katolisiteit” in die ekklesiologie van die Nederduitsch Hervormde Kerk sedert Ottawa 1982.Tanya Van Wyk & Johan Buitendag - 2008 - HTS Theological Studies 64 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. The Meaning-Sharing Network.John Haglund & Johan Blomberg - 2010 - Hortues Semioticus 6:17-30.
    We advocate an analysis of meaning that departs from the pragmatic slogan that “meaning is use”. However, in order to avoid common missteps, this claim is in dire need of qualification. We argue that linguistic meaning does not originate from language use as such; therefore we cannot base a theory of meaning only on use. It is important not to neglect the fact that language is ultimately reliant on non-linguistic factors. This might seem to oppose the aforementioned slogan, but it (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  31
    Partners in history: The Dutch Reformed Church and theological training at the University of Pretoria: 1938–2000.Johan van der Merwe - 2016 - HTS Theological Studies 72 (4):1-10.
    The Faculty of Theology at the University of Pretoria celebrates its centenary in 2017. Theological training at the university started in 1917 when the Nederduitsch Hervormde Kerk van Afrika decided to train its own ministers. In 1937 the Dutch Reformed Church decided to establish a faculty of its own at the university. This led to a faculty with two sections: Section A for the Nederduitsch Hervormde Kerk and Section B for the Dutch Reformed Church. This was the situation until 2000 (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  1
    Commentariorum, ac disputationum in Primam Secundae S. Thomae Tomus secundus.Gabriel Vázquez, Johan Hertsroy, Andreas Angermaier, Thomas & Typographica Ederiana - 1605 - Ex Officina Typographica Ederiana, Impensis Ioannis Hertsroy, & Andreæangermarii.
  49. QML: a paraconsistent default logic.Johan van den Akker & Yao Hua TANt - 1993 - Logique Et Analyse 143 (143-144):311-328.
     
    Export citation  
     
    Bookmark   2 citations  
  50. (2 other versions)Computational semantics.Patrick Blackburn & Johan Bos - 2003 - Theoria 18 (1):27-45.
    In this article we discuss what constitutes a good choice of semantic representation, compare different approaches of constructing semantic representations for fragments of natural language, and give an overview of recent methods for employing inference engines for natural language understanding tasks.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 967