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

Results found: 14

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
Filozofia Nauki
|
2004
|
vol. 12
|
issue 2
89-99
PL
The Liar, Berry's, Richard's and Grellling's antinomies are presented and ana-lysed in this article. Three non-classical sentential calculi are presented, too. The author also discussed these calculi from the point of view of their application for the solutions of these antinomies.
3
Publication available in full text mode
Content available

What Do We Know about Values?

100%
Filozofia Nauki
|
2005
|
vol. 13
|
issue 1
5-14
PL
An axiomatic theory of values is presented in this article. The basis of this theory is Czeżowski's idea of values.
Filozofia Nauki
|
2004
|
vol. 12
|
issue 1
99-107
PL
Various arguments for and against principles of non-contradictions: ontological and logical are presented in this article. Two non-classical sentential calculi, in which logical principles of non-contradictions are not effective, are presented too.
Filozofia Nauki
|
1997
|
vol. 5
|
issue 2
53-67
PL
In the article the formalization of a certain fragment of ontology is presented. The axiomatic definition of property and few definitions of the notion of existence are given. The opinion about two kinds of existence is asserted.
Filozofia Nauki
|
1994
|
vol. 2
|
issue 1
67-76
PL
The paper presents seven nihilistic functional calculi (NFC), founded on nihilistic propositional calculi. NFC are characterized from the syntactic and semantic points of view. For each of NFC both points of view are proved to define the same sets of formulas.
Filozofia Nauki
|
1993
|
vol. 1
|
issue 4
55-81
PL
From a formal point of view, the nihilistic propositional calculi, called in this text „npc”, are such propositional calculi that include three unary propositional conectives: T, F, ~, and one binary propositional connective ≡. They read respectively: true, false, untrue that, if and only if. Their theorems are, mong other things, such expressions as: Tp ≡ p, Fp ≡ ~p, with p being a propositional variable. The four npc are presented in this work, i.e. on two-valued, two three-valued, and one four-valued. Moreover, two of them are also paraconsistent calculi. Npc are constructed by means of the axiomatic method. Following the presentation of npc axioms, the four so called n-algebras are introduced. The npc axioms are proved to be adequate to appropriate n-algebras, i.e. sets of theorems and tautologies of each npc are identical.
Filozofia Nauki
|
2011
|
vol. 19
|
issue 3
63-69
PL
Psychologists use identity’s and Ego’s conceptions. The first conception is not clear, the second one from logical point of view is not correct. The aim of this article is to provide the definition of these two conceptions. Let: 1. P(=) is psychological (logical) identity’s indication2. o, o 1 , o 2 ,.. (e, e 1 , e 2 ,..) are people’s (Ego’s) variables3. j is the function’s indication. The expressions: j(o) (j (o i )), dla i>0, we read:person’s Ego o (o i ).The psychological identity’s definition provided in the article is as follows:(P 1 ) ∀o (oPo),(P 2 ) ∀o 1 ∀o 2 (o 1 Po 2 → o 2 Po 1 ),(P 3 ) ∀o 1 ∀o 2 ∀o 3 (o 1 Po 2 ∧ o 2 Po 3 → o 1 Po 3 ),(P 4 ) ∀o∀o 1 ∀o 2 ∀o 3 ∀R [(oRo) ∧ (o 1 Ro 2 → o 2 Ro 1 ) ∧ (o 1 Ro 2 ∧ o 2 Ro 3 →o 1 Ro 3 ) ∧ (o 1 Po 2 → o 1 Ro 2 )].And the Ego is defined as follows:(I) ∀e (e = e),(J 1 ) ∀e∃o [j(o) = e],(J 2 ) ∀e∃o [j(o) = e],(J 3 ) ∀o 1 ∀o 2 [j(o 1 ) = j(o 2 ) ≡ o 1 Po 2 ],(J 4 ) ∀e∀o (e ≠ o),(J 5 ) ∀e∀o ~ (ePo),(J 6 ) ∀e 1 ∀e 2 ~ (e 1 Pe 2 ).
Filozofia Nauki
|
1997
|
vol. 5
|
issue 4
35-41
PL
In the article some known arguments against the principle of bivalence and the principle of excluded middle are recalled and examined. New arguments against the principle of contradiction are also presented.
Filozofia Nauki
|
2008
|
vol. 16
|
issue 1
75-82
PL
In this article the author solves the Ship of Theseus Paradox. He gives also the axiomatic definition of genidentity.
Filozofia Nauki
|
2014
|
vol. 22
|
issue 2
55-72
PL
In the paper the author presents a slightly modified Beth's method that helps to prove if a formula is or is not a tautology of the following non-classical sentential calculi: Łukasiewicz's three valued sentential calculus (Ł3), Priest's paradox logic (LP), and nihilistic sentential calculi: n'1, n'3, n'4, n'5.
Filozofia Nauki
|
2001
|
vol. 9
|
issue 4
65-72
PL
   
Filozofia Nauki
|
2002
|
vol. 10
|
issue 1
47-54
PL
  
14
Publication available in full text mode
Content available

On Antinomies

38%
Filozofia Nauki
|
2005
|
vol. 13
|
issue 1
119-122
PL
  
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.