Distribution Laws in Weak Positional Logics
Artykuł naukowy w czasopiśmie recenzowanyCzasopismo: Roczniki Filozoficzne (ISSN: 0035-7685)
Rok wydania: 2018
Tom: 66
Numer czasopisma: 3
Strony od-do: 163-179
Streszczenie: Logiki pozycyjne zawierają spójnik realizacji, który odnosi wyrażenie do pozycji ustalonego rodzaju, np. pozycji w czasie, przestrzeni, osób. W szczególności wyrażenie Rαφ należy odczytywać: w punkcie α jest tak, że φ lub w podobny sposób. Najsłabszą logiką pozycyjną, w której spójnik R jest dystrybutywny względem wszystkich spójników klasycznego rachunku zdań, a w konsekwencji spójniki są booleowskie w każdym kontekście, jest system MR. Rozważane w tej pracy słabe logiki pozycyjne są systemami pośrednimi między klasycznym rachunkiem zdań a systemem MR. Niektóre, ale niekoniecznie wszystkie, spójniki w tych systemach mogą być booleowskie. Przedstawiam tutaj prosty algorytm budowy dowolnego adekwatnego systemu z rozważanego przedziału, wyznaczonego przez wybrane prawa dystrybucyjne. Przedstawiony tutaj algorytm łatwo rozszerza się na inne zestawy spójników.
Słowa kluczowe: logika pozycyjna, słaba logika pozycyjna, dystrybucja, prawo dystrybucyjne, realizacja connective, pełność
Dostęp WWW: http://www.kul.pl/files/1516/roczniki_filozoficzne/roczniki_filozoficzne_66_3_2018/08-tkaczyk_corr.pdf
DOI: 10.18290/rf.2018.66.3-8
Cytowanie w formacie Bibtex:
@article{1,
author = "Marcin Tkaczyk",
title = "Distribution Laws in Weak Positional Logics",
journal = "Roczniki Filozoficzne",
year = "2018",
number = "3",
pages = "163-179"
}
Cytowanie w formacie APA:
Tkaczyk, M. (2018). Distribution Laws in Weak Positional Logics. Roczniki Filozoficzne, 3, 163-179.