In this paper we study essential hereditary undecidability. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. (...) We develop a reduction relation essential tolerance, or, in the converse direction, lax interpretability that interacts in a good way with essential hereditary undecidability. We introduce the class of $$\Sigma ^0_1$$ Σ 1 0 -friendly theories and show that $$\Sigma ^0_1$$ Σ 1 0 -friendliness is sufficient but not necessary for essential hereditary undecidability. Finally, we adapt an argument due to Pakhomov, Murwanashyaka and Visser to show that there is no interpretability minimal essentially hereditarily undecidable theory. (shrink)

In this paper, we study the employment of $\Sigma _1$ -sentences with certificates, i.e., $\Sigma _1$ -sentences where a number of principles is added to ensure that the witness is sufficiently number-like. We develop certificates in some detail and illustrate their use by reproving some classical results and proving some new ones. An example of such a classical result is Vaught’s theorem of the strong effective inseparability of $\mathsf {R}_0$. We also develop the new idea of a theory being $\mathsf (...) {R}_{0\mathsf {p}}$ -sourced. Using this notion, we can transfer a number of salient results from $\mathsf {R}_0$ to a variety of other theories. (shrink)

Using a result of Gurevich and Lewis on the word problem for finite semigroups, we give short proofs that the following theories are hereditarily undecidable: (1) finite graphs of vertex-degree at most 3; (2) finite nonvoid sets with two distinguished permutations; (3) finite-dimensional vector spaces over a finite field with two distinguished endomorphisms.

A major theme in the study of degree structures of all types has been the question of the decidability or undecidability of their first order theories. This is a natural and fundamental question that is an important goal in the analysis of these structures. In this paper, we study decidability for theories of upper semilattices that arise from the theory of numberings. We use the following approach: given a level of complexity, say \, we consider the upper semilattice \ (...) of all \-computable numberings of all \-computable families of subsets of \. We prove that the theory of the semilattice of all computable numberings is computably isomorphic to first order arithmetic. We show that the theory of the semilattice of all numberings is computably isomorphic to second order arithmetic. We also obtain a lower bound for the 1-degree of the theory of the semilattice of all \-computable numberings, where \ is a computable successor ordinal. Furthermore, it is shown that for any of the theories T mentioned above, the \-fragment of T is hereditarily undecidable. Similar results are obtained for the structure of all computably enumerable equivalence relations on \, equipped with composition. (shrink)

We study the effective versions of several notions related to incompleteness, undecidability, and inseparability along the lines of Pour-El’s insights. Firstly, we strengthen Pour-El’s theorem on the equivalence between effective essential incompleteness and effective inseparability. Secondly, we compare the notions obtained by restricting that of effective essential incompleteness to intensional finite extensions and extensional finite extensions. Finally, we study the combination of effectiveness and hereditariness, and prove an adapted version of Pour-El’s result for this combination.

A new method for obtaining lower bounds on the computational complexity of logical theories is presented. It extends widely used techniques for proving the undecidability of theories by interpreting models of a theory already known to be undecidable. New inseparability results related to the well known inseparability result of Trakhtenbrot and Vaught are the foundation of the method. Their use yields hereditary lower bounds . By means of interpretations lower bounds can be transferred from one theory to another. (...) Complicated machine codings are replaced by much simpler definability considerations, viz., the kinds of binary relations definable with short formulas on large finite sets. Numerous examples are given, including new proofs of essentially all previously known lower bounds for theories, and lower bounds for various theories of finite trees, which turn out to be particularly useful. (shrink)

Kristiansen and Murwanashyaka recently proved that Robinson arithmetic, Q, is interpretable in an elementary theory of full binary trees, T. We prove that, conversely, T is interpretable in Q by producing a formal interpretation of T in an elementary concatenation theory QT+, thereby also establishing mutual interpretability of T with several well-known weak essentially undecidable theories of numbers, strings, and sets. We also introduce a “hybrid” elementary theory of strings and trees, WQT*, and establish its mutual interpretability with Robinson’s weak (...) arithmetic R, the weak theory of trees WT of Kristiansen and Murwanashyaka, and the weak concatenation theory WTCε of Higuchi and Horihata. (shrink)

In the language $\lbrace 0, 1, \circ, \preceq \rbrace$, where 0 and 1 are constant symbols, $\circ$ is a binary function symbol and $\preceq$ is a binary relation symbol, we formulate two theories, $\textsf {WD}$ and ${\textsf {D}}$, that are mutually interpretable with the theory of arithmetic ${\textsf {R}}$ and Robinson arithmetic ${\textsf {Q}}$, respectively. The intended model of $\textsf {WD}$ and ${\textsf {D}}$ is the free semigroup generated (...) by \(\lbrace {\varvec{0}}, {\varvec{1}} \rbrace \) under string concatenation extended with the prefix relation. The theories $\textsf {WD}$ and ${\textsf {D}}$ are purely universally axiomatised, in contrast to ${\textsf {Q}}$ which has the $\varPi _2$ -axiom $\forall x \; [ \ x = 0 \vee \exists y \; [ \ x = Sy \ ] \ ]$. (shrink)

