One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced (...) for categorial languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...) at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex 'value spaces', with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic. (shrink)

Prior’s problem consists in the impossibility of replacing clausal complements of most attitude verbs by ‘ordinary’ NPs; only ‘special quantifiers’ that is, quantifiers like 'something' permit a replacement, preserving grammaticality or the same reading of the verb: (1) a. John claims that he won. b. ??? John claims a proposition / some thing. c. John claims something. In my 2013 book Abstract Objects and the Semantics of Natural Language, I have shown how this generalizes to nonreferential complements of (...) various other intensional predicates and argued for a Nominalization Theory of special quantifiers. In this paper, I will review and extend the range of linguistic generalizations that motivate the Nominalization Theory and show that they pose serious problems for higher-order and substitutional analyses of special quantifiers. (shrink)

In this paper, the author spells out St. Bonaventure's magisterial teaching on the possibility of an eternal world, found in his 'Commentaria in II Sententiarum', d. 1, p. 1, a. 1, q. 2. The entirety of this 'quaestio' is treated at length in order to delineate its structure and indicate its reliance on both theological and philosophical premises. Hence, the twofold dependency of St. Bonaventure's position on Scripture and on arguments against an actual infinity is made clear. The author (...) concludes with a Thomistic response to the Seraphic Doctor's position, based solely on the Angelic Doctor's late treatise 'De aeternitate mundi', in which St. Thomas endeavors to place the eternal world question on purely philosophical grounds and also doubts the plausibility of arguments against the possiblity of an actual infinity. (shrink)

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system (...) with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, (...) say, Delta-3-1 comprehension axioms are not logical truths. What I am going to suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". (shrink)

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems (...) 1 to 3 suggest a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

This paper seeks to defuse two claims. On the one hand, I confront the Hildebrandian claim that Thomism, by placing the principium of love in the needs and desires of the lover rather than in the beloved, denies the possibility of transcendent love; on the other, I seek to refute the Thomistic objection that Hildebrand lacks a sufficient understanding of nature and its inherent teleology. In order to accomplish this, a distinction must be made between different kinds of principium (...) or “for-its-own-sakeness.” Using St. Thomas’ theory of friendship-love, I show how every affective movement in fact has two fundamentally different principia: an “end-desired,” and an “end-for-whom” the former is desired. I next note that “value” and “bonum honestum” each encompass both of these types of “worthiness,” and that the failure to distinguish between these two has led to much of the misunderstanding between Thomists and Hildebrandians: for while the latter sometimes seem to include inanimate objects like sunsets under the higher “worthiness” (as “ends-for-whom”), the former often tend to classify even the beloved under the lower “worthiness” (as a mere “end-desired”), which are both untenable positions. It is shown, however, that for St. Thomas it is the higher, more ultimate sense of “worthiness” that is the foundation of friendship-love, and that thus love remains a truly “transcendent” or “ecstatic” phenomenon. Two objections are then addressed: 1) St. Thomas’ claim that substantial unity is the greatest cause of love, and 2) his claim that man’s primary end is Vision. In both these respects I argue that Aquinas’ position needs correction; still I maintain that neither claim should be taken to imply that, for Aquinas, man is his own center, his own chief “end-for-whom.” Finally, while Hildebrand emphatically denies that natural teleology can explain man’s transcendence (a Thomistic position), this denial seems to flow simply from confusing two ways in which “nature” can be invoked as an explanation: where he sees it invoked as the final cause, Thomists actually invoke it as simply the formal cause of our love for our true Final Cause. (shrink)

This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with some (...) established undefinability results. Section 4 sketches an account of vague quantifier expressions along the lines suggested. Finally, section 5 addresses the vexed issue of logicality. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of (...) being true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of (...) basic formulas provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

Several quantitative studies (e.g. Kidd & Castano, 2013a; Djikic et al., 2013) have shown a positive correlation between literary reading and empathy. However, the literary nature of the stimuli used in these studies has not been defined at a more detailed, stylistic level. In order to explore the stylistic underpinnings of the hypothesized link between literariness and empathy, we conducted a qualitative experiment in which the degree of stylistic foregrounding was manipulated. Subjects (N = 37) read versions of Katherine (...) Mansfield's 'The Fly', a short story rich in foregrounding, while marking striking and evocative passages of their choosing. Afterwards, they were asked to select three markings and elaborate on their experiences in writing. One group read the original story, while the other read a 'non-literary' version, produced by an established author of suspense fiction for young adults, where stylistic foregrounding was reduced. We found that the non-literary version elicited significantly more (p < 0.05) explicitly empathic responses than the original story. This finding stands in contradiction to widely accepted assumptions in recent research, but can be assimilated in alternative models of literariness and affect in literary reading (e.g. Cupchik et al., 1998). We present an analysis of the data with a view to offering more than one interpretation of the observed effects of stylistic foregrounding. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...) logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

The aim of the Validation Theory (VT) as a meta-empirical construct is to introduce a new vista in the reorganization of the neuroscience, in its role of a science of the Mind-and-Brain unification. The present study focuses on existing discrepancies and contradictions between the methods of basic neurosciences and those prescribed by the psychological science. Our view is that these discrepancies are based on a high penetration of traditional neuroscience methods into the biological processes, coupled with low extrapolation (experimenting with (...) animal models) and vice versa for the psychological and psychopathological methods. A novel epistemological model for integrating psychological and neuroscientific knowledge is proposed. It is represented as a simultaneous investigation of the brain activity with penetrating high resolution functional Magnetic Resonance Imaging and in extenso application of set of psychological tests for exploring correspondence (cross-validation) between their compounds. The proposed approach leads to a revision of the neuroscientific and psychological terms, methods and data, followed by a revision of their relative interplay. This would make possible a practical exchange of expensive but objective fMRI with the lower costing psychological instruments (effect of "minimization"). The approaches proceeding from VT will infiltrate diagnostics and prevention in psychiatry. On a further stage the pharmaco-psychological monitoring will uncover new opportunities. This proofs' based research and practice represents an integral counterpart of the values-based mental health care. In conclusion VT is an evolutionary corner stone in order to traverse the stage of a Brain-Brain paradigm and to reach the point of development of the Mind-Brain paradigm. (shrink)

