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-15 z 33
Tytuł:
IDENTYCZNOŚĆ, PEWNE ZAIMKI FUNKTOROWE I DESKRYPCJE
IDENTITY, CERTAIN FUNCTOR PRONOUNS AND DESCRIPTION
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/488172.pdf
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
identyczność
zaimki funktorowe
zaimki wskazujące
bezkwantyfikatorowy rachunek nazw
logika Ockhama
logika średniowieczna
deskrypcje określone
identity
functor pronouns
demonstrative pronouns
quantifier-less calculus of names
Ockham’s logic
medieval logic
definite descriptions
Opis:
From the logical point of view, the most interesting among the pronouns are demonstrative pronouns (especially: this/that), indefinite pronouns (a/an), definite pronoun (the) and quantifying pronouns (every, all, some). Unlike personal pronouns (e.g. I/you/he) they are in fact functors (of the n/n category). The differentiation between personal pronouns (n) and functor pronouns (n/n) is vital here. This differentiation does not exist in traditional grammar. The study is limited to determining functor pronouns with the use of logical properties of quantifying expressions, which are functor pronouns themselves – all (n) and some (cr) – formally expressed in the quantifier-less calculus of names (BRN). The calculus is properly enriched with demonstrative pronouns (demonstrativa), in connection to certain studies by Toshiharu Waragai (LID). An attempt to employ this system (BRND) in the analysis of some fragments of Ockham’s Summa Logicae is shown here. The work is concluded with the analysis of a functor pronoun the only (t), being a special case of a definite pronoun, which is characterised here by means of rules. The work reveals the connection between this pronoun and the operator of definite descriptions (marked in the same way) in relation to a certain Ludwik Borkowski’s conception.
Źródło:
Roczniki Filozoficzne; 2013, 61, 3; 125-141
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SYLOGISTYKA Z TERMINAMI NEGATYWNYMI W SEMANTYCZNIE PRZEJRZYSTYM SFORMUDOWANIU
SYLLOGISTIC WITH NEGATIVE TERMS IN THE SEMANTICALLY TRANSPARENT FORMULATION
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/488243.pdf
Data publikacji:
2014
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
sylogistyka z terminami negatywnymi
dowód przez ecthesis
diagramy Eulera
semantycznie przejrzyste sformułowanie
syllogistic with negative terms
proof by ecthesis
Euler’s diagrams
semantically transparent formulation
Opis:
The paper refers to the classic works of Polish authors (Dukasiewicz, SleszyWski, Zawirski) and comprises the idea of proof by ecthesis (originally formulated by Borkowski) with the use of list notation to show that the five diagrams by Euler, which provide a starting point for SleszyWski’s analysis, adequately formulate the system of syllogistic with negative terms (Iwanu` and Wedberg’s axiomatization).
W artykule nawiązuje się do klasycznych prac polskich autorów (Łukasiewicz, Sleszyński, Zawirski), uwzględniając ideę dowodu przez ecthesis, sformułowanej oryginalnie przez Borkowskiego, z wykorzystaniem notacji listowej, by pokazać, że pięć diagramów Eulera, które są punktem wyjścia analizy Sleszyńskiego ujmuje adekwatnie system sylogistyki z terminami negatywnymi (aksjomatyka Wedberga-Iwanusia).
Źródło:
Roczniki Filozoficzne; 2014, 62, 1; 53-70
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ONTOLOGIA ELEMENTARNA I KLASYCZNY RACHUNEK RELACJI
ELEMENTARY ONTOLOGY AND THE CLASSICAL CALCULUS OF RELATIONS
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/488626.pdf
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
ontologia elementarna
systemy Leśniewskiego
sylogizmy ukośne
klasyczna teoria relacji
elementary ontology
Leśniewski’s systems
oblique syllogisms
classical calculus of relations
Opis:
The notion of relation is one of the most important concepts present in our language. This study propose some extension of elementary ontology (OE) for relational variables and defining in his framework the concepts of the classical calculus of relations. Such enriched elementary ontology (OER) is a better tool for the analysis of natural language. It is shown that syllogistic with the negative terms enriched by so called oblique syllogisms (SNU with the axioms C1–C5) is a fragment of OER system (Theorem 1). The OER system is enriched next with individual variables (a,b,c) and by assuming the individual term referentiality (axiom A2) we obtain OER* system. The Proof that the classical calculus of relations (KRR) is a part of the system OER* (Theorem 2) is given.
Źródło:
Roczniki Filozoficzne; 2013, 61, 2; 27-38
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Postęp techniczny a przemiany struktury zatrudnienia w budownictwie (Analiza i wyniki badań)
Technical Progress and Changes of Employment Structure in Construction Industry (Analysis and Research Findings)
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/905304.pdf
Data publikacji:
1981
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
Opracowanie stanowi część pracy doktorskiej pt. Postęp techniczny a przemiany zatrudnienia w budownictwie, Łódź 1978 (maszynopis).
The article deals with the influence of technical progress on structure of employment in the construction industry. In the conditions of present development, changes of employment are, to a growing extent, mining a qualitative character. The employment structure is determined by many factors, among which the technical progress is and will continue to be of special importance. In th is article there are presented results of researches carried out in the construction industry between the years 1965-1975. The analysis consists of three parts: a) analysis of changes in the employment structure according to basic classification criteria; b) construction and interpretation of the econometric model of influence of the technical progress on selected elements of the employment structure; c) identification of growth factors of building production with a special emphasis laid on employment and technical progress. The results of the analysis made it possible to determine the basic trends and scope of changes which the employment structure is undergoing. Econometric analysis, furthermore, outlined the direction and force of changes of its elements showing a big impact of technique and technology. The forecasting function in the warning sense is performed by an attempt at isolation of production factors pointing at clearly extensive foundations of previous development of activity.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1981, 7
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jednostki gospodarki komunalnej w urzędach terenowych
Local Economy Units and Territorial Self-government
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/905800.pdf
Data publikacji:
1993
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1993, 128
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Gospodarowanie zasobami pracy w gospodarce komunalnej
Management of Labour Resources in Communal Economy
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/906441.pdf
Data publikacji:
1993
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
The article presents the findings of studies dealing with employment In the communal economy. The studies were conducted at three functional levels! theoretical, quantitative, and qualitative. They were focussed on communal enterprises having a status of public utilities. The article consists of one part containing diagnostic conclusions and the other model part showing directions of changes In ways of managing labour resources in the communal economy. The findings are of great importance for communal enterprises and for policies pursued by the local authorities and the government.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1993, 130
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
System finansowania działalności władz lokalnych
The System of Financing Activities of the Local Authorities
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/906911.pdf
Data publikacji:
1992
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1992, 125
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sterowanie działalnością komunalną (aspekt terminologiczny)
Steering of Communal Activity (terminological aspect)
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/907086.pdf
Data publikacji:
1990
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
The article presents a review and interpretation of the main terms belonging to the concept concerning processes of steering the communal activity. In this aspect of research problems, a considerable freedom in application of terms can be observed. It results, to a big extent; from lack of sufficient theoretical foundations for management activity in the sphere of communal economу. This fact justifies the necessity for concretization and introduction of a uniform interpretation of chosen concepts. Formulation of proposals in this area is the main aim of the present article.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1990, 101
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Źródła finansowania gospodarki komunalnej
Source of Financing the Communal Economy
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/907119.pdf
Data publikacji:
1989
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
The financing of the communal economy is a part of the system of financing development of a town. The present way of financing It arouses many reservations and does not lead to any significant increase In resources allocated on It and, simultaneously, It does not contribute, to any greater extent, to rational admlnistrat Ion of these resources. In order to create a good system of financing development of a town and its economy. It is necessary to perform major systemic changes, as well as changes in detailed solutions resulting from the former. The artlcfe outlines general directions of proposed reform in this field. More detaoled issues call for their separate analysis, which already goes beyond the Itmlts of this article.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1989, 93
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Oczyszczanie w miastach
Sanitation Services in Towns
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/907430.pdf
Data publikacji:
1986
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Opis:
The aim of this study was to provide a descriptive-analytical characteristic of sanitation facilities available in towns of the urban administrative province of Lodz. The study covers a period between 1975 and 1980, and it encompasses the following problems connected with sanitation of towns: cleaning of streets and squares, tian sport and dumping of liquid and stable garbage and impurities, containers for storage of garbage, and public lavatories. In the performed analysis particular towns were interpreted in relation to the main causes and consequences of changes occurring in various elements of town sanitation facilities.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 1986, 58
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rachunek nazw z listami
The Calculus of Names with Lists
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/2012863.pdf
Data publikacji:
2011
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
bezkwantyfikatorowy rachunek nazw
lista
Operator listowy
ontologia elementarna
systemy Leśniewskiego
quantifier-less calculus of names
list
list Operator
elementary ontology
Leśniewski’s Systems
Opis:
In its suppositional phrasing the quantifier-less calculus of names has rules of introduction and Omission of the all (π) and some (σ) functors of the n/n category. The functors are the equivalents of quantifiers. A certain extension of its language by individual variables and a list Operator ([…]) is proposed here. In so extended language the quantifier-less calculus of names with lists is constructed, where axiom AI (a Substitute of the axiom of the theory of identity) and the rules characterising the list Operator are adopted.
Źródło:
Roczniki Filozoficzne; 2011, 59, 1; 35-50
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modalny rachunek nazw
Modal Calculus of Names
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/2012888.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
modalność
modalność de re
modalność de dicto
funktor modalny
rachunek modalny
modalna ontologia elementarna
modality
modality de re
modality de dicto
modal operator
modal calculus
elementary modal ontology
Opis:
Sentences with the form: x is δ y, where δ is one of the modal operators (of the n/n category) is usually interpreted as rendering modalities of the de re type, as contrary to sentences included in the scheme: ΔP(x), where the modal operator Δ (of the s/s category) is semantically ambiguous (de re or de dicto). In literature treating modality as de dicto modality dominates. This results mainly from the fact that modal calculi are practiced mainly as sentential calculi, built over the classical sentential calculus, where – in the nature of things – the structure of sentences is not  analyzed. We also have some extensions of elementary ontology (Lebedev’s) with the modal operator of the is-δ (s/nn) type as the primary operator.  In the article a construction is suggested, in which an operator of the δ (n/n) type is the primitive term. It is an elementary modal ontology that is an inferential extension of one of the mentioned systems, despite a formal simplification of its axioms.
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 237-254
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sylogizmy ukośne
Oblique Syllogisms
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/2106909.pdf
Data publikacji:
1990
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The aim of this paper is the analysis of so-called oblique syllogisms. Its consequence is the proposal of such an extention of the syllogistic with negative terms, including inferences with syllogism of this type. It considers following the two such extentions, where the first is inferentially contained in the second one. The second of those calculi with the axiom system: xanny, ∼(xanx), nxany → yax, xay ⋅ yaz → xaz, xay → fxafy and the definitions: xey ↔ xany, xiy ↔ ∼(xany), xoy ↔ ∼(xay), besides the inferential rules common with syllogistic and the rule of substitution for functors (without nominal negation), has the specific extended rule of substitution: for the simple nominal variables of the type „x” it may substitute besides the other simple nominal variables, also those composed with negation of the kind „ny”, as well as the composed variables of the type „fy”, with „f” different from „n”. The interpretation of those calculi in protothetic is given.
Źródło:
Roczniki Filozoficzne; 1990, 37-38, 1; 337-343
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Wyświetlanie 1-15 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