Jaśkowski’s discussive logic D2 was formulated with the help of the modal logic S5 as follows (see [7, 8]): \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A \in {D_{2}}}$$\end{document} iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\rm S}5}$$\end{document}, where (–)• is a translation of discussive formulae from Ford into the modal language. We say that a modal logic L defines D2 iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm D}_{2} = (...) \{A \in {\rm For^{\rm d}} : \ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\it L}\}}$$\end{document}. In [14] and [10] were respectively presented the weakest normal and the weakest regular logic which (†): have the same theses beginning with ‘\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamond}$$\end{document}’ as S5. Of course, all logics fulfilling the above condition, define D2. In [10] it was prowed that in the cases of logics closed under congruence the following holds: defining D2 is equivalent to having the property (†). In this paper we show that this equivalence holds also for all modal logics which are closed under replacement of tautological equivalents (rte-logics).We give a general method which, for any class of modal logics determined by a set of joint axioms and rules, generates in the given class the weakest logic having the property (†). Thus, for the class of all modal logics we obtain the weakest modal logic which owns this property. On the other hand, applying the method to various classes of modal logics: rte-logics, congruential, monotonic, regular and normal, we obtain the weakest in a given class logic defining D2. (shrink)

In this paper we present a comparison of certain inconsistencyadaptive logics and Jaśkowski’s logic.

The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts, of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.

The years in which Piłsudski headed the Polish state marked his “golden age” in Polish history, a period considered as the least controversial in his career despite the failure of his federation concept and troubles with Polish national leaders in the west, especially Upper Silesia. Piłsudski’s achievements in those years are numerous and important, they include among others: the definition of Poland’s borders after military victories over the Ukrainian, Bolshevik and Lithuanian armies and in result of insurgencies in Wielkopolska and (...) Silesia, the securement of international recognition for Poland, the construction of parliamentary democracy and local government, the promotion of a national service ethos through schools, the church, the armed forces and the media. (shrink)

Pediatric cancer can be considered an event potentially leading to posttraumatic stress symptoms as well as posttraumatic growth. While clinically significant levels of PTSS are rare in childhood cancer survivors, PTG is common in this population. However, the relationship of PTG to overall adaptation and quality of life in pediatric cancer patients is not clear. Therefore, our study aims to analyse the relationships of PTSS and PTG with QOL in childhood cancer survivors. In this study, 172 childhood cancer survivors completed (...) measures of quality of life, posttraumatic stress and posttraumatic growth. Correlation analyses were carried out separately for the child and adolescent groups and each QOL dimension. In the adolescent group, the relationship of PTSS and PTG with QOL was further verified by regression analyses while controlling for age, gender, and time off treatment. In children, negative relationships between PTSS and QOL were found, but the relationships between QOL and PTG were not significant. In adolescents, significant relationships were found for all dimensions of QOL and PTSS and also for several dimensions of QOL and PTG. The relationships between PTSS and QOL dimensions were negative in both groups, and the relationships between PTG and QOL in the adolescent group were weakly positive. In adolescents, regression analyses controlling for age, gender and time off treatment were performed and confirmed a negative relationship of PTSS with all QOL dimensions except for social functioning. For PTG, regression analyses revealed a significant positive relationship with QOL dimensions of social functioning, outlook on life and intimate relations. While the relationship between PTSS and QOL is negative for almost all QOL dimensions in children and adolescents, the nature of the relationship between PTG and QOL appears to be more complex and changing over time. PTG in children may reflect different processes with different outcomes than PTG in adolescents. (shrink)

The present paper consists of two parts. In the first, some issues related to the character of biological experiments conducted under in vitro cultures are portrayed. The relevant aspects of these procedures are explicated from the viewpoint of the experimental botanist. It is a case study for the considerations in the second part, which presents selected philosophical and legal issues involved in biological experiments from the general perspective of philosophical investigations concerning the problem of plants’ axiology. Obviously, the nature of (...) the considerations is limited; not all important questions from the perspective of biology and philosophy have been raised. Nevertheless, the authors hope that the analyzed issues may be interesting for both biologists and philosophers. (shrink)

The term ontology of cognition is introduced to promote a neo-Kantian approach to epistemological questions. Following the discussion of some aspects of philosophy of cognitive subject authors claim that the most appropriate approach requires turning attention to a whole human species as a governed by the evolution rules collective, cognitive subject rather than individual one.

In this paper I would like to argue that Stoic logic is a kind ofrelevant logic rather than the classical logic. To realize this purpose I willtry to keep as close as possible to Stoic calculus as expressed with the helpof their arguments.