The theology of the St. John’s Letters forms a kind of synthesis of the Pauline and Petrine elements, so that the earthly and prophetic-heavenly tradition and the contemplative vision unite at the same point. Although it does not have all the elements of a classical epistle, 1 John has all the details of a pastoral letter, rather in a contemporary sense. The document as a whole presents the fluidity of a homily, an “Epistle-essay”, which, however, addresses issues specific to its (...) readers. On the other hand, 2 John and 3 John are writings that fall into the epistolary genre of the Hellenistic period, with a strong personal character, being extremely short (13 and 15 verses), even the smallest literary productions within the New Testament canon. If the first Epistle was written in order to defend the authentic interpretation of the Johannine tradition, with a substantial theological argument, the last two letters address an ecclesial issue, resorting to formal and institutional arguments. (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds (...) of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

The problem of algorithmic structuring of proofs in the sequent calculi LK and LKB ( LK where blocks of quantifiers can be introduced in one step) is investigated, where a distinction is made between linear proofs and proofs in tree form. In this framework, structuring coincides with the introduction of cuts into a proof. The algorithmic solvability of this problem can be reduced to the question of k-l-compressibility: "Given a proof of length k , and l ≤ k : (...) Is there is a proof of length ≤ l ?" When restricted to proofs with universal or existential cuts, this problem is shown to be (1) undecidable for linear or tree-like LK-proofs (corresponds to the undecidability of second order unification), (2) undecidable for linear LKB-proofs (corresponds to the undecidability of semi-unification), and (3) decidable for tree-like LKB -proofs (corresponds to a decidable subprob- lem of semi-unification). (shrink)

The ecumenical dialogue involves many ideas and attitudes. Within these theological discussions, Saint Cyprian of Carthage occupies his place. Most important, his vision about the Church has marked the entire Christianity. Because of this reason and for many others, this study attempts to explore his theological ideas regarding the limits of the Church, the validity of the Baptism outside the Church defined by her canonical limits. In order to accomplish this, we will have three important sections, as follows: 1. (...) a short biographical life; 2. the ecclesiological ideas of St Cyprian expressed in two important disputes of his time, namely the problem of the fallen and the Baptism professed outside the Church; 3. the limits of the Church in the thought of St Cyprian and the theological critics which we can share about this subject. Of course, our study will have some important conclusions. (shrink)

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (...) (1) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)

PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an application (...) of the results of the analysis conducted in the second part. The first part comprises four chapters. The first aims at revealing characteristics of human rights on the basis of an analysis of historical conditioning of the inter-national law of human rights and its development. The historical context displays the practical, vindicative, and critical character of the positive legal protection of human rights. Moreover, the process of change of positive human rights law is distinguished from the process of change of human rights as such. In the second chapter the content of human rights - a topic which is only auxiliary to the conducted analysis - is discussed. Basic typology and catalogues of rights proclaimed in the Universal Declaration of Human Rights and protected in the International Covenants of Human Rights are presented. The review of the content of rights aims at a more precise limitation of the field of research. The examination shows a diversity of rights which poses a serious challenge to the coherence of every philosophical theory of human rights. In the third chapter, central in the first part, international law is analyzed with regard to the characteristics of rights and the foundations of them. The analysis of documents shows a number of solutions referring to the anthropological foundations of rights. The inherent dignity of the human person is the source of all human rights. Each human being is recognized as free, and endowed with both reason and conscience. In the propounded conception of man individuals are not rivals but create a community which is a condition for their development. International law characterizes the rights as universal, inherent, inalienable and inviolable. The reconstructed conception also comprises the following basic elements: on the level of the structure of rights, a recognition of their equality, interdependence, and comprehensiveness; in the grounding of these rights, a recognition of the anthropological foundations of law; in the conception of positive law, a recognition of the secondariness of the positive law of human rights to human rights themselves, and a recognition of human rights and justice as the basis for legal order; in the conception of state, a recognition of the well-being of the individual as the fundamental aim of actions undertaken by political institutions, and recogni¬tion of rights which form an impassable boundary to the power of the state, includ¬ing its legislative actions. The characterization of the international legal paradigm serving for the under¬standing of human rights is supplemented by analyses of the structure of their posi¬tive legal protection. Various meanings of the terms "right" and "freedom" are distinguished. Subjective right, as basic structure of the positive legal protection of human rights, is understood as a complex relation formed by various legal situations of the subject of a right which create a functional whole in respect of the subordi-nation of human person to its good. Subordinating person to a good proper for it, expressed usually in a proclamatory norm, is the central element of particular rights around which further elements aiming at the realization of this good are built. In the second part of the book a philosophical theory is developed which allows for the location of a coherent foundation for the presented characterization of human rights and their positive legal protection. This part consists of two chapters. The first includes a review of some - not entirely satisfactory - means of founding of human rights; the second presents philosophical conceptions of law and man which may form a basis for the constructed theory. The review of arguments contained in the first chapter does not aim at a detailed analysis of various specific ways of argumentation encountered in works on this subject but rather at a concise presentation of the main possible lines of argumentation. These analyses also serve to emphasize the positive solutions which are pro¬posed later and to underscore the explanatory power of the elaborated theory. This theory, retaining accurate intuitions contained in the presented types of argumenta¬tion, helps in avoiding their consequences which are difficult to reconcile with the reconstructed paradigm of human rights. Efforts to base human rights on the norms of international law rightly take into account the necessity of determining the content of the rights and their positive legal protection as a means for the realization of man's good. These attempts, how¬ever, do not properly take into account the inherent character of human rights, which are independent of positive law and provide grounds for applying specific legislative measures and not others. Founding human rights on freedom accurately points at the freedom of an indi¬vidual as a constitutive element of some rights; however, absolutization of freedom leads, to a loss of an important element of the contemporary paradigm of under¬standing human rights. This foundation undermines recognition of the fact that human rights may set limits to both the freedom of others and the freedom of the subject of rights itself. Additionally, attempts at the so-called axiological justification of human rights are discussed. This type of justification has a few variants depending on the as¬sumed conception of value. Subjectivistic conceptions have similar advantages and disadvantages to the conceptions basing human rights on freedom; objectivistic conceptions while providing for the universality of human rights place, the fundamental aim of human rights protection beyond the individual human being - in the idealistically existing world of values; finally, conceptions rooting values and human rights in culture, while accurately noting that human rights are learned through the medium of culture, place the source of human rights beyond a concrete individual - in culture and processes which take place in it - which leads to difficulties in finding a basis for the universality of rights. Furthermore, attempts to ground human rights in specific characteristics of the human being are presented. This type of approach points to an important problem of dependence of the content of rights on what man is. However, recognition of specific characteristics of a human being as an ontic foundation of the existence of rights poses a danger to their universality since one has to accept that it is not enough to be a man to be a subject of rights, but a man possessing specific charac¬teristics. The second chapter aims at outlining solutions worked out by Saint Thomas Aquinas. For a fuller understanding of his propositions selected elements of Plato's and Aristotle's philosophy are presented. It was them who formulated the founda¬tions for reflection on law and justice in the ontological context. A qualification is made that Stoicism is not be analysed in depth. Although Thomas' concept of law was undoubtedly developed under the influence of the Stoic doctrine as well, it is not in this that one should look for the tools to understand the ontic foundations of human rights and law in general since the Stoic moral philosophy and philosophy of law were developed in the context of a theory of being which assumed monistic and pantheistic premises as foundations, leading to the recognition of a total subor¬dination of the human individual to a larger unity of which man is only a part. The analysis of Plato's and Aristotle's texts concentrates on problems of justice. Plato seems to be the first philosopher who reflected on the formula basic in the history of European thought: to render to each his due. It appears that justice as both a characteristic of man and his acts is understood in the perspective of that which is just, that which is a good for another man - the recipient of the act. The basis for determining what is just is the relation of correspondence between some¬one and something. While in the case of Plato this relation is based on something beyond its terms, namely on ideas, in the case of Aristotle the relation occurs on account of the elements of the relation itself. Something is just when it contributes to the develop¬ment of the recipient of an act realizing that which is just. At the same time, the realization of that which is just is a good for the agent. In the analysis of the just two types of relation are revealed: the relation of due-to-recipient occurring on account of the compatibility of that which is due, with the recipient of the act; and - a "superstructure" - a relation of obligation-of-subject occurring on account of the compatibility of the acting subject with the thing which should be done. The basis for being that which is due is formed by various potentialities of development of man - the recipient of agency; the basis of being that which is an obligation is the possibility of development of the subject of action. Aristotle distinguishes various types of freedom and points to the necessity of taking them into account in the discussion of justice. Among other things, as the core of man's freedom, he considers life for its own sake, which can be seen as his expression of the basic indices of the autotelic character of man - which is funda¬mental for later conceptions of dignity. The freedom which is described by him is not, however, inherent and inalienable; being free is conditioned by a factual possi¬bility of undertaking actions, which are not solely means to the realization of aims set by others. Thomas Aquinas takes over the Aristotelian research perspective both in his conception of man and of law. At the same time, however, he significantly enriches it. In anthropology he develops a conception of personal being. Drawing upon his distinction between existence ("that something is") and essence ("what something is"), he sees the basis for being a person in the dignity of personal being which is a certain way of existence of a rational being more perfect than that of non-personal beings. The person is a being which, by virtue of its act of existence, is individual¬ized in a specific way. It is an aim in itself. Expressing it in a negative way, one may say that it does not exist as a means for the realization of the aims of others and, in this sense, that it is free. As distinct from Aristotelian conclusions, being a person is not conditioned by the specific actions of a being. Dignity is inherent, based on that which is the foundation of the factual existence of every rational being. Although freedom requires that a being is rational, dignity still encompasses all being, all its properties and potentialities. Thus an act conforming with dignity has to take into account a whole human being. Among different types of that which is just, ius, the first place, from the point of view of understanding law, falls to "the just thing itself ("ipsa res justa"), which is right in the full meaning of the word. On the one hand, it is that which is due; on the other hand, it determines the way of acting in the utmost degree, since the course of every act is determined in the fullest extent by its aim. The content of ius may be determined both by elements independent of free decisions - ius naturale - and by free decisions taking into account the state of things - ius positivum. Recognition of the objective structure of being as the basis of law does not entail that it is possible or desirable to determine unequivocally "the only right" patterns of conduct. This concept is very well justified within the system proposed by Saint Thomas. Individualization of being is a significant element of the develop¬ment of a person as a person. It is attained by the realization of individual aims which are not unequivocally determined by circumstances and the nature common to all people. By virtue of free choices made in the sphere of that which is not by its nature unjust, the object of action becomes ius. Since in the realization of the person the individualization of human being is central, Aquinas clearly sees the need for the protection of the sphere of "dominion of will". This sphere itself constitutes ius naturale, something which is due to man independently of the acts of will. Therefore "law should forbid nothing which is not unjust" ("nihil debet lege prohiberi quod licite fieri potest", In 3 Sent., dist. 40, q. I, a. 1, 3). Besides the relation of due-to-recipient, ius also includes the relation of obligation-of-subject which is superimposed on the relation of due-to-recipient. As far as the ontic foundations of obligation are concerned, in explaining why man is subordinated to realization of the good of others, Aquinas generally follows Aristotle in accepting that this basis is the subordination to moral good - to actions conforming with the learned truth about reality. Aquinas' systemic solutions allow, however, to reach deeper and understand why moral development is also a development of the whole human being. This was difficult within Aristotle's system, since he was reluc¬tant to decide whether precedence should be given to intellectual or moral develop¬ment. The inclination to realise good of another appears to be a transcendental characteristic of being, based on its very existence. Morality understood as rational and free subordination to realize the good of another is a specifically personal way of the realization of this inclination. Thus just actions contribute to the actualization of being in the aspect of its existence and therefore to the actualization of being as a whole. Thomas' conception of natural law (lex naturalis) as participation in eternal law (lex aeterna), offers possibilities for grasping that which is just as something which is basically accessible cognition, independently of Revelation and independently of faith in God, and at the same time as something based in eternal law, understood as a design of God's wisdom. Eternal law, embracing all particular actions, is not, from the human perspective, accessible cognition directly. It is enacted in the struc-ture of the created being and - in case of human beings - in free choices taking this structure into account. In the concluding remarks, the results obtained earlier are applied directly to the contemporary conception of human rights. Human rights are understood in the first place as "just things" - concrete goods of man; as that which is due because of subordination, based on dignity, to the personal development of man. That which is just is understood as a relational - actual or potential - state of things, which exists by virtue of existing relations. Evaluations referring to that which is right are true when respective relations of due-to-recipient take place; norms of conduct are true when respective relations of obligation-of-subject take place. Examples of the application of the sketched theory outside the field of human rights are also presented. Procedural consequences of the developed theory are shown, such as the discrimination of two types of legislative procedures which differ significantly in the structure of argumentation: the first aims at recognition of that which is just independently of the will of the legislator, and the second, at making individual or collective "projects" of development compatible. Finally the possibilities of applying the theory to the increasingly important problems of the protection of the environment and the "rights" of animals are mentioned. The central issue is a philosophical conception of man and his freedom and a conception of law. It is also indispensable to turn to a general theory of being. The search for a comprehensive theory of human rights requires attention to the Abso¬lute Being - God - as well. This is important for at least two reasons. First, a conception of the Absolute Being is integral to philosophy of the systemic type -of which the present book is a piece. A conception of the Absolute Being is signifi¬cant for understanding all being, including, first of all, man as a personal being. Second, every theory of human rights which does not comprise the problem of the Absolute may be questioned as to whether solutions adopted in it do not lead, in consequence, to eliminating God from the perspective of the understanding of law. It is desirable that a philosophical theory should deal with this problem directly. A theory which eliminates God from the perspective of the understanding of rights will be unacceptable for all those who, for philosophical reasons or relying on faith, consider God as the author of inherent rights. Nevertheless, a theoretical approach to rights from the perspective of the Absolute Being should only be a possible extension of a philosophical approach which bases rights on something which is cognizable independently of the acceptance of the existence of God so that the theory is also acceptable for those who reject the existence of God or suspend their judgment on this subject. The pursued theory should therefore contain, on the one hand, reference to natural, faith-independent foundations of human rights, but on the other hand, point to a possible extension accounting for the Absolute Being. The analyses contained in this chapter have undoubtedly some historical value since they are based on source texts. Nevertheless, the use of these texts and not critical works was dictated, first of all, by a conviction that analyses embrace a given theory in the aspect selected by the interests of the researcher. Therefore to find out what past thinkers say on the subject characterized in the first part it is simpler to reach to the sources than to adopt the existing critical works. The pre¬sented reconstruction of Aquinas' views on philosophy of law incorporates proposi¬tions of supplementing and developing some of the ideas undertaken by him. Obligation to act in this and not an other way arises because human actions are subordinated to the conformity, on the one hand, of aims realized by these actions and, on the one hand, the order of being determining that which is favourable to man or destroys him. The content of the order of being is, on the one hand, determined by the structure of being independent from man's will and, on the other, by free decisions of man. (shrink)

