Overleg:Formele semantiek

opsomming

Om de semantiek van formele talen te beschrijven zijn de volgende algemene benaderingen in gebruik:

• Modeltheoretische semantiek - het archetype van de op het T-schema gebaseerde semantische waarheidstheorie van Alfred Tarski en een van de basisconcepten van de modeltheorie. Deze omschrijving vormt ook de basis voor de door Donald Davidson voorgestelde waarheidsconditionele semantiek en de meer vernieuwende kripke-semantiek.
• Bewijstheoretische semantiek - Hierin wordt de betekenis van proposities gekoppeld aan hun rol in logische conclusies.
• Waarheidwaardesemantiek - in de jaren 60 voorgesteld door Ruth Barcan Marcus. De waarheidswaarde wordt hierin voor gekwantificeerde formules puur in termen van waarheid gegeven.
• Speltheoretische semantiek - opnieuw voorgesteld door Jaakko Hintikka
• Probabilistische semantiek - soort natuurlijke generalisatie van waarheidswaardesemantiek

Zonder verdere uitleg is deze opsomming te droog. ChristiaanPR (overleg) 24 mrt 2024 08:44 (CET)