Fermented dairy products such as yogurt contain many bioactive compounds. In addition, probiotic yogurts are an invaluable source of probiotic bacteria and are a group of probiotic products best accepted by children. There is plenty of research indicating an interdependence between yogurt consumption, body mass index, and adipose tissue percentage, which suggests that yogurt consumption may contribute to reducing the risk of becoming overweight or obese. In turn, the occurrence of overweight and obesity may be accompanied by a reduced sensitivity (...) to sweetness, which modifies food preference selection and acceptance, including with yogurt. This study aimed to assess the preferences and consumption of yogurt in terms of sensitivity to recognize sweetness and obesity in a group of 7–9-year-old children. Body mass index and adipose tissue percentage obesity indicators were determined, and the frequency of fermented milk product consumption was assessed about the results of the sweetness recognition test as well as yogurt preferences. There was no significant relationship between body weight and the frequency of fermented milk product consumption. Correlations were found between the values of body mass index and the ability to recognize sweetness, which was significantly better recognized by underweight children or at normal body weight, moreover, those children with a higher ability to recognize sweetness significantly more frequently preferred plain unsweetened yogurt. (shrink)

The paper is a contribution to the debate on the epistemological status of thought experiments. I deal with the epistemological uniqueness of experiments in the sense of their irreducibility to other sources of justification. In particular, I criticize an influential argument for the irreducibility of thought experiments to general arguments. First, I introduce the radical empiricist theory of eliminativism, which considers thought experiments to be rhetorically modified arguments, uninteresting from the epistemological point of view. Second, I present objections to the (...) theory, focusing on the critique of eliminativism by Tamar Szabó Gendler based on the reconstruction of famous Galileo's Pisa experiment. I show that her reconstruction is simplistic and that more elaborate reconstruction is needed for an appropriate assessment of the epistemic power of general argument. I propose such a reconstruction and demonstrate that general version of Pisa experiment is epistemically equal to the particular one. Thus, from an epistemological perspective, Galileo's thought experiment is reducible to a straightforward argument without particular premises. (shrink)

Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open (...) multi-agent systems. We adopt a bird’s eye view of these systems, as opposed to an agent’s perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system. (shrink)

In this article I consider how the problem of social (intersubjective) cognition relates to time-consciousness. In the first part, I briefly introduce Husserl’s account of intersubjective cognition. I discuss the concept of empathy (Einfühlung) and its relation with time-consciousness. I argue that empathy is based on pre-reflective awareness of the other’s harmony of behaviour. In the second part, I distinguish pre-reflective (passive) and reflective (active) empathy and consider recent empirical research in the field of social cognition. I argue that these (...) levels of empathy are related with different levels of intersubjective temporality. By the intersubjective temporality I do not understand being in the same moment of objective time (so called clock time) but rather the shared experience of time and sharing temporal structure of actions. In the final part, I gather my considerations together and propose a general three-level framework of intersubjective temporality. (shrink)

The author examines the arguments for applicability of the limitation clause which specifies the requirements for limitation of constitutional freedoms and rights (Article 31 para. 3 of the Constitution) to the right to protection of life (Article 38). Even if there is almost a general acceptance of such applicability, this approach does not hold up to criticism based on the rule existing in the Polish legal order that treaty commitments concerning human rights have supremacy over national statutory regulations. Due to (...) an international pattern which does not provide application of the limitation clause to the right to life protection, despite the recognition — at the level of a constitutional standard — of applicability of the clause of Article 31 para. 3 to Article 38, and to protection of life in general, this will be made impossible at any attempt to formulate a statutory standard. He also points out the defectiveness of the reasoning leading to acceptance of certain limitations of a particular value (e.g. life) on the basis of the ex definitione exemptions existing in the international standard to the assumption of applicability of the limitation clause when shaping statutory standards in the Polish legal system. The discussed issues are related to the question of interpretation of the inviolability of human rights. This term takes different meaning in the context of: 1) inviolability of all human rights understood in abstracto as normative structures of a general and abstract nature; 2) right protecting certain values with no exception; 3) rights to which an application of the limitation clause is forbidden; 4) rights not subject to derogation; 5) inviolability of understood in concreto, as that is (here and now) due to the subject of dignity; 6) inviolable essence of freedoms and rights. One should also clearly distinguish between (7) the descriptive and (8) the normative meaning of inviolability. -/- Punktem wyjścia jest analiza argumentacji na rzecz tezy o stosowalności do prawa do ochrony życia (art. 38 Konstytucji RP), klauzuli limitacyjnej określającej warunki ograniczania konstytucyjnych wolności i praw (art. 31 ust. 3). Mimo niemal powszechnej akceptacji tej tezy, nie wytrzymuje ona krytyki opartej na pierwszeństwie, które w polskim porządku prawnym mają zobowiązania traktowe dotyczące praw człowieka, wobec regulacji ustawowych. Ze względu na wzorzec międzynarodowy, który nie przewiduje stosowania klasycznej klauzuli limitacyjnej do prawa do życia, mimo uznania - na poziomie standardu konstytucyjnego - stosowalności klauzuli z art. 31 ust. 3 do art. 38 i ochrony życia w ogóle, stosowalność tej klauzuli będzie uniemożliwiona przy każdej próbie formułowania standardu ustawowego. Autor zwraca uwagę na wadliwość wnioskowania prowadzącego od uznania dopuszczalności pewnych ograniczeń ochrony jakiejś wartości (np. życia) na podstawie wyjątków ex definitione obecnych w standardzie międzynarodowym, do tezy o stosowalności klauzuli limitacyjnej przy kształtowaniu standardu ustawowego w polskim systemie prawnym. (shrink)