Consider the most recent Yale-Harvard football game, an event which occurred on 11/20/21 in New Haven, lasting about three hours. This event, like many college football games before, was composed of four quarters, each of which was composed of possessions, each of which was composed of downs, each of which was composed of particular movements, tackles and decisions of the individual players. Each of these parts of the game was itself an event, occurring in a smaller region of space and (...) time than the game itself. Each of these events involved material objects like players, helmets, jerseys, etc. Each had causes and effects, and each instantiated qualitative properties, such as being a kickoff or being a tackle. These are paradigmatic examples of events. Events are many and varied; some other examples include the melting of an ice cube, the birth of a horse, the supernova of a star, the presidential election campaign and a winter snowstorm. Each of these took place in a certain region of spacetime, had other events as parts, involved certain objects, had causes and effects, and instantiated properties. Objects and their properties are not the only furniture in the world. Events are a crucial part of our manifest and scientific pictures of the world. We go to football games, think about and participate in elections, eagerly anticipate the birth of a child, and quantify over and explain such things in our scientific theories. Yet, events have received insufficient attention from metaphysicians. Some philosophers have been skeptical of events, holding that talk of events can be paraphrased away, or that events can be reduced to objects and properties.1 When philosophers have accepted events, their motivations have usually been extrinsic—events are introduced in order to play a role in a larger philosophical system. This tendency has led philosophers to miss a number of interesting features of events. In this paper, I wish to reverse that trend by developing an ontology of events which is not an afterthought with respect to another philosophical project. In so doing, I will provide answers to substantive metaphysical questions about the relations in which events stand and their identity conditions. In the next section, I identify four basic relations in which events stand: parthood, involvement, causation and instantiation, focusing in particular on involvement. Then, I argue that events are individuated by their involvements, and criticize the identity conditions which have been offered by other philosophers, notably Quine, Davidson and Kim. I then conclude. (shrink)

An increasing number of European research projects return, or plan to return, individual genomic research results (IRR) to participants. While data access is a data subject’s right under the General Data Protection Regulation (GDPR), and many legal and ethical guidelines allow or require participants to receive personal data generated in research, the practice of returning results is not straightforward and raises several practical and ethical issues. Existing guidelines focusing on return of IRR are mostly project-specific, only discuss which results to (...) return, or were developed outside Europe. To address this gap, we analysed existing normative documents identified online using inductive content analysis. We used this analysis to develop a checklist of steps to assist European researchers considering whether to return IRR to participants. We then sought feedback on the checklist from an interdisciplinary panel of European experts (clinicians, clinical researchers, population-based researchers, biobank managers, ethicists, lawyers and policy makers) to refine the checklist. The checklist outlines seven major components researchers should consider when determining whether, and how, to return results to adult research participants: 1) Decide which results to return; 2) Develop a plan for return of results; 3) Obtain participant informed consent; 4) Collect and analyse data; 5) Confirm results; 6) Disclose research results; 7) Follow-up and monitor. Our checklist provides a clear outline of the steps European researchers can follow to develop ethical and sustainable result return pathways within their own research projects. Further legal analysis is required to ensure this checklist complies with relevant domestic laws. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the (...) existence of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

This article critically examines the structure and implications of the argument in ST 1, Q2, A3, associated with Aquinas’ First Way. Our central endeavor is to discern whether a certain disambiguation of point 6 (“There is something that is not moving/changing that moves/changes other things”) can be logically inferred from points 1-5. Through a three-part proof, the article establishes that under specific conditions, it can indeed be inferred. However, this interpretation notably diverges from Aquinas’ intended conclusion and subsequent stronger interpretations (...) of the claim. The paper also engages in discussions surrounding the soundness of the argument, assessing the plausibility of its premises in light of physics and logical analysis. The contribution does not seek to speculate on Aquinas’ understanding or to dismiss his perspective but rather to delineate what follows from his First Way premises, highlighting discrepancies with contemporary views on the nature of existence, particularly the notion of God. (shrink)

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus for determining this (...) criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

...If, in some places, backward science determines the remaining period by the lack of optimism only by the number 123456789, then our progressive science expands it to 987654321, which is eight times more advanced than theirs. However, due to the inherent caution of scientists, both sides do not specify the measuring unit of reference — year, day, hour or minute are meant. Leonid Leonov. Collected Op. in ten volumes. Volume ten. M.: IHL, 1984, p.583. -/- The modern men being as (...) a rule is proceeding in three relatively autonomous, but immanently coexisting, and each penetrating dialectically through other, and each contesting even cruelly with other, and each more or less dominating on other, differently in various societies, worlds: the first one of the barbarity, the second one the culture, the third one the civilization... Barbarity is the mode of coexistence of autonomous human societies based on the unlimited will to act so as subject wants to do without any limitations of his activities... Culture is the mode of coexistence of autonomous human societies based on the most ancient testaments, customs, traditions etc of the highestly sacrified appearence... Civilisation is the mode of coexistence of autonomous human societies based on the reasoned or legitimated by social contracts, by profits, by expediency and so more constitutions, institutions etc... -/- Andrei Melnikov-Pechersky in his epic "In the Woods" says that there was a movement among the Old Believers in Russia, or a current that proclaimed Kostroma the new and, it seems, the only true Jerusalem, in an apocalyptic sense, of course, which in its spiritual scale was probably not inferior to the Bogomils, shakers, Mormons, or else and the whole Reformation in potential. In Western Europe, every more or less convex nuance of the history of a state or region (even if it is a small San Marino) is overgrown with almost a dozen institutions, not always state ones, by the way, in which almost every sneeze and step of very ambivalent historical subjects in a broad sense is studied. Especially in the young, but very pretentious America of the United States, which embodies all world justice. In our country, for example, even many leading humanitarian specialists do not realize the spiritual value of the Ipatievsky MONASTERY. The Russian writer Boris Shiryaev, who died quite a long time ago and in a very far abroad, devoted a special part of his documentary and artistic epic of wanderings "The Inextinguishable Lampada" to an entertaining and instructive, tragic fate of a kind of village monarchy in some Villages of the Kostroma province (I could not identify the area, and, frankly, I did not really try) in the early years The Soviet government. At the same time, all Russians learn about the French emperor Napoleon almost with their mother's milk how many percent of cyanide potassium was found in his hair, they reflect on Lermontov's "Airship" (probably, just not to "memorize" the imposed "Borodino" by heart). The events, of course, are incomparable, but the fact is significant. The outstanding national artist (if not to say a thinker of the Chesnyakov level) Grigory Pavlovich Kusochkin was glorified wherever, in whatever catalogues he was not included. Paris, London, New York, St. Petersburg, Moscow... To look at some smear of luminaries like Picasso or Modigliani, international tourist routes are organized in the restaurant toilet using the finest marketing technologies, and we did not even know Grigory Pavlovich by sight until, thank God, a series of TV shows on all Russian channels was dedicated to him in one gulp. Why is this happening? Is it a consequence of poverty or the result of the conscious policy of the ruling elite of the country and the world? The regions of the Kostroma Region are Austria, Switzerland, Bavaria, Armenia, Moldova, and Georgia... Georgia! I served in the army there. In this small but very great country, judging even by the appearance of its President Shevardnadze, although it is smaller than the Kostroma region, there are so many different, but Georgian-speaking peoples! Kakhetians, Meskhetians, Imereti, Iveretians, Mingrelians, Khevsurs... Adjarians (mostly Georgian-speaking Muslims) even have their own autonomy. And some peoples are not Georgian—speaking at all — South Ossetians, Abkhazians, Kurds, Armenians, Greeks, even Assyrians. In the Kostroma Region, and in any Russian "province" — not much less: there are plenty of the same Georgians or Armenians everywhere, quite moderate, loyal, and so on. Having, as a rule, their own officially registered associations within the framework of cultural autonomy. Well done! And Israel! He is the only one with all his "illegal" (and I am for the fact that every nation knows better where its ancestral lands are) territories half the size of the Kostroma region. The total number of Jews worldwide, according to the "Soviet Encyclopedic Dictionary" in 1987, is about 14 million. Meanwhile, the fate of Israel is being preoccupied (it is very instructive how he achieved this!) all the united nations of the world. In the Kostroma Region and its diaspora, it seems to everyone, and especially to its semi-migrant, Varangian leadership. I don't care if they build a public atomic bomb here in the form of a nuclear power plant or not. Because they do not know the value of this land, the greatness of its spirit. Kostroma is a holy land. I will immediately make a reservation that by Kostroma I mean not only the modern region, but the entire area that has ever historically been associated with Kostroma. The USSR is also a part of the great historical Russia. In this sense, even the entire era of the Russian Romanov Empire is the Kostroma region. Or: many toponymic objects of our native land are called mysteriously beautiful: Sharya, Shunga, Shekshema, Sholezhka, - we need to find out what kind of peoples — and where are they now? — we left such euphonious archetypal combinations, because these are our Kostromsky peoples, these are our Kostroma people. Or, say, the classic of American and world sociology Pitirim Alexandrovich Sorokin writes in his autobiographical scientific novel "The Long Way" that he studied at the Khrenovskaya (what a strong word!) teachers' seminary of Kostroma province, but in an administrative row for propaganda activities, gendarmes were taken by sledge to the prison of the city of Kineshma - is this not a fact for Kostroma, and primarily for him, local history, although Kineshma has long been attributed to the Ivanovo region, and Pitirim Alexandrovich is buried on the other side of the planet?! I have not the slightest doubt that Kostroma provided spiritual food, gave birth to and nurtured a huge intellectual diaspora with extremely valuable material on a national, global scale. And this is both in direct and indirect order, in the form of a chain reaction. Apparently, it is easy for an intelligent person to grow up in Kostroma, but it is impossible to live, and somewhere on the contrary. Therefore, it is not surprising that the geneticist academician D. K. Belyaev, who was born in the village of Protasov near Nerekhta, very close to Kostroma, glorified Moscow and Siberia with his discoveries and practical results, which immeasurably enriched the Soviet state treasury with foreign exchange income from the sale of the most valuable fur grown according to the biotechnology developed by him in a much shorter time than it usually turns out in nature. And in Kostroma, most likely, few people know who he is and what he is famous for. I will focus in more detail on one of the aspects of his great life. This happened back in the so-called pre-Perestroika times. In a series of his speeches, Dmitry Konstantinovich, based on the results of his and colleagues' research, emphasized, in his opinion, the determining role of the biological factor in shaping the content of human essence, of course, only in a philosophical, conceptual aspect. For some reason, this was opposed by a geneticist, as they say, persecuted at one time by the "senile" in selectionism (including human nature) by the Michurino-Lysenkoists, academician N. P. Dubinin, which personally remains incomprehensible to me until now. With a grateful curtsey to Academician Dubinin and his point of view, the famous French humanist, member of the Politburo of the French Communist Party Lucien Sav appeared on the pages of the Communist magazine. The material was clearly titled: "Problems are not only scientific, but also political." He very indecently attributed the views of academician Belyaev to "a reactionary ideology that tries to put genetics at its service, and more broadly, biology, in order to present all kinds of social inequalities of all kinds as inherent in nature itself"(1). I would like to see any ideology that does not try to "put this or that at its service," much less something worthwhile... A little later, the editorial of the Communist hit the "biologizers", and soon Dmitry Konstantinovich was gone. In short, it is only on the example of our fellow countrymen that you can write interesting, world-class essays on science and its history, but instead our scientists should fit their global potencies into a page and a half (good yet. if not entirely at their own expense), and then for at least three years to guess whether they will be published or not. Now it no longer surprises me how at one time, when, after reading the listener card I filled out, the sweetest girl from the IPKPON office at USU congratulated me for something. It turned out that the dean of the Faculty of Philosophy of USU, doctor, professor, Honored Scientist, and now academician Konstantin Niko-laevich Lyubutin is a countryman, Kostromsky, or rather Manturovsky by origin, as I write below in the notes — we are Kostromendors. To him, my fellow citizen in the most subtle micropatriotic dimensions, I owe a lot in my professional and social development, even in survival. Because that's how it often turns out: you can be born here, sometimes you can live here... It's very hard. Maybe the Kostroma origin of an outstanding Russian historian of philosophy, organizer of science and education, educator and friend of a galaxy of people devoted to the Motherland and the cause is not a great milestone in the history of the region, but name me at least a dozen Russian cities on the scale of Kostroma, from where such intellectual ones would come out into the world and light luminaries like ours. No matter who you take from the world significance of the pillars of national (and world, and foreign, - even the great Rabbi of Lubavitcher spent three years in exile in a Campfire, — I learned from some foreign voices) history, literature, culture in general, technology, science and so on - you will always find someone, which is very directly related to Kostroma. Pushkin, Lermontov, Gorky. Alexander Nikolaevich Ostrovsky, Pisarev, Uspensky, Katenin, Florensky, Savrasov, Kustodiev, Dyagilev, Mikhalkov, Alexander Alexandrovich Zinoviev; writers, artists, entrepreneurs, revolutionaries, inventors, politicians... In some world-famous for its classic Russian provincialism, Kologriv has been storing, figuratively speaking, unique sketches, if not of Leo-Nardo da Vinci himself, then certainly of his school, almost since the seventeenth century. And not only that. Nevertheless, the well-known Chukhloma to the Fatherland, in addition to thinkers of the rank of Rozanov and Zinoviev (where should domestic philosophers mature and not be born, if not in Chukhloma, Manturov or Khrenknowswhere?), gave an actor of amazing, national, originality — Mikhail Pugovkin, who can not be confused with anyone, a role that no one will repeat. (shrink)

