Zusammenfassung
Im Bereich der Allgemeinen Beweistheorie sind in den letzten Jahrzehnten einige Ideen bezüglich Bedeutung und Wahrheit entstanden, die seit langem unter den Philosophen diskutiert werden. Diese könnten auch für Linguisten von Interesse sein. Nachfolgend geben wir einen kurzen Abriss dieser Ideen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Brandom, R. 1976. Truth and Assertibility. The Journal of Philosophy 73: 137–149.
Dummett, M. 1959. Truth. Proceedings of the Aristotelian Society 59: 141–162. Auch in Dummett (1978).
Dummett, M. 1974. The Social Charachtcr of Meaning. Synthese 27: 523–534. Auch in Dummett (1978).
Dummett, M. 1975. What is a Theory of Meaning? (I). In: J. Guttenplan (Hg.). Mind and Language. Oxford: Clarendon Press.
Dummett, M. 1976. What is a Theory of Meaning? (II). In: G. Evans und J. McDowell (Hg.). Truth and Meaning. Oxford: Clarendon Press.
Dummett, M. 1977. Elements of Intuitionism. Oxford: Blackwell.
Dummett, M. 1978/1973. The Philosophical Basis of Intuitionistic Logic. In: Truth and Other Enigmas. London: Duckworth.
Dummett, M. 1978/1977. Can Analytic Philosophy be Systematic and ought it to be? In: Truth and Other Enigmas. London: Duckworth.
Dummett, M. 1979. What does the Appeal to Use do for the Theory of Meaning. In: A. Margalit (Hg.). Meaning and Use. Dordrecht: Reidel. 123–135. Neu herausgegeben in Moore (1993).
Dummett, M. 1981. The Interpretation of Frege’s Philosophy. London: Duckworth.
Dummett, M. 1981/1973. Frege, Philoßophy of Language. London: Duckworth.
Dummett, M. 1988. The Origin of Analytical Philosophy. Lingua e stile 23. It.Ü. von Eva Picardi, II Mulino, Bologna, 1990.
Dummett, M. 1993. Frege’s Distinction between Sense and Reference. In: A. W. Moore (Hg.). Meaning and Reference. Oxford: Oxford University Press. Bereits in Dummett (1978).
Dummett, M. 1978. Truth and Other Enigmas. London: Duckworth.
Frege, G. 1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
Gentzen, G. 1935. Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39: 176–210, 405–431.
Gentzen, G. 1936. Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112: 493–565.
Gentzen, G. 1938. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge (Heft 4 ): 19–44. Englische Übersetzung in Szabo (1969).
Girard, J. Y. 1987. Proof Theory and Logical Complexity. Bd. 1. Neapel: Bibliopolis.
Gödel, K. 1930. Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik 37: 349–360.
Gödel, K. 1931. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. Monatshefte für Mathematik und Physik 38: 173–198.
Hilbert, D. 1925. Über das Unendliche. Mathematische Annalen 95: 161–190.
Hilbert, D. 1931. Die Grundlagen der Mathematik. Mathematische Annalen 104: 485–494.
Hilbert, D. 1970/1922a. Die logischen Grundlagen der Mathematik. In: Gesammelte Abhand¬lungen. 2. Aufl. Bd. 3. Berlin: Springer. 178–191.
Hilbert, D. 1970/1922b. Neuebegründung der Mathematik (Erste Mitteilung). In: Gesammelte Abhandlungen. 2. Aufl. Bd. 3. Berlin: Springer. 157–177.
Hilbert, D. 1970. Gesammelte Abhandlungen. 2. Aufl. Bd. 3. Berlin: Springer.
Jaskowski, S. 1934. On the rules of suppositions in formal logic. Studia Logica (Heft 1).
Johansson, I. 1936. Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus. Comp. Math. 4: 119–136.
Kreisel, G. 1964/1958. Hilbert’s Programm. In: P. Benacerraf und H. Putnam (Hg.). Philosophy of Mathematics. New Jersey: Prentice-Hall. 157–180.
Kreisel, G. 1965. Mathematical Logic. In: T. L. Saaty (Hg.). Lectures on Modern Mathematics. Bd. 3. New York: Wiley. 95–195.
Kreisel, G. 1968. A Survey of Proof Theory. The Journal of Symbolic Logic 33: 321–388.
Kreisel, G. 1978. Some facts from Theory of Proofs and some fictions from General Proof- Theory. In: J. Hintikka et al. (Hg.). Essays on Mathematical and Philosophical Logic. Dordrecht: Reidel.
Moore, A. W. (Hg.). 1993. Meaning and Reference. Oxford: Oxford University Press.
Prawitz, D. 1965. Natural Deduction. A Proof-Theoretic Study. Stockholm: Almqvist & Wiksell.
Prawitz, D. 1968. A Survey of Some Connections between Classical, Intuitionistic and Minimal Logic. In: A. Schmidt, K. Schütte und H. J. Thiele (Hg.). Contributions to mathematical Logic. Amsterdam: North-Holland. 215–229.
Prawitz, D. 1974. On the Idea of a General Proof Theory. Syntese 26: 63–77.
Prawitz, D. 1975. Comments of Gentzen-Type Procedures and Classical Notion of Truth. In: J. Diller und G. H. Müller (Hg.). ISILC Proof Theory Simposium. Berlin: Springer.
Prawitz, D. 1975/1971. Ideas and Resulta in Proof Theory. In: J. E. Fenstad (Hg.). Proceedings for the 2nd Scandinavian Logic Symposium. Amsterdam: North-Holland.
Prawitz, D. 1977. Meaning and Proof: On the Conflict between Classical and intuitionistic Logic. Theoria 43: 2–40.
Prawitz, D. 1980. Intuitionistic Logic: a Philosophical Challenge. In: G. H. von Wright (Hg.). Logic and Philosophy. Den Haag: Nijhoft. 1–10.
Prawitz, D. 1981. Philosophical Aspects of Proof Theory. In: G. Floinstad und G. H. von Wright (Hg.). Contemporary Philosophy. A new Survey. Bd. 1: Philosophy of Language, Philosophyeal Logic. Den Haag: Nijhoff. 235–278.
Prawitz, D. s 1985. Remarks on Some Approaches to the Concept of Logical Consequence. Syntese 153–171.
Prawitz, D. 1987a. Dummett on a Theory of Meaning and its Impact on Logic. In: B. M. Taylor (Hg.). Michael Dummett. Contribution to Philosophy. Dordrecht: Nijhof. 117–165.
Prawitz, D. 1987b. Some Remarks on Verificationistic Theorys of Meaning. In: M. L. Dalla Chiara (Hg.). Atti del convegno “Theories of Meaning”. Synthese, Bd. 73 /3. 471–477.
Prior, A. N. 1960a. Conjunction and Contonktion Revisited. Analysis 24.
Prior, A. N. 1960b. The Runabout Inference Ticket. Analysis 21: 38–39.
Putnam, H. 1980. Referenza/Verità. Artikel für die Enciclopedia Einaudi, Einaudi, Torino.
Putnam, H. 1983. Realism and Reason. In: Philosophical Paper. Bd. 3. Cambridge: Cambridge University Press.
Schwartz, S. P. (Hg.). 1977. Naming, Necessity and Natural Kinds. Ithaca: Cornell University Press.
Szabo, M. E. (Hg.). 1969. Collected Works of Gerhard Gentzen. Amsterdam: North-Holland.
Taylor, B. M. (Hg.). 1987. Michael Dummett. Contribution to Philosophy. Dordrecht: Nijhof.
Troelstra, A. S. 1973. Normalization Theorems for Systems of Natural Deduction. In: A. S. Troelstra (Hg.). Metamathematical Investigations of Intuitionistic Arithmetic and Analysis. Berlin, Heidelberg, New York: Springer. 275–323.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Deutscher Universitäts-Verlag GmbH, Wiesbaden,
About this chapter
Cite this chapter
Leonetti, R. (2003). Was ist „Bedeutung“?. In: Cyrus, L., Feddes, H., Schumacher, F., Steiner, P. (eds) Sprache zwischen Theorie und Technologie / Language between Theory and Technology. Sprachwissenschaft. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-322-81289-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-322-81289-6_14
Publisher Name: Deutscher Universitätsverlag, Wiesbaden
Print ISBN: 978-3-8244-4513-4
Online ISBN: 978-3-322-81289-6
eBook Packages: Springer Book Archive