Works by Henryk Sienkiewicz, a Polish writer and the winner of the 1905 Nobel Prize for Literature, were subjected to verification by the DDR’s censorship apparatus several times. Censors considered his novellas which discussed 19th-century social issues as desirable and worth promoting among East German readers. His novel Krzyżacy, which was set in the Middle Ages, was accepted eagerly both by publishing houses and the censorship office as it enabled national socialism in Germany to be viewed in critical terms, as (...) the DDR distanced itself from the system. Reviewers did, however, find a major ideological threat for young readers in East Germany in a young adult novel entitled W pustyni i w puszczy, and for that reason it was withdrawn from the publishing procedure. (shrink)

This article seeks to justify the claim that Thomas Aquinas proposed a concept of natural law which is immune to the argument against the recognition of an objective grounding of the good formulated by a well-known representative of the liberal tradition, Isaiah Berlin, in his famous essay “Two Concepts of Freedom.” I argue that Aquinas’s concept of freedom takes into account the very same values and goals that Berlin set out to defend when he composed his critique of natural law. (...) In particular, the article suggests that Aquinas recognizes freedom as a greater perfection of man than rationality, and that this freedom is realized, among other things, through the co-construction of the good that gives a goal and a shape to human action and to the whole of a person’s life. I argue that the co-construction of such a good involves the co-construction of natural law in the strict sense of the term. Indeed, the content of natural law can be understood as a set of goods which are goals that inform human action. From a human perspective, natural law is not a pre-existing recipe which has merely to be “read.” Defining the concrete content of natural law is an ongoing process. The process of defining natural law’s content takes humanly knowable, objective elements into account, and so draws on knowledge. Yet free choice also plays an important part in this process. When speaking of the process of defining the content of natural law, therefore, and in determining what here-and-now is to be done, it is reasonable to describe man as a creator of the natural law, or as a legislator, just as the members of a parliament are the creators of civil law — bearing in mind that only a just law is truly law and therefore the creation of both civil and natural law reaches only as far is the scope of just actions directed by these laws. From the perspective of human action, we may speak of each person’s free choice to establish a given good as the end of a specific act, and in so doing to declare that action proper under natural law in the strict sense of the term (which differs from the rules of natural law). An appreciation of what is particular and individual (particulare et individuum), and an appreciation of free choice that goes hand-in-hand with this, is deeply embedded in Thomas’s system of thought. Particularity and individuality has its basis in an especially excellent way of human existence. (shrink)

