List of Publications

I. Logic, Philosophy and Computer Science

  1. Bibliographie Hugo Dingler (1881-1954). Zeitschrift für philosophische Forschung 35 (1981), 283-298. Leicht korrigierte und aktualisierte Digitalausgabe in: U. Weiß (ed.), Hugo Dingler: Gesammelte Werke auf CD-ROM. Karsten Worm InfoSoftWare: Berlin 2004, Anhang, Kap.Nr. 1980.
  2. Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen. Ph.D. Thesis, Bonn 1981.
  3. Logische Konstanten und Regeln. Zur Deutung von Aussagenoperatoren. Conceptus 16 (1982), 45-59.
  4. The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle. Journal of Philosophical Logic 12 (1983), 359-377.
  5. Inversion principles and the completeness of intuitionistic natural deduction systems. Abstracts of the 7th International Congress of Logic, Methodology and Philosophy of Science (Salzburg 1983), Vol. 5, 150-153.
  6. Popper's theory of deductive inference and the concept of a logical constant. History and Philosophy of Logic 5 (1984), 79-110.
  7. Freges Permutationsargument. Zu §10 der "Grundgesetze der Arithmetik". In: G. Wechsung (ed.), Frege Conference 1984. Proceedings of the International Conference held at Schwerin (GDR), September 10-14, 1984. Berlin: Akademie-Verlag 1984, 182-188.
  8. A natural extension of natural deduction. Journal of Symbolic Logic 49 (1984), 1284-1300.
  9. Generalized rules for quantifiers and the completeness of the intuitionistic operators &, v, ->, f, 'all', 'exists'. In: M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas (eds.), Computation and Proof Theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II. Berlin/Heidelberg/New York/Tokyo: Springer Lecture Notes in Mathematics, Vol. 1104, 1984, 399-426.
  10. Natural deduction calculi with rules of higher levels (Abstract). Journal of Symbolic Logic 50 (1985), 275-276.
  11. Proof-theoretic validity and the completeness of intuitionistic logic. In: G. Dorn, P. Weingartner (eds.), Foundations of Logic and Linguistics: Problems and Their Solutions. New York/London: Plenum Press 1985, 43-87.
  12. (With K. Došen) Conservativeness and uniqueness. Theoria 51 (1985), 159-173.
  13. (With J. Mittelstraß) Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz. In: H. Stachowiak (ed.), Pragmatik. Handbuch pragmatischen Denkens. Bd. I. Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert. Hamburg: Meiner 1986, 392-414.
  14. Structural Frameworks with Higher-Level Rules. Philosophical Investigations on the Foundations of Formal Reasoning. (Habilitationsschrift.) Konstanz 1987.
  15. A model-theoretic reconstruction of Frege's permutation argument. Notre Dame Journal of Formal Logic 28 (1987), 69-79.
  16. (With K. Došen) A general interpolation and definability theorem (Abstract). Journal of Symbolic Logic 52 (1987), 315-316.
  17. Judgements of higher levels in Martin-Löf's logical theory (Abstract). Journal of Symbolic Logic 52 (1987), 1083.
  18. (With F. Schaefer) Der strukturalistische Reduktionsbegriff und Repräsentationen von Theorien. In: P. Weingartner, G. Schurz (eds.), Logik, Wissenschafstheorie und Erkenntnistheorie. Akten des 11. Internationalen Wittgenstein Symposiums, 4.-13. 8. 1986, Kirchberg/Wechsel (Österreich), Wien: Hölder-Pichler-Tempsky 1987, 230-233.
  19. (With K. Došen) Uniqueness, definability and interpolation. Journal of Symbolic Logic 53 (1988), 554-570.
  20. (With F. Schaefer) Reduction, representation and commensurability of theories. Philosophy of Science 56 (1989), 130-157.
  21. (With Lars Hallnäs) Logic programming with higher-level rules (Abstract). Journal of Symbolic Logic 54 (1989), 656-657.
  22. Judgements of higher levels and the completeness of logical constants in Martin-Löf´s logical system. In: P. Dybjer et al. (eds.), Proceedings of the Workshop on Programming Logic. Programming Methodology Group, University of Göteborg, Report 54, 1989, 494-519.
  23. (With L. Hallnäs) A proof-theoretic approach to logic programming. I. Clauses as rules. Journal of Logic and Computation 1 (1990), 261-283.
  24. (With L. Hallnäs) A proof-theoretic approach to logic programming. II. Programs as definitions. Journal of Logic and Computation 1 (1991) 635-660.
  25. Uniform proof-theoretic semantics for logical constants (Abstract). Journal of Symbolic Logic 56 (1991), 1142.
  26. Structural frameworks, substructural logics and the role of elimination inferences. In: G. Plotkin, G. Huet (eds.), Logical Frameworks. Cambridge University Press, 1991, 385-403. (Draft)
  27. Hypothetical reasoning and definitional reflection in logic programming. In: P. Schroeder-Heister (ed.), Extensions of Logic Programming. International Workshop, Tübingen, FRG, December 1989, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 475, Berlin/Heidelberg/New York 1991, 327-340.
  28. (With L. Hallnäs) Local reflection in inductive definitions: The D-rule (Abstract). Journal of Symbolic Logic 57 (1992), 300.
  29. Cut-elimination in logics with definitional reflection. In: D. Pearce, H. Wansing (eds.), Nonclassical Logics and Information Processing. International Workshop, Berlin, November 1990, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 619, Berlin/Heidelberg/New York 1992, 146-171.
  30. Rules of definitional reflection. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (Montreal 1993), Los Alamitos 1993, 222-232.
  31. Definitional reflection and the completion. In: R. Dyckhoff (ed.), Extensions of Logic Programming. Fourth International Workshop, St. Andrews, Scotland, April 1993, Proceedings. Springer Lecture Notes in Artificial Intelligence, Bd. 798, Berlin/Heidelberg/New York 1994, 333-347.
  32. Cut elimination for logics with definitional reflection and restricted initial sequents. Proceedings des Post-Conference Workshop of ICLP 1994 on Proof-Theoretic Extensions of Logic Programming. (Draft)
  33. (With J. Hudelmaier) Classical Lambek Logic. In: P. Baumgartner, R. Hähnle, J. Posegga (eds.), Theorem Proving with Analytic Tableaux and Related Methods. 4th International Workshop, TABLEAUX '95 (St. Goar, May 7-10, 1995), Springer LNAI, Bd. 918, 247-262.
  34. Frege and the resolution calculus. History and Philosophy of Logic 18 (1997), 95-108.
  35. Poppers Theorie der Wahrscheinlichkeit. In: H. Keuth (ed.), Klassiker auslegen: Poppers "Logik der Forschung". Akademie-Verlag, Berlin, 1998 (2. Aufl. 2004), 185-213. Offprint request
  36. (With J. Hudelmaier) The history of automated deduction and logic programming. In: D. Gabbay and J. Woods (eds.), The Handbook of the History of Logic (in preparation).
  37. Gentzen-style features in Frege. Abstracts of the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, Poland (August 1999), Cracow: 1999, p. 449. Extended version published as "Frege's sequent calculus".
  38. (With P. Contu) Reasoning with Definitions and Lemmata, in preparation.
  39. Operative Logik und Logikprogrammierung. In: C. F. Gethmann (ed.), Konstruktive Logik. Ergebnisse der Tagung in Bad Neuenahr - Ahrweiler (18./19. 11. 1999), in preparation.
  40. Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. The Bulletin of Symbolic Logic 8 (2002), pp. 246-265. Printed version. Extended version
  41. Popper's inferential definitions of logical constants (Abstract). Karl Popper 2002 - Centenary Congress (Vienna, 3-7 July 2002).
  42. Definitional reflection and circular reasoning. In: E. Álvarez, R. Bosch & L. Villamil (eds.), Abstracts of the 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, Spain, August 7-13, 2003), Oviedo 2003, 126-128. (Abstract)
  43. On the Notion of Assumption in Logical Systems. Paper submitted for the GAP5 meeting in Bielefeld (22 to 26 September 2003). Abstract. Extended Summary. Full paper in: R. Bluhm & C. Nimtz (eds.), Selected Papers Contributed to the Sections of GAP5, Fifth International Congress of the Society for Analytical Philosophy, Bielefeld, 22-26 September 2003, Paderborn: mentis 2004, 27-48. Online-publication of the conference volume: http://www.gap5.de/proceedings/
  44. (With P. Contu) Folgerung. In: W. Spohn, P. Schroeder-Heister and E. Olsson (eds.), Logik in der Philosophie, Heidelberg: Synchron Wissenschaftsverlag, 2005, 247-276. Offprint request
  45. (With K. F. Wehmeier) Frege's Permutation Argument Revisited. In: B. Buldt, V. Halbach, R. Kahle (eds.), Reflections on Frege and Hilbert. Synthese 147 (2005), 43-61.
  46. Begründungsrationalität und Logik. In: M. Carrier, G. Wolters (eds.), Homo Sapiens und Homo Faber: Epistemische und technische Rationalität in Antike und Gegenwart. Festschrift für Jürgen Mittelstraß, Berlin: de Gruyter 2005, 285-296. Offprint request
  47. Generalized Rules, Direct Negation, and Definitional Reflection. Abstract submitted for the 1st World Congress on Universal Logic (UNILOG 2005), (Montreux, Switzerland).
  48. Popper's structuralist theory of logic. In: I. Jarvie, K. Milford & D. Miller (eds.), Karl Popper: A Centenary Assessment. Vol. III: Science. Ashgate Publishing: Aldershot 2006, 17-36. (Draft)
  49. Validity Concepts in Proof-Theoretic Semantics. In: R. Kahle, P. Schroeder-Heister (eds.), Proof-Theoretic Semantics. Synthese 148 (2006), 525-571.
  50. Assertion and Denial in Proof-Theoretic Semantics. Paper submitted for the GAP.6 conference in Berlin (11.-14.9.2006). Abstract. Extended Summary.
  51. Lorenzens operative Logik und moderne beweistheoretische Semantik. In: J. Mittelstraß (ed.), Der Konstruktivismus in der Philosophie im Ausgang von Wilhelm Kamlah und Paul Lorenzen. Paderborn: Mentis 2007, 167-196. (Draft)
  52. Generalized Definitional Reflection and the Inversion Principle. Logica Universalis 1 (2007), 355-376.
  53. Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition. Proceedings of the International Congress on the Square of Opposition (Montreux, June 1-3, 2007).
  54. Proof-Theoretic versus Model-Theoretic Consequence. In: M. Peliš (ed.), The Logica Yearbook 2007, Prague: Filosofia 2008, 187-200. (Draft)
  55. Lorenzen's operative justification of intuitionistic logic. In: M. van Atten, P. Boldini, M. Bourdeau, G. Heinzmann (eds.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference, Basel: Birkhäuser 2008, 214-240 (References [for whole volume] 391-416).
  56. (with J. Mittelstraß) Nicholas Rescher on Greek Philosophy and the Syllogism. In: R. Almeder (ed.), Rescher Studies. A Collection of Essays on the Philosophical Work of Nicholas Rescher Presented to Him on the Occasion of His 80th Birthday. Frankfurt: Ontos 2008, 211-240. (Draft)
  57. Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-Theoretic Semantics. In: M. Peliš (ed.), The Logica Yearbook 2008, London: College Publications 2009, 237-251.
  58. Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. Journal of Philosophical Logic 40 (2011), 95-101. (Draft)
  59. Proof-Theoretic semantics, self-contradiction, and the format of deductive reasoning. In: L. Tranchini (ed.), Anti-Realistic Notions of Truth, special issue of Topoi, vol. 31 no. 1, 2012.
  60. (With T. Piecha) Implications as Rules in Dialogical Semantics. In: M. Peliš and V. Punčochář (eds.), The Logica Yearbook 2011, College Publications, London, 2012, 211-225.
  61. Paradoxes and Structural Rules. In: C. Dutilh Novaes & O. T. Hjortland (eds.), Insolubles and Consequences: Essays in honour of Stephen Read. London: College Publications 2012, 203-211.
  62. The categorical and the hypothetical: A critique of some fundamental assumptions of standard semantics. In S. Lindström, E. Palmgren, D. Westerståhl (eds.), The Philosophy of Logical Consequence and Inference, Special issue of Synthese 187 (2012), 925-942. (Draft)
  63. Definitional Reflection and Basic Logic. In M. E. Maietti, E. Palmgren and M. Rathjen (eds.), APAL special issue "Advances in Constructive Topology and Logical Foundations" in honor of the 60th birthday of Giovanni Sambin, 164 (2013), 491-501. (Draft)
  64. (With W. de Campos Sanz and T. Piecha) Constructive semantics, admissibility of rules and the validity of Peirce's law (draft), Logic Journal of the IGPL 22 (2014), 297-308. First published online: August 6, 2013, doi:10.1093/jigpal/jzt029.
  65. (With G. K. Olkhovikov) On Flattening Elimination Rules, Review of Symbolic Logic 7 (2014), 60-72. (Draft)
  66. (With G. K. Olkhovikov) Proof-theoretic harmony and the levels of rules: Generalised non-flattening results. In E. Moriconi & L. Tesconi (Eds.), Second Pisa Colloquium in Logic, Language and Epistemology, ETS, 2014, pp. 245-287. (Draft)
  67. (With T. Piecha and W. de Campos Sanz) Failure of completeness in proof-theoretic semantics, Journal of Philosophical Logic 44 (2015), 321-335. First published online August 1, 2014. (Draft)
  68. Generalized elimination inferences, higher-level rules, and the implications-as-rules interpretation of the sequent calculus. In L. C. Pereira, E. H. Haeusler, V. de Paiva (eds.), Advances in Natural Deduction: A Celebration of Dag Prawitz’s Work. Heidelberg: Springer, 2014, 1-29. (Draft)
  69. Frege’s sequent calculus. In: A. Indrzejczak, J. Kaczmarek, M. Zawidzki (eds.), Trends in
    Logic XIII: Gentzen's and Jaśkowski's heritage - 80 years of natural deduction and sequent calculi, Łódź University Press 2014, 233-245. (Draft)
  70. The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony, Studia Logica 102 (2014), 1185-1216.
  71. Harmony in proof-theoretic semantics: A reductive analysis. In H. Wansing (ed.), Dag Prawitz on Proofs and Meaning, Springer 2015, pp. 329-358. (Draft)
  72. (With T. Piecha) Dialogical Logic for Definitional Reasoning and Implications as Rules. In: J. Mittelstraß & C. von Bülow (eds), Dialogische Logik, pp. 91-125, Mentis 2015. (Draft)
  73. Proof-theoretic validity based on elimination rules. In: E. H. Haeusler, W. de Campos Sanz & B. Lopes  (eds), Why is this a Proof? Festschrift for Luiz Carlos Pereira, College Publications, London 2015. (Draft)
  74. (With L. Tranchini) Ekman's Paradox. To appear in the Notre Dame Journal of Formal Logic. (Draft)
  75. Open problems in proof-theoretic semantics. In: T. Piecha & P. Schroeder-Heister (eds), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer 2016, pp. 253-283.
  76. (With T. Piecha) Atomic Systems in Proof-Theoretic Semantics: Two Approaches. In: J. Redmond, O. Pombo Martins & A. N. Fernández (eds), Epistemology, Knowledge and the Impact of Interaction, Springer 2016, pp. 47-62. (Draft)
  77. Restricting initial sequents: The trade-offs between identity, contraction and cut. In: R. Kahle, T. Strahm & T. Studer (eds), Advances in Proof Theory, Progress in Computer Science and Applied Logic 28, pp. 339-351, Birkhäuser 2016. (Draft)