Medical diagnosis has been traditionally recognized as a privileged field of application for so called probabilistic induction. Consequently, the Bayesian theorem, which mathematically formalizes this form of inference, has been seen as the most adequate tool for quantifying the uncertainty surrounding the diagnosis by providing probabilities of different diagnostic hypotheses, given symptomatic or laboratory data. On the other side, it has also been remarked that differential diagnosis rather works by exclusion, e.g. by modus tollens, i.e. deductively. By drawing on a (...) case history, this paper aims at clarifying some points on the issue. Namely: 1) Medical diagnosis does not represent, strictly speaking, a form of induction, but a type, of what in Peircean terms should be called ‘abduction’ (identifying a case as the token of a specific type); 2) in performing the single diagnostic steps, however, different inferential methods are used for both inductive and deductive nature: modus tollens, hypothetical-deductive method, abduction; 3) Bayes’ theorem is a probabilized form of abduction which uses mathematics in order to justify the degree of confidence which can be entertained on a hypothesis given the available evidence; 4) although theoretically irreconcilable, in practice, both the hypothetical- deductive method and the Bayesian one, are used in the same diagnosis with no serious compromise for its correctness; 5) Medical diagnosis, especially differential diagnosis, also uses a kind of “probabilistic modus tollens”, in that, signs (symptoms or laboratory data) are taken as strong evidence for a given hypothesis not to be true: the focus is not on hypothesis confirmation, but instead on its refutation [Pr (¬ H/E1, E2, …, En)]. Especially at the beginning of a complicated case, odds are between the hypothesis that is potentially being excluded and a vague “other”. This procedure has the advantage of providing a clue of what evidence to look for and to eventually reduce the set of candidate hypotheses if conclusive negative evidence is found. 6) Bayes’ theorem in the hypothesis-confirmation form can more faithfully, although idealistically, represent the medical diagnosis when the diagnostic itinerary has come to a reduced set of plausible hypotheses after a process of progressive elimination of candidate hypotheses; 7) Bayes’ theorem is however indispensable in the case of litigation in order to assess doctor’s responsibility for medical error by taking into account the weight of the evidence at his disposal. (shrink)