A field K in a ring language $\mathcal {L}$ is finitely undecidable if $\mbox {Cons}(T)$ is undecidable for every nonempty finite $T \subseteq {\mathtt{Th}}(K; \mathcal {L})$. We extend a construction of Ziegler and (among other results) use a first-order classification of Anscombe and Jahnke to prove every NIP henselian nontrivially valued field is finitely undecidable. We conclude (assuming the NIP Fields Conjecture) that every NIP field is finitely undecidable. This work is drawn from the author’s PhD thesis [48, Chapter 3].

We show that we can interpret concatenation theories in arithmetical theories without coding sequences by identifying binary strings with $2\times 2$ matrices with determinant 1.

We prove the hereditary undecidability of the L t theories of: (1) torsion-free Hausdorff topological abelian groups; (2) locally pure Hausdorff topological abelian groups.

We consider weak theories of concatenation, that is, theories for strings or texts. We prove that the theory of concatenation WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document}, which is a weak subtheory of Grzegorczyk’s theory TC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{TC}^{-\varepsilon}}$$\end{document}, is a minimal essentially undecidable theory, that is, the theory WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document} is essentially undecidable and if one omits an axiom scheme from WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document}, then the resulting theory is no longer essentially undecidable. Moreover, we give a positive answer to Grzegorczyk and Zdanowski’s conjecture that ‘The theory TC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{TC}^{-\varepsilon}}$$\end{document} is a minimal essentially undecidable theory’. For the alternative theories WTC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}}$$\end{document} and TC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{TC}}$$\end{document} which have the empty string, we also prove that the each theory without the neutrality of ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varepsilon}$$\end{document} is to be such a theory too. (shrink)

For many, the two key thinkers about science in the twentieth century are Thomas Kuhn and Karl Popper, and one of the key questions in contemplating science is how to make sense of theory change. In Creatively Undecided, philosopher Menachem Fisch defends a new way to make sense of the rationality of scientific revolutions. He argues, loosely following Kuhn, for a strong notion of the framework dependency of all scientific practice, while at the same time he shows how such frameworks (...) can be deemed the possible outcomes of keen rational deliberation along Popperian lines. Fisch's innovation is to call attention to the importance of ambiguity and indecision in scientific change and advancement. Specifically, he backs the problem up, looking not at how we might communicate rationally across an already existing divide but at the rational incentive to create an alternative framework in the first place. Creatively Undecided will be essential reading for philosophers of science, and its vivid case study in Victorian mathematics will draw in historians. (shrink)

In this paper we explore the following question: how weak can a logic be for Rosser's essential undecidability result to be provable for a weak arithmetical theory? It is well known that Robinson's Q is essentially undecidable in intuitionistic logic, and P. Hajek proved it in the fuzzy logic BL for Grzegorczyk's variant of Q which interprets the arithmetic operations as non-total non-functional relations. We present a proof of essential undecidability in a much weaker substructural logic (...) and for a much weaker arithmetic theory, a version of Robinson's R (with arithmetic operations also interpreted as mere relations). Our result is based on a structural version of the undecidability argument introduced by Kleene and we show that it goes well beyond the scope of the Boolean, intuitionistic, or fuzzy logic. (shrink)

Significant breakthroughs in genetic research promoted by the human genome project, advances in molecular biology and new reproductive technologies have improved the understanding and the possibility of genetic interventions as a potential medication for diseases caused by differentiated disorders, especially those that originated in irregularities in individual genes. The progress achieved in contemporary studies has created the likelihood that the man has the technical capacity to modify the genes that will be transmitted to the next generations as well. These are (...) the so-called hereditary genetic modifications, i.e. any biomedical interventions which could be expected to transform the genome which a person could transfer to their offspring. The author analyses in this paper why even the hints of transformations of genes that will be passed on to future generations cause deep bioethical, theological, legal and political debates and controversies. He also believes that in the era of rapid strengthening of the social and technical and technological effects of science, it is very important that scientists, in their perceptions and insights, which particularly in the field of humanities, do not have the character of value beliefs, do not go below the achieved civilization standards of ethical and moral culture and to reflect on different themes with due care and awareness of the dilemmas that they can encounter in their professional work. An adequate interdisciplinary, multidisciplinary and pluriperspective approach, as well as the awareness of the essential compatibility of scientific freedom and responsibility, should ultimately result in a different and more sophisticated attitude of the scientists themselves to the possibilities of their own discipline and the significance of its effects. (shrink)

This volume in the Clarendon Edition of the Works of Thomas Hobbes contains A dialogue between a philosopher and a student, of the common laws of England, edited by Alan Cromartie, supplemented by the important fragment 'Questions relative to Hereditary Right', discovered and edited by Quentin Skinner. As a critique of common law by a great philosopher, the Dialogue should be essential reading for anybody interested in English political thought or legal theory. Cromartie has established when and why (...) the work was written and has supplied extensive annotation to make the work accessible to the non-specialist reader. The additional piece sees Hobbes mounting a robust defence of hereditary right, in the course of which he also makes some important general observations about the concept of a right. It is also of special interest as it constitutes Hobbes's last word on politics. (shrink)

A critical edition of two great works by Thomas Hobbes. The Dialogue of the Common Laws is his classic critique of common law, essential reading for anyone interested in English political thought or legal theory. It is accompanied by Hobbes's last word on politics, a fragment in which he mounts a robust defence of hereditary right.