II. Psychology

  1. G. Heister & P. S.-H.: A note on location of the decisional stages of choice reactions in the left hemisphere. Cortex 20 (1984), 271-275.
  2. G. Heister & P. S.-H.: S-R compatibility effect or cerebral laterality effect. Comments on a controversy. Neuropsychologia 23 (1985), 427-430.
  3. G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility with two-finger choice reactions (Abstract). Perception 15 (1986), A33.
  4. G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility effects with unimanual two-finger choice reactions for prone and supine hand positions. Perception & Psychophysics 40 (1986), 271-278.
  5. G. Heister, W. Ehrenstein & P. S.-H.: Spatial S-R compatibility with unimanual two-finger choice reactions: Effects of irrelevant stimulus location. Perception & Psychophysics 42 (1987), 195-201.
  6. G. Heister & P. S.-H.: Evidence for stimulus-response compatibility effects in a divided visual field study of cerebral lateralization. Acta Psychologica 66 (1987), 127-138.
  7. G. Heister, P. S.-H. & W. Ehrenstein: Spatial stimulus-response (S-R) compatibility under head tilt: Evidence for a factorial model (Abstract). Perception 16 (1987), A17b.
  8. P. S.-H., G. Heister & W. Ehrenstein: Spatial S-R compatibility under head tilt. Acta Psychologica 69 (1988), 35-44.
  9. W. Ehrenstein, P. S.-H. & G. Heister: Spatial visuo-motor compatibility with orthogonal stimulus-response arrangement (Abstract). Perception 17 (1988), A77b (p. 415).
  10. W. Ehrenstein, P. S.-H. & G. Heister: Spatial S-R compatibility with orthogonal stimulus-response relationship. Perception & Psychophysics 45 (1989), 215-220.
  11. G. Heister, T. Landis, M. Regard & P. S.-H.: Shift of visual half-field superiority for face perception during the menstrual cycle (Abstract). Behavioral Brain Research 33 (1989), 314.
  12. G. Heister, T. Landis, M. Regard & P. S.-H.: Shift of functional cerebral asymmetry during the menstrual cycle. Neuropsychologia 27 (1989), 871-880.
  13. G. Heister, P. S.-H. & W. Ehrenstein: Spatial coding and spatio-anatomical mapping: Evidence for a hierarchical model of spatial S-R compatibility. In: R. W. Proctor, T. G. Reeve (eds.), Stimulus-Response Compatibility: An Integrated Perspective. Amsterdam: North-Holland 1990, 117-143.
  14. G. Heister & P. S.-H.: Spatial S-R compatibility: Positional instruction vs. compatibility instruction. Acta Psychologica 85 (1994), 15-24.

