Filosofia:formalisointi
formalisointi
| formalisointi |
Määritelmä
jonkin asian, käsityksen, teorian tai uskomusjärjestelmän muuttaminen esitettäväksi sellaiseen muotoon, jossa keskitytään kyseisen asian yleiseen rakenteeseen tai loogiseen muotoon
Selite
Formalisointi tarkoittaa esimerkiksi väitelauseen esittämistä formaalilla loogisella kielellä. Kyse on siis yleisen loogisen rakenteen esityksestä, joka on erotettava väitelauseen sisällöstä. Filosofiassa formalisointi on harjoitettu erityisesti analyyttisessä filosofiassa. Formalisoinnin keskeinen apuväline on symbolinen logiikka.
Erikieliset vastineet
| formalization | englanti (English) | |
| formalizzazione | italia (italiano) | |
| formalisation | ranska (français) | |
| formalisering | ruotsi (svenska) | |
| Formalisierung | saksa (Deutsch) | |
| formaliseerimine | viro (eesti) |
Lähikäsitteet
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 19.4.2024: Filosofia:formalisointi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:formalisointi.)