Gene therapy and gene editing are revolutionising the treatment of genetic diseases, most notably haematological disorders. This paper evaluates the use of both techniques in hereditary blood disorders. Many studies have been conducted in this field, especially with gene therapy, with very promising results in diseases such as haemophilia, certain haemoglobinopathies and Fanconi anaemia. The application of these techniques in clinical practice and the foreseeable development of these approaches in the coming years suggest that it might be useful to (...) evaluate the results achieved thus far. It is also essential to reflect on the possible bioethical concerns raised by the use of both techniques, especially in terms of safety issues for patients, potential side effects, treatment duration, accessibility and cost of treatment, and the heritability of genetic changes produced if germline cells are used. (shrink)

Derrida's key concepts or pseudo-concepts of différance, the trace, and the undecidable suggest analogies to some of the most significant results of formal, symbolic logic and metalogic. As early as 1970, Derrida himself pointed out an analogy between his use of ‘undecidable’ and Gödel's incompleteness theorems, which demonstrate the existence, in any sufficiently complex and consistent system, of propositions which cannot be proven or disproven (i.e., decided) within that system itself. More recently, Graham Priest has interpreted différance as an instance (...) of the general metalogical procedure of diagonalisation. In this essay, I consider the extent to which Derrida's key terms and the essential operations of deconstruction can be formalised. I argue that, if formalisation is indeed the technique of writing par excellence, then the formalisation of deconstructive concepts tends to show how the auto-deconstruction of total systems arises from the problematic possibility of writing itself. For instance, since diagonalisation permits the ‘arithmetisation of syntax’ whereby a formal system is able to formulate claims about its own logico-grammatical properties, we can understand its potential to inscribe the undecidable within the systematicity of language as simply one instance of the potential of writing, in figuring itself, to render inscrutable the trace of its own origin. (shrink)

This volume in the Clarendon Edition of the Works of Thomas Hobbes contains A dialogue between a philosopher and a student, of the common laws of England, edited by Alan Cromartie, supplemented by the important fragment on the issue of regal succession, 'Questions relative to Hereditary Right', discovered and edited by Quentin Skinner. The former work is the last of Hobbes's major political writings. As a critique of common law by a great philosopher, it should be essential reading (...) for anybody interested in English political thought or legal theory. Although it was written when Hobbes was at least eighty, it is a lively piece of work that goes beyond a recapitulation of earlier Hobbesian doctrines, not least in applying his central ideas to the details of the English constitution. This edition supplies the extensive annotation on matters of legal and historical detail that is required by non-specialist readers; it also assists students by offering cross-references to other treatises. Cromartie's introduction is an authoritative account of seventeenth-century thinking about the common law and of Hobbes's shifting attitudes towards it. It has often been suspected that the book was motivated by fear of being burned for heresy. Cromartie disentangles the complex evidence that documents this fear's development, and shows why the philosopher's acute anxieties eventually led him to write a legal treatise. In clarifying these questions, the edition casts fresh light upon his attitude to law and sovereignty. The second piece takes the form of a question put to Hobbes about the right of succession under hereditary monarchies, together with Hobbes's response. The question is in the handwriting of the fourth Earl of Devonshire, the son of the third Earl, whom Hobbes had tutored in the 1630s. He asks Hobbes whether an heir can be excluded if he is incapable of protecting his prospective subjects. The question of 'exclusion' became the most burning issue in English politics in the course of 1679, when a bill to exclude the future James II was introduced into the House of Commons. Hobbes answers with a robust defence of hereditary right, in the course of which he also makes some important general observations about the concept of a right. The manuscript is also of special interest as it constitutes Hobbes's last word on politics. It was almost certainly written in the summer of 1679, less than six months before Hobbes's death. (shrink)

This article presents the results of a study that investigates the way in which carriers of a mutation on the BRCA1 or the BRCA2 gene, associated with a high risk of breast and ovarian cancer, make their reproductive decisions. Using semi-structured interviews, the study explored the way in which these persons reflected on the acceptability of taking the risk of transmitting this mutation to the next generation, the arguments they used in favor or against taking that risk, and in the (...) light of these arguments, their opinion on the acceptability of preimplantation genetic diagnosis (PGD) as a reproductive option. The findings suggest that when carriers are planning to have a(nother) child, they are mainly concerned by the risk of transmitting ‘much more than a gene’: essentially painful experiences not only with respect to health, such as undergoing cancer surveillance or combatting one’s own illness, but also with regards to family life, such as witnessing the illness and death of a close relative, encountering difficulties in finding a partner or reconsidering one’s plans to have a family. As for opinions concerning the acceptability of PGD as a reproductive option, opinions about personal recourse were varied but all expressed the understanding that PGD should be made available to those persons who consider it their best option. (shrink)

In this paper we present stable and unstable versions of several well-known relations from mereotopology: part-of, overlap, underlap and contact. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereotopo-logical relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation theory is developed in similar fashion to (...) Stone’s representation theory for Boolean algebras and distributive lattices. Then we present some results about the first-order predicate logic of these relations and about its quantifier-free fragment. Completeness theorems for these logics are proved, the full first-order theory is proved to be hereditary undecidable and the satisfiability problem of the quantifier-free fragment is proved to be NP-complete. (shrink)