III. Editions

  1. (With G. Wolters) Der wissenschaftliche Nachlaß von Hugo Dingler (1881-1954). Verzeichnis mit einer Bibliographie der Schriften Dinglers. Konstanz 1979. Digitalausgabe in: U. Weiß (ed.), Hugo Dingler: Gesammelte Werke auf CD-ROM. Karsten Worm InfoSoftWare: Berlin 2004, Anhang, Kap.Nr. 1986 und 1987.
  2. Proceedings of the SNS Logic Colloquium, March 1990. SNS-Berichte. Tübingen 1990.
  3. Extensions of Logic Programming. International Workshop, Tübingen, FRG, December 1989, Proceedings. Springer Lecture Notes in Artificial Intelligence, Vol. 475, Berlin/Heidelberg/New York 1991. (Preface and Table of Contents)
  4. (With L.-H. Eriksson and L. Hallnäs), Extensions of Logic Programming. Second International Workshop, ELP '91, Stockholm, Sweden, January 1991, Proceedings. Springer Lecture Notes in Artificial Intelligence, Vol. 596, Berlin/Heidelberg/New York 1992. (Preface and Table of Contents)
  5. (With K. Došen) Substructural Logics. Oxford University Press 1993. (Preface and Table of Contents)
  6. (With R. Dyckhoff and H. Herre), Extensions of Logic Programming. Fifth International Workshop, ELP '96, Leipzig, Germany, March 1996, Proceedings. Springer Lecture Notes in Artificial Intelligence, Vol. 1050, Berlin/Heidelberg/New York 1996. (Preface and Table of Contents)
  7. (With R. Kahle and R. Stärk), Proof Theory in Computer Science. International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings. Springer Lecture Notes in Computer Science, Vol. 2183, Berlin/Heidelberg/New York 2001. (Preface and Table of Contents)
  8. (With W. Spohn and E. Olsson), Logik in der Philosophie, Synchron Wissenschaftsverlag: Heidelberg 2005, Table of Contents and Introduction: Offprint request
  9. (With R. Kahle), Proof-Theoretic Semantics, Special issue of Synthese, 2006. (Table of Contents and Introduction)
  10. (With P. E. Bour, G. Heinzmann, W. Hodges) Logic and Philosophy of Science in Nancy (I). Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science. (=  Philosophia Scientiae, Vol. 18, 3).
  11. (With G. Heinzmann, W. Hodges, P. E. Bour) Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies. Proceedings of the 14th International Congress (Nancy). College
    Publications, London 2014. Table of contents and preface.
  12. (With T. Piecha) Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen, http://dx.doi.org/10.15496/publikation-415, University of Tübingen 2015.
  13. (With T. Piecha) Advances in Proof-Theoretic Semantics. Trends in Logic 43, Springer 2016. (Introduction)
  14. (With T. Piecha) General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015, http://dx.doi.org/10.15496/publikation-10394, University of Tübingen 2016.