An axiological analysis of the basis of the 1997 Constitution of the Republic of Poland, determined mainly in the Preamble, makes it possible to put forward a thesis that this axiology is not, at least in reference to the principle, eclectic. In respect of the meta-axiological settlements, this is a tradition of natural-law type, recognizing the objective grounding of values and law. The accepted solutions are also convergent with the axiology typical of the international protection of human rights. -/- Résumé (...) L’analyse des fondements axiologiques de la Constitution polonaise de 1997, inscrits avant tout dans le préambule, permet de formuler la thèse selon laquelle cette axiologie n’est pas, en principe, éclectique. La réflexion sur les valeurs s’inscrit dans la vision classique des fondements du droit, remontant à l’antiquité. Partant de là, se dégage une tradition juridique appuyée sur le droit naturel, reconnaissant la force objective des valeurs et du droit. Ces conclusions rejoignent l’axiologie classique de la protection internationale des droits de l’Homme. -/- Zusammenfassung Die Analyse der vor allem durch die Präambel definierten axiologischen Grundlagen der Verfassung der Republik Polen von 1997 ermöglicht die Aufstellung der These, dass diese Axiologie nicht eklektisch ist, zumindest nicht prinzipiell. Hier enthüllt sich ein Denken von den Werten, das sich in die klassische, bis in die Antike zurückreichende Reflexion über die Grundlagen des Rechts einfügt. Wegen der metaaxiologischen Entscheidungen ist das eine Tradition naturrechtlichen Typs, die die objektive Begründung der Werte und des Rechts anerkennt. Die angenommenen Lösungen stimmen auch mit der für den internationalen Schutz der Menschenrechte typischen Axiologie überein. (shrink)

Choć samo zjawisko wykluczenia społecznego nie jest nowe, to jego waga, zwłaszcza w perspektywie praw człowieka, została doceniona stosunkowo niedawno. „Wykluczenie społeczne” nie jest kategorią konstytucyjną. Celem opracowania jest ogólne usytuowanie problematyki wykluczenia w kontekście zagadnień konstytucyjnych. Zmierza się do dookreślenia, czym jest wykluczenie społeczne oraz do wskazania zasadniczych konstytucyjnych punktów odniesienia, pozwalających na podjęcie tego problemu. Właściwe wykluczeniu społecznemu jest złożoność przyczyn - sam brak środków finansowych nie musi prowadzić do wykluczenia, choć proces wykluczania może być zainicjowany jednym wydarzeniem. (...) Jednak wykluczenia nie można adekwatnie scharakteryzować jedynie poprzez jego przyczyny. Wielowymiarowość dotyczy także przejawów wykluczenia. O wykluczeniu społecznym w sensie właściwym mówi się wówczas, gdy ograniczenia dotyczą jednocześnie wielu sfer życia społecznego. Chodzi przy tym o sfery fundamentalne, istotne . Charakterystyczne dla wykluczenia jest dłuższe trwanie w czasie. Często ma wymiar przestrzenny – procesy wykluczania prowadzą do wyodrębnienia obszarów, enklaw zamieszkanych przez wykluczanych, co jeszcze bardziej utrwala stan wykluczenia. Procesy wykluczania prowadzą niekiedy do zjawiska zwanego dziedziczeniem biedy czy wykluczenia. Ochrona przed wykluczeniem, wolność od niego, została uznana za prawo człowieka; prawo niesprowadzalne do tradycyjnie formułowanych praw gospodarczych, socjalnych i kulturalnych; mimo że wykluczenie społeczne dotyczy przede wszystkim udziału w życiu gospodarczym, społecznym i kulturalnym. Wykluczenie jest powiązane z naruszeniem zasady równości, jednak nie daje się ująć jedynie w perspektywie tej zasady, przy czym w szeregu istotnych punktów różni się od dyskryminacji w korzystaniu z praw człowieka. Poszukując w Konstytucji RP, w której brak jest kategorii „wykluczenia społecznego” zasadniczych punktów odniesienia należy poszukiwać w zasadzie godności z art. 30 oraz – w stosunku do obywateli – w art. 1. Jako pomocnicze punkty odniesienia można wskazać zasady sprawiedliwości społecznej, solidarności oraz równości, a także konstytucyjny katalog wolności i praw, przede wszystkim wolności i praw ekonomicznych, socjalnych i kulturalnych. (shrink)