In this work, we aim at understanding incompleteness in an abstract way via metamathematical properties of formal theories. We systematically examine the relationships between the following twelve important metamathematical properties of arithmetical theories: Rosser, EI (effectively inseparable), RI (recursively inseparable), TP (Turing persistent), EHU (essentially hereditarily undecidable), EU (essentially undecidable), Creative, $\textbf{0}^{\prime }$ (theories with Turing degree $\textbf{0}^{\prime }$), REW (all RE sets are weakly representable), RFD (all recursive functions are definable), RSS (all recursive sets are strongly representable), RSW (all (...) recursive sets are weakly representable). Given any two properties $P$ and $Q$ in the above list, we examine whether $P$ implies $Q$. (shrink)

Preface ix Acknowledgements xi 1 Introduction: towards an acceptable fideism 1 The metaquestion: what is the issue about the ‘justifiability’ of religious belief? 4 Faith-beliefs 6 Overview of the argument 8 Glossary of special terms 18 2 The ‘justifiability’ of faith-beliefs: an ultimately moral issue 26 A standard view: the concern is for epistemic justifiability 26 The problem of doxastic control 28 The impossibility of believing at will 29 Indirect control over beliefs 30 ‘Holding true’ and ‘taking to be true’ (...) 33 A second—direct—locus of doxastic control 35 Moral doxastic responsibilities 41 The moral significance of faith-beliefs 47 Linking moral to epistemic justifiability: reinstating the standard view? 48 3 The epistemic justifiability of faith-beliefs: an ambiguity thesis 53 Plausibility of requiring epistemic for moral justifiability under a realist interpretation of faith-beliefs 53 Interpreting the link principle: epistemic entitlement as requiring evidential justification 55 Evidentialist requirements specified by an implicit evidential practice 65 Rational empiricist evidential practice 66 Applying rational empiricist evidential practice to theistic faith-beliefs: an ambiguity thesis 68 vi contents 4 Responses to evidential ambiguity: isolationist and Reformed epistemologies 77 Two strategies for defending the moral probity of theistic faith-belief in the face of evidential ambiguity 78 Appealing to a special theistic evidential practice/improved epistemologies 79 An isolationist epistemology 79 Reformed epistemology 86 Conclusion: the need for a fideist response to ambiguity 99 5 Faith as doxastic venture 101 Agenda for a defence of doxastic venture 102 The nature of theistic faith 103 The doxastic venture model 106 The psychological possibility of doxastic venture 111 A Jamesian account 112 ‘Passionally’ caused beliefs 113 6 Believing by faith: a Jamesian position 122 An initial hypothesis for a Jamesian thesis on permissible doxastic venture 123 The notion of a ‘genuine option’ 125 A ‘degrees of belief ’ challenge 128 Evidentially undecidable forced options 129 Permissible doxastic venture: supra- not counter-evidential 135 How theistic religion could present essentially evidentially undecidable genuine options: the notion of a highest-order framing principle 137 Restricting thesis ( Ji) to faith-propositions: thesis ( J) 145 7 Integrationist values: limiting permissible doxastic venture 151 Can counter-evidential fideism be non-arbitrarily excluded? 151 A coherence requirement and integrationist values 155 Moral integration of faith-commitments 163 Implications for reflective faith-believers 167 Coda: A reflection on Abraham as forebear in faith 170 contents vii 8 Arguments for supra-evidential fideism 174 The importance of defending the epistemic permissibility of faith-ventures 176 Strategies for supporting fideism 178 An ‘assimilation to personal relations cases’ strategy: experimental ventures in interpersonal trust 180 The ‘assimilation to personal relations cases’ strategy: cases where ‘faith in a fact can help create a fact’ 182 A consequentialist strategy 185 A note on Pascal’s Wager 187 The tu quoque strategy 189 Is hard-line evidentialism self-undermining? 190 Attitudes to passional doxastic inclinations 194 Epistemological externalism again: a presumption in favour of fideism? 196 Scepticism about passional doxastic inclinations as guides to truth: how passions may be schooled 197 The significance of scientific theories of passional motivations for faith-commitment 204 An impasse? 206 9 A moral preference for modest fideism? 208 Implications of accepting ( J+) for orthodox and revisionary theistic faith-ventures 209 The apparent fideist/evidentialist impasse and its implications 211 Beyond impasse? Direct moral evaluation of the fideist/evidentialist debate 215 Self-acceptance and authenticity 216 Hard-line evidentialism as grounded in doctrinaire naturalism 220 Coherence amongst moral and religious passional commitments 225 Conclusion 227 Bibliography 230 Index 237. (shrink)

We prove that a variant of Robinson arithmetic $\mathsf{Q}$ with nontotal operations is interpretable in the theory of concatenation $\mathsf{TC}$ introduced by A. Grzegorczyk. Since $\mathsf{Q}$ is known to be interpretable in that nontotal variant, our result gives a positive answer to the problem whether $\mathsf{Q}$ is interpretable in $\mathsf{TC}$. An immediate consequence is essential undecidability of $\mathsf{TC}$.

This paper belongs to the research on the limit of the first incompleteness theorem. Effectively inseparable (EI) theories can be viewed as an effective version of essentially undecidable (EU) theories, and EI is stronger than EU. We examine this question: Are there minimal effectively inseparable theories with respect to interpretability? We propose tEI, the theory version of EI. We first prove that there are no minimal tEI theories with respect to interpretability (i.e., for any tEI theory T, we can effectively (...) find a theory which is tEI and strictly weaker than T with respect to interpretability). By a theorem due to Pour-EI, we have that tEI is equivalent with EI. Thus, there are no minimal EI theories with respect to interpretability. Also, we prove that there are no minimal finitely axiomatizable EI theories with respect to interpretability. (shrink)