Artykuł jest odpowiedzią na polemikę Stanisława Ruczaja z argumentem z Wcielenia, który został zaprezentowany w książce Ukrytość i Wcielenie. Teistyczna odpowiedź na argument Johna L. Schellenberga za nieistnieniem Boga. Ruczaj zarzuca tzw. obronie inkarnacyjnej, że nie rozważa ona możliwości, zgodnie z którą Bóg jest zarazem wcielony, jak i nieukryty. W niniejszym artykule koncentruję się na uzasadnieniu, dlaczego uważam, że jest możliwe, iż owa opcja jest dla Boga wykluczona. Według mnie istnieją racje przemawiające za tym, że jest ona (a) logicznie sprzeczna, (...) (b) niespójna z doskonałym moralnie charakterem Boga, (c) nie skutkowałaby wyeliminowaniem niewiary bez oporu we Wcielenie. (shrink)

W projekcie badawczym, który w zamyśle będzie składał się z dwóch merytorycznie i logicznie powiązanych artykułów, formułujemy taki schemat pojęciowy, w którym adekwatna staje się charakterystyka struktur fraktalnych w kategoriach filozoficznej koncepcji emergencji. W pracy pierwszej przedstawiamy główne idee filozofii emergencji oraz dokonujemy prób uchwycenia w procesie generowania fraktali jednostek emergentnych. Pozostajemy jednak w obrębie klasycznego rozumienia badanej relacji. W pracy drugiej, na podstawie zademonstrowanych słabości ujęć klasycznych, jako niewystarczających w specyficznym kontekście badanych struktur matematycznych, pokazujemy, że dyskurs nad emergencją (...) w matematyce staje się sensowny i uprawniony w ugruntowanym w filozofii nauk formalnych quasi-empirycznym podejściu do niektórych zagadnień w matematyce. (shrink)

The article concerns the situation of the judicial application of the law where the entity applying the law refers in a decision-making process to moral principles. The decision should be based on the directives of interpretation, which indicate the need for such a determination of the meaning of the applicable norms so that it remains in harmony with commonly accepted moral rules of the society. The equity has one more purpose; namely, it allows for the process of decision-making—and not just (...) for the process of unifying the decisions—since the mere rule does not specify the algorithm of undertaking them. This rule thus assumes that it will be further specified by phronesis judge who in a given situation will determine—for the purposes of a particular decision—a hierarchy between the criteria of substantive justice “embedded” in this rule. The reference to equity stands for the concretization of an unspecified general rule. We deal here with an indefinite general rule, the application of which is facilitated by a reference to rightness. (shrink)

Despite recent close attention to issues related to the reliability of psychological research (e.g., the replication crisis), issues of the validity of this research have not been considered to the same extent. This paper highlights an issue that calls into question the validity of the common research practice of studying samples of individuals, and using sample-based statistics to infer generalizations that are applied not only to the parent population, but to individuals. The lack of ergodicity in human data means that (...) such generalizations are not justified. This problem is illustrated with respect to two common scenarios in psychological research that raise questions for the sorts of theories that are typically proposed to explain human behavior and cognition. The paper presents a method of data analysis that requires closer attention to the range of behaviors exhibited by individuals in our research to determine the pervasiveness of effects observed in sample data. Such an approach to data analysis will produce results that are more in tune with the types of generalizations typical in reports of psychological research than mainstream analysis methods. (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)

We give a procedure for counting the number of different proofs of a formula in various sorts of propositional logic. This number is either an integer (that may be 0 if the formula is not provable) or infinite.

This study reviews the current information concerning the measurement of the situation awareness (SA) of the teleoperated drivers of remotely controlled cars. The teleoperated drivers who drive these cars are in a remote location, and they control the cars through a communication interface. The objective methods with probes are beneficial in measuring SA on a closed circuit without real traffic. Questions specifically should address the information provided on the road by haptic sensations, such as the slope of the road and (...) the vehicle's speed. Methods for measuring SA that involve probes and interruptions obviously are not suitable for use on public roads. A stable environment for the display and control of the communication interface is suitable for an eye tracker in measuring SA. These features also facilitate the use of subjective observer-rating methods. Both of these methods are suitable for driving on real roads because they are not intrusive. SA research in a real-road environment also should demonstrate how the SA of other drivers is affected by seeing a car without a driver. Given the remote character of driving, cultural differences in cognition may have a significant influence on the SA of the teleoperated driver. (shrink)

While traditionally identified as a practice-based endeavour, the many dimensions of teacher education raise important philosophical issues that emphasise the centrality of ethics to questions of relationality and professional practice. This second volume of the Educational Philosophy and Theory reader series demonstrates the continuing relevance of philosophical approaches to the field of teacher education. The collection of texts focuses on a wide range of topics, including teacher education in a cross-cultural context, the notion of unsuccessful teaching, democratic teacher education, the (...) reflective teacher, the ethics and politics of teacher identity, and subjectivity and performance in teaching. Chapters also explore teacher education based on experiential learning as ‘experience’, demonstrating the continuing relevance of philosophical approaches to the field. In Search of Subjectivities will interest academics, researchers and postgraduate students in the fields of philosophy of education, philosophy, education, educational theory, teacher education, experiential philosophy, ethics, policy and politics of education, and professional practice. (shrink)

Celem, jaki stawiamy sobie w drugiej części naszego filozoficznego dyptychu, jest próba podjęcia dyskusji nad usytuowaniem refleksji o charakterze metaprzedmiotowym dotyczącej struktur fraktalnych w klasycznej problematyce filozofii matematyki. Pokażemy, że struktury fraktalne prowadzą do istotnego poszerzenia wskazanej problematyki poza tradycyjne ramy wyznaczane przez pytania o naturę obiektów matematycznych (ontologia matematyki) czy status wiedzy matematycznej ( epistemologia matematyczna). Interesują nas specjalnie dwie kwestie: (1) czy, i w jakim sensie, proces generowania struktur fraktalnych świadczy o quasi-empirycznym charakterze tzw. nowej matematyki; (2) czy (...) rozwijana w filozofii koncepcja emergencji nadaje się jako narzędzie badawcze do charakterystyki własności wspomnianych struktur. (shrink)

The author proves that rejecting the existence of permissive norms and limitation of norms to prohibitions and commands alone is possible only with reducing the idea of a function. The essence of the function is then the ability of the expression to generate independently the universal norm formation. Such manipulation is easy on the level of logical analysis, but proves risky from other points of view. If we want the deontic logic, which we construct, to consider the fact that permission (...) is pragmatically necessary for the law-maker to convey his normative preferences, we must solve the consequences of the adopted structure of the function of norms, which originate on the socio-linguistic level. It appears, however, that due to a lack of a pragmatic theory useful for lawyers, there is no proof that the pragmatically strong permission can be expressed by means of a lot of prohibitions and commands (dos and don’ts). Besides, reducing permissions only to the language of legal rules is an obligation to accept the structure of an act of communication, which can find its full motivation in the Husserl’s structure of the direct cognition. (shrink)

In his life and work, Leszek Kołakowski traversed many paths, some more and some less well-known. The main focus here is on Kołakowski’s involvement in what one may call an anthropological variant of philosophy of culture. Anthropological philosophy of culture bases on the following assumptions:1. Human conduct is determined by culture. There is neither humanity without culture nor culture without humans.2. Human conduct is by nature referential, in other words, the factual alone is not enough for humans who tend to (...) reach beyond it in their search for the most elemental and ultimate truths.3. Culture is a dynamic phenomenon and a challenge on the path to self-awareness.4. Axiological sensitivity.5. The culture philosopher is immersed in the culture he studies and, by revealing that which it conceals, is a source of reflection on this culture. All these assumptions lie at the core of the philosophy of Leszek Kołakowski. (shrink)

The paper deals with the state of the social sciences after the boom of internet services in the Czech Republic in the 1990s. The results of our survey, based on 512 responses from the economics and history departments of major Czech public universities, show that internet services are considered a quality factor for academic output; however, the issues of plagiarism, a lack of resource criticism, inadequacy of impact factor-based evaluations, poor academic training for the new generation of social scientists, the (...) failure of state academic policy, and the generation gap make further development in the Czech social sciences rather problematic. As a result we recommend creating a better communication link between policy makers and scholars, reforming the current state policy which encourages lower quality academic output, and improving academic training, which requires a more individual approach, and also placing higher demands on social scientists. (shrink)

Artykuł podejmuje polemikę z obiegowym rozumieniem tolerancji. Autor podkreśla znaczenie podziału na tolerancję jako postawę i na dyskursy o tolerancji. Następnie, w nawiązaniu i częściowo w dyskusji z koncepcją tolerancji zaproponowaną przez Iję Lazari Pawłowską, przedstawione jest rozróżnienie trzech odmian tolerancji, a także rozróżnienie odpowiednich trzech odmian nietolerancji. Rozważane są również niektóre paradoksy związane z tolerancją oraz ze zwalczaniem nietolerancji.

Kuala Lumpur is a diverse city representing many different religions and nationalities. Recent government policy has actively promoted unity and cohesion throughout the city; and the country of Malaysia, with the implementation of a programme called 1Malaysia. In this book, the authors investigate the aims of this programme – predominantly to unify the Malaysian society – and how these objectives resonate in the daily spatial practices of the city’s residents. -/- This book argues that elements of urban infrastructure could work (...) as an essential mediator ‘beyond community’, allowing inclusive social structures to be built, despite cultural and religious tensions existing within the city. It builds on the premise of an empirical study which explores the ways in which different communities use the same spaces, supported through the implementation of a theoretical framework which looks at both Western and Islamic conceptualisations of the notion of community. Through the analysis of Kuala Lumpur, this book contributes towards the creation of more inclusive places in multi-ethnic, multi-cultural and multi-religious communities across the world. (shrink)

Zaionc, M., λ-Definability on free algebras, Annals of Pure and Applied Logic 51 279-300. A λ-language over a simple type structure is considered. There is a natural isomorphism which identifies free algebras with nonempty second-order types. If A is a free algebra determined by the signature SA = [α1,...,αn], then by a type τA we mean τ1,...,τn→0 where τi=0αi→0. It can be seen that closed terms of the type τA reflex constructions in the algebra A. Therefore any term of the (...) type n→τA defines some n-ary mapping in algebra A. The problem is to characterize λ-definable mappings in any free algebra. It is proved that the set of λ-definable operations is the minimal set that contains constant functions and projections and is closed under composition and limited recursion. This result is a generalization of the result of Schwichtenberg and Statman which characterize the λ-definable functions over the natural number type →, i.e algebra [1, 0], as well as of the result of Zaionc for λ-definable word operations over type n→, i.e algebra [1,...,1,0], and of the results about λ-definable tree operations , i.e in algebra [2, 0]. Some of the examples in Section 5 are based on a publication of Zaionc. (shrink)

Public education is not just a way to organise and fund education. It is also the expression of a particular ideal about education and of a particular way to conceive of the relationship between education and society. The ideal of public education sees education as an important dimension of the common good and as an important institution in securing the common good. The common good is never what individuals or particular groups want or desire, but always reaches beyond such particular (...) desires towards that which societies as a whole should consider as desirable. This does, of course, put the common good in tension with the desires of individuals and groups. Neo-liberal modes of governance have, over the past decades, put this particular educational set up under pressure and have, according to some, eroded the very idea of the common good. This set of contributions reflects on this state of affairs, partly through an exploration of the idea of publicness itself – how it can be rearticulated and regained – and partly through reflections on the current state of education in the ‘north’ and the ‘south.’. (shrink)

The article exhibits the problem of God\'s action in the world as it is presented in process philosophy. Whitehead conceived actuality as heterogenical category within which we can distinguish two modes: actuality of being and actuality of becoming. The second one is the actuality in primary sense; there is ontological primacy of becoming over being. Being is, according to J. L. Nobo\'s interpretation, a product of becoming and not vice versa. Actuality of being depends on being-for-becoming. Actuality of becoming depends (...) on prehending being into subjective immediacy of internal process of concrescence. Because of subjective character of becoming, an entity which is still becoming, cannot be prehended. It means that entity cannot play any role in becoming of other entities. Only entity whose process of concrescence has completed, entity which is in fact being, can play such a role. If God is a main exemplification of becoming, as primary actual, He is imprehensible. He cannot be objectified and His actuality is only actuality of subjective arrested immediacy. He cannot influence the world. Many process philosophers tried to solve the dillema. One of them is Lewis S. Ford whose proposal depends on introducing the third mode of actuality: the future creativity. But Ford does not consider basis of that temporal paradigm of actuality and doesn\'t examine its justification. So what we need is a reconstruction of Whitehead\'s philosophy which will let us check his ontological, epistemological and methodological presuppositions and asses whether the temporal paradigm is justified, whether the God-world problem really arises and whether it is possible to solve it in terms of process theory of actuality. (shrink)

Bell’s theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the Einstein–Rosen–Podolsky argument occurs if there exists an ‘element of reality’ but nevertheless addition of complementary results is impossible because they are represented by elements from different arithmetics. A naive mixing of arithmetics leads to contradictions at a much more elementary level than the (...) Clauser–Horne–Shimony–Holt inequality. (shrink)