Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Wojciechowski, Eugeniusz" wg kryterium: Autor

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-10 z 33
Tytuł:
Negacja nazwowa a nieokreśloność i nieostrość nazw
Name Negation versus Indefiniteness and Vagueness of Concepts
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/2012915.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
negacja nazwowa
nieokreśloność nazw
nieostrość nazw
name negation
indefiniteness of concepts
vagueness of concepts
Opis:
The author refers to the construction that includes two types of negation – external (~) and internal (). When we consider an object belonging to a given universe and a given set of predicates, some of them belong to it, and others do not. There may also be such predicates about which it cannot be sensibly stated that they belong to the object – and this is the third case (vagueness) that can be explained by such a construction. It is a non-classical theory of predication. In the classical theory of predication (whose standard realization is the classical predicate calculus) we only have one negation operator (external negation). The idea may be transferred to the calculus of names. In the article a certain broadening of elementary ontology is suggested, where analogous distinctions among predication operators and name negation allow (from the meta-linguistic perspective) perceiving the phenomenon of indefiniteness (vagueness) of names in a new light.
Źródło:
Roczniki Filozoficzne; 2010, 58, 1; 281-290
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
A quantifier-less calculus of names with the rule of extensionality
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/2013180.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
bezkwantyfikatorowy rachunek nazw
reguła ekstensjonalności dla funktora inkluzji jednostkowej
ontologia elementarna
systemy Leśniewskiego
quantifier-less calculus of names
extensionality rule for the functor of singular inclusion
elementary ontology
Leśniewski’s systems
Opis:
Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary rules. The interpretation of the last system in elementary ontology is included.
Źródło:
Roczniki Filozoficzne; 2008, 56, 1; 417-429
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sylogistyka jako fragment ontologii elementarnej
Syllogistic as a Fragment of Elementary Ontology
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/1918708.pdf
Data publikacji:
2020-11-13
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
Five interpretations of syllogistic in Leśniewski's ontology are presented in the paper. Two of them are weak (φw) and strong (φs) interpretations of syllogistic (without negative terms) in ontology. The remaining are called here intermediate ones. The first of them (φm), formulated by Iwanuś, is also an interpretation of syllogistic without negative terms. The last two intermediate interpretations (φn, φo) are interpretations of syllogistic with negative proposed by the author. Assuming a help functor of coexistence: coex(x,y) ↔ (ex(y) → ex(x)). (ex(nx) → ex(ny)) the φn interpretation has the following form:xay ↔ coex(x,y). x yxey ↔ coex(x,ny). x nyxiy ↔ (coex(x,ny) → Σz(zεx. zεy))xoy ↔ (coex(x,y) → Σz(zεx. zε‾x))The interpretation φo is a variant of φn. It is proofed that syllogistic by the interpretation φm is a fragment of elementary ontology and that the syllogistic with negative terms by interpretations φn and φo is inferentially included in this system with no empty universe.
Źródło:
Roczniki Filozoficzne; 1995, 43, 1; 109-116
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przekształcenia w sektorze komunalnym
Transformations in the Communal Sector
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/904673.pdf
Data publikacji:
1997
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
The article analyzes the transformations occurring within the communal sector. These transformations have different aspects and include ownership, economic-financial and organizational changes. A special attention in the article is paid to a still controversial issue concerning the economic activity of administrative districts, creation of market conditions, economization of local self-government’s activity, system of regulations, privatization, transformation of previous communal enterprises, and models of communal services provision. The transformations within communal sector are forced out by many factors including, first of all, the necessity of adapting changes in the economy controlled by the local self-government to the requirements and principles of a market economy.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1997, 142
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Instrumenty władzy lokalnej w nowych warunkach gospodarowania
Instruments of the Local Authorities in New Conditions of Economic Activity
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/906617.pdf
Data publikacji:
1990
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
The article deals with problems connected with instruments applied in activity of the local authorities. This problems is especially important in the present and future conditions of economic activity. In accordance with principles of the economic reform and legal regulations, the local authorities have been recognized as an autonomous economic eutity equipped with the right to make independent decisions, especially basing on its own incomcs. The people’s councils and their organs are to operate in the economic sphere following rules resembling principles of the functioning of enterprises. This calls for a radical change in mechanisms and ways o£ activity of the local authorities. The chengé should encompass, first of all, the process of management of the entire development of their territory based on methods of indirect (parametric) influence on institutions, economic units und households. That is a very complex problem since both experience and tested solutions are absent here. The article is an attempt to outline systemic solutions in the sphere of instruments of the policy pursued by the local authorities. More detailed issues should be analyzed more comprehensively in the future.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1990, 100
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Klasyczny rachunek zdań w semantycznie przejrzystym sformułowaniu
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/705869.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
klasyczny rachunek zdań
semantycznie przejrzyste sformułowanie,notacja listowa
idiograficzna notacja Leśniewskiego
Opis:
Punktem wyjścia jest pewien fragment tekstu, którego autorem jest Gottlob Frege (Einleitung in die Logik): „Jeżeli ma się dwa zdania, to są tylko cztery przypadki możliwe: 1) pierwsze jest prawdziwe i tak samo drugie; 2) pierwsze jest prawdziwe, drugie fałszywe; 3) pierwsze jest fałszywe, drugie prawdziwe; 4) obydwa są fałszywe”. Proponuje się tu pewną konstrukcję, będącą sformułowaniem klasycznego rachunku zdań, w którym powyższa semantyczna charakterystyka pary zdań jest obecna. Symboliczny zapis tych czterech przypadków dla dowolnej pary zdań jest jej tezą. Używana jest tu notacja listowa. Jest ona porównywana z idiograficzną notacją Leśniewskiego.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 35-48
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SŁABA ASERCJA
WEAK ASSERTION
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/488269.pdf
Data publikacji:
2012
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
słaba asercja
negacja zewnętrzna
negacja wewnętrzna
weak assertion
external negation
internal negation
Opis:
The paper contains references to a logical construction with two types of negation: an external (~) and internal (¬) one, where the substitution of the dichotomous law of excluded middle (with the αV~α schema) by the trichotomy (α V¬α V±α) is proposed. With reference to an object belonging to a given universe and a given set of predicates some of them apply to it, whereas others do not. There can also exist such predicates which cannot be sensibly said to apply to it – they are indeterminate to it. What is proposed here is transferring these distinctions to a sentence calculus and devising a construction with a functor of weak assertion (+) as its primitive functor. This functor together with the functor of external negation allow an additional interpretation of the sentences falling into the third category described above (indirectness) whenever there is a need to express sentences referring to indirect states between the positive state and its negative counterpart.
Źródło:
Roczniki Filozoficzne; 2012, 60, 1; 87-103
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sylogistyka Venna i pewna konwencja notacyjna
Venn’s Syllogistic and a Certain Notational Convention
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/488299.pdf
Data publikacji:
2015
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
sylogistyka
sylogistyka Venna
mocne rozumienie zdań szczegółowo-twierdzących
pewna konwencja notacyjna
syllogistic
Venn’s syllogistic
strong understanding of particular affirmative sentences
a certain notational convention
Opis:
John Venn w Formal Logic (1881) zbudował pewien system sylogistyki, będący jedną z realizacji idei kwantyfikacji orzeczników. Interesującą rekonstrukcję tego systemu zaproponował V.I. Markin (2011). 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: SP / SPPS SPPS / SP dla ,{a,&}. Proponowana jest nowa aksjomatyka dla sylogistyki Venna z mocnym rozumieniem zdań szczegółowo-twierdzących (S3P). Badane są związki logiczne między sylogistyką Venna (SV) i systemem Łukasiewicza (SL). Zostaje sformułowany system (SI) z mocnym rozumieniem zdań szczegółowo-twierdzących. Podany jest dowód, że systemy SI i SL są równoważne.
John Venn in his Formal Logic (1881) constructed a certain system of syllogistic, which is one of implementations of the idea of the quantification of predicates. An interesting reconstruction of this system was proposed by V.I. Markin (2011). Markin makes use of five primary functors {aa, ai, ia, ii, e}. The elementary expressions SaaP, SaiP, SiaP, SiiP and SeP are respectively read as: all S is all P, all S is some P, some S is all P, some S is some P and no S is any P. Markin gives the axiom system for the system. He also proposes the rules of translation of its formulas into the language of classical syllogistic of Łukasiewicz’s axiom system {SaS, SiS, MaPSaM SaP, MaPMiS SiP} and the rules of reverse translation. This formulation of Venn’s syllogistic can be simplified, including the strong understanding of particular-affirmative sentences (S P) and by adopting the following notational convention: SP / SPPS SPPS / SP for ,{a,&}. A new axiom system for Venn’s syllogistic is proposed here. The logical relations between Venn’s sylogistic (SV) and the Łukasiewicz’s system (SL) are examined. A system (SI) has been formulated with a strong understanding of particular affirmative sentences. The proof that systems SI and SL are equivalent is given.
Źródło:
Roczniki Filozoficzne; 2015, 63, 1; 117-138
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
FUNKTORY ASERCJI I KONIUNKCJI SEKWENCYJNEJ
UNCTORS OF ASSERTION AND SEQUENTIAL CONJUNCTION
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/488385.pdf
Data publikacji:
2012
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
asercja sekwencyjna
koniunkcja sekwencyjna
systemy And Next i And Then von Wrighta
sequential assertion
sequential conjunction
von Wright’s And Next and And Then systems
Opis:
An axiomatic characterisation of the functor of sequential assertion is propsed here. By means of it the functor of sequential conjunction is defined. In the temporal interpretation these functors are respectively read as: next/then and and-next/and-then. It is proved that the proposed system (SAS) and its strenghtening (SAS*) comprise respectively von Wright’s And Next and And Then systems. The consistency and independence of axioms of the richer of the two proposed structures (SAS*) is settled by interpretation in the quadrivalent propositional calculus.
Źródło:
Roczniki Filozoficzne; 2012, 60, 2; 109-124
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interpretacja pojęcia „rządzenie publiczne”
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/659890.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
The aim of this article is to identify a public governance. This is a key term in describing all actions, which are taken by the government (politicians, public administration) to influence the process of public issues. In fact this is a base term to value the quality of governance in wide range (domestic, regional or local).
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2010, 245
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 33

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies