Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: CLASSICAL LOGIC

Sortuj według:

Ogranicz wyniki do:

APPLICATIONS OF LOGIC IN MEDICINE

100%

Jankowska D. , Milewska A. J. , Górska U.

nr 21(34)

7-24

This paper presents the importance of logic in the medical field. Efficient and proper medical work is difficult without the knowledge of the rules of logic. Therefore, the paper will consider ways of implementing both classical logic and non-classical approach, e.g. temporal and fuzzy logic. The thesis will be supported by numerous examples illustrating how indispensable is the cognition of logic and showing how applying logic can effectively improve work in medicine.

HERBRAND THEOREMS: THE CLASSICAL AND INTUITIONISTIC CASES

88%

Lyaletski A.

nr 14(27)

101-122

A unified approach is applied for the construction of sequent forms of the famous Herbrand theorem for first-order classical and intuitionistic logics without equality. The forms do not explore skolemization, have wording on deducibility, and as usual, provide a reduction of deducibility in the first-order logics to deducibility in their propositional fragments. They use the original notions of admissibility, compatibility, a Herbrand extension, and a Herbrand universe being constructed from constants, special variables, and functional symbols ccurring in the signature of a formula under investigation. The ideas utilized in the research may be applied for the construction and theoretical investigations of various computer-oriented calculi for efficient logical inference search without skolemization in both classical and intuitionistic logics and provide some new technique for further development of methods for automated reasoning in non-classical logics.

HUMBERSTONE ON AYER’S EMOTIVISM

88%

Joven Joaquin J.

nr 4

427–433

In “The Connectives”, Lloyd Humberstone offers an interpretation of A. J. Ayer’s emotivism using W. S. Cooper’s semantics for ordinary logic. In this discussion note, I argue that this proposed interpretation fails to stay true to Ayer’s view.