Advances in genetic research have created the need to inform consumers. Yet, the communication of hereditary risk and of the options for how to deal with it is a difficult task. Due to the abstract nature of genetics, people tend to overestimate or underestimate their risk. This paper addresses the issue of how to communicate risk information on hereditary breast and ovarian cancer through an online application. The core of the paper illustrates the design of OPERA, a risk (...) assessment instrument that applies the UK National Institute of Health and Clinical Excellence's guidelines on the basis of (i) the number of relatives on the same side of the family with the same cancer or cancers that are known to run together; (ii) the ages of these relatives at diagnosis and (iii) the closeness of the family relationship with the person who is doing the assessment. By relying on the argumentation theory, we explain how the communication strategy that OPERA implements is essentially based on Perelman and Olbrechts-Tyteca's deductive argumentation by association. By using as premises “facts” (propositions about reality that can be assumed without further justification) and “truths” (propositions that make connections about facts), OPERA delivers its claims with an ex auctoritate causal link aimed at transferring the audience's acceptance of the cause to the effect. Overall, the design of OPERA rests on its capacity to induce users' active processing of risk information through an appeal to their reasoning faculty. In the conclusion, we present some results from a pilot evaluation of users' acceptance of OPERA. (shrink)

The ‘Turing barrier’ is an evocative image for 0′, the degree of the unsolvability of the halting problem for Turing machines—equivalently, of the undecidability of Peano Arithmetic. The ‘barrier’ metaphor conveys the idea that effective computability is impaired by restrictions that could be removed by infinite methods. Assuming that the undecidability of PA is essentially depending on the finite nature of its computational means, decidability would be restored by the ω-rule. Hypercomputation, the hypothetical realization of infinitary machines through (...) relativistic and quantium models, would thus be capable of breaking the Turing barrier. The speculation is unfounded in principle, apart from issues of physical realizability: The point is that the ω-rule does not cope with all objects entailing the undecidability of PA. As long as the system is consistent, the computational boundary can be established by paradox-like constructions, such as Gödel-Rosser’s and Yablo’s, which are refractory to infinite induction, and do stand as the barrier’s buttresses. (shrink)

Introduction: Wonder and the births of philosophy -- Socrates' small difficulty -- The wound of wonder -- The death and resurrection of Thaumazein -- The Thales dilemma -- Repetition : Martin Heidegger -- Metaphysics small difficulty -- Wonder and the first beginning -- Wonder and the other beginning -- Theaetetus redux : the ghost of the Pseudes Doxa -- Once again to the cave -- Rethinking Thaumazein -- Openness : Emmanuel Levinas -- Passivity and responsibility -- The ethics of the (...) cave -- Infinity and astonishment -- Opening out : from existent to existence -- Closing down : from existence to existent -- Locking up : totality and infinity -- The phantom of the autrement -- Awakening -- Relation : Jean-Luc Nancy -- The problem of Mitsein -- Mitsein as essential inessentiality -- The myth of essentialism -- Unworking -- Interruption -- Repetition -- Decision : Jacques Derrida -- Thaumazein, the irresponsible, and the undecidable -- Hospitality -- Undecidability revisited -- Much madness is divinest sense (or, who comes after the decision?) -- How to avoid the subject (or, that's not my hedgehog!) -- Undecidability, take three : think here of Kierkegaard -- Mysterium tremendum -- Postlude: Possibility. (shrink)

Mitochondria are essential subcellular organelles containing an extranuclear genome (mtDNA). Mutations in mtDNA have recently been identified as causing a variety of human hereditary diseases. In most of these cases, the tissues of the affected individual contain a mixture of mutant and normal mtDNA, with this ratio determining the severity of symptoms. Stochastic factors alone have generally been believed to determine this ratio. Jenuth et al.(1), however, examining mice that contain a mixture of mtDNA types, show evidence of (...) strong selective forces at work in favoring one mtDNA variant over another in some tissues. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This volume in the Clarendon Edition of the Works of Thomas Hobbes contains A dialogue between a philosopher and a student, of the common laws of England, edited by Alan Cromartie, supplemented by the important fragment "Questions relative to Hereditary Right," discovered and edited by Quentin Skinner. As a critique of common law by a great philosopher, the Dialogue should be essential reading for anybody interested in English political thought or legal theory. Cromartie has established when and why (...) the work was written and has supplied extensive annotation (along with a substantial introduction) to make the work accessible to the non-specialist reader. The additional piece sees Hobbes mounting a robust defense of hereditary right, in the course of which he also makes some important general observations about the concept of a right. It is also of special interest as it constitutes Hobbes's last word on politics. (shrink)

In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom (...) provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. -/- Beginning with a previously unpublished lecture for a general audience, Deciding the Undecidable, Feferman examines the famous list of twenty-three mathematical problems posed by David Hilbert, concentrating on three problems that have most to do with logic. Other chapters are devoted to the work and thought of Kurt Gödel, whose stunning results in the 1930s on the incompleteness of formal systems and the consistency of Cantors continuum hypothesis have been of utmost importance to all subsequent work in logic. Though Gödel has been identified as the leading defender of set-theoretical platonism, surprisingly even he at one point regarded it as unacceptable. -/- In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles. At least to that extent, the question raised in two of the essays of the volume, Is Cantor Necessary?, is answered with a resounding no. -/- This volume of important and influential work by one of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects. (shrink)

The discovery of the concrete basis for genes, and especially the clarification of mechanisms regulating gene expressions (in particular those that bear on the stepwise processing of hereditary information from the sequences of DNA nucleotides to the proteins) was to give flesh to the concept of a genetic program, for these regulations introduce relationships of order between the various elements of information contained in the genes. These order relations are then revealed during the time-dependent expression of the genetic program. (...) They can lead, in the case of a given program, to a plethora of particular outcomes, because the number of possible combinations rapidly becomes enormous. Since the discoveries of Jacob and Monod, it is clear that the genes specifying the regulatory functions will be responsible for phenotypic variability, especially for the apparently ideal adaptation of a living organism to its environment, and more generally for all the genotype-bound manifestations as they unfold in time. -/- Thus we are led to consider three particular characteristics that allow for the representation of living beings: a program, which summarizes the hereditary constraints and is, in fact, the abstract notion underlying the definition of all individuals in a given class (species); an initial state of the system that represents the context in which the program must express itself at the time of the individual's birth; and a particular outcome of each program, which coincides with individual development. The set of all outcomes constitutes the genetic envelope and allows the essential characteristics of the program to be obtained by induction. Theoretically, a structured set equivalent to the aforementioned one could be reconstructed by providing the program, the initial state, and the totality of the events of the external environment, producing any interaction whatever with the individual. -/- As a consequence, the observation of a phenotype does not tell in any straightforward way, what is the direct consequence of the expression of a particular gene, or of a specific feature of the environment. A phenocopy is a particular example of a phenotype that is the result of a gene expression mimicking a particular gene-directed phenotype, without however corresponding to a pparticular mutation of a known gene. (shrink)

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. (...) The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Relations between some theories of semigroups (also known as theories of strings or theories of concatenation) and arithmetic are surveyed. In particular Robinson's arithmetic Q is shown to be mutually interpretable with TC, a weak theory of concatenation introduced by Grzegorczyk. Furthermore, TC is shown to be interpretable in the theory F studied by Tarski and Szmielewa, thus confirming their claim that F is essentially undecidable.

This article seeks to reconstruct and critically extend Jacques Derrida’s critique of Edmund Husserl’s transcendental phenomenology. Derrida’s critique of Husserl is explored in three main areas: the phenomenology of language, the phenomenology of time, and the phenomenological constitution of ideal objects. In each case, Husserl’s analysis is shown to rest upon a one-sided determination of truth in terms of presence—whether it be the presence of expressive meaning to consciousness, the self-presence of the temporal instant, or the complete presence of an (...) ideal object through intuition. At every juncture, Derrida’s reasoning is deployed in order to demonstrate how presence is irreducibly bound up with absence and otherness and thus how the ideal of a phenomenological self-presence of consciousness is itself an abstraction from the contingency of history and our concrete embeddedness within a particular lifeworld. The article concludes with an appraisal of reason’s limits in a time of technological domination and the threat of global annihilation. Rather than a flight into irrationalism or skepticism, the author advocates a deepening of philosophical responsibility and an ethics of undecidability as essential for meeting the challenges of modernity. (shrink)

Galton greeted Darwin's theory of pangenesis with enthusiasm, and tried to test the assumption that the hereditary particles circulate in the blood by transfusion experiments on rabbits. The failure of these experiments led him to reject this assumption, and in the 1870s he developed an alternative theory of heredity, which incorporated those parts of Darwin's theory that did not involve the transportation of hereditary particles throughout the system. He supposed that the fertilized ovum contains a large number of (...) hereditary elements, which he collectively called the "stirp," a few of which are patent, developing into particular cell types, while the rest remain latent; the latent elements can be transmitted to the next generation, while the patent elements, with rare exceptions, cannot since they have developed into cells. The problem with this theory is that it does not explain the similarity between parent and child unless there is a high correlation between latent and patent elements. Galton probably came to realize this problem during his subsequent statistical work on heredity, and he quietly dropped the idea that patent elements are not transmitted in Natural Inheritance (1889). Galton thought that brothers and sisters had identical stirps, and he attributed differences between them to variability in the choice of patent elements from the stirp, that is to say to developmental variability. He attributed the likeness of monozygotic twins to the similarity of their developmental environment. Galton's twin method was to track the life history changes of twins to see whether twins who were similar at birth diverged in dissimilar environments or whether twins who were dissimilar at birth converged in similar environments. It is quite different from the modern twin method of comparing the similarities between monozygotic and dizygotic twins, on the assumption that monozygotic twins are genetically identical whereas dizygotic twins are not. It has been argued that Galton foreshadowed Weismann's theory of the continuity of the germ-plasm, but this is only true in a weak sense. They both believed that the inheritance of acquired characters was either rare or impossible, but Galton did not forestall the essential part of Weismann's theory, that the germ-plasm of the zygote is doubled, with one part being reserved for the formation of the germ-cells. (shrink)

