Opis

• Tytuł:
  Intuicjonistyczny rachunek zdań z identycznością
• Twórca:
  Łukowski, Piotr
• Współtwórca:
  Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
• Opis:
  Z uwagi na obwiązujące prawo autorskie dostęp do plików został ograniczony do sieci lokalnej w Bibliotece UŁ, natomiast metadane pozostają otwarte na licencji Creative Commons Uznanie Autorstwa (CC BY).;
  Przedmiotem rozprawy jest intuicjonistyczny rachunek zdań z identycznością. Rozdział pierwszy prezentuje pewną formalną bazę niezbędną do rozważań ISCI. Problemy w nim poruszane dotyczą jedynie intuicjonistycznego rachunku zdań. Rozdział drugi jest zasadniczą częścią pracy i dotyczy Intuicjonistycznego Rachunku Zdań z Identycznością. Rozpoczynają go rozważania na temat możliwości interpretacyjnych INT-modeli w kategoriach procesu zdobywania wiedzy prowadzące do określenia własności, które powinien posiadać ISCI-model. Rozdział ten prezentuje zarówno rachunek ISCI, jak i pojęcie ISCI-modelu, będące uogólnieniem pojęcia INT-modelu. W rozdziale trzecim znajduje się prezentacja intuicjonistycznej quasi-modalnej logiki (IQM). Rozważania interpretacyjne dotyczące BIML-modelu dotyczą zarówno sposobu rozumienia operatorów modalnych jak i kwestii ufundowania funktora konieczności w tej logice. W rozdziale czwartym określone są zależności między wybranymi ISCI-teoriami a odpowiednimi BIML-teoriami. Ponadto analizowane są różne rodzaje topologicznych algebr pseudo-Boole'owskich oraz ogólniejszej względem nich pseudo-Boole'owskiej wersji B-algebry, tzw. PB-algebry.;
  Projekt pt. Digitalizacja i udostępnienie kolekcji cennych dysertacji doktorskich z nauk humanistycznych (SON BIBL/SP/0033/2024/02) dofinansowany ze środków budżetu państwa, przyznanych przez Ministra Nauki w ramach Programu Społeczna odpowiedzialność nauki II.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Uznanie autorstwa 4.0 Międzynarodowe;
  http://creativecommons.org/licenses/by/4.0
• Data:
  2024.12.11;
  1992
• Typ:
  PhD/Doctoral Dissertation
• Język:
  polski
• Format:
  application/pdf
• Temat i słowa kluczowe:
  Klasyczny Rachunek Zdań z Identycznością (SCI);
  intuicjonistyczny rachunek zdań z identycznością;
  logika niefregowska;
  rachunek logiczny;
  logika klasyczna;
  ISCI-model;
  INT-model;
  BIML-model;
  algebry pseudo-Boole'owskie
• Identyfikator:
  RPS3490;
  http://hdl.handle.net/11089/53953
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  teksty