The article deals with relations between the individual and human rights on the one hand, and the State on the other, in the context of the Constitution of the Republic of Poland. The author poses the question whether the idea of subordination of the State to the individual is really a central idea of that constitution. He puts forward many arguments against such suggestion. These arguments relate, above all, to the arrangement of the constitution: a chapter concerning human rights is (...) chapter II, while chapter I deals with foundation of the State; the goals of the State are specified in the preamble including the following initial phrase “the existence and future of Poland as our Homeland” and in Article 5 where human rights are as subject of protection by the State is mentioned after independence and integrity of [its] territory; a general concept of human rights protection adopted in the constitution is dominated by the structures typical of law in its objective sense; the way of regulation admissible limitations on human rights differs from international standards; possibility of claiming human rights is constitutionally guaranteed, mostly by constitutional complaint which is above all aimed at correction of legal system, rather than claiming of rights by the individual; Article 1 (“The Republic of Poland shall be the common good of all its citizens”) interpreted as referring to Article 1 paragraph 1 of the April Constitution of 1935, one of the main ideas of which was precedence of the State over the individual. He also analyses the arguments in favour of the recognition of the idea of subordination of the State. Nevertheless, they cannot be accepted as resolving the question of whether it is a central idea of the constitution. These arguments include in particular: the principle of subsidiarity contained in the preamble, even if it has not been appropriately emphasized there; recognition of inherent and inalienable dignity of the person, but it was not until Article 30 that this provision has been contained and it does not determine the relations between the human dignity and rights and the State. The author suggests that the only conclusive way to justify the subordination of the State in relation to the individual as a central idea of the constitution is by means of Article 1. Taking into account, above all, preparatory work, we should reject the interpretation of that article referring to the April (1935) Constitution. Essential interpretative context may be found in preparatory work and social teachings of the Catholic Church, referred to therein. In that case, the common good means the entirety of the conditions of social life which favour the human development. These conditions include above all the respect for human dignity. Such interpretation of Article 1 gives priority to proposals on what the State should be to serve the individual rather than to safeguard obligations of citizens in relation to the State. (shrink)

The author reflects on the moral attitudes displayed by Poles fighting in the Warsaw Uprising. He believes that the sacrifice and selflessness with which Varsovians battled for their city had its roots in the general mentality of the Poles, who for generations had been raised in the spirit of “mutual and willing endowment”. He also notes that the noble ideals of the wartime generations have today been largely replaced by mercenary selfishness.

This article first of all attempts to assess the proposals of 2006–2007 to amend Poland’s Constitution, aimed mostly at strengthening constitutional protection of unborn human life. Parliamentary work on this proposal begins with the submission of the Deputy’s bill on amendment of the Constitution, published in the Sejm Paper No. 993 of September 5, 2006, and ends with a series of votes at the 39th sitting of the Sejm of the fifth term of office, held on April 13, 2007, on (...) which it was decided not to adopt any amendment. In the course of the legislative process, several modifi cation were offered not only to Article 38 concerning protection of life, but also to Article 30 dealing with dignity as a source of rights. Each of these proposals had drawbacks, including inter alia: the lack of a definite period of protection or entitlement to dignity, resulting in the decreased protection in relation to issues concerning euthanasia; the application of new categories granting a specific status to unborn human life; specifying the standards for protection by means of legislative acts ranking lower than a constitution, resulting in the transfer of life protection into the sphere of regulation of ordinary legislation. The most conducive for strengthening of the protection of unborn human life, even if not free of imperfections, was an amendment of Article 30 proposed by the Committee in the following wording: “The inherent and inalienable dignity, conferred on the person from the moment of conception, shall be a source of freedoms and rights of persons and citizens. It shall be inviolable; the respect and protection thereof shall be the obligation of public authorities.” From the rejection of the proposals it is diffi cult to draw conclusions that are vital for interpretation of the existing provisions. However, a conclusion that the intention of the authors of the constitution was not to strengthen the constitutional protection of life is not legitimate, mostly because of their doubts about formal correctness of the proposed amendments (when deciding to reject them), particularly the doubts about legal consequences of their adoption. -/- Streszczenie Zasadniczym celem opracowania jest próba całościowej oceny propozycji nowelizacji Konstytucji RP mającej miejsce w latach 2006-2007, zmierzającej przede wszystkim do wzmocnienia konstytucyjnej ochrony życia człowieka przed narodzeniem. Prace parlamentarne nad analizowaną nowelizacją otwiera poselski projekt ustawy o zmianie Konstytucji zawarty w druku sejmowym 993 z dnia 5 września 2006 (projekt wpłynął do Sejmu 7 września); zamyka seria głosowań na 39 posiedzeniu Sejmu V kadencji, dnia 13 kwietnia 2007 roku; głosowań, które przesądziły o niewprowadzeniu żadnych zmian. W trakcie procesu legislacyjnego proponowano szereg formuł, zmieniających nie tylko art. 38 dotyczący ochrony życia, ale także art. 30, który dotyczy godności jako źródła praw. W zasadzie wszystkie zgłoszone propozycje posiadały wady, wśród których najważniejsze to: brak domknięcia okresu ochrony lub przysługiwania godności, skutkujący obniżeniem ochrony w kwestiach związanych z eutanazją; stosowanie nowych kategorii, prowadzące do nadania specyficznego statusu człowiekowi przed narodzeniem; określanie standardu ochrony za pośrednictwem aktów o randze niższej od konstytucji, prowadzące do przesunięcia ochrony życia przed narodzeniem w sferę ustawodawstwa zwykłego. Z punktu widzenia celu, jakim było wzmocnienie konstytucyjnej ochrony życia człowieka przed narodzeniem i wzmocnienie jego pozycji prawnej, najlepsza, choć nie pozbawiona usterek, była zaproponowana przez Komisję zmiana brzmienia art. 30 prowadząca do formuły: „Źródłem wolności i praw człowieka i obywatela jest przyrodzona i niezbywalna godność człowieka, przynależna mu od chwili poczęcia. Jest ona nienaruszalna, a jej poszanowanie i ochrona jest obowiązkiem władz publicznych.”. Na podstawie odrzucenia propozycji zmian trudno wyciągać wnioski istotne dla interpretacji aktualnie obowiązujących przepisów; wniosek, że ustrojodawca nie chciał wzmocnienia konstytucyjnej ochrony życie nie jest prawomocny, przede wszystkim ze względu na – istotne w procesie podejmowania decyzji o odrzuceniu propozycji zmian – wątpliwości, co do formalnej poprawności formułowanych propozycji, w tym wątpliwości co do konsekwencji prawnych ich przyjęcia. (shrink)

