Results for 'Tore Fjetland ��gaard'

7 found
Order:
  1.  38
    From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
    Restall set forth a "consecution" calculus in his "An Introduction to Substructural Logics." This is a natural deduction type sequent calculus where the structural rules play an important role. This paper looks at different ways of extending Restall's calculus. It is shown that Restall's weak soundness and completeness result with regards to a Hilbert calculus can be extended to a strong one so as to encompass what Restall calls proofs from assumptions. It is also shown how to extend the calculus (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
    The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  4. A Multirelational Account of Toleration.Maria Paola Ferretti & Sune Lægaard - 2013 - Journal of Applied Philosophy 30 (3):224-238.
    Toleration classically denotes a relation between two agents that is characterised by three components: objection, power, and acceptance overriding the objection. Against recent claims that classical toleration is not applicable in liberal democracies and that toleration must therefore either be understood purely attitudinally or purely politically, we argue that the components of classical toleration are crucial elements of contemporary cases of minority accommodation. The concept of toleration is applicable to, and is an important element of descriptions of such cases, provided (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Can Intuitive and Analytical Decision Styles Explain Managers' Evaluation of Information Technology?Marcus Selart, Svein Tvedt Johansen, Tore Holmesland & Kjell Grønhaug - 2008 - Management Decision 46:1326 -1341.
    Purpose – The purpose of this paper is to clarify how IT managers' decision styles affect their evaluation of information technology. Design/methodology/approach – Four different decision styles were assessed in a leadership test directed towards IT managers. Each style included two dimensions: confidence judgment ability and decision heuristic usage. Participants belonging to each style were interviewed and their answers analysed with regard to their reasoning about central areas of IT management. Findings – Results suggest that a decision style combining intuitive (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Beirut Blast: A Port City in Crisis.Asma Mehan & Maurice Jansen - 2020 - The Port City Futures Blog.
    On 4th of August 2020, the Lebanese capital and port city, Beirut, was rocked by a massive explosion that has killed hundreds and injured thousands more, ravaging the heart of the city’s nearby downtown business district and neighbouring housing areas, where more than 750,000 people live. The waterfront neighbourhood and a number of dense residential neighbourhoods in the city’s eastern part were essentially flattened. Lebanese Government officials believe that the blast was caused by around 2,700 tonnes of ammonium nitrate stored (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  40
    Aesthetic Development in Dance.Sarah Rubidge - 1982 - In Malcolm Ross (ed.), The Development of Aesthetic Experience. Oxford: Pergamon Press. pp. 124.
    To speak of aesthetic development in dance implies that there is a condition of aesthetic maturity which can be identified as a continuum of growth in aesthetlc understanding, and that aesthetic maturity in dance is distinct from aesthetic maturity in, say, the visual arts, literature, or music. This paper is an attempt to identify the "aesthetic behaviours" unique to dance, and to examine the notion that there is a growth of aesthetic understanding which can be monitored monl'tored.
    Download  
     
    Export citation  
     
    Bookmark