W prezentowanej pracy chodzić będzie o definicje zdania prawdziwego w języku rozszerzonego systemu logiki formalnej i w językach teorii dedukcyjnych, opartych na systemie rozszerzonym logiki formalnej.W dobie współczesnej logikę formalną uprawia się na ogół w postaci zaksjomatyzowanyh systemów dedukcyjnych. Leżący u podstaw prezentowanej pracy podział systemów dedukcyjnych w ogóle na wąskie i rozszerzone wiąże się z dopuszczalnym w językach tych systemów bogactwem form gramatycznych, nazywanych z resztą różnorako: ” kategoriami znaczeniowymi”, „kategoriami semantycznymi”, „kategoriami składniowymi”, „typami logicznymi” itp.
Szczegóły książki:
- Data wydania
- 2002 (data przybliżona)
- ISBN
- 8387963143
- Liczba stron
- 264
- Słowa kluczowe
- Logika, prawda, zdanie prawdziwe, zdania prawdziwego, język logiki, języku logiki
- Język
- Polski