For nearly 80 years Biblical gardens have been present in the natural and cultural landscape. The first gardens came into existence in the US. The idea to create such gardens spread from the US mainly across Europe, Australia and Israel. These gardens are being made all the time; recently we have observed their dynamic development. This study is to show the effects of the 20 years long scientific work to formulate the original genesis of the Biblical garden idea. The characteristics (...) of 64 facilities situated in 14 countries has been presented for the first time so widely. This enabled us to show both the history of these gardens and how they are situated in the cultural and social context. The effect of various factors inspiring people of various professions to create Biblical gardens both near sacral buildings and within the secular areas has been evidenced. Biblical gardens exercise the principles of gardens of senses and learning gardens. And it is the highly developed semantic layer that makes them stand out. (shrink)

What duties do people have in the face of noncompliance of others with their duties? The paper defends the duty to take up the slack when slack taking is necessary to assist those in dire need. This duty has been criticized by J. L. Cohen, Liam Murphy and, more recently, David Miller. The duty is defended against arguments that appeal to the structure of the duty to aid, fair shares, responsibility, counterintuitiveness, and perverse consequences. The paper considers the implications of (...) the duty for the case of aiding refugees. (shrink)

For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic (...) logic of one variable with implication and negation. The result is obtained by reducing the problem to the same one of Dummett's intermediate linear logic of one variable (see [2]). Actually, this paper shows the exact density of intuitionistic logic and demonstrates that it covers a substantial part (more than 93%) of classical prepositional calculus. Despite using strictly mathematical means to solve all discussed problems, this paper in fact, may have a philosophical impact on understanding how much the phenomenon of truth is sporadic or frequent in random mathematics sentences. (shrink)

In _Genealogy of Obedience_ Justyna Włodarczyk provides both a historical account of the changing methods of dog training in America since the 1850s and theoretical reflections on how the understanding of training has been entangled in conceptualizations of race, class and gender.

Following wars, what requirements, if any, of remembrance do we – those who live in peacetime – have? On whom do they fall? Who must be remembered? How should they be remembered? Fabre offers us an account of remembrance that answers some of those questions and provides a helpful framework for working through the others. It is philosophically nuanced as well as attuned to the complexity of war and informed by actual commemorative practices. In this article, however, I expand Fabre's (...) list of desiderata that a good account of war remembrance must meet. I argue that Fabre's account needs to be refined and, at least in one respect, revised in light of these new desiderata. (shrink)

John Rawls tells at the start of A Theory of Justice that his theory is intentionally constrained in two ways: it is ideal and focuses on the justice of the basic structure of society. This chapter begins by evaluating Rawls's claim that ideal theory sets the target of reform for nonideal theory, whose task it is to work out what to do “under less happy conditions.” It states that it is unclear just when ideal theory can inform the priorities of (...) nonideal theory. The chapter also presents discussions on whether the ideal theory is utopian and concessive to human nature. Even the kind of nonideal theory that delivers concrete action‐guidance for “us” remains unhelpfully ideal if it does so merely in the form of policies or institutional arrangements. (shrink)

Individuals in dating and marital relationships experience various transgressions that require forgiveness (e.g., hurtful communication, mistrust, lies, or infidelity). This study examines forgiveness-granting strategies in the context of forgiveness tendency, relationship length, commitment, satisfaction, and relational consequences to better understand relationship dynamics. 649 individuals (532 dating, 117 married), aged 18–65 (M = 26.00, SD = 8.82) participated. The sample included 517 women (79.7 %) and 132 men (20.3 %). Participants described a forgiven transgression and completed questionnaires, including the Multidimensional Forgiveness-Granting (...) Scale (MFGS), Transgression-Related Interpersonal Motivations Inventory (TRIM-18), Relationship Assessment Scale (RAS), and the commitment subscale from the Investment Model Scale. One open-ended question (types of forgiven transgressions) was analyzed consensually. Quantitative data were analyzed using correlational analysis, regression analysis, andt-tests. The most common transgression was infidelity. A linear regression analysis showed that the strongest positive predictor of relationship satisfaction was the tendency to forgive one’s partner. Nonverbal displays positively predicted relationship strengthening, while the discussion strategy predicted relationship deterioration negatively. These findings emphasize the importance of how forgiveness is communicated and may inform interventions to enhance romantic relationships. (shrink)

We consider the family of logics from NExt which are determined by linear frames with reflexive and symmetric relation of accessibility. The condition of linearity in such frames was first defined in the paper [9]. We prove that the cardinality of the logics under consideration is uncountably infinite.

The article is an attempt to reconstruct the Stanisław Lem’s views on the relationship between science and faith presented in his The star diaries. The author discusses three stories: The twenty­‑second voyage, The twenty­‑first voyage, and The twentieth voyage. The following questions are considered during the analysis of these novels: Does theology (as depicted by Lem), despite having no competence in the area, attempt to solve scientific problems? Does Lem suggest that Christian claims are potentially falsifiable? Can science lay the (...) foundations of theodicy? The answers to these questions appear helpful in explicating three models of the relationship between science and faith embedded in Lem’s stories: conflict regarding content, conflict regarding form, and cooperation. (shrink)

Is there a duty to do more than one’s fair share of solving collective problems? If there is, can those who do less than their fair share coerce others to do more? These questions arise urgently in relation to the problem of refugee protection. The fact that various states host refugees to a dramatically different extent is due to a range of factors but the most prominent one is that, on the whole, states devote their differential capabilities to the aim (...) of not hosting them. When some states fail to host – or otherwise assist – as many refugees as they should, must other states do more than their fair share in order to solve the problem of providing refugees with an appropriate place to live? I examine what I call the conservative, moderate and responsive answers to this question. I defend the responsive view and argue that there is a duty to do more than one’s fair share here and that such a duty is always enforceable. (shrink)

The use of information technology in linguistic research gave rise in the 1950s to what is known as Natural Language Processing, but that framework was created without paying due attention to the need for logical reconstruction of linguistic concepts which were borrowed directly from barely formalised structural linguistics. The Computer-aided Acquisition of Semantic Knowledge project based on the Knowledge Discovery in Databases technology enabled us to interact with computers while gathering and improving our knowledge about languages. Thus, with the help (...) of data mining tools, as a result of revisiting two sorts of generally admitted linguistic theories, we succeeded in improving these local linguistic approaches by proposing to unify the Associative Semantics theory with the Meta-Informative Centering theory. The resulting Distributed Grammar program treats, in addition to the above types of information, the third one, para-information which – despite many studies – had no uniform theoretical background in general linguistics. This DG program aims to lay the foundations for creating the theoretical background of Conceptual Linguistics. (shrink)

The two main questions addressed in the chapter are “What is the point of (good) nonideal theory?” and “Can (good) nonideal theory be done in isolation from ideal theory?” To address them, I distinguish between different types of nonideal theory and locate nonideal theory vis‐à‐vis ideal theory as well as realism and applied philosophy. I argue that nonideal theory is useful but some of its versions need to concede that they are defeatist. I also argue that nonideal theory builds on (...) ideal theory, though not in all the ways suggested by defenders of ideal theory. (shrink)

The dead are among us. We are reminded of their names through the books we read, the hoovers we buy, the sandwiches we consume, the tarmac we travel on, the wellingtons we wear, or, frequently, the buildings we visit. Even if we settled on the criteria for being worthy of commemoration, what should we do about the fact that there seem to be so many people who would likely meet them? Commemoration is a form of attention giving, and attention is (...) a scarce resource. It is scarce even if it could be permissibly commanded at will. It is even more scarce when commanding attention may violate someone's freedom to decide for themselves where to bestow it. I will argue that when it comes to public commemorative attention, there are duties that fall on us all to remember the now dead victims of injustice. I will also offer reasons for why such duties would normally mean that we need to prioritize the remembrance of the victims of injustice ahead of remembrance that might be owed to those who had expectations of being remembered or even took steps by donations to secure such remembrance. (shrink)

This paper presents a systematic approach for obtaining results from the area of quantitative investigations in logic and type theory. We investigate the proportion between tautologies (inhabited types) of a given length n against the number of all formulas (types) of length n. We investigate an asymptotic behavior of this fraction. Furthermore, we characterize the relation between number of premises of implicational formula (type) and the asymptotic probability of finding such formula among the all ones. We also deal with a (...) distribution of these asymptotic probabilities. Using the same approach we also prove that the probability that randomly chosen fourth order type (or type of the order not greater than 4), which admits decidable lambda definability problem, is zero. (shrink)

Confirmant notamment les analyses de Pascale Casanova dans La République des lettres , Zofia Bobowicz, traductrice et actuellement conseillère éditoriale aux éditions Noir et Blanc, explique dans cet entretien les difficultés de réception rencontrées par la littérature de l'Europe centrale en France, alors qu'il en va tout autrement dans d'autres pays. Connaissant depuis un quart de siècle l'univers éditorial français de l'intérieur, Zofia Bobowicz souligne le rôle joué par la critique littéraire et la conjoncture politique ou culturelle du (...) moment dans la diffusion de cette littérature, et, par voie de conséquence, dans sa traduction.Confirming such analyzes Pascale Casanova in The Republic of Letters , Zofia Bobowicz, translator and editorial consultant currently published by Black and White, explains in this interview the difficulties encountered by receiving the literature of Central Europe France, while it is quite different in other countries. Knowing the past quarter century French publishing world from the inside, Zofia Bobowicz emphasizes the role played by literary criticism and the political and cultural moment in the dissemination of this literature, and, consequently, in its translation. (shrink)

In Utopophobia Estlund offers a prominent version of a conditional account of feasibility. I think the account is too permissive. I defend an alternative incentives account of feasibility. The incentives account preserves the spirit of the conditional account but qualifies fewer actions as feasible. Simplified, the account holds that an action is feasible if there is an incentive such that, given the incentive, the agent is likely to perform the action successfully. If we accept that ought implies feasible, then we (...) should reject some normative requirements on agents that Estlund would accept in light of his more permissive conditional account. But we can still recognise normative requirements on individual and collective agents that, if complied with, would result in a world that is radically better than our own. (shrink)

In this article I challenge the claim that nuclearity is a central principle in the organization of texts. I propose the Framework for the Relational Analysis of Texts which accounts for the paratactic and hypotactic realization of coherence relations. Within this framework, the taxis of coherence relations is co-textually dictated. I consider the writer choices in the distribution of discoursal salience and the intertextual and intercultural variation of these choices. It is suggested that divergence between approaches that perceive text as (...) exhibiting both hypotactic and paratactic organization and those that see nuclearity as a basic characteristic of text structure arises from differences in the linguistic corpora examined during the construction of respective theoretical frameworks. (shrink)

This paper is an attempt to count the proportion of tautologies of some intermediate logics among all formulas. Our interest concentrates especially on Medvedev’s logic and its fragment over language with one propositional variable.

Artykuł ukazuje problematykę ochrony życia w myśli ekofilozoficznej. Autorka próbuje odpowiedzieć na pytanie: co stanowi podstawę etycznego nakazu ochrony życia? Przedstawia ontologiczne podstawy tego imperatywu, obecne w wybranych współczesnych teoriach ekofilozoficznych. Analizuje zarówno kierunki holistyczne, jak i chrześcijańskie. Odnosi się także do pozaeuropejskich źródeł ekofilozofii, nawiązując do filozofii indyjskiej i taoizmu.

Moralne programy rezygnacji ze stosowania przemocy są zjawiskiem zasługującym na wnikliwą uwagę. W swym artykule przyjmuję, że jest moralnie pożądane, aby zakres stosowania tych programów w rozwiązywaniu konfliktów indywidualnych i grupowych ulegał rozszerzaniu. Ponadto zakładam, że najbardziej efektywne, spośród różnych systemów normatywnych regulujących zachowania jednostek w społeczeństwie, są normy moralności potocznej. Jej cechą charakterystyczną jest unikanie skrajności. W artykule staram się wykazać, że postulaty "nonviolence" mogą być traktowane jako program moralności potocznej po odrzuceniu tych programów, które z jednej strony traktują (...) postulat niestosowania przemocy jako kategoryczny nakaz moralny (absolutyzm moralny L. Tołstoja), a z drugiej zaś - w sposób wyłącznie instrumentalny (propozycje M. Lernera). (shrink)