The paradox of predictability refers to situations in which, even in a deterministic universe, a correct prediction of a future action is seemingly impossible because the agent whose action is predicted is determined to act counterpredictively. In a recent contribution to this journal, Victor Gijsbers provides an example of the paradox in which the undecidability of the situation plays an essential role and claims, additionally, that this undecidability is at the root of all examples of the paradox. (...) This paper argues, first, that the latter claim is not correct because there are clear examples of the paradox in which the situation remains fully decidable. The paper argues, secondly, that, because of its reliance on rather artificial conditions and in contrast with examples referring to the physical nature of the predictor, the example presented by Gijsbers, though technically correct, has little relevance for our understanding of the role of (counter-)predictability in the context of human interactions. (shrink)

This paper examines conceptual issues that arise in applications of Darwinian natural selection to cultural systems. I argue that many criticisms of cultural selectionist models have been based on an over-detailed reading of the analogy between biological and cultural units of selection. I identify five of the most powerful objections to cultural selection theory and argue that none cuts to its heart. Some objections are based on mistaken assumptions about the simplicity of the mechanisms of biological heredity. Other objections are (...) attributable, rather, to mistaken inferences from observations of biological subject matter to what is essential in natural selection. I argue that such features are idiosyncratic of biological systems, but not essential for natural selection. My arguments throughout are illustrated by examples from biological and cultural evolution, and counter-factual illustrations from the history of theoretical biology. Introduction Cultural Selection Theory First Objection: Lamarckianism Second Objection: Genotype–Phenotype Distinction Third Objection: Common Hereditary Architecture Fourth Objection: Biological Analogue for Cultural Units 6.1 Regarding strict analogues 6.2 Regarding the trait analogue 6.3 Regarding the virus analogue Fifth Objection: Environmental Interaction Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories (...) interpretable in existential theories in the process. (shrink)

The effects of heredity and the environment on the development of human being, which is a multidimensional being, have been discussed for many years. Studies on the religious development of man were also influenced by these discussions. In this context, in order to better understand the nature of religious development, some theories such as behavioral, cognitive or stage theories have emerged. In a sense, these theories have also identified the direction of religious development. However, many of these theories did not (...) address their religious development as a whole. This restricted the understanding of religious development. Therefore, this article has two main purposes. First, to bring the ecological theory which is the human development model proposed by Bronfenbrenner, which considers human development as a whole with the environment and events in which it lives, to the literature of our country's religion psychology. The second aim is that to contribute to a better understanding of the psychological foundations of religious development through the use of this theory. In this article where qualitative research method has been used, some quantitative study data have been used. In the article, the ecosystem, ecosystem, macrosystem, and the effect of each of the chronosystem on religious development is discussed. In this article, it is concluded that approach to religious development in the context of ecological theory can be useful.Summary: Human being is existentially open to development. The openness of human to development is not a choice but a requirement. Therefore, each individual must experience a developmental process in which physiological, psychological and sociological conditions are intertwined unless he has voluntarily terminated his existence. Psychologists, who are aware of this, attach a special importance to the phenomenon of development. Is heredity is more effective in human development, or the environment? This question is a result of the importance that psychologists attribute to development.Essentially, the roots of these debates on human development are based on the foundation of modern psychology. For example, Locke, one of the most important philosophers of the 18th century, rejected the idea of ​​Descartes, one of the 17th-century thinkers, that man came to the world equipped with all sorts of knowledge and skills. Unlike Descartes, Locke argued that the source of all human knowledge is based on experience. According to Locke, the mind of the newborn baby is an un scraped tablet = tabula rasa, but it is not only the normal knowledge but also the source of God's imagination.This perspective on human development naturally affected the problem of religious development. For example, Jung sought the basis of religious faith in the collective unconscious, referring to the hereditary foundations of religious faith in a sense. On the other hand, Pratt approached the problem of religious development on the basis of experience.In general, religious development studies carried out on more experienced grounds have brought some theoretical approaches. Goldman, for example, examined the course of religious development from childhood to adolescence. For him, religious thought is not that different from non-religious thought in terms of form and method. Fowler, on the other hand, expressed that faith is not always religious in terms of content and context, and has developed a theory of belief development that includes religious development. However, some religious development models brings a different perspective to the development of the religious phenomenon in Turkey have been developed. Three-stage religious development model developed by Karaca is one of them. According to this model, the process of religious development of human beings is completed through three stages: inner tendencies, awakening of religious interest and questioning, harmony and stability.The necessity of using multi-dimensional approaches to understand the human being is a multidimensional entity is undoubtedly a reality. For this reason, it can be stated that the diversity of the explanation models for the religious development phenomenon mentioned above is a richness. It is thought that looking at the phenomenon of religious development in terms of the ecological theory developed by Bronfenbrenner, will increase the wealth of the means to understand the phenomenon of religious development. In this context, the main aim of this article is to provide the literature on the psychology of religion in our country and to contribute to the understanding of the phenomenon of religious development in the context of the theory of ecological theory put forward by Bronfenbrenner in a holistic way.The qualitative research method has been used in this article, besides the explanations and analyzes, the data of the quantitative studies, which are not directly related to the subject, have also been utilized.The basic step of the ecological theory that Bronfenbrenner suggested is a structure in which many systems from family to political and cultural systems overlap to better understand human development. The microsystem, which represents the innermost layer surrounding the individual, expresses the basic structure in which the individual lives and interacts with other people, while the mesosystemincludes the developing individual and the home and the school, school and workplace. It includes connections between two or more microsystems or contexts. The ecosystem, which is an extension of the mesosystem covering both formal and informal structures and relationships, does not directly affect the individual; however, it surrounds the individual by influencing the current arrangements that the individual has been in. The part of the theory that expresses the attitudes and ideologies of the culture in which the individual lives is the macrosystem. The last link of the theory is the chronosystem. The chronosystem, which explains how socio-historical conditions, lifelong transitions and environmental events occur in a pattern, has an important place in the development history of the individual.Although human beings are born with capability for believing, this situation alone is not enough to complete the process of religious development in a healthy way. When considered in the context of ecological theory, the religious development of the individual is affected from the first degree of the microsystem which is in direct contact with his family, school, peer groups, religious groups and playgrounds. In addition, the mesosystem, ecosystem, macrosystem and chronosystem affect the religious development of the individual either directly or indirectly. However, it should be noted that the effects of these systems on religious development are always double polarized.In order to better understand the psychology of religious development in the context of ecological theory, it is thought that the cross-sectional and longitudinal studies that will be done with different groups in which the systems constituting the theory are effective will provide illuminating information about the subject. However, researchers, who will study religious development, are very careful when analyzing the relationships of the variables such as gender, age, civil status, education level, occupational groups and socio-economic level expressing the characteristics of the sample group in the experimental studies and used as independent variables. to be. Since, although the effects of these variables on the level of religiousness, the effects of these variables on dependent variables can be limited without considering the ecological theory. (shrink)

