This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].

The inverse of the distance between two structures $\mathscr{A} \not\equiv \mathscr{B}$ of finite type τ is naturally measured by the smallest integer q such that a sentence of quantifier rank q - 1 is satisfied by A but not by B. In this way the space $\operatorname{Str}^\tau$ of structures of type τ is equipped with a pseudometric. The induced topology coincides with the elementary topology of $\operatorname{Str}^\tau$ . Using the rudiments of the theory of uniform spaces, in this elementary note (...) we prove the convergence of every Cauchy net of structures, for any type τ. (shrink)

The inverse of the distance between two structures $\mathscr{A} \not\equiv \mathscr{B}$ of finite type $\tau$ is naturally measured by the smallest integer $q$ such that a sentence of quantifier rank $q - 1$ is satisfied by $\mathscr{A}$ but not by $\mathscr{B}$. In this way the space $\operatorname{Str}^\tau$ of structures of type $\tau$ is equipped with a pseudometric. The induced topology coincides with the elementary topology of $\operatorname{Str}^\tau$. Using the rudiments of the theory of uniform spaces, in this elementary note we (...) prove the convergence of every Cauchy net of structures, for any type $\tau$. (shrink)

We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

Gillett and Huang (2013) rightly stress that societal aspects of psychopathology imply society has responsibilities toward psychopaths. In this commentary, I argue that society should not only take...

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

Whether it is fair to use personal responsibility of patients for their own health as a rationing criterion in healthcare is a controversial matter. A host of difficulties are associated with the concept of personal responsibility in the field of medicine. These include, in particular, theoretical considerations of justice and such practical issues as multiple causal factors in medicine and freedom of health behaviour. In the article, personal responsibility is evaluated from the perspective of several theories of justice. It is (...) argued that in a healthcare system based on both equality of opportunity and solidarity, responsible health behaviour can—in principle—be justifiably expected. While the practical problems associated with personal responsibility are important, they do not warrant the common knee-jerk refusal to think more deeply about responsibility for health as a means of allocating healthcare resources. In conclusion, the possibility of introducing personal responsibility as a fair rationing criterion is briefly sketched. (shrink)

In this paper, the authors have detected a new effect in the area of geomagnetism, related to the behavior of a magnetic dipole freely floating on water surface. An experiment is described in the present paper in which a magnetic dipole fixed upon a float placed on non- magnetized water surface undergoes displacement along with reorientation caused by fine structure of the earth's magnetic field. This fact can probably be explained by secular decrease of the earth's major dipole moment. Further, (...) a detailed study of the phenomenon may create interesting premises for its practical use, particularly for the analysis of fine structure of geomagnetic field and its time-dependent anomalies. A strange behavior of some sea fish species prior to strong earthquakes may be explained if the fish are assumed as 'live magnetic dipoles'. (shrink)

Over his philosophical career, David Wiggins has produced a body of work that, though varied and wide-ranging, stands as a coherent and carefully integrated whole. In this book Ferner examines Wiggins’ conceptualist-realism, his sortal theory ‘D’ and his human being theory in order to assess how far these elements of his systematic metaphysics connect. In addition to rectifying misinterpretations and analysing the relations between Wiggins’ works, Ferner reveals the importance of the philosophy of biology to Wiggins’ approach. This book elucidates (...) the biological anti-reductionism present in Wiggins’ work and highlights how this stance stands as a productive alternative to emergentism. With an analysis of Wiggins’ construal of substances, specifically organisms, the book goes on to discuss how Wiggins brings together the concept of a person with the concept of a natural substance, or human being. An extensive introduction to the work of David Wiggins, as well as a contribution to the dialogue between personal identity theorists and philosophers of biology, this book will appeal to students and scholars working in the areas of philosophy, biology and the history of Anglophone metaphysics. (shrink)

The study aims to identify the efficiency of the university education performance from the perspective of postgraduate and undergraduate students in international and Palestinian universities. The analytical descriptive approach was used for this purpose and the questionnaire was used as a main tool for data collection. The study community consists of: post graduate students, (23850) graduate students and (146355) undergraduate students. The sample of the study was 378 graduate students and 383 undergraduate students. The random stratified sample was used. The (...) Statistical Package of Social Sciences (SPSS) was also used for data analysis. The study reached a number of results, the most important of which are: The level of efficiency of educational performance in Palestinian and international universities from the point of view of postgraduate and undergraduate students was high. And that there are significant differences between the average views of the sample of the study on the efficiency of educational performance in Palestinian and international universities attributed to the University and to the benefit of international universities. The study concluded many recommendations, the most important of which is the necessity of continuing to develop e-learning strategies that affect the efficiency of educational performance and research commensurate with the university's position in the local and international community, which puts it on the best classification between local and international universities through e-learning. (shrink)

The nature of quantum computation is discussed. It is argued that, in terms of the amount of information manipulated in a given time, quantum and classical computation are equally efficient. Quantum superposition does not permit quantum computers to ''perform many computations simultaneously'' except in a highly qualified and to some extent misleading sense. Quantum computation is therefore not well described by interpretations of quantum mechanics which invoke the concept of vast numbers of parallel universes. Rather, entanglement makes available types of (...) computation processes which, while not exponentially larger than classical ones, are unavailable to classical systems. The essence of quantum computation is that it uses entanglement to generate and manipulate a physical representation of the correlations between logical entities, without the need to completely represent the logical entities themselves. (shrink)

The universe, of which our domicile the planet Earth forms but a minuscule part, has an architecture that changes and has been changing in time. In other words, it has a history of evolution. Lack of experimental evidence denies us the knowledge of what the universe was like “at the time of its origin,” as discussed by Hubert Reeves in the preceding chapter. Neither do we know much about its geometry, simply because our observatories are concentrated, for all practical purposes, (...) vanishingly close to a single point in an immensity whose size can only be measured by the billions of years required by light to go from one extremity to another! (shrink)

Purpose. To consider the uniqueness of Descartes’ way of interpreting poetry as a type of philosophizing that makes it possible to comprehend the metaphysical nature of man. Its implementation involves the consistent solution of the following tasks: a) understanding methodological changes in the philosophy of the 20th century in the process of actualization of anthropological interest; b) argumentation of the importance of poetic thinking for early Descartes in the process of addressing modern historians of philosophy and the thinker’s texts. Theoretical (...) basis. I rely on the conceptual positions of phenomenology, existentialism and hermeneutics. Originality. Finding of the study is that poetic thinking is the most authentic way of meaningful comprehension of the metaphysicity of man. The paper outlines the nature of the expression of this correlation in the philosophizing of the 20th-21th centuries and substantiates the thesis about the importance of the poetic principle for understanding the phenomenon of man in early works by Descartes. Conclusions. The paper examined the methodological shifts in anthropologically oriented philosophizing of the 20th-21th centuries and focused on the manifestations of related moments in the philosophical legacy of Descartes. The latter demonstrates the existence of a still underestimated version of interpreting the metaphysical foundations of human existence, the form of understanding of which is poetic thinking. It is a form of caring for the humane in man. (shrink)