45 found
Sort by:
  1.  86 DLs
    Per Lindstrom (1968). Remarks on Some Theorems of Keisler. Journal of Symbolic Logic 33 (4):571 - 576.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2.  71 DLs
    Per Lindstrom (2006). Remarks on Penrose's New Argument. Journal of Philosophical Logic 35 (3):231-237.
    It is commonly agreed that the well-known Lucas-Penrose arguments and even Penrose's 'new argument' in [Penrose, R. (1994): Shadows of the Mind, Oxford University Press] are inconclusive. It is, perhaps, less clear exactly why at least the latter is inconclusive. This note continues the discussion in [Lindström, P. (2001): Penrose's new argument, J. Philos. Logic 30, 241-250; Shapiro, S.(2003): Mechanism, truth, and Penrose's new argument, J. Philos. Logic 32, 19-42] and elsewhere of this question.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3.  47 DLs
    Per Lindström (1969). On Extensions of Elementary Logic. Theoria 35 (1):1-11.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4.  33 DLs
    Per Lindström (2001). Penrose's New Argument. Journal of Philosophical Logic 30 (3):241-250.
    It has been argued, by Penrose and others, that Gödel's proof of his first incompleteness theorem shows that human mathematics cannot be captured by a formal system F: the Gödel sentence G(F) of F can be proved by a (human) mathematician but is not provable in F. To this argment it has been objected that the mathematician can prove G(F) only if (s)he can prove that F is consistent, which is unlikely if F is complicated. Penrose has invented a new (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5.  26 DLs
    Per Lindström (1996). Provability Logic-a Short Introduction. Theoria 62 (1-2):19-61.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6.  21 DLs
    Per Lindström, First-Order Logic.
  7.  20 DLs
    Per Lindström (2006). Note on Some Fixed Point Constructions in Provability Logic. Journal of Philosophical Logic 35 (3):225 - 230.
    We present a quite simple proof of the fixed point theorem for GL. We also use this proof to show that Sambin's algorithm yields a fixed point.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8.  13 DLs
    Per Lindström (2000). Quasi-Realism in Mathematics. The Monist 83 (1):122-149.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9.  12 DLs
    Per Lindström & V. Yu Shavrukov (2008). The ∀∃ Theory of Peano Σ1sentences. Journal of Mathematical Logic 8 (02):251-280.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10.  8 DLs
    Per Lindström (1968). Remarks on Some Theorems of Keisler. Journal of Symbolic Logic 33 (4):571-576.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11.  8 DLs
    Per Lindström (1997). Interpretability in Reflexive Theories - a Survey. Theoria 63 (3):182-209.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12.  7 DLs
    Per Lindström (2004). Remarks on the Alleged Non-Determinateness of Certain Mathematical Concepts. In Christer Svennerlind (ed.), Ursus Philosophicus - Essays Dedicated to Björn Haglund on His Sixtieth Birthday. Philosophical Communications
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13.  6 DLs
    Per Lindström (1978). Omitting Uncountable Types and Extensions of Elementary Logic. Theoria 44 (3):152-156.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14.  6 DLs
    Per Lindström & V. Yu Shavrukov (2008). The∀∃ Theory of Peano Σ1 Sentences. Journal of Mathematical Logic 8 (2):251-280.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15.  6 DLs
    Per Lindström (1966). On Relations Between Structures. Theoria 32 (3):172-185.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16.  4 DLs
    Per Lindström (1966). On Characterizability in Lω1ω. Theoria 32 (3):165-171.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17.  4 DLs
    Per Lindström (1966). First order predicate logic with generalized quantifiers. Theoria 32 (3):186--195.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  18.  3 DLs
    Per Lindström (1964). On Model-Completeness. Theoria 30 (3):183-196.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19.  3 DLs
    Per Lindström (1984). On Certain Lattices of Degrees of Interpretability. Notre Dame Journal of Formal Logic 25 (2):127-140.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20.  2 DLs
    Per Lindström (1973). A Characterization of Elementary Logic. In Sören Halldén (ed.), Modality, Morality and Other Problems of Sense and Nonsense. Lund,Gleerup 189--191.
     
    My bibliography  
     
    Export citation  
  21.  1 DLs
    Per Lindström (1966). Some Results in the Theory of Models of First Order Languages. Göteborg.
     
    My bibliography  
     
    Export citation  
  22.  0 DLs
    Per Lindström (1996). Searle om kropp-medvetande-problemet. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23.  0 DLs
    Per Lindström, Mats Furberg, Thomas Wetterström & Claes Åberg (1986). Logic and Abstraction Essays Dedicated to Per Lindström on His Fiftieth Birthday. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  24.  0 DLs
    Per Lindström (2008). Ross’ och Priors paradoxer. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25.  0 DLs
    Per Lindström (2011). A Theorem on Partial Conservativity in Arithmetic. Journal of Symbolic Logic 76 (1):341 - 347.
    Improving on a result of Arana, we construct an effective family (φ r | r ∈ ℚ ⋂ [0, 1]) of Σ n -conservative Π n sentences, increasing in strength as r decreases, with the property that ¬φ p is Π n -conservative over PA + φ q whenever p < q. We also construct a family of Σ n sentences with properties as above except that the roles of Σ n and Π n are reversed. The latter result allows (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26.  0 DLs
    Per Lindström (1988). Röda turken och viljans frihet. Norsk Filosofisk Tidsskrift 9 (4):1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  27.  0 DLs
    Per Lindström (1966). On characterizability im Lw1w0. Theoria 32 (3):165.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  28.  0 DLs
    Per Lindström (2006). Goodmans problem. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  29.  0 DLs
    Per Lindström (1993). On ∑1 and ∏1 Sentences and Degrees of Interpretability. Annals of Pure and Applied Logic 61 (1-2):175-193.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30.  0 DLs
    Per Lindström (1992). Ett sista försök. Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31.  0 DLs
    Per Lindström (1999). Aspects of Incompleteness. Studia Logica 63 (3):438-439.
     
    My bibliography  
     
    Export citation  
  32.  0 DLs
    Per Lindström (1988). Partially Generic Formulas in Arithmetic. Notre Dame Journal of Formal Logic 29 (2):185-192.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33.  0 DLs
    Per Lindström (1990). Kroppen och själen. Norsk Filosofisk Tidsskrift 11 (3):1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  34.  0 DLs
    Per Lindstrom (2006). On Parikh Provability: An Exercise in Modal Logic. In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53 53--287.
     
    My bibliography  
     
    Export citation  
  35.  0 DLs
    Per Lindström (1992). Vilse bland begreppen. Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  36.  0 DLs
    Per Lindström (1997). Utilitarismen och det kontrafaktiska. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  37.  0 DLs
    Per Lindström (1991). Perssons svårigheter. Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  38.  0 DLs
    Per Lindström (2007). Ross’ paradox. Norsk Filosofisk Tidsskrift 2.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  39.  0 DLs
    Per Lindström (2001). Näst sista ordet. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40.  0 DLs
    Per Lindström (2007). ”jag Vet Hur Det Är, Men Jag Kan Inte Säga’t”. Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  41.  0 DLs
    Per Lindström (1997). David Lewis’ teori för kontrafaktiska satser. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  42.  0 DLs
    Per Lindström (2007). Vad man rimligen kan kräva. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  43.  0 DLs
    Per Lindström (1995). Frankfurts exempel. Norsk Filosofisk Tidsskrift 3.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  44.  0 DLs
    Per Lindström (1993). On< I>∑< Sub> 1 and< I>∏< Sub> 1 Sentences and Degrees of Interpretability. Annals of Pure and Applied Logic 61 (1):175-193.
     
    My bibliography  
     
    Export citation  
  45.  0 DLs
    Per Lindström (1998). Att kunna göra som man vill. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation