Klassinen matematiikka ja logiikka

In Logiikka, matematiikka ja tietokone – Perusteet: historiaa, filosofiaa ja sovelluksia. Espoo: Finnish Artificial Intelligence Society (1996)
  Copy   BIBTEX

Abstract

Toisaalta ennennäkemätön äärettömien joukko-opillisten menetelmien hyödyntäminen sekä toisaalta epäilyt niiden hyväksyttävyydestä ja halu oikeuttaa niiden käyttö ovat ratkaisevasti muovanneet vuosisatamme matematiikkaa ja logiikkaa. Tämän kehityksen vaikutus nykyajan filosofiaan on myös ollut valtaisa; merkittävää osaa siitä ei voi edes ymmärtää tuntematta sen yhteyttä tähän matematiikan ja logiikan vallankumoukseen. Lähestymistapoja, jotka tavalla tai toisella hyväksyvät äärettömän matematiikan ja perinteisten logiikan sääntöjen (erityisesti kolmannen poissuljetun lain) soveltamisen myös sen piirissä, on tullut tavaksi kutsua klassiseksi matematiikaksi ja logiikaksi erotuksena nämä hylkäävistä radikaaleista intuitionistisista ja konstruktivistisista opeista.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Formalismin rajat.Panu Raatikainen - 2005 - Niin and Näin 2.
Merkitys, totuus ja kielto.Panu Raatikainen - 2004 - In Heta Gylling, S. Albert Kivinen & Risto Vilkko (eds.), Kielto. Helsinki University Press.
Evoluutiopsykologia ja sen ongelmat.Panu Raatikainen - 2007 - Tiede and Edistys (1/2007):1-15.
Syiden kisat Leibnizin mielenfilosofiassa.Markku Roinila - 2007 - In Heta Gylling, Ilkka Niiniluoto & Risto Vilkko (eds.), Syy. Gaudeamus.
Tulkinta, ymmärtäminen ja käytäntö.Panu Raatikainen - 2002 - In Pihlström Sami, Rolin Kristina & Ruokonen Floora (eds.), Käytäntö. Yliopistopaino.
Tilaustutkimus ja ulkopuolinen rahoitus.Panu Raatikainen - 2002 - In Sakari Karjalainen, Veikko Launis, Risto Pelkonen & Juhani Pietarinen (eds.), Tutkijan eettiset valinnat. Helsinki: Gaudeamus.
Miten meistä tuli filosofian tohtoreita.Markku Roinila (ed.) - 2010 - Suomen filosofinen yhdistys.

Analytics

Added to PP
2010-12-22

Downloads
377 (#53,023)

6 months
44 (#94,058)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Panu Raatikainen
Tampere University

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Truth by Convention.W. V. Quine - 1936 - In Philosophical Essays for Alfred North Whitehead. London: Longmans, Green & Co.. pp. 90–124.

View all 39 references / Add more references