Celem opracowania jest dookreślenie tego, czym jest prywatność. Interesuje mnie prywatność w aspekcie nor¬matywnym, jako coś, co uważamy za nasze dobro; coś, czego się domagamy, co jest naszym prawem, i to nie tylko w sensie moralnym, ale także chronionym prawem pozytywnym. Prywatność jest czymś relacyjnym, i to przynajmniej w dwojakim znaczeniu. Po pierwsze, konstytuowana jest poprzez relację oddzielenia od czegoś - państwa, zakładu pracy (pracodawcy), rozmaitych instytucji. Po drugie, to, co prywatne z punktu widzenia jednych relacji - np. relacji jednostki (...) do państwa, do sprawowanych urzędów - nie musi być prywatne z punktu widzenia pracy zawodowej. Prywatność nie jest oparta na prostej opozycji pomiędzy tym, co społeczne, grupowe, a tym, co osobiste, indywidualne; podmiotem prywatności może być podmiot zbiorowy i nie wobec każdej grupy społecznej można się sensownie domagać prywatności. Prywatność pozwala w pełni dysponować tym, co „moje”. Sfera prywatna daje szczególne możliwości realizacji moich własnych celów, uzyskuję przestrzeń indywidualizacji, realizacji siebie jako niepowtarzalnej jednostki, której też sam jestem autorem. W sferze prywatnej podmioty stają się też podmiotami tworzącymi przestrzeń normatywną, uznając reguły rozpoznawane jako wyraz tego, co naturalne, zastane, i tworząc lub współtworząc z innymi uczestnikami tej sfery własne reguły, realizując przez to istotny wymiar autonomii osoby. Prywatność daje wreszcie przestrzeń dla rozwoju relacji ściśle osobowych, opartych na wyłączności tego, co między osobami się rozgrywa. Mając na uwadze zbieżność dążenia do ograniczania prywatności z wprowadzaniem elementów totalitarnych, można także zauważyć, że ochrona prywatności nie tylko chroni jednostki, ale i potrzebna jest sferze publicznej jako jeden ze środków przeciwko wadom rozwiązań totalitarnych. (shrink)

Childhoods in contemporary Kenya are entangled with discourses of care in a post-colonial landscape. Such imaginaries of childhoods through discourses of ‘care’ and ‘charity’ are well established through Western lenses. Another lens that is often enacted is the lens of de-commercialised, un-spoilt, pure and innocent childhoods in the Kenyan landscape. In this study, the authors utilize Nel Nodding’s concept of an ethics of care, and a feminist lens, to explore this binary of Western views through real experiences of childhoods. This (...) paper provides an analysis of childhoods as lived experiences in Kenya, and challenges constructions of children/childhoods as vulnerable, based upon observations and interviews conducted in Kenya in the remote area of Kwale County. (shrink)

