13 found
Order:
  1.  51
    The Meaning of 'Actually'.Yannis Stephanou - 2010 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  40
    Indexed Actuality.Yannis Stephanou - 2001 - 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)  
     
    Export citation  
     
    My bibliography   5 citations  
  3.  35
    First-Order Modal Logic with an 'Actually' Operator.Yannis Stephanou - 2005 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  4. How Many Possible Worlds Are There?Yannis Stephanou - 2000 - Analysis 60 (3):223–228.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  80
    Serious Actualism.Yannis Stephanou - 2007 - Philosophical Review 116 (2):219-250.
  6.  53
    Necessary Beings.Yannis Stephanou - 2000 - Analysis 60 (2):188–193.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  64
    Review: Aristotle on Meaning and Essence. [REVIEW]Yannis Stephanou - 2002 - Mind 111 (444):841-847.
  8.  51
    Model Theory and Validity.Yannis Stephanou - 2000 - 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)  
     
    Export citation  
     
    My bibliography  
  9.  21
    Book Notice. [REVIEW]Yannis Stephanou - 2013 - Metascience 22 (2):455-456.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  21
    Modal Trees.Yannis Stephanou - 2011 - Metascience 20 (2):385-388.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  11.  16
    Investigations Into Quantified Modal Logic.Yannis Stephanou - 2002 - 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)  
     
    Export citation  
     
    My bibliography  
  12.  15
    Logic Problems.Yannis Stephanou - 2011 - 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 (7 more)  
     
    Export citation  
     
    My bibliography  
  13.  4
    Aristotle on Meaning and Essence.Yannis Stephanou - 2002 - Mind 111 (444):841-847.
    Direct download  
     
    Export citation  
     
    My bibliography