The Systems of Relevance Logic

• Authors: Mirek Ryszard
• Languages of publication: PL EN

Abstracts

PL

Systemy logiki relewantnej. System R, albo mówiąc precyzyjniej czysto implikacyjny fragment R→, są uważane przez logików relewantnych za najważniejsze. Innym istotnym systemem logik relewantnych jest logika E, pojmowana jako entailment, która charakteryzuje ścisłą relewantną implikację. Kolejnym ważnym systemem jest RM, inaczej nazywane R-mingle. Pytanie brzmi, czy dodanie aksjomatu mingle do R→ prowadzi do czysto implikacyjnego fragmentu RM→? W przypadku słabych logik relewantnych są możliwe dwie interpretacje. Po pierwsze, można ograniczyć obowiązywalność niektórych twierdzeń. Po drugie, są możliwe systemy pozbawione twierdzeń, które charakteryzuje się tylko przez reguły dedukcji.

• Publisher: Uniwersytet Pedagogiczny im. KEN w Krakowie, Instytut Filozofii i Socjologii
• Journal: ARGUMENT: Biannual Philosophical Journal
• Year: 2011
• Volume: 1
• Issue: 1
• Pages: 87-102

Dates

published

2011

Contributors

author

Mirek Ryszard

• Uniwersytet Pedagogiczny w Krakowie