The article analyses, in a comparative perspective, the phenomenon of the evolution of the protection of surviving spouse’s inheritance rights in France and Lithuania, the two legal systems historically having some points of interaction. The protection of the surviving spouse is one of the major preoccupations of married couples of today, the couple occupying a central role within the contemporary family. Comparative analysis reveals certain points of convergence between these two legal systems inasmuch the surviving spouse is considered by both (...) legislations as an heir ab intestat and whose protection over the years has been considerably strengthened. The surviving spouse is called to inherit alongside with the heirs of the first or second order and is entitled to the proportions in assets that have not ceased to increase. Lithuanian law seems to have been innovative at an earlier stage than French law, as it is only in the beginning of the 21st century that significant reforms were carried out in this area of law in France. Analysis has also revealed apparent differences in the scope of protection of the surviving spouse, both in regards to the protection provided by law (statutory protection), as well as protection organised by the will of the spouses (voluntary protection). In some respects the statutory protection is more extensive in France (for example, complementary statutory rights of the spouse in regards to the dwelling place or the quality of héritier réservataire) and the instruments of this protection seem to be more varied (for example, the possibility for the spouses to organise their matrimonial regime by inserting specific clauses into the nuptial contract, mechanisms outside the nuptial contracts, such as donations, wills or life insurance contracts). However, this protection might appear to be more extensive under Lithuanian law as far as the voluntary protection is concerned taking into account the introduction, by the new Lithuanian Civil Code of 2000, of the joint will of spouses under which the whole property of the deceased spouse shall be inherited by the surviving spouse (except the mandatory share of succession). The article raises some doubts as to the desirability or even feasibility of aligning the two models of protection given the fact that each of the two countries has its own history and traditions. Nevertheless, a proposition resurges from the analysis in regard to the possible improvement of the protection of the rights to the dwelling place of the surviving spouse under Lithuanian law. Some elements from the existing French model could be transposed given that the dwelling place is an essential family element providing some stability for the surviving spouse. (shrink)

In 1865 Francis Galton published ‘Hereditary Talent and Character’, an elaborate attempt to prove the heritability of intelligence on the basis of pedigree data. It was the start of Galton's lifelong commitment to investigating the statistical patterns and physiological mechanisms of hereditary transmission. Most existing attempts to explain Galton's fascination for heredity have argued that he was driven by a commitment to conservative political ideologies to seek means of naturalizing human inequality. However, this paper shows that another factor (...) of at least equal importance has been overlooked by Galton scholars: his determination during the 1860s to be accepted among the ranks of the Darwinian inner circle. By hitching his career to the fortunes of what looked likely to emerge as a new scientific elite, Galton felt that he could bypass the typically slow and uncertain route to achieving scientific distinction. For this essentially strategic reason, between 1860 and 1865 he drifted away from a set of existing scientific concerns that were failing to deliver the approbation that he desired. Earnestly seeking to ingratiate himself with the Darwinian lobby, he then toyed with a variety of potential research projects relevant to Darwinian evolution. Yet Galton consistently failed to stimulate the enthusiasm of the Darwinians. Finally, however, after several months of ruminating, in 1864 he settled on a study of eminent pedigrees as a subject that was both germane and highly useful to the Darwinian enterprise. Galton's willingness to shift the direction of his scientific career during the 1860s underscores the importance of examining the micro‐politics of scientific careers in addition to their broader social and political context. This account also emphasizes the limitations of class‐based explanations even when considering scientists whose work seems so manifestly indicative of ideological motivation. (shrink)

In his 1967 paper Vaught used an ingenious argument to show that every recursively enumerable first order theory that directly interprets the weak system VS of set theory is axiomatizable by a scheme. In this paper we establish a strengthening of Vaught's theorem by weakening the hypothesis of direct interpretability of VS to direct interpretability of the finitely axiomatized fragment VS2 of VS. This improvement significantly increases the scope of the original result, since VS is essentially undecidable, but VS2 has (...) decidable extensions. We also explore the ramifications of our work on finite axiomatizability of schemes in the presence of suitable comprehension principles. (shrink)