Results for 'Göran Sundholm'

Order:
  1. Logic, Act and Product.Jacques P. Dubucs & Wioletta Miśkiewicz - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications.
    Logic and psychology overlap in judgment, inference and proof. The problems raised by this commonality are notoriously difficult, both from a historical and from a philosophical point of view. Sundholm has for a long time addressed these issues. His beautiful piece of work [A Century of Inference: 1837-1936] begins by summarizing the main difficulty in the usual provocative manner of the author: one can start, he says, by the act of knowledge to go to the object, as the Idealist (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  66
    "Sind die Zahlformeln beweisbar?".Ansten Klev - 2024 - In The Architecture and Archaeology of Modern Logic. Studies dedicated to Göran Sundholm. Cham: Springer. pp. 181-201.
    By a numerical formula, we shall understand an equation, m = n, between closed numerical terms, m and n. Assuming with Frege that numerical formulae, when true, are demonstrable, the main question to be considered here is what form such a demonstration takes. On our way to answering the question, we are led to more general questions regarding the proper formalization of arithmetic. In particular, we shall deal with calculation, definition, identity, and inference by induction.
    Download  
     
    Export citation  
     
    Bookmark