IV. Book Reviews, Encyclopedia Articles, Miscellaneous

  1. Ca. 45 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 1 (A-G), Mannheim/Wien/Zürich 1980, e.g.: arbor porphyriana; Bayessches Theorem (with K. Mainzer); Bertrandsche Paradoxie; Bewertungssemantik; Condorcet, A. (with H.-L. Nastansky); definit/Definitheit; Funktionalinterpretation; Gehalt, empirischer; Gentzen, G.; Grelling, K. Offprint request
  2. Review of R. H. Wettstein, Eine Gegenstandstheorie der Wahrheit. Argumentativ-rekonstruierender Aktualisierungs- und Erweiterungsversuch von Kants kritischer Theorie (Königstein/Ts. 1980). Dialectica 35 (1981), 361-362.
  3. Review of: M. D. Resnik, Frege and the Philosophy of Mathematics (Ithaca/London 1980). History and Philosophy of Logic 4 (1983), 99-102.
  4. Ca. 80 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 2 (H-O), Mannheim/Wien/Zürich 1984, e.g.: intern/extern (with J. Mittelstraß); Interpretationssemantik; Kalkül des natürlichen Schließens; Kontinuumhypothese; Konzeptualismus (with S. Blasche and R. Wimmer); Kreisel, G.; Kripke, S. A.; Lambda-Kalkül; Logik, dialektische; Logik, induktive; Logik, kombinatorische; Logik, mehrwertige; Logik des "Entailment"; Lügner-Paradoxie; Menge; Mengenlehre; Mengenlehre, axiomatische; Meßtheorie; Normalform; Notation, logische; Oppenheim, P. Offprint request
  5. Review of: E.-H. W. Kluge, The Metaphysics of Gottlob Frege. An Essay in Ontological Reconstruction (The Hague/Boston/London 1980). History and Philosophy of Logic 5 (1984), 241-245.
  6. Review of: G. Currie, Frege. An Introduction to His Philosophy (Brighton/Totowa N.J. 1982). History and Philosophy of Logic 5 (1984), 239-241.
  7. Review article on: G. Frege, Collected Papers on Mathematics, Logic, and Philosophy (B. McGuinness, ed., Oxford/New York 1984). History and Philosophy of Logic 7 (1986), 187-193.
  8. (With U. Friedrichsdorf) Review of: G. E. Hughes & M. J. Cresswell, A companion to modal logic (London 1984). Journal of Semantics 4 (1985), 389-390.
  9. Review of: W. Schüler, Grundlegungen der Mathematik in transzendentaler Kritik. Frege und Hilbert (Hamburg 1983). Journal of Symbolic Logic 54 (1989), 622.
  10. 10 Short Reviews in: Mathematical Reviews (3x1988, 2x1989, 3x1990, 1x1991, 1x1994).
  11. Entry "Schließen, natürliches" in: J. Ritter & K. Gründer (Hrsg.), Historisches Wörterbuch der Philosophie, Band 8, Basel/Darmstadt 1992, 1300-1303.
  12. Review of: M. Detlefsen, Proof and Knowledge in Mathematics (London/New York 1992). History and Philosophy of Logic (in preparation).
  13. Entry "Selbstreferenz" (I. Logik) in: J. Ritter & K. Gründer (Hrsg.), Historisches Wörterbuch der Philosophie, Band 9, Basel/Darmstadt 1995, 515-516. Offprint request
  14. (With H. Herre) Formal languages and systems. Routledge Encyclopedia of Philosophy, London 1998.http://ls.informatik.uni-tuebingen.de/psh/forschung/publikationen/RoutledgeFLS1995.pdf
  15. Ca. 40 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3 (P-So), Stuttgart/Weimar 1995, e.g.: Paradoxien der Implikation, Popper [see below], Principia Mathematica, Programmiersprachen, Psychophysik (with G. Heister), Quasireihe, Reduktionssatz (with M. Carrier), Regellogik, Signifikanz, Skinner (with G. Heister). Offprint request
  16. Entry "Popper" in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 3, Stuttgart/Weimar 1995, 289-296. Offprint request
  17. Ca. 30 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4 (Sp-Z), Stuttgart/Weimar 1996, e.g.: Statistik, Stufenlogik, Termlogik, Test (with G. Heister), Urelement, Verweistheorie, Vollformalismus, Weber-Fechnersches Gesetz (with G. Heister), Widerspruchsfreiheitsbeweis, Zufallsgenerator, zulässig/Zulässigkeit. Offprint request
  18. Ein Logik-Lotse geht von Bord: Zur Verabschiedung des Naturwissenschaftlers und Philosophen Walter Hoering. Schwäbisches Tagblatt, 4. 12. 1998, S. 27.
  19. Entry "Popper" in: Neue Deutsche Biographie, ed. Historische Kommission bei der Bayerischen Akademie der Wissenschaften, Bd. 20, Duncker & Humblot: Berlin 2001, 625-628. Offprint request
  20. Review of: G. Frege, Idéographie (Traduction, Paris 1999). Isis 91 (2000).
  21. Nachruf auf Prof. Dr. Walter Felscher. Tübinger Universitätsnachrichten, 9. April 2001 · Jahrgang 21 · Nr.100.
  22. Entry "Popper, Karl Raimund" in: International Encyclopedia of the Social and Behavioral Sciences, Elsevier, 2001.
  23. Ca. 50 articles in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl., Bde. 1 & 2 (A-F), Stuttgart/Weimar 2005, e.g.: Baum (logisch-mathematisch), Bunge, Dummett [see below], exponibilia, Fuzzy Logic. Offprint request
  24. Entry "Dummett, M.A.E." in: J. Mittelstraß (ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl., Bd. 2 (C-F), Stuttgart/Weimar 2005, 258-262. Offprint request
  25. Nachruf auf Prof. Dr. Gisbert Hasenjaeger (1.6.1919-2.9.2006). Chronik und Bericht der Rheinischen Friedrich-Wilhelms-Universität Bonn über das Akademische Jahr 2005/2006, 57-59 (den Gepflogenheiten des Publikationsorgans entsprechend nichtgezeichneter, auf einer Vorlage von P.S.-H. beruhender Beitrag). Offprint request
  26. Entry "Verhältnis/Beziehung" in: P. Kolmer/A.G. Wildfeuer (eds.), Neues Handbuch philosophischer Grundbegriffe (in Vorbereitung).
  27. Entry "Proof-Theoretic Semantics", in: Stanford Encyclopedia of Philosophy (Ed Zalta, ed.), forthcoming URL = http://plato.stanford.edu/archives/win2012/entries/proof-theoretic-semantics/.

 


 

Curriculum vitae