How can an event be extraordinary? What is the metaphysical background necessary to believe that extraordinary events are possible? The possibility of extraordinary events can be approached from metaphysical, epistemic, and scientific perspectives. Metaphysical explanations are extraordinary events that transcend nature or violate the regular structure in nature. Epistemological explanations, on the other hand, are explanations of extraordinary events by referring either to our lack of knowledge about nature or to our inadequacy of knowledge about events. Scientific explanations recognize phenomena (...) that have been observed or experimented on but have not yet been explained by any theory. In this article, I focus on metaphysical and epistemological explanations. We see that three basic assumptions are used for a metaphysical explanation: 1) There must be an orderly operation called Nature. 2) The process in nature can be violated. 3) There is a compatibility between the mind and the world. With the adoption of these three assumptions by different philosophers in various combinations, two kinds of metaphysical explanations arise: extraordinary as supernatural and extraordinary by appealing to the principle of sufficient reason. According to the first type of explanation, extraordinary events are events caused by what is beyond nature, exceeding nature, or violating the workings of nature. In order to explain extraordinary events with the supernatural, there is a need to violate the metaphysical necessities on which nature is based, such as the principle of causality. An approach represented by philosophers such as St. Augustine, al-Ghazālī, Richard Swinburne, and Nazif Muhtaroğlu claims that it is possible for a supernatural event to occur, claiming that the functioning of nature is not necessary. But if there is no metaphysical necessity in nature such as the principle of causality, how can an extraordinary event violate anything? Both Swinburne and St. Augustine answer this question with the argument that the principle of causality is effective in nature and that principle can be violated by God, a supernatural power. Al-Ghazālī and Muhtaroğlu, on the other hand, prefer not to accept the effectiveness of causality in the functioning of nature. Thus, all activity in nature will be attributed to God, and extraordinary events will gain the same status as ordinary events. The point that unites these views is the belief that the operation in nature is not necessary, with or without causality. Philosophers with this belief could not successfully explain extraordinary events because they could not ground their understanding of nature and the supernatural. Moreover, when we analyze their approach to the problem, we see that ordinary and extraordinary events cannot be separated from each other, since no other principle is put forward to replace the principle of causality. The second type of explanation is the explanation of extraordinary events by applying the principle of sufficient reason. The philosophers represented by Ibn Sînâ and Leibniz consider it necessary both metaphysically and epistemologically that everything in nature needs sufficient reason to come to be. According to them, no event can take place without sufficient cause. In this respect, there must be sufficient reason for extraordinary events to occur as well as ordinary ones. Both philosophers argue that extraordinary events are metaphysically possible events in nature, but their occurance does not violate principles such as causality. According to this type of explanation, extraordinary events are not supernatural. Ibn Sînâ, using the concept of nature in its metaphysical sense, argued that forces beyond matter are also effective in nature. Meanwhile, he maintained the necessity of the causality principle. In this way, it is possible to have previously unknown results from known causes. For example, the human soul can affect different bodies through celestial realms, just as it affects its own body. However, this interaction does not violate the necessity of the causality principle, on the contrary, it means the discovery of the necessary structure of nature. In short, the epistemological approaches of Leibniz and Ibn Sînâ, which they developed while preserving the metaphysical necessity of causation, do not require denying extraordinary events without examining them, but also offer a stronger basis for the possibility of extraordinary events, as they expand the limits of our knowledge of nature. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according (...) to the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

In this paper we view the first order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) (...) and (ii) examples of the inconsistent countable set in a set theory ZFC + ∃M_stZFC and in a set theory ZFC2 + ∃M_st^ZFC_2 were derived. It is widely believed that ZFC + ∃M_stZFC and ZFC_2 + ∃M_st^ZFC_2 are consistent, i.e. ZFC and ZFC_2 have a standard models. Unfortunately this belief is wrong. Book. Advances in Mathematics and Computer Science Vol. 1 Chapter 3 There is No Standard Model of ZFC and ZFC2 ISBN-13 (15) 978-81-934224-1-0 See Part II of this paper DOI: 10.4236/apm.2019.99034 . (shrink)

Durand of Saint-Pourçain's earliest treatment of cognitive habits is contained in his Sentences Commentary, Book 3, Distinction 23. In the first two questions, he discusses the ontological status of habits and their causal role, establishing his own unique view alongside the views of Godfrey of Fontaines and Hervaeus Natalis. What follows is the Latin text and an English translation of Durand's Sentences (A/B) III, d. 23, qq. 1-2.

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...) the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner (...) and outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of (...) properties, propositions, and identity, as well as on the metaphysics of modality. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher- (...) class='Hi'>order realism does not in fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

Higher‐order metaphysicians take facts to be higher‐order beings, i.e., entities in the range of irreducibly higher‐order quantifiers. In this paper, I investigate the impact of this conception of facts on the debate about the reality of tense. I identify two major repercussions. The first concerns the logical space of tense realism: on a higher‐order conception of facts, a prominent version of tense realism, dynamic absolutism, turns out to conflict with the laws of (higher‐order tense) (...) logic. The second concerns our understanding of the positions occupying this logical space: on a higher‐order conception of facts, an attractive interpretation of the central tense realist notion of ‘facts constituting reality’ becomes unavailable. I discuss these results in the context of the more general project of higher‐order metaphysics and the (meta)metaphysics of time, drawing out their implications for the nature of the disputes both between realists and anti‐realists about tense and between different tense realist factions. (shrink)

