13 found
Sort by:
  1. Yannis Stephanou (2013). Book Notice. [REVIEW] Metascience 22 (2):455-456.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Yannis Stephanou (2011). Logic Problems. Metascience 20 (3):501-504.
    Logic problems Content Type Journal Article Pages 1-4 DOI 10.1007/s11016-011-9538-0 Authors Yannis Stephanou, Department of Philosophy and History of Science, University of Athens, University Campus, 157 71 Athens, Greece Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Yannis Stephanou (2011). Modal Trees. Metascience 20 (2):385-388.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Yannis Stephanou (2010). The Meaning of 'Actually'. Dialectica 64 (2):153-185.
    The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as 'actually' and 'in fact' are not indexicals like 'here' and 'now'; when e.g. 'Snow is actually white' is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that 'actually' and its cognates do play. It is also argued (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Yannis Stephanou (2007). Serious Actualism. Philosophical Review 116 (2):219-250.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Yannis Stephanou (2005). First-Order Modal Logic with an 'Actually' Operator. Notre Dame Journal of Formal Logic 46 (4):381-405.
    In this paper the language of first-order modal logic is enriched with an operator @ ('actually') such that, in any model, the evaluation of a formula @A at a possible world depends on the evaluation of A at the actual world. The models have world-variable domains. All the logics that are discussed extend the classical predicate calculus, with or without identity, and conform to the philosophical principle known as serious actualism. The basic logic relies on the system K, whereas others (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Yannis Stephanou (2002). Aristotle on Meaning and Essence. Mind 111 (444):841-847.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Yannis Stephanou (2002). Review: Aristotle on Meaning and Essence. [REVIEW] Mind 111 (444):841-847.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Yannis Stephanou (2002). Investigations Into Quantified Modal Logic. Notre Dame Journal of Formal Logic 43 (4):193-220.
    In this paper, I investigate a system of quantified modal logic, due in many respects to Bressan (see [2]), from several perspectives -- both semantic and proof-theoretic. As Anderson and Belnap note in [1]: "It seems to be generally conceded that formal systems are natural or substantial if they can be looked at from several points of view. We tend to think of systems as artificial or ad hoc if most of their formal properties arise from some one notational system (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Yannis Stephanou (2001). Indexed Actuality. Journal of Philosophical Logic 30 (4):355-393.
    The word 'actually' often refers to what is in fact the case, but it also often points to what would have been the case in a possible situation that is being envisaged. To capture such nuances, the formal languages discussed in the paper add subscripts to modal operators; in the model theory the subscripts allow an actuality operator to turn the evaluation of a formula to a world introduced by a preceding possibility or necessity operator having the same subscript. The (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  11. Yannis Stephanou (2000). How Many Possible Worlds Are There? Analysis 60 (3):223–228.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  12. Yannis Stephanou (2000). Model Theory and Validity. Synthese 123 (2):165-193.
    Take a formula of first-order logic which is a logical consequence of some other formulae according to model theory, and in all those formulae replace schematic letters with English expressions. Is the argument resulting from the replacement valid in the sense that the premisses could not have been true without the conclusion also being true? Can we reason from the model-theoretic concept of logical consequence to the modal concept of validity? Yes, if the model theory is the standard one for (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Yannis Stephanou (2000). Necessary Beings. Analysis 60 (2):188–193.
    No categories
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation