The ternary, not binary, Kripke-type relation on a set of possible worlds is an essential part of the semantics of entailment by Routley-Meyer [2]. The unpopularity of such approach among many logicians is due to its intuitive vague content and complexity. An attempt is made to use not one ternary relation but two binary relations and necessity of bibinarness is demonstrated. It is shown that both semantics are equal hence the soundness and completeness of the system R of entailment can (...) be established with the respect to the bibinary semantics. Furthermore, the ternary semantic with discrete matrix for Lukasiewicz system Lℵ0 , which was proposed in [3], could be transformed into the bibinary one and it leads to the conclusion of the completeness and soundness of Lℵ0 with the respect to the bibinary semantic. The brief consideration of the bibinary semantic intuitive content is added, which further logical study could be based on. (shrink)

The article analyzes literature addressing the problem of reality in modern anti-realist theories. The purpose of the review is to expand the circle of researchers, including not only representatives of analytical philosophy, but also those of the phenomenological tradition, since the principle of phenomenological reduction corresponds to the general conceptual attitude of anti-realists, and in methodological terms, phenomenology more consistently implements the program of anti-realism. The principle of anti-realist philosophy is shown as exemplified in solutions of the “difficult problem of (...) consciousness” within analytical philosophy and also in the development of a phenomenological attitude. Such a combination of two, by far the most respectable, philosophical schools makes it possible to more accurately determine the contribution of theorists of both directions to the theory of reality, to identify problematic nodes, internal disagreements and points of intersection of the ideas of phenomenologists and representatives of analytical philosophy in understanding the nature of reality. The works of modern researchers of the problems of reality R. Berghofer, V. Vasyukov, Ya. Ishihara, V. Ladov, L. Makeeva, R. Pils, A. Fursov, D. Chalmers and many others, as well as the works of E. Husserl, W. Quine, H. Putnam’s works, which have become philosophical classics, allow us to clarify the ideas about reality that have developed in the anti-realist discourse from different sides. New studies of the principle of phenomenological reduction by Yu. Himanka and the origins of the formation of phenomenological philosophy by N.V. Motroshilova make it possible to clarify the contribution of phenomenologists to the anti-realist tradition. (shrink)

V. C. Chappell; IV*—Stuff and Things, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 61–76, https://doi.org/10.1093/aristotelia.

We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

Illness and hospitalization are sources of vulnerability; they arguably endow nurses and midwives with the moral obligation to develop caring relationships with patients. Fairness and the equal treatment of patients are central to moral practice; current government publications are giving this political emphasis. This article argues that patient partiality is one factor that may result in insidiously unequal caregiving. Data generated during a qualitative study into professional caring suggest that patient partiality is an accepted part of everyday practice. Factors such (...) as the patient’s personality, nurse-patient familiarity and the perceived level of patients’ understanding and interest in their illness emerged as possible sources of partiality and influence on practitioners’ interactions with patients. The article argues that patient partiality can be managed morally if practitioners develop self-awareness and constantly reflect on the moral integrity of everyday practice. Throughout the article, unless it is stated that specific reference is being made to either nurses or midwives, reference to a nurse or practitioner denotes both. It is also emphasized that no implication is intended that any study participants provided unequal care. Rather, data are utilized solely to generate focused discussion around the concept of patient partiality. (shrink)

In a range of human sciences, the human relationship to nature has often been viewed as driven fundamentally by religious, philosophical, political, and scientific ideas as well as values and norms about nature. As others have argued before, the emphasis on ideas and values faces serious problems in heeding the structural, socioeconomic quality of the human relationship to nature and thereby the deeply problematic structural character of the human environmental burden. At the same time, alleviating the structural environmental burden generated (...) by global industrial market society represents arguably the single most challenging task in addressing environmental problems. Critically explicating the tendency of our intellectual culture to produce ideological and psychologistic explanations of human ecologically consequential action, and human action more generally, can clarify the notion of the cultural causes of environmental problems and the character of the human collective causing them. Only a structuralist point of view can accommodate the diversity of our positions and perspectives toward nature in the global context in which environmental problems are caused. (shrink)

We give an explicit axiomatic formulation of the quantum measurement theory which is free of the projection postulate. It is based on the generalized nondemolition principle applicable also to the unsharp, continuous-spectrum and continuous-in-time observations. The “collapsed state-vector” after the “objectification” is simply treated as a random vector of the a posterioristate given by the quantum filtering, i.e., the conditioning of the a prioriinduced state on the corresponding reduced algebra. The nonlinear phenomenological equation of “continuous spontaneous localization” has been derived (...) from the Schrödinger equation as a case of the quantum filtering equation for the diffusive nondemolition measurement. The quantum theory of measurement and filtering suggests also another type of the stochastic equation for the dynamical theory of continuous reduction, corresponding to the counting nondemolition measurement, which is more relevant for the quantum experiments. (shrink)

Мета роботи полягає у постметафізичній концептуалізації суб’єкта у клінічному дискурсі філософської антропології. Теоретичний базис дослідження поєднує засоби дискурсивної аналітики і загальні принципи історико-філософської науки. Логіка дослідження збігається із парадигмальним розумінням трансформацій суб’єкта та передбачає перехід від діагностичних стратегій аналізу індивідуального буття як основи патологічності суб’єкта до дослідження терапевтичних моделей концептуалізації комунікації як детермінанти патології та, нарешті, до аналітики суб’єкта в горизонті полісуб’єктної соціальності. Наукова новизна полягає у розкритті основних антропологічних моделей суб’єкта, що відповідають функціям діагностики й терапії. Показано, що, попри (...) революційність певних проектів, що дозволяє їх віднести до постметафізичних, у них залишаються рецидиви метафізичності, які існують в образі суб’єкта, що мислиться як основа справжності. Відповідно до критеріїв практичної імплементації ключовою є трансформація теорій суб’єкта, орієнтованих на самопокладання і автономію, у концепції, сфокусовані на відповідальності, турботі про суще і здійсненні у якості людини. Висновки. Доведено, що образ посткласичного суб’єкта, зосередженого на ідеалі власної автентичності, мусить діагностуватися як патологічний. Показана недоцільність акцентуації виключно на дискурсивності, розмові, результатом якої стає ствердження незалежності внутрішнього, хоч і маргінального світу девіантного суб’єкта. Обґрунтована необхідність доведення проблеми до логіки соціальної взаємодії, у якій виникає та форма смислової організації феноменів, що є нормальною структурою життєвого світу і на основі якої виникає повноцінний суб’єкт із уявленнями про власну самодостатність, і з турботою про суще. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

We study increasing F-sequences, where F is a dilator: an increasing F-sequence is a sequence (indexed by ordinal numbers) of ordinal numbers, starting with 0 and terminating at the first step x where F(x) is reached (at every step x + 1 we use the same process as in decreasing F-sequences, cf. [2], but with "+ 1" instead of "- 1"). By induction on dilators, we shall prove that every increasing F-sequence terminates and moreover we can determine for every dilator (...) F the point where the increasing F-sequence terminates. We apply these results to inverse Goodstein sequences, i.e. increasing (1 + Id) (ω) -sequences. We show that the theorem every inverse Goodstein sequence terminates (a combinatorial theorem about ordinal numbers) is not provable in ID 1 . For a general presentation of the results stated in this paper, see [1]. We use notions and results concerning the category ON (ordinal numbers), dilators and bilators, summarized in [2, pp. 25-31]. (shrink)

Издание представляет результаты исследования малоизученной темы социально-экономических доктрин консерватизма. Оно отражает их развитие от времени выражения их в виде утопий, погруженных в более общие социально-философские и политические учения.