Cargando…
Hej logik /
| Autor principal: | |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | Danés |
| Publicado: |
Aarhus :
Aarhus Universitetsforlag,
2017.
|
| Edición: | 1. udgave, 1. oplag. |
| Colección: | Book collections on Project MUSE.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Forside; Titelside; Kolofon; Indhold; Forord; Introduktion; Kapitel 1 Logik, logisk form og formalisering; Logik; Taenkning og perception; Argumenter og domme; Deduktive og ikke-deduktive argumenter; Begrundelse og sandhed; VF'isk; Formalisering; VF'isk grammatik; Opsummering; Ovelser; Kapitel 2 Sandhedstabeller, fortolkning og gyldighed; Gyldighed; Hej logik-maskinen; Sandhedstabeller for komplekse VF'er; Tautologiske, kontradiktoriskeog kontingente VF'er; Antal fortolkninger og sandhedsfunktioner; Opsummering; Ovelser; Kapitel 3 Semantiske traeer, modeller og konsistens; Traemetoden
- Traeer for de enkelte konnektiverEvaluering af VF'er med traemetoden; Evaluering af VF-argumenter med traemetoden; Opsummering; Ovelser; Kapitel 4 Praedikater, Relationerog Kvantorer; Domslogik og praedikatslogik; Vokabular i praedikatslogikken; Formalisering i praedikatslogikken; Universalkvantoren og eksistenskvantoren; Komplekse VF-praedikater; Formalisering af argumenter; Praedikatslogikken og Aristoteles' syllogismelaere; Den udvidede VF'iske grammatik; Opsummering; Ovelser; Kapitel 5 Fortolkninger, semantiske traeer og gyldighed i praedikatslogikken; Fortolkninger i praedikatslogikken
- Traeer i praedikatslogikkenTraeer for praedikatslogiske VF-argumenter; Opsummering; Ovelser; Kapitel 6 Udtrykskraft, kompleksitet og afgorbarhed; Diskursdomaener; Indlejrede kvantorer; Kvantorudtryk; Komplekse analyser; Afgorbarhed; Omskrivning; Raekkefolge; Snyd; Uendelige modeller; Opsummering; Ovelser; Kapitel 7AEkvivalens og identitet; AEkvivalens; Almindeligt forekommende aekvivalenser; Relevansen af aekvivalensrelationer; Identitet; Refleksive, symmetriske, transitive og euklidiske relationer; Logik og algebra; Er: praedikat eller identitet?; Opsummering; Ovelser; Tak; Stikordsregister