Results for 'Ivo Colozzi'

478 found
Order:
  1. Il terzo settore.Ivo Colozzi - 2006 - Filosofia Oggi 11 (1):29.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  64
    Does the Brain Calculate Value?Ivo Vlaev, Nick Chater, Neil Stewart & Gordon D. A. Brown - 2011 - Trends in Cognitive Sciences 15 (11):546-554.
  3.  34
    Embodiment and Fundamental Motor Skills in eSports.Ivo van Hilvoorde & Niek Pot - 2016 - Sport, Ethics and Philosophy 10 (1):14-27.
    Electronic sports and other variants of ‘digital sports’ have increased in popularity all over the world and may even come to challenge hegemonic concepts of sport. More relevant than the apparent opposition between ‘physical’ and ‘non-physical’ is the question what kind of embodiment is manifested within virtual environments. In this paper, we argue that eSports do require the learning and performance of motor skills and that embodiment within a virtual environment may be considered playful or even athletic. The type of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  8
    Kósmos Noetós.Ivo Assad Ibri - 2017 - Springer Verlag.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  5.  15
    A Final Note on S1° and the Brouwerian Axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
  6.  14
    Polish Logic 1920-1939.Ivo Thomas - 1969 - Philosophical Review 78 (4):539.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  10
    The Placeholder View of Assumptions and the Curry–Howard Correspondence.Ivo Pezlar - 2020 - Synthese:1-17.
    Proofs from assumptions are amongst the most fundamental reasoning techniques. Yet the precise nature of assumptions is still an open topic. One of the most prominent conceptions is the placeholder view of assumptions generally associated with natural deduction for intuitionistic propositional logic. It views assumptions essentially as holes in proofs, either to be filled with closed proofs of the corresponding propositions via substitution or withdrawn as a side effect of some rule, thus in effect making them an auxiliary notion subservient (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  73
    Embodiment and Fundamental Motor Skills in eSports.Ivo van Hilvoorde & Niek Pot - 2016 - Sport, Ethics and Philosophy 10 (1):14-27.
    Electronic sports and other variants of ‘digital sports’ have increased in popularity all over the world and may even come to challenge hegemonic concepts of sport. More relevant than the apparent opposition between ‘physical’ and ‘non-physical’ is the question what kind of embodiment is manifested within virtual environments. In this paper, we argue that eSports do require the learning and performance of motor skills and that embodiment within a virtual environment may be considered playful or even athletic. The type of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  4
    P. Donati e I. Colozzi (a cura di), "Generare il 'civile': nuove esperienze nella società italiana" e " La cultura civile in Italia: fra stato, mercato e privato sociale".R. Vignati - 2003 - Polis 17 (1):161-164.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  13
    P. Donati e I. Colozzi (a cura di), Il privato sociale che emerge: realtà e dilemmi.N. Zamaro - 2005 - Polis 19 (3):470-472.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  16
    Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
    In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  5
    Language and Logic in the Post-Medieval Period.Ivo Thomas - 1976 - Philosophical Quarterly 26 (102):103-104.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  13.  12
    Finite Limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
  14. The Ethical Challenges in the Context of Climate Loss and Damage.Ivo Wallimann-Helmer, Kian Mintz-Woo, Lukas Meyer, Thomas Schinko & Olivia Serdeczny - 2019 - In Reinhard Mechler, Laurens M. Bouwer, Thomas Schinko, Swenja Surminski & JoAnne Linnerooth-Bayer (eds.), Loss and Damage from Climate Change. Cham: Springer. pp. 39-62.
    This chapter lays out what we take to be the main types of justice and ethical challenges concerning those adverse effects of climate change leading to climate-related Loss and Damage (L&D). We argue that it is essential to clearly differentiate between the challenges concerning mitigation and adaptation and those ethical issues exclusively relevant for L&D in order to address the ethical aspects pertaining to L&D in international climate policy. First, we show that depending on how mitigation and adaptation are distinguished (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  18
    On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.
    In Transparent Intensional Logic we can recognize two distinct notions of computation that loosely correspond to term rewriting and term interpretation as known from lambda calculus. Our goal will be to further explore these two notions and examine some of their properties.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  1
    CS: An Extension of CS.Ivo Thomas - 1950 - Journal of Symbolic Logic 15 (2):141-142.
  17.  52
    Towards a More General Concept of Inference.Ivo Pezlar - 2014 - Logica Universalis 8 (1):61-81.
    The main objective of this paper is to sketch unifying conceptual and formal framework for inference that is able to explain various proof techniques without implicitly changing the underlying notion of inference rules. We base this framework upon the so-called two-dimensional, i.e., deduction to deduction, account of inference introduced by Tichý in his seminal work The Foundation’s of Frege’s Logic (1988). Consequently, it will be argued that sequent calculus provides suitable basis for such general concept of inference and therefore should (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  25
    A Twelfth Century Paradox of the Infinite.Ivo Thomas - 1958 - Journal of Symbolic Logic 23:133.
  19.  91
    A Necessary Relation Algebra for Mereotopology.Ivo DÜntsch, Gunther Schmidt & Michael Winter - 2001 - Studia Logica 69 (3):381 - 409.
    The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T 0 topological space with an additional "contact relation" C defined by xCy x ØA (possibly) more general class of models is provided by the Region Connection Calculus (RCC) of Randell et al. We show that the basic operations of the relational calculus on a "contact relation" generate at least 25 relations in any model of the RCC, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20.  81
    A Proof System for Contact Relation Algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
    Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  9
    Peircean Seeds for a Philosophy of Art.Ivo A. Ibri - 2010 - Semiotics:1-16.
  22.  1
    Decision Procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
  23.  5
    The Domain of Logic According to Saint Thomas Aquinas.Ivo Thomas - 1968 - Philosophical Quarterly 18 (73):365-366.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  24. A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
  25.  12
    A New Decision Procedure for Aristotle's Syllogistic.Thomas Ivo Richard - 1952 - Mind 61 (244):564-566.
  26.  10
    Medieval Logic & Metaphysics.Ivo Thomas & D. P. Henry - 1974 - Philosophical Quarterly 24 (94):71.
  27.  9
    A System of Modal Logic.Ivo Thomas, A. N. Prior & Alan Ross Anderson - 1960 - Journal of Symbolic Logic 25 (3):293-296.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  13
    The Nonstandard Quantum Plane.Ivo Herzog & Sonia L’Innocente - 2008 - Annals of Pure and Applied Logic 156 (1):78-85.
    Let Uq be the quantum group associated to sl2 with char≠2 and qk not a root of unity. The article is devoted to the model-theoretic study of the quantum plane kq[x,y], considered as an -structure, where is the language of representations of Uq. It is proved that the lattice of definable k-subspaces of kq[x,y] is complemented. This is deduced from the same result for the Uq-module M, which is defined to be the direct sum of all finite dimensional representations of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  8
    Tractatus, Called Afterwards Summule Logicales. [REVIEW]Ivo Thomas - 1975 - Speculum 50 (3):532-533.
  30.  8
    Sport and Play in a Digital World.Ivo van Hilvoorde - 2016 - Sport, Ethics and Philosophy 10 (1):1-4.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  12
    Stoic Logic.Ivo Thomas - 1954 - Philosophical Quarterly 4 (17):383-383.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  9
    Choices, Dogmatisms and Bets-Justifying Peirce's Realism.Ivo A. Ibri - 2012 - Veritas – Revista de Filosofia da Pucrs 57 (2).
  33.  9
    Modal Systems in the Neighbourhood of ${\Rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
  34.  3
    S1° and Brouwerian Axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:151.
  35. Self-Driving Cars in Dilemmatic Situations: An Approach Based on the Theory of Justification in Criminal Law.Ivó Coca-Vila - 2018 - Criminal Law and Philosophy 12 (1):59-82.
    This article puts forward solutions to some of the ethical and legal dilemmas posed in the current discussion on how to program crash algorithms in autonomous or self-driving cars. The first part of the paper defines the scope of the problem in the criminal legal field, and the next section gives a critical analysis of the proposal to always prioritise the interest of the occupant of the vehicle in situations with conflict of interests. The principle of minimizing social damage as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  2
    The False Dichotomy of Domain-Specific Versus Domain-General Cognition.Ivo Jacobs & Peter Gärdenfors - 2017 - Behavioral and Brain Sciences 40.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  3
    The De Grammatico of St. Anselm: The Theory of Paronymy.Ivo Thomas - 1966 - Philosophical Quarterly 16 (64):273.
  38. A Response-Dependent Theory of Precedent.Ivo Entchev - 2011 - Law and Philosophy 30 (3):273-290.
    Doctrinally, a precedent is a case of the same or higher court that furnishes an authoritative rule for the determination of the case at hand, either because the facts are alike, or, if the facts are different, because the principle that governed the first case is applicable to the different facts. In this article I try to free precedent form the dominant doctrinal view by offering a more intuitive conception: that to be precedent means to be treated as precedent. Put (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  17
    Independence of Tarski's Law in Henkin's Propositional Fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):74-78.
  40.  1
    Farrago Logica.Ivo Thomas - 1956 - Journal of Symbolic Logic 21 (3):314-315.
  41.  26
    A Survey of the Perspectives of Patients Who Are Seriously Ill Regarding End-of-Life Decisions in Some Medical Institutions of Korea, China and Japan.Kwon Ivo, Koh Younsuck, Yun Young Ho, Suh Sang-Yeon, Heo Dae Seog, Bae Hyunah, Hattori Kenji & Zhai Xiaomei - 2012 - Journal of Medical Ethics 38 (5):310-316.
    Purpose The debate about the end-of-life care decision is becoming a serious ethical and legal concern in the Far-Eastern countries of Korea, China and Japan. However, the issues regarding end-of-life care will reflect the cultural background, current medical practices and socioeconomic conditions of the countries, which are different from Western countries and between each other. Understanding the genuine thoughts of patients who are critically ill is the first step in confronting the issues, and a comparative descriptive study of these perspectives (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  26
    Escolhas, dogmatismos e apostas – justificando o realismo de Peirce.Ivo A. Ibri - 2012 - Veritas – Revista de Filosofia da Pucrs 57 (2):51-61.
    The conceptual axis of this paper is a reflection on Charles Peirce’s realism, trying to show it as the ground from which many others of his philosophical doctrines are derived. In its first part, the paper analyses the problems posed by the classical Peircean paper Questions Concerning Certain Faculties Claimed for Man, proposing to extract from the consequences of this analysis the guidelines of a realism that gradually become more radical in Peirce’s mature work. Such consequences will be consolidated in (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  43.  54
    A Discrete Duality Between Apartness Algebras and Apartness Frames.Ivo Düntsch & Ewa Orlowska - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):213-227.
    Apartness spaces were introduced as a constructive counterpart to proximity spaces which, in turn, aimed to model the concept of nearness of sets in a metric or topological environment. In this paper we introduce apartness algebras and apartness frames intended to be abstract counterparts to the apartness spaces of, and we prove a discrete duality for them.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  11
    Democracy for the Future: A Conceptual Framework to Assess Institutional Reform.Ivo Wallimann-Helmer, Lukas Meyer & Paul Burger - 2017 - Jahrbuch für Wissenschaft Und Ethik 21 (1):197-220.
    Name der Zeitschrift: Jahrbuch für Wissenschaft und Ethik Jahrgang: 21 Heft: 1 Seiten: 197-220.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  45.  26
    Discrete Dualities for Double Stone Algebras.Ivo Düntsch & Ewa Orłowska - 2011 - Studia Logica 99 (1-3):127-142.
    We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  13
    Sobre a identidade ideal-real na filosofia de Chales S. Peirce.Ivo Assad Ibri - 2000 - Cognitio: Revista de Filosofia 1:38-45.
    Resumo: Neste trabalho procuraremos mostrar como se conciliam, no interior da obra do filósofo norte-americano Charles S. PEIRCE , realismo e idealismo, à luz da construção de sua metafísica. Este ponto que consideramos fulcral para o entendimento de uma série de outras doutrinas correlatas, tem sido mal compreendido ou equivocadamente formulado pela grande maioria dos comentaristas que, não adentrando a genealogia das doutrinas metafísicas peirceanas, procuram, sem sucesso, a partir de um ponto de vista cartesiano, seja antropocêntrico, a conciliação da (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  47.  18
    In Memoriam A. N. Prior (1914--1969).Ivo Thomas - 1971 - Notre Dame Journal of Formal Logic 12 (2):129-130.
  48.  9
    Shorter Development of an Axiom.Ivo Thomas - 1975 - Notre Dame Journal of Formal Logic 16 (3):378-378.
  49.  8
    Universal Variable Non-Tarskian Functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
  50. Disability or Extraordinary Talent—Francesco Lentini (Three Legs) Versus Oscar Pistorius (No Legs).Laurens Landeweerd & Ivo van Hilvoorde - 2008 - Sport, Ethics and Philosophy 2 (2):97-111.
    It seems fairly straightforward to describe what should and should not count as a disability into two separate and opposing categories. In this paper we will challenge this assumption and critically reflect on the narrow relations between the concepts of 'talent' and 'disability'. We further relate such matters of terminology and classification to issues of justice in what is conceived of as disability sport. Do current systems of classification do justice to the performances of disabled athletes? Is the organisation of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 478