-
Oferta od
firmy
-
Stan
nowe
-
Tematyka
filozofia, historia filozofii
Między językiem naturalnym a formalnym
Eugeniusz Wojciechowski
Aureus
Kraków 2017
ISBN: 978-83-60741-85-6
liczba stron: 626
oprawa miękka
.
Spis treści
.
Wstęp
Recepcja ontologii S. Leśniewskiego w filozofii T. Kotarbińskiego
Pewna interpretacja sylogistyki w ontologii elementarnej
Ontologia elementarna i klasyczny rachunek relacji
Rachunek Lambeka i ontologia elementarna
W sprawie Kartezjańskiego „Cogito, ergo sum”
Cztery typy predykacji
Klasyczna teoria predykacji
O pewnym rozszerzeniu sylogistyki
Sylogistyka jako fragment ontologii elementarnej
Sylogistyka z terminami negatywnymi w semantycznie przejrzystym sformułowaniu
Sylogistyka Venna i pewna konwencja notacyjna
Z semantyki przymiotników
O logice przymiotników
Zdania warunkowe i quasi warunkowe
Teoria zdań warunkowych inspirowana pewnymi ideami Romana Ingardena
O wyrażeniach kwantyfikujących w języku naturalnym. Z semantyki wyrażeń „wszystkie” i „pewne”
Dwa funktory ennumeratywne
Negacja zewnętrzna i negacja wewnętrzna w logice modalnej
Negacja nazwowa a nieokreśloność i nieostrość nazw
Słaba asercja
Funktory asercji i koniunkcji sekwencyjnej
System dedukcji naturalnej
Z problematyki prawdy: o tak zwanych prawdach względnych
O pewnej logice prawdy: prawda analityczna i prawda empiryczna
T schemat bez antynomii kłamcy
W poszukiwaniu intuicyjnych podstaw logiki modalnej
O systemie CNδ Łukasiewicza
Modalny rachunek nazw
Pewien bezkwantyfikatorowy rachunek nazw
Bezkwantyfikatorowy rachunek nazw z sylogizmami ukośnymi
Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
Rachunek nazw z listami
Listowa interpretacja modalnego rachunku nazw
Identyczność, pewne zaimki funktorowe i deskrypcje
Nazwy, relacje i reguła przesunięć kategorialnych
Sylogistyczny fragment bezkwantyfikatorowego rachunku nazw
Cztery sformułowania bezkwantyfikatorowego rachunku nazw
Z semantyki imion własnych
Rachunek nazw z podkategoriami: nazwy własne i nazwy powszechnikowe
Identyczność w ontologii elementarnej
O pewnych funktorach inkluzji i negacji nazwowej
Klasyczny rachunek zdań w semantycznie przejrzystym sformułowaniu
Predykacja sekwencyjna
Indywidua realne i intencjonalne: W sprawie tzw. nazw pustych
Rachunek nazw i schemat predykacji z „Begriffsschrift” Gottloba Fregego
.
Dane bibliograficzne
Indeks nazwisk