Przejdź do sekcji głównej Przejdź do głównego menu Przejdź do stopki
  • Zarejestruj
  • Zaloguj
  • Język
    • English
    • Język Polski
  • Menu
  • Strona domowa
  • Aktualny numer
  • Archiwum
  • Prace online
  • O czasopiśmie
    • O czasopiśmie
    • Przesyłanie tekstów
    • Zespół redakcyjny
    • Rada redakcyjna
    • Proces recenzji
    • Komitet Logic and Logical Philosophy
    • Polityka Open Access
    • Polityka prywatności
    • Kontakt
  • Zarejestruj
  • Zaloguj
  • Język:
  • English
  • Język Polski

Logic and Logical Philosophy

Some results on Jaśkowski’s discursive logic
  • Strona domowa
  • /
  • Some results on Jaśkowski’s discursive logic
  1. Strona domowa /
  2. Archiwum /
  3. Nr 9 (2001) /
  4. Artykuły

Some results on Jaśkowski’s discursive logic

Autor

  • Lafayette de Moraes Department of Logic, Nicolaus Copernicus University
  • Jair Minoro Abe Universidade Paulista, São Paulo

DOI:

https://doi.org/10.12775/LLP.2001.002

Abstrakt

Jaśkowski [3] presented a new propositional calculus labeled “discussive propositional calculus”, to serve as an underlying basis for inconsistent but non-trivial theories. This system was later extended to lower and higher order predicate calculus ([1], [2]). Jaśkowski’s system of discussive or discursive propositional calculus can actually be extended to predicate calculus in at least two ways. We have the intention using this calculus of building later as a basis for a discussive theory of sets. One way is that studied by Da Costa and Dubikajtis. Another one is developed in this paper as a solution to a problem formulated by Da Costa. In this work we study a first order discussive predicate calculus J∗∗ .

The paper consists of three parts. In the first part we introduce the calculus J∗∗ and, following Prof. D. Makinson’s suggestion, we show that it is not identical with the predicate calculus [2] of Da Costa and Dubikajtis. An axiomatization of J∗∗ is presented. In the second one, we introduce new discussive connectives and study some of the properties. We observe that the usual Kripke semantics can be adapted to the calculus J∗∗ .

Biogramy autorów

Lafayette de Moraes - Department of Logic, Nicolaus Copernicus University

Departamento de Filosofia

Jair Minoro Abe - Universidade Paulista, São Paulo

Instituto de Ciências Exatas e Tecnologia, Departamento de Informática

Bibliografia

Costa, N.C.A. da, “Remarks on Jaśkowski’s discursive logic”, Reports on Mathematical Logic 4 (1975), 7–16.

Costa, N.C.A. da, and L. Dubikajtis, “On Jaśkowski’s discursive logic”, in Non Classical Logics, Model Theory and Computability, A.I. Arruda, N.C.A. da Costa, and R. Chuaqui (eds.), North Holland, Amsterdam, 1977, pp. 37–56.

Jaśkowski, S., “Rachunek zdań dla systemów dedukcyjnych sprzecznych”, Studia Societatis Scientiarum Torunensis, A.I. (1948), pp. 55–77.

Kotas, J., and N.C.A. da Costa, “A new formulation of discursive logic” (to appear).

Moraes, L. de, Sobre a Lógica Discursiva de Jaśkowski, Master Thesis, USP, 1970.

Santos, L.H.L. dos, “Some remarks on discursive logic”, in Non Classical Logics. Model Theory and Computability, A. Arruda, N.C.A . da Costa and R. Chuaqui (eds.), North-Holland, 1977, pp. 99–113.

Pobrania

  • PDF (English)

Opublikowane

19.01.2004

Jak cytować

1.
DE MORAES, Lafayette & ABE, Jair Minoro. Some results on Jaśkowski’s discursive logic. Logic and Logical Philosophy [online]. 19 styczeń 2004, T. 9, nr 9, s. 25–33. [udostępniono 3.7.2025]. DOI 10.12775/LLP.2001.002.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Nr 9 (2001)

Dział

Artykuły

Statystyki

Liczba wyświetleń i pobrań: 577
Liczba cytowań: 0

Crossref
Scopus
Google Scholar
Europe PMC

Wyszukiwanie

Wyszukiwanie

Przeglądaj

  • Indeks autorów
  • Lista archiwalnych numerów

Użytkownik

Użytkownik

Aktualny numer

  • Logo Atom
  • Logo RSS2
  • Logo RSS1

Informacje

  • dla czytelników
  • dla autorów
  • dla bibliotekarzy

Newsletter

Zapisz się Wypisz się

Język / Language

  • English
  • Język Polski
W górę

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partnerzy platformy czasopism

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Uniwersytet Mikołaja Kopernika w Toruniu Deklaracja dostępności Sklep wydawnictwa