4 found
Sort by:
  1. Peter Hinst (1992). Wolfgang Stegmüllers Wissenschaftlicher Werdegang. Erkenntnis 36 (1):7 - 12.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Peter Hinst (1983). Quines Ontologiekriterium. Erkenntnis 19 (1-3):193 - 215.
    This paper consists of two parts. Part I contains a precise model-theoretic reconstruction of Quine's criterion for the ontological presuppositions of a theory. Two versions (K1), (K2) of the criterion are elaborated, (K2) being the more adequate one which is shown through a number of theorems for each version. Part II contains a critical discussion of (K2), in particular of the question wether (K2) is a criterion for ontological presuppositions, i.e. for entities existing independently of the theory. Its answer depends (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Peter Hinst (1977). Freges Analyse der Hilbertschen Axiomatik. Grazer Philosophische Studien 3:47-57.
    Gegen die vielfach vertretene Auffassung, Frege habe die Hilbertsche Axiomatik nicht verstanden, wird nachzuweisen versucht, daß Frege die neue Methode nicht nur verstanden, sondem auch begrifflich präzise analysiert hat. Er definiert eine formale Theorie im Hilbertschen Sinn als eine Klasse von logisch beweisbaren Wenn-dann-Sätzen, die freie Variable enthalten und deren Wenn-Satz eine Konjunktion der Axiome im Hilbertschen Sinn ist. Er untersucht ferner das Verhältnis zwischen einer Hilbertschen Theorie und ihren Modellen (Anwendungen) und wendet seine allgemeinen Ergebnisse in erhellender Weise auf (...)
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Peter Hinst (1977). Klassische, intuitionistische oder dreiwertige Logik? Zeitschrift für Philosophische Forschung 31 (1):61 - 78.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation