The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. Cut elimination is (...) proved in a constructive way for sequent calculi adequate for all logics under consideration. (shrink)

In recent years we may observe increasing interest in the development of social innovation both regarding theory as well as the practice of responding to social problems and challenges. One of the crucial challenges at the beginning of the 21st century is population ageing. Various new and innovative initiatives, programs, schemes, and projects to respond to negative consequences of this demographic process are emerging around the world. However, social theories related to ageing are still insufficiently combined with these new practices, (...) social movements, organisational models, and institutions. Many scholars are still using notions and tools from classical theories of social gerontology or the sociology of ageing such as disengagement theory, activity theory, and successful and productive ageing. Such theories do not sufficiently explain ageing in the context of, for example, a broad use of the information and communications technologies including robotics and automation, new healthcare and long-term care models, advancements in the development and governance of age-friendly environments, and public engagement of older adults into co-production of services delivered by public, private, non-governmental as well as non-formal entities. (shrink)

Mereology is as a theory of collective sets (or mereological sums). It was formulated by the Polish logician Stanisław Leśniewski. Collective sets are wholes composed of parts, and the concept of being a collective set itself can be defined with the help of the concept of being a part. Mereology may therefore be considered as a theory of „the relation of a part to the whole” (from the Greek: μέρος – „part”). Leśniewski’s mereology was an untypical conception, for it differed (...) from the standard formulations. However, it can be reformulated in the language of structure theory. In the paper, firstly, I examine existentially neutral theories, in which one may prove the existence of only those mereological sums that it is possible to obtain exclusively via the definition of and fundamental properties of the concept of being a part. Moreover, I examine some existentially involved theories of parts (Grzegorczykian mereology and Leśniewskian mereology). One of the main principles of mereology is the transitivity of the concept being a part. This property is often called into question in the literature. Finally, I present an analysis without the assumed transitivity. (shrink)

The aim of this paper is to investigate the causes influencing the length and duration of online media discourse, which may also mean its “quality” or a kind of “attractiveness”. This goal sets out the issues and basic research questions related to these causes. What causes some discourses take a long time and others end as soon as they begin? What makes one discourse attract the attention of other participants in the discussion, and what causes less interest in the proposed (...) topics? In order to obtain answers to the above questions we study the structure of the text, stylistics, topics of discourses and social interaction of forum participants. (shrink)

Artykuł traktuje o etycznym wymiarze filozofii Micheala Foucaulta. Jego projekt, który polega na estetyzacji etyki, próbuję powiązać z całokształtem dokonań francuskiego filozofa. Jest to po części zapis ewolucji myśli, postulatów, a po części chęć wykazania zmiany jakościowej w późnych pismach Foucaulta. Do rozważań nad estetyzacją etyki wybrałem polemikę, jaką sam filozof podjął z Kantem i oświeceniowym projektem. Osią rozważań staje się refleksja nad pytaniem o teraźniejszość. Tłem inspiracje i wpływy filozofii starożytnej Grecji, Oświecenia, dwudziestowiecznego dandyzmu, jak i sugerowanej przeze mnie (...) strategii kulturowej camp. (shrink)

In 1934 Stanisław Jaśkowski published his groundbreaking work on natural deduction. At the same year Gerhard Gentzen also published a work on the same topic. We aim at presenting of Jaśkowski’s system and provide a comparison with Gentzen’s approach. We also try to outline the influence of Jaśkowski’s approach on the later development of natural deduction systems.

Core-periphery imbalances and regional disparities figure prominently on the agenda of several disciplines, which result from their enormous impact on economic and social development around the world. In sociology, international relations, and economics, this concept is crucial in explanations of economic exchange. There are few countries that play a dominant role in world trade, while most countries have a secondary or even a tertiary position in world trade. Moreover, when we are discussing global, continental, regional, and national economies, we can (...) present regions and even smaller territorial units which have higher wages than some underdeveloped areas within the same larger area in focus. Such regional inequalities and injustices are the main themes of the core-periphery model, which focuses on tendencies of economic activities to concentrate around some pivotal points. It seeks to explain the spatial inequalities or imbalances observable on all levels or scales by highlighting the role of horizontal and vertical relations between various entities from the level of towns and cities to the global scale. The existence of a core-periphery structure implies that in the spatial dimension, the socioeconomic development is usually uneven. From such a geographical perspective, the regions known as the "core" are advanced in various areas, while other regions described as the "periphery" serve as a social, economic, and political backstages, backyards, and supply sources or - in some cases - are even subject to degradation and decline. Furthermore, the level of development has a negative correlation with distance from the core. The economies of the states that have gone through various stages of development at the earliest and with the fastest pace have become wealthy core regions and growth poles. Those countries and regions where these processes have been slower become or remain the poor periphery. (shrink)

Integracja wiekowa - termin stosowany w gerontologii społecznej w przynajmniej dwóch znaczeniach. W ujȩciu w¸a}skim - przyjȩtym głównie w literaturze anglojȩzycznej - integracja wiekowa odnosi siȩ do takiej struktury ról społecznych w różnorodnych instytucjach, która umożliwia istnienie różnic, ale nie s¸a} one zależne ściśle od struktury wieku, tj. tego czy ktoś jest osob¸a} młod¸a}, w wieku środkowym, czy też w wieku starszym. Chodzi tutaj w szczególności o instytucje edukacyjne, ekonomiczne, polityczne, religijne i czasu wolnego w których osoby z odmiennych grup (...) wieku i generacji odgrywaj¸a rozmaite role i zajmuj¸a różne pozycje. Integracja wiekowa opiera siȩ na założeniu, że dostȩp do instytucji, możliwości wyjścia z niej i dostȩp do produktów ; zrealizowanych w rzeczywistości usług i wypłaconych świadczeń oraz rezultatów ; efektów zrealizowanych usług i świadczeń np. zmniejszenie ubóstwa, poprawa stanu zdrowia, działalności tych instytucji jest równy dla wszystkich bez wzglȩdu na wiek. ** Age integration - a term used in social gerontology in at least two senses. In a narrow perspective - adopted mainly in English-language literature - age integration refers to such a structure of social roles in various institutions that allows for differences, but they do not depend strictly on the age structure, i.e. whether someone is a middle-aged adult or in an older age. This is particularly about educational, economic, political, religious and leisure institutions in which people from different age groups and generations play different roles and occupy different positions. Age integration is based on the assumption that access to the institution, the possibility of exiting it and access to products ; services implemented in reality and benefits and outcomes paid out; the effects of implemented services and services, eg reduction of poverty, improvement of health, activities of these institutions is equal for all regardless of age. (shrink)

Generacja sandwicz - grupa osób w wieku średnim, która ze wzglȩdu na swoj¸a} centraln¸a} pozycjȩ w strukturze wieku i w zwi¸a}zanej z ni¸a} stratyfikacji wiekowej stanowi generacjȩ, które jednocześnie opiekuje siȩ osobami starszymi i osobami młodszymi. Zjawisko to określane jest też jako "kobiety w środku" lub "złapani w środku". Koncepcja "generacji sandwicz" w w¸a}skim ujȩciu odnoszona jest przeważnie do tradycyjnie postrzeganych ról opiekuńczych kobiet, które s¸a} w wieku środkowym, a zarazem na przedpolu starości. W ujȩciu feministycznym społeczne oczekiwania wobec kobiet (...) znajduj¸a}cych siȩ miȩdzy 40. a 60. rokiem życia s¸a} zorientowane z jednej strony na udzielanie pomocy dzieciom i młodzieży w uzyskaniu samodzielnego dorosłego życia, z drugiej zaś s¸a ukierunkowane na udzielanie pomocy pielȩgnacyjnej starszemu pokoleniu szczególnie w przypadku niepełnosprawności, otȩpienia lub choroby Alzheimera. Oczekiwania wobec powyższych ról opiekuńczych s¸a sformalizowane w mniejszym lub wiȩkszym stopniu co prowadzi do nierówności miȩdzy kobietami i mȩżczyznami. ** Sandwich generation - a group of middle-aged people who, due to its central position in the age structure and related age stratification is a generation that simultaneously takes care of elderly people and younger people. This phenomenon is also referred to as "women in the middle" or "caught in the middle". The concept of "sandwich generation" in a narrow sense refers mainly to the traditionally perceived caring roles of women who are middle-aged and at the same time on the forefront of old age. In the feminist approach, the social expectations towards women between 40 and 60 years old are oriented on helping children and young people to get an independent adult life, on the other hand they are oriented towards providing care to the older generation, especially in the case of disability, dementia or Alzheimer’s disease. Expectations regarding these care roles are formalized in a smaller one or to a greater extent which leads to inequality between women and men. (shrink)

Generational differences in societies are characteristics generally attributed to people’s age that constitute a sociocultural phenomenon. Divisions in the generations differ across nations and extend even to civilizations. Perception and recognition of the different characteristics of each generation affect the cooperation between people in social, political, and economic capacities, and subsequently extend to entities in the public, informal, commercial, and nongovernmental sectors. From the perspective of social justice, it is important to draw attention to how workplace management techniques are used (...) to promote equal opportunities among representatives of various generations. (shrink)

Using two distinct membership symbols makes possible to base set theory on one general axiom schema of comprehension. Is the resulting system consistent? Can set theory and mathematics be based on a single axiom schema of comprehension?

In this paper the life phenomenon is analysed from cybernetic point of view. The Korzeniewski’s approach is discussed and complemented. The analysis is based on autonomous systems theory and information metabolism theory. Philosophical aspects of the problem are taken into consideration as well.

In this article, the author notes that Thomas Aquinas, in his brief work entitled De Ente et Essentia, proved that at the base of understanding the world, the human being, and God in particular, there is our understanding of being and its essence. When we make a small mistake at the beginning in our understanding of being and its essence, it will turn to be a big one in the end. And what is “at the end” of our knowledge is (...) the discovery of the First and Ultimate Cause of all things, known as: Ipsum Esse, God, the Absolute, The Most Perfect Substance, on whom everything depends, and who depends not on anything else. These present inquiries about the proper understanding of being and its essence are aimed at formulating proof of the necessity of existence of a Being that is the First Cause, and which, existing as Ipsum Esse, is the source and reason of existence of all beings. Without these inquiries, the proof itself would be incomprehensible, and more importantly it would be a purely a priori one. Furthermore, without the existential conception of being, which Thomas first formulated, one could not discover the First Cause which, as Ipsum Esse, is the source of the existence of every being. This issue seems to have escaped the attention of the author of the book Aquinas’s Way to God. The Proof in “De Ente et Essentia.”. (shrink)

Resumen El objetivo del presente artículo es analizar en la historia del español dos tipos de fórmulas de saludo, entendidas como unidades discursivas propias del acto de habla expresivo que sirven para abrir el canal comunicativo de las relaciones sociales. A través de la búsqueda sistemática en textos del CORDE de hasta finales del siglo XIX, intentaremos hallar (i) los factores sociopragmáticos que desempeñan el papel más importante en cada tipo de saludo, (ii) el origen paradigmático de cada fórmula, (iii) (...) su distribución sociocultural y las preferencias discursivas e informativas, y (iv) su nivel de predominio en determinadas épocas. (shrink)

Consumers are increasingly aware of the health- and safety-related implications of the food which they can buy in the market. At the same time, households have become more aware of their environmental responsibilities. Regarding the production of food, a crucial and multifunctional role is played by agriculture. The way vegetables, fruits, and other crops are grown and how livestock is raised has an impact on the environment and landscape. Operations performed by farmers, such as water management, can be dangerous for (...) the soil and the whole ecosystem. Consequently, there is a search for natural ways of sustaining the impact of agriculture on the environment. In this context, one of the most popular ideas is organic agriculture. In the literature on the subject, there are many concepts that some authors consider to be synonymous even as others argue that these terms are not interchangeable. There is, for example, "organic agriculture," "alternative agriculture," "sustainable agriculture," "ecological agriculture," "biological agriculture," "niche farming," "community-supported agriculture," and "integrated pest management." Very often, techniques and products related to organic agriculture are described by marketing experts with the use of abbreviations such as "bio" and "eco." Products with such markings and labels are increasingly popular in stores that often give them separate shelves for their sale. Despite the higher price compared to conventional products, they are increasingly sought by consumers. The entry examines the various impacts of organic agriculture with a view to these trends. (shrink)

Gerontologia kreatywna - dział gerontologii społecznej postulowany przez Anitȩ Stefańsk¸a} i Martȩ Szabelsk¸a}-Holeksȩ. Docelowo subdyscyplina ta ma zajmować siȩ problematyk¸a} twórczości i kreatywności osób starszych. Gerontologia kreatywna jest przede wszystkim zwi¸a}zana z psychologi¸a} twórczości, a szczególnie z akmeologi¸a} kreatywn¸a}, czyli psychologi¸a} osobowości twórczej człowieka. Gerontologia kreatywna z jednej strony korzysta z wiedzy pochodz¸a}cej z geriatrii, gerontopsychologii, gerontologii eksperymentalnej, gerontosocjologii i geragogiki. Z drugiej strony zaś podstawy gerontologii kreatywnej osadzone s¸a w działach akmeologii kreatywnej, w szczególności w: historii akmeologii kreatywnej, akmeologii (...) kreatywnej działalności zawodowej, akmeologii kreatywnej osobowości, eksperymentalnej akmeologii kreatywnej oraz stosowanej akmeologii kreatywnej. Konceptualizacja teorii gerontologii kreatywnej jest prób¸a zastosowania teorii istniej¸acych już na gruncie psychologii i gerontologii. Gerontologia kreatywna jako nauka multidyscyplinarna ma także korzystać z dorobku socjologii, filozofii, medycyny, biologii, ekonomii, demografii, antropologii społecznej i kultury, pedagogiki społecznej, kultur i twórczości oraz nauk o kulturze i sztuce. ** Creative gerontology - department of social gerontology postulated by Anita Stefańska and Marta Szabelska-Holeksa. Ultimately, this sub-discipline is to deal with the issues of creativity and creativity of older people. Creative gerontology is primarily associated with the psychology of creativity, and especially with creative acmeology, or the psychology of the creative personality of a human being. On the one hand, creative gerontology uses knowledge derived from geriatrics, gerontopsychology, experimental gerontology, gerontosociology and geragogy. On the other hand, the foundations of creative gerontology are embedded in the sections of creative acmeology, in particular in the history of creative acmeology, creative occupational acmeology, creative personality acmeology, experimental creative acmeology and applied creative acmeology. Conceptualization of the theory of creative gerontology is an attempt to apply theories already existing on the basis of psychology and gerontology. Creative gerontology as a multidisciplinary science is also to use the achievements of sociology, philosophy, medicine, biology, economics, demography, social anthropology and culture, social pedagogy, cultures and creativity as well as the sciences of culture and art. (shrink)

Trust is important in the food sector. This is primarily because households entrust some of the tasks related to food preparation to food processors. The public is concerned about pesticides, food additives, preservatives, and processed foods that may harbor unwanted chemicals or additives. After numerous food scandals, consumers expect food processing industries and retailers to take responsibility for food safety. Meanwhile, the food industry focuses on profit growth and costs reduction to achieve higher production efficiency and competitiveness. It means that (...) they introduce innovations, such as new production methods, processing techniques, and additives. Consumers have to delegate the responsibility for ensuring food safety to food producers, retailers, and regulatory authorities who ensure that the foods are safe, healthy, and pose no risks. For consumers, trusting these actors can reduce feelings of uncertainty. It is helpful for companies to be responsible for their activities through transparency and traceability. In turn, the food industry tries to gain consumers’ trust by providing objective information, such as ranked brands or labels on food packages. (shrink)

Niektórzy ludzie twierdzą, że przemysły kreatywne mają niewiele wspólnego ze starzeniem się i starością. Słowa kreatywność i twórczość są coraz częściej stosowane niemal jako synonimy cech ludzi młodych i młodości jako etapu życia.

A. Klimczuk, Author’s Comments: Economic Foundations for Creative Ageing Policy, Volume II, “Newsletter of the Research Network Ageing in Europe”, Winter 2019, Issue 24, pp. 3-4.

W literaturze przedmiotu określenie "kapitał" wystȩpuje zarówno w ujȩciach funkcjonalnych, strukturalnych, normatywnych, jak i aksjologicznych. W naukach humanistycznych i społecznych pojȩcie to rozumiane jest jako wartość odnoszona do czynnika ludzkiego. W naukach ekonomicznych kapitał to pojȩcie wȩższe niż "zasób". Zasoby s¸a} wykorzystywane przez ludzi do zaspokajania ich potrzeb, s¸a} czynnikami produkcji dóbr i usług. Kapitał to szczególny czynnik produkcji, gdyż stanowi już przekształcone zasoby, które mog¸a} zostać uruchomione, by przynieść zysk, powiȩkszyć szanse oraz osi¸a}gn¸ać cele i korzyści na rynku. ** (...) In literature on the subject, the term "capital" appears in both functional, structural, normative and axiological approaches. In the humanities and social sciences this concept is understood as a value related to the human factor. In economic sciences, capital is a narrower concept than "resource." Resources are used by people to meet their needs, they are factors in the production of goods and services. Capital is a special factor of production, because it is already transformed resources that can be launched to bring profit, increase opportunities and achieve goals and benefits on the market. (shrink)

Artykuł przedstawia zarys rozwoju filozofii życia XIX i XX wieku. Podstawowe zagadnienie to status racjonalności jako wzorca myślenia filozoficznego w świetle argumentów trzech reprezentantów współczesnej filozofii życia: F. Nietzschego, W. Diltheya i H. Bergsona. Każdy z nich jest twórcą oryginalnej odmiany filozofii życia i konstruktywnej krytykiem wzorców naukowej racjonalności.