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.

In diesem Aufsatz wird versucht, eine axiomatische logische Rekonstruktion einiger der logischen Positionen der Vertreter der Idee der Quantifizierung der Prädikate im XIX. Jahrhundert (Bentham, Hamilton, De Morgan, Boole) zu geben. Es wird gezeigt, daß diese Systeme eine wichtige Rolle in der weiteren Entwicklung der Logik spielen. Neben der syntaktischen Seite dieser Theorien werden auch damit verbundene semantische Ideen diskutiert und es wird gezeigt, daß diese Systeme als Namenkalküle zwischen der Syllogistik und der Ontologie Lesniewskis liegend betrachtet werden können. Die (...) dabei involvierten logischen Zusammenhänge werden untersucht und zuletzt wird eine Interpretation des Systems Booles in den Systemen Lesniewskis vorgeschlagen. (shrink)

In diesem Aufsatz wird versucht, eine axiomatische logische Rekonstruktion einiger der logischen Positionen der Vertreter der Idee der Quantifizierung der Prädikate im XIX. Jahrhundert (Bentham, Hamilton, De Morgan, Boole) zu geben. Es wird gezeigt, daß diese Systeme eine wichtige Rolle in der weiteren Entwicklung der Logik spielen. Neben der syntaktischen Seite dieser Theorien werden auch damit verbundene semantische Ideen diskutiert und es wird gezeigt, daß diese Systeme als Namenkalküle zwischen der Syllogistik und der Ontologie Lesniewskis liegend betrachtet werden können. Die (...) dabei involvierten logischen Zusammenhänge werden untersucht und zuletzt wird eine Interpretation des Systems Booles in den Systemen Lesniewskis vorgeschlagen. (shrink)

W artykule opisano krystalizowanie się języka niemieckiego od początków indogermańskich, poprzez germański, staro-wysoko-niemiecki, średnio-wysoko-niemiecki aż do fazy wczesnowysoko- niemieckiej. Autor koncentruje się na ukazaniu zmian fonetyczno-morfologicznych, towarzyszących temu procesowi, uwypuklając szczególnie tzw. pierwszą i drugą przesuwkę.

The purpose of this paper is to state and describe realisations of the theoretical literary intertextuality at school. In the perception of literary works both at school and in the study of literature, operation of various categories of intertextuality can be distinguished, e.g. intratextual and intertextual, genological and intersemiotic, and even metatextual types. The materials studied confirm that the intertextual and intersemiotic types of analysis are most frequent.

This book is an attempt to demonstrate that the basic principles of phonological organization boil down to the interaction between the strength of nuclei as licensers of phonological structure and various non-rerankable scales of complexity occurring at different levels of phonological representation. The licensing relation between nuclei and the preceding onsets on the one hand, and governing relations between consonants, which are to a great extent determined by their internal melodic structure, allow us to view the phonological representation as a (...) self-organizing system, which is able to pr. (shrink)

Autor analizuje słownictwo niemieckie pod kątem jego regionalnego zróżnicowania, koncentrując się zwłaszcza na osi północ-południe. Zwraca uwagę na charakterystyczne cechy diatopicznych wariantów północnych oraz południowych. Ważnym aspektem w analizie jest także występowanie bądź brak tzw. drugiej przesuwki, która w decydującej mierze zaważyła na wyodrębnieniu się w języku niemieckim podziału dialektalnego. Autor zwraca uwagę na aspekt socjolingwistyczny występowania w słownictwie dubletów regionalnych, co związane jest z coraz szerszą migracją ludności na obszarze niemieckojęzycznym. Wskazano też na wyrazy, które - kiedyś typowo regionalne (...) - dziś są w powszechnym użyciu. W dalszej części artykułu autor opisuje szereg wyrazów oraz ich regionalnych odpowiedników w aspekcie diachronicznym i synchronicznym, posiłkując się znaną pracą P. Kretschmera Wortgeographie der hochdeutschen Sprache. Na koniec pokazano w oparciu o fragmenty dzieł literackich znanych niemieckich pisarzy, jak np. A. Seghers czy Th. Mann, w jaki sposób wyrazy regionalne mogą przyczynić się do ukazania lokalnego kolorytu lub charakterystyki postaci. Autor konkluduje, iż wyrazy dialektalne mogą wychodzić poza swój regionalny charakter i spełniać wiele funkcji ponadregionalnych. (shrink)