The material subject of Catholic social science is man and his actions taken in the fields of politics, the economy and society. According to its rules each person should be engaged in building the world through the realization of his or her vocation. One kind of vocation might be leading people by acting in accordance with the Gospel and teachings of the Church. The most important values for the leader in this case would be: respect for human dignity and human (...) rights, freedom, justice, the subsidiarity principle and cooperation due to creating the common good. The listed rules are realized by servant leadership, the idea functioning in the field of management that derives its origins from Christ’s speech: whosoever will be chief among you, let him be your servant (Mt 20:27). (shrink)

Consistent application of dialectical materialism leads Marxism-Leninism to the assertion that matter is infinite in its properties. However, the history of physics shows that the various levels of matter possess geometric dimensions that originate at the lowest level and continue through the others. The search for absolute natural constants -- which Planck called the most pleasant task of physics -- shows the conviction of the physicists that there is a limit to the parameters, a limit beyond which matter is no (...) longer divisible. (shrink)

This paper puts forward the problem of singularity – one of the most important issues in contemporary cosmology. Firstly, the history of “singularity” concept and basis of Penrose’s and Hawking’s theorem of singularity are discussed. Secondly, the problem of singularity is presented as a genesis of search of quantum theories of the beginning of the Universe, in which the concept of singularity is not present. One sophisticated concept of Hartle and Hawking is presented, in particular the authors’ methodology is described. (...) The paper shows many possible philosophical problems which are connected with quantum cosmology. (shrink)

Logic, language and information integration is one of areas broadly explored nowadays and at the same time promising. Authors use that approach in their 8 years long research into Structured Semantic Knowledge Base System. The aim of this paper is to present authors idea of system capable of generating synergy effect while storing various type of information. The key assumption, which has been adopted, is the thesis that the attempt to find universal way of the reality description is very inefficient (...) solution. Combination of several solutions into one system must be based on the principle of supporting rather than on redundancy, ambiguity or mutual antagonism areas of logic, language and information. Natural language processing in the context of logics or information processing is ineffective, not to say pointless in the means of certainty. It is simply caused by the fact that natural languages have been formed long time ago as the main communication channel, rather than for automatic information processing. It was one of the reasons that logic has been founded as the universal language of mathematics and formalized communication in more extensive sense. Information processing however brought more sophisticated problems that mathematics could not smoothly solve, what made computer science appear. Studies over artificial intelligence revealed even more complex issues to solve. The unity of those three areas: logics, language and information is a necessity to acquire complementarity and synergy. (shrink)

The paper deals with several problems concerning with notion of truth. The author is interested in logical aspects of the definition of truth given by Ajdukiewicz and Kotarbinski. He introduces the multimodal logical calculus with propositional quantifier and applies it to analysis of some formulations of the definition. The analysis is focused on two main formulations of the definition, namely on absolute and partial formulation. It is shown that the notion of truth specified by absolute formulation is unconstructive i.e. it (...) is possible to state that some utterance is true without stating any sentence which express the propositional content of the utterance. On the other hand after the partial formulation the notion of truth seems to have some counterintuitive features, for example the falsehood is no longer the same as the lack of truth. Moreover only the absolute approach leads to difficulties connected with the Liar Paradox. (shrink)

The article deals with philosophical issues concerning abstraction and concreteness, focusing on selected ontological and logical-ontological threads of this dif ficult and intricate problem. Thus, it will concern first of all abstract and concrete objects, and only then abstract representations and judgments and concrete representations and judgments. The subject of interest will also be the process of abstraction and the relations that take place between abstract objects such as features or relations, pure qualities, and ideal objects.

Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...) previous nonmonotone rule systems papers ), this applies equally to truth maintenance systems and default logics. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...) Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

History and the philosophy of science have played a very important role in dialectical materialism; their results have been destined to support the correctness of the ideas of Marxist philosophers, especially in their application in historical materialism.From this point of view, the circumstances of the origin of the works of the Marxist classics cannot be neglected: Engels wrote hisDialectics in Nature in the period of classical physics, and Lenin published hisMaterialism and Empirio-Criticism at the beginning of the 20th century when (...) our modern physics first began: shortly before the publication of Lenin's book, Röntgen and Becquerel discovered new kinds of radiation, Balmer published his ideas concerning the regularity of the hydrogen spectrum, Plank wrote his first articles about the elementary quantum and Einstein published his three famous articles (1905). (shrink)