Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 3

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  CLASSICAL LOGIC
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

APPLICATIONS OF LOGIC IN MEDICINE

100%
Jankowska D., Milewska A. J., Górska U.
Studies in Logic, Grammar and Rhetoric
|
2010
|
issue 21(34)
7-24
EN
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.
2

HERBRAND THEOREMS: THE CLASSICAL AND INTUITIONISTIC CASES

88%
Lyaletski A.
Studies in Logic, Grammar and Rhetoric
|
2008
|
issue 14(27)
101-122
EN
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.
3

HUMBERSTONE ON AYER’S EMOTIVISM

88%
Joven Joaquin J.
Organon F. medzinárodný časopis pre analytickú filozofiu
|
2022
|
vol. 29
|
issue 4
427–433
EN
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.