John Venn w Formal Logic zbudował pewien system sylogistyki, będący jedną z realizacji idei kwantyfikacji orzeczników. Interesującą rekonstrukcję tego systemu zaproponował V.I. Markin. Markin posługuje się pięcioma funktorami pierwotnymi {aa,ai,ia,ii,e}. Wyrażenia elementarne SaaP,SaiP,SiaP,SiiP oraz SeP są czytane odpowiednio: wszelkie S są wszelkimi P, wszelkie S są pewnymi P, pewne S są wszelkimi P, pewne S są pewnymi P oraz żadne S nie są P.Markin podaje aksjomatykę dla tego systemu. Proponuje też reguły translacji jego formuł na język sylogistyki klasycznej, o aksjomatyce (...) Łukasiewicza {SaS, SiS, MaP/\SaM ε SaP, MaP/\MiS ε SiP} oraz reguły translacji odwrotnej.To sformułowanie sylogistyki Venna można uprościć przez przyjęcie konwencji notacyjnej:SφΨP / SφP/\PΨS SφP/\PΨS / SφΨP dla φ,Ψε{a,ι}.Proponowana jest nowa aksjomatyka dla sylogistyki Venna z mocnym rozumieniem zdań szczegółowo-twierdzących. Badane są związki logiczne między sylogistyką Venna i systemem Łulasiewicza. Zostaje sformułowany system z mocnym rozumieniem zdań szczegółowo-twierdzących. Podany jest dowód, że systemy SI i SL są równowane. (shrink)

John Venn w Formal Logic zbudował pewien system sylogistyki, będący jedną z realizacji idei kwantyfikacji orzeczników. Interesującą rekonstrukcję tego systemu zaproponował V.I. Markin. Markin posługuje się pięcioma funktorami pierwotnymi {aa,ai,ia,ii,e}. Wyrażenia elementarne SaaP,SaiP,SiaP,SiiP oraz SeP są czytane odpowiednio: wszelkie S są wszelkimi P, wszelkie S są pewnymi P, pewne S są wszelkimi P, pewne S są pewnymi P oraz żadne S nie są P.Markin podaje aksjomatykę dla tego systemu. Proponuje też reguły translacji jego formuł na język sylogistyki klasycznej, o aksjomatyce (...) Łukasiewicza {SaS, SiS, MaP/\SaM ε SaP, MaP/\MiS ε SiP} oraz reguły translacji odwrotnej.To sformułowanie sylogistyki Venna można uprościć przez przyjęcie konwencji notacyjnej:SφΨP / SφP/\PΨS SφP/\PΨS / SφΨP dla φ,Ψε{a,ι}.Proponowana jest nowa aksjomatyka dla sylogistyki Venna z mocnym rozumieniem zdań szczegółowo-twierdzących. Badane są związki logiczne między sylogistyką Venna i systemem Łulasiewicza. Zostaje sformułowany system z mocnym rozumieniem zdań szczegółowo-twierdzących. Podany jest dowód, że systemy SI i SL są równowane. (shrink)

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. (shrink)

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.

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.

Henryk Kurczab is a literature specialist, educator, lecturer and professor of Rzeszów Univertsity as well as Rzeszów College of Pedagogics. His book is a plenteous source of knowledge concerning dialogue, translatability and interaction of arts in the sense of semiotic ‘meaning’ and ‘sign’. The subject matter chosen by the author, i.e. arts correspondence, its own exemplification as well as interpretations, distinguish his work by individaulizing cognitive values.