At the beginning of the twenty-first century, based on Science and Technology Studies (STS) and the prophet Trotsky’s forecast, critique of his visions of science, technology and environment have emerged. The article revisits four approaches: the green socioliberal of Sandy Irvine, the neo-luddite of Paul R. Josephson, the ecosocialist of Daniel Tanuro, John Foster and Enzo Traverso. Finally, the collapsologist by Miguel Fuentes Muñoz. At the end, a Marxist reply to their prophet's views is made with four hypotheses and a (...) conclusion about the contemporary STS heritage of Trotsky's historical materialism. Keywords Leon Trotsky – STS – environmental critique – historical materialism – prophet controversy – heritage. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in (...) metaphysics, and indicate a number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between (...) objects and functions. Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

Some of my mental states are conscious and some of them are not. Sometimes I am so focused on the wine in front of me that I am unaware that I am thinking about it; but sometimes, of course, I take a reflexive step back and become aware of my thinking about the wine in front of me. What marks the difference between a conscious mental state and an unconscious one? In this paper, I focus on Durand of St.-Pourçain’s rejection (...) of the higher-order theory of state consciousness, according to which a mental act is conscious when there is another, suitably related, mental (reflex) act that exists at the same time with it. Durand rejects such higher-order theories on the grounds that they violate the thesis that a given mental power can have or elicit only one mental act at a given time. I first go over some of Durand’s general arguments for this thesis. I then turn to Durand’s application of the thesis to the issue of state consciousnes and reflex acts. I close by considering the objection that Durand’s same-order theory of state consciousness makes consciousness ubiquitous. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present (...) paper fills this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

St. Thomas’s Third Way to prove the existence of God, “Of Possibility and Necessity” (ST 1, q.2, art. 3, response) is one of the most controverted passages in the entire Thomistic corpus. The central point of dispute is that if there were only possible beings, each at some time would cease to exist and, therefore, at some point in time nothing would exist, and because something cannot come from nothing, in such an eventuality, nothing would exist now—a reductio ad absurdum (...) conclusion. Therefore, at least one necessary being must exist. Generations of critics and defenders have contended over St. Thomas’s proof. This article argues that the principle of pros hen analogy is implicit in the Third Way and that once identified explains the ontological dependency of possible beings, as secondary analogates, on the first necessary being, as primary analogate. Thus, without the necessary being as primary analogate, possible beings simply could not exist. The fact that they do exist is evidence for the existence of the necessary being. St. Thomas makes synthesizes the principle of pros hen analogy, as found in Aristotle’s Metaphysics, with the Neoplatonic principle of participation. Aristotle develops pros hen analogy in contradistinction to univocal and equivocal predication as well as to genus in Metaphysics 4.2, 11.3, 12.3-5. Since Scotus and re-enforced by modern analytic logic, philosophers have almost universally regarded any kind of analogical predication as a sub-category of equivocal predication and, thus, implicitly occlude the possibility of considering pros hen analogy in their readings of the Third Way. Distinction of per se and per accidens infinite regress and of radical and natural contingency are also central to understanding the Third Way. While resolving apparent problems in the Third Way, the article also seeks to rehabilitate the doctrine of pros hen analogy as a basic principle in Thomistic and, indeed, Aristotelian metaphysics. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of (...) QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

One way of viewing the organizing structure of the Confessions is to see it as an engagement with various texts at different phases of St. Augustine’s life. In the early books of the Confessions, Augustine describes the disordered state that made him unable to read any text (sacred or profane) properly. Yet following his conversion his entire orientation— not only to texts but also to reality as a whole—changes. This essay attempts to trace the winding paths that lead up to (...) Augustine’s conversion through his various encounters with texts (and individuals) and to examine his struggles both intellectual and spiritual along the way. In the final section, I bring Augustine into conversation with Hans-Georg Gadamer in order to highlight a number of hermeneutical continuities shared by premoderns and postmoderns. After comparing premodern and modern hermeneutical orientations, I conclude that Augustine’s approach to Scripture contrasts sharply with a (strict) modern grammatico-historical biblical methodology, whereas premodern hermeneutics share a number of continuities with Gadamerian and postmodern emphases. Lastly, in light of Gadamer’s famous statement, ‘all of life is hermeneutics’, I suggest that perhaps we could read Augustine’s life as affirming this claim. By taking a close look at Augustine’s story, I will attempt to show how pre-judgments, interpretative traditions and a dynamic/analogical rather than a static/univocal understanding of text (and reality) decisively affected his spiritual and intellectual vision—observations Gadamer would no doubt heartily affirm. (shrink)

Higher-order evidence is, roughly, evidence of evidence. The idea is that evidence comes in levels. At the first, or lowest, evidential level is evidence of the familiar type—evidence concerning some proposition that is not itself about evidence. At a higher evidential level the evidence concerns some proposition about the evidence at a lower level. Only in relatively recent years has this less familiar type of evidence been explicitly identified as a subject of epistemological focus, and the work on it (...) remains relegated to a small circle of authors and a short stack of published articles—far disproportionate to the attention it deserves. It deserves to occupy center stage for several reasons. First, higher-order evidence frequently arises in a strikingly diverse range of epistemic contexts, including testimony, disagreement, empirical observation, introspection, and memory, among others. Second, in many of the contexts in which it arises, such evidence plays a crucial epistemic role. Third, the precise role it plays is complex, gives rise to a number of interesting epistemological puzzles, and for these reasons remains controversial and is not yet fully understood. As such, higher-order evidence merits systematic investigation. This thesis undertakes such an investigation. It aims to produce a thorough account of higher-order evidence—what it is, how it works, and its epistemic consequences. Chapter 1 serves as a general introduction to the topic and an overview of the existing literature, but primarily aims to further elucidate the concept of higher-order evidence and build a theoretical framework for later chapters. Chapter 2 develops an account of what I call “higher-order support”: the bearing higher-order evidence has, not on corresponding “lower-order evidence” (roughly, the evidence the higher-order evidence is about), but on corresponding “object-level propositions” (roughly, the propositions the higher-order evidence alleges the lower-order evidence to be about). Chapter 3 develops an account of “levels interaction”: the effect on overall support when the different evidential levels combine. Chapter 4 identifies important consequences of the theoretical results of the previous two chapters and applies the theory to four select cases of current epistemological controversy—testimony, memory, the closure of inquiry, and disagreement. (shrink)