Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the (...) Effective version of the Church–Turing Thesis is unaffected by SAD computation. (shrink)

Kearns (2021) reconstructs Berkeley’s (1713) Master Argument as a formally valid argument against the Materialist Thesis, with the key premise the Distinct Conceivability Thesis, namely the thesis that truths about sensible objects having or lacking thinkable qualities are (distinctly) conceivable and as its conclusion that all sensible objects are conceived. It will be shown that Distinct Conceivability Thesis entails the Reduction Thesis, which states that de dicto propositional (ordinary or distinct) conceivability reduces to de re (...) propositional (ordinary or distinct) conceivability. While Kearns (2021) set out to avoid the confusion of a de re claim with a de dicto claim, which Prior (1955) accused Berkeley of, Kearns can be accused of making a similar conceptual confusion. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion of (...) an effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (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)

A Review of Outward Signs: The Powerlessness of External Things in Augustine’s Thought by Phillip Cary (Oxford: Oxford University Press, 2008), xxiv + 344 pp. -/- Phillip Cary has written another highly significant book on Augustine, and his writing displays the art of a master stylist. A complement to his Inner Grace, Outward Signs extends Cary’s thesis in Augustine and the Invention of the Inner Self: that Augus- tine’s Trinitarian and semiotic theology, groundbreaking as it was, remains beholden to (...) a Platonist privileging of inner vs. outer and idea over sacramental performance. Outward Signs should be of special interest to readers of Modern Theology, because the inwardness Cary interrogates displays a dimension of Augustine’s work that receives significant attention from a number of Modern Theology authors. Once again, Cary has offered an appropriate warning about any uncritical embrace of Augustine as theologian for the church today: the embrace could bring with it a turn to spiritualism, subjectivism, intellectualism, and also supersessionism (since the Old Testament and Jewish “law” belong to the merely outward life of the Word). Like Charles Taylor, Alasdair MacIntyre, and Richard Rorty before him, Cary captures the line of potential influence that moves from Plato to Augustine to Descartes and Kant. Here, knowledge tends to ocular knowing, and Cary shows how inadequate that model is to account for performative knowing in the church, of which sacramental life is one instance. But performative knowing would apply, as well, to the study of Augustine’s writ- ings. Read “outwardly,” Augustine’s corpus generates several possible vectors of theological practice. The stronger vectors may point “inward,” but readers should also attend to those (weak or strong) which point to that which is inward, outward, both, and neither. (shrink)

In the texts that presented the theoretical assumptions of the Parc de La Villette, Bernard Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Jacques Derrida, prove that (...) terms such as disruption, dissociation, disfunction, disjunctions and dispersion not only referred to architectural problems but also applied to political criticism and the deepest foundations of thinking itself. His collaboration with Derrida manifested itself primarily in the publication La Case Vide: La Villette, 1985, in which the architect’s design drawings and texts explaining his concepts related to the Park de La Villette were accompanied by an extensive essay by Derrida, which included theoretical problems taken up by Tschumi in a philosophical context. Architectural and philosophical issues were also combined during seven discussion meetings organised by Peter Eisenman, invited by Tschumi to collaborate on the design of the Parc de La Villette. Eisenman, who, like Tschumi, invited Derrida to participate in the design of the park and also led to the publication of Chora L Works: Jacques Derrida and Peter Eisenman, in which his ideas were confronted with Derrida’s philosophical text. In this case, Derrida’s essay was not a direct commentary on the architect’s concepts, but rather a reflection on the question of the chôra presented by Plato in Timaeus. During the discussion and in his essay, Derrida pointed out that the chôra is a component of the created world, yet it does not belong to it, but precedes it. The originality of the chôra is so radical that she also precedes all the factors of creating the world, including ideas and the Demiurge. Thus a thesis appeared in the metaphysics of the West that the chôra is a form of active abyss, in relation to which all beings are secondary, both those perfect (as ideas or God) and those created, such as the world, things, people or language. This leads to the conclusion that the chôra does not exist, because all existence is a derivative of the chôra. Nor could the chôra be described, since it is a form of developing a space that is preceded by a lack of space characteristic of the chôra. Derrida intended the chôra to be an instance with an exceptional degree of transcendentalism, an anti-metaphysical instance, but also an a-theological one. However, this attempt failed, both in the field of secular philosophy and in the field of theology. Derrida’s characteristics of the chôra to strengthen its transcendentalism and negation of metaphysics had to be expressed in a language that immediately produces new concepts and a new metaphysics that reproduces the categories of the beginning, the origin or the foundation known from earlier philosophical traditions. All forms of criticism of metaphysics are also inspired by negative, apophatic and mystical theology. The undermining of many concepts of permanent meaning and the introduction of new concepts of unstable meaning, characteristic of the philosophy of deconstruction, had many features of originality, but it was directed towards problems whose solutions repeat, with the use of new vocabulary, the findings known in culture since Democritus. Thus, if apophatic philosophy can be regarded as deconstruction avant la lettre, then deconstruction itself in its late versions began to take on the features of a new religion. The exchange of inspiration between theology and deconstruction was manifested in a series of scientific conferences and publications in which Derrida’s philosophical concepts were interpreted within the scope of religious thought. Theological threads began to be found in such concepts of deconstruction as différance or the chôra, while at the same time Derrida himself undertook in his philosophy to study problems such as the Other (L’Autre) or Impossible (Impossible), which belonged to newer theological traditions. As a consequence of the new problems, the deconstruction became closer to the features of a new religion. Philosophy, at least from Kant’s time, has tried to create a system that would take over from religion the tasks of setting moral and political goals. Similarly, Derrida has directed his interest towards the problems of democracy and ethics, which would enable their renewal. Attempts to create a new religion (cleared of old metaphors), a new community or a new democracy bring problems and threats which may be no less troublesome than the previous systems. All promises of freedom carry with them threats, the greater the more they strive for perfection. The renewal of existential orders, sometimes carried out by means of violent changes, is a certain repetitive feature of human cultures. Deep changes, however, do not protect against the return of both old gods and old demons. Tschumi and Derrida were shaped in their youth by the atmosphere of leftist rebellion against the moral and political limitations of ossified communities and the imperfections of democracy. The ethical theme distinguishes many of their works, including the Parc de La Villette. The opposition to the metaphysical traditions of philosophy and architecture contained in this park was prompted by specific political situations and resulted from bringing political issues to the level of philosophical considerations. Achievements made at the level of pure concepts were then subject to elevation, to a kind of sacralization, which made them religious concepts. The deconstruction reached for the stratus of the new religion especially when it found its followers and began to generate moral obligations. In the new situation, terms such as the chôra, l’autre or the Impossible were absolutized and in relation to them a cult and attitude of adoration emerged. The Parc de La Villtette then gained new post-secular meanings, which allow it to be assigned the function of a Temple of Otherness (L’Autre) and Impossible. (shrink)

In 1992, Bengt Hägglund put forward a thesis according to which a codex in his possession is based on material Johannes Rudbeckius (1581–1646) authored in 1611, maintaining that the codex gives us information about Rudbeckius's lectures on _loci theologici_ in Uppsala during the years 1611–1613 and that it reveals to us characteristic features of Rudbeckius's thinking about dogmatics. Hägglund published the codex in 2001. I point out, first, weaknesses in Hägglund's argumentation. Second, I present indirect evidence against his (...) class='Hi'>thesis employing the two series of Rudbeckius's published dissertations on dogmatics (1611–1613, 1620–1644) and his own comments about his lectures. Third, I indicate that three parts of the codex that are particularly important for Hägglund's argumentation stem from other authors: the introductory part on the nature of theo­logy, as well as the chapter on _locus de ecclesia_, have their origin in Jesper Brochmand's _Universae theologiae systema_ (1633), while the conclusion is taken from a dissertation that Balthasar Meisner published in 1614. The codex does not allow us to access a work Rudbeckius would have authored in 1611: it contains too many parts he cannot have authored then. In particular, the introduction and the conclusion of the codex do not tell us anything about Rudbeckius's characteristic thoughts on dogmatics. Hägglund's main reason for thinking that the codex is a transcript of Rudbeckius's work from 1611 is a date mentioned at the end of locus of the church. As it happens, this locus is borrowed from Brochmand, not from Rudbeckius. (shrink)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I (...) prove that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like (...) many other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

Expressions are synonymous if they have the same semantic content. Complex expressions are synonymously isomorphic in Alonzo Church’s sense if one is obtainable from the other by a sequence of alphabetic changes of bound variables or replacements of component expressions by syntactically simple synonyms. Synonymous isomorphism provides a very strict criterion for synonymy of sentences. Several eminent philosophers of language hold that synonymous isomorphism is not strict enough. These philosophers hold that ‘Greeks prefer Greeks’ and ‘Greeks prefer Hellenes’ express (...) different propositions even if they are synonymously isomorphic. They hold that the very recurrence (multiple occurrence) of ‘Greeks’ contributes to the proposition expressed something that indicates the very recurrence in question. Kit Fine argues that this thesis, which he labels semantic relationism calls for a radically new conception of semantics. I have argued that the relevant phenomenon is wholly pragmatic, entirely non-semantic. Here I supplement the case with a new argument. No cognition without recognition—or almost none. With this observation, standard Millianism has sufficient resources to confront Frege’s puzzle and related problems without injecting pragmatic phenomena where they do not belong. (shrink)

Soren Kierkegaard was a profound and prolific writer in the Danish “golden age” of intellectual and artistic activity. His work crosses the boundaries of philosophy, theology, psychology, literary criticism, devotional literature and fiction. Kierkegaard brought this potent mixture of discourses to bear as social critique and for the purpose of renewing Christian faith within Christendom. At the same time he made many original conceptual contributions to each of the disciplines he employed. He is known as the “father of existentialism”, but (...) at least as important are his critiques of his peer Hegel and of the German romantics, his contributions to the development of modernism, his literary experimentation, his vivid re-presentation of biblical figures to bring out their modern relevance, his invention of key concepts which have been explored and redeployed by thinkers ever since, his interventions in contemporary Danish church politics, and his fervent attempts to analyse and revitalise Christian faith. Kierkegaard is regarded by modern contemporaries as somewhat of an intellectual ‘time bomb’, although writing in the early 19th century, Kierkegaards ideas did not explode upon the western intellectual world until the 20th century. Both the contemporary philosophical and theological scenes have been profoundly influenced by this explosion, and chances are that in coming generations writers will still draw insight on some of Kierkegaards unique ideas. His philosophy on religious belief took centuries of philosophical discourse concerning the existence of God and took the discussion in a completely new direction. Up until the writing of Kierkegaard religious philosophy was centered around attempts to ‘prove’ Gods existence via means of a logically consistent, well reasoned argument ala Aquinas’ Five Ways, Anselm etc. To vindicate religious belief, one would traditionally offer some form of structured argument in favour of deity that appealed to reason e.g First Cause, Ontological argument etc, a field which is now known as apologetics-the intellectual defense of religious belief. For Kierkegaard however, reason and faith are a false dichotomy- rational argument and human reason are somewhat irrelevant to religious belief,and this plays a central role in his philosophical doctrine which is an attempt to vindicate Christian faith through his thesis that ‘truth is subjectivity’(Schaeffer, 1982). Firstly, what will be discussed here is a critical evaluation of Kierkegaards philosophy of religious belief as expounded in his works Philosophical Fragments and Concluding Unscientific Postscript. Secondly, a look at some responses and criticisms of Kierkegaards religious views- as he was a notoriously ambiguous and vague writer, he wrote the majority of his famous works pseudonymously, his work has been frequently scrutinised. Finally, concluding with an analysis of his philosophy and if we can consider his work a complete vindication of religious belief. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

The confessional work of the Church has been from the very beginning a foundation and basis for the Divine Truth. Starting from this real necessity, the Apologetic Theology claims some important research directions, grounded on the Holy Scripture and the Holy Tradition. Given this historical and doctrinal context, we can highlight the next support coordinates of the Christian Apologetics background: “the truth of God’s existence, the reality of the supernatural world and man’s immortality. All of this are, as we can (...) say, the Christian specific starting from the first ages. The truths about the divine origin of Christianism are to be found here, on the dignity of this revealed doctrine, on the divine-human character of his Founder, on the importance and necessity of Christian Church for the religious and morale life of human kind”. . Apologetics and (or) Fundamental Theology The reason why the Church must justify her teaching in the context of her missionary activity does not rise up from inner necessity. It does more from external misconceptions. In this context we can define the main concern of apologetics as a theological discipline. On the other hand, one can discover almost the same meaning in Fundamental Theology. However, as a difference between them, Fundamental Theology is interested in the direction and bears informative message, since “it aims at basic religious principles systematic presentation, both external and internal, as well as their justification before the scientific-theological conscience of believers. Thereafter, Christianity can be considered the only true religion”. On the other hand, one can claim that the name of “Apologetics” rises up from the necessity that the Christian arguments must be scientifically enforced and illustrated externally. Therefore, the mission of Christian Apologetics is to reject the anti-Christian objections through the power of the theological arguments in dialogue with philosophy, culture or science. In fact, even the object of Apologetics is "the scientific ground of Christian truths" with the purpose to "offer the Truth, reject error, and eradicate lies." In order to achieve its goal, Christian Apologetics offers us a positive method, which consists in "a logical and direct development of a certain thesis, in clarifying a certain truth, by revealing its content and the outcomes deriving from it". Therefore, we have a very dynamic field through which this discipline comes and supports the active life of the Church. Moreover, the method of the Apologetics as a theological subject is based on a conceptual struggle, very active starting with the very first centuries of the Early Church. Due to its energetic character, Fundamental Theology won its most important place among Christian doctrines. “Through struggle, Fundamental Theology imposed itself as a theological subject and became individualised. Through struggle and only through struggle, Fundamental Theology must exist and strengthen the positions of Christianity”. In its theologically mission, Christian Apologetics identifies and also prevents the alteration of the doctrinal truth. In this concern, it has the responsibility to enforce of believers’ moral conscience in their spiritual process of development. As a subject, one can say that the mission of Apologetics is “rational, objective and represents a very important basis for the Christian truths of faith”. Therefore, one can notice that the most important aspect of our subject is to enforce the Christian faith and experience through proper knowledge of the fundamental principles of the doctrine. This is the reason why we also mention Apologetics together with Fundamental Theology. However, we must highlight a few important details regarding the sensible difference between both of the denominations. Therefore, historically speaking, “they both arise from those who personally share Christian faith and act within the believing community and in its service. They both aim to respond to objections raised by critics and to offer a trustworthy account of main beliefs about matters as the existence of a personal God, the divine self-revelation in Jesus Christ, and the nature of faith”. On the other hand, we can identify almost three important differences between Apologetics and Fundamental Theology. “First, a Christian apologist can simply address a question: does the existence of horrendous evil in our world rule out the existence of almighty and all-loving God? or has science caused faith in God to be demoted in the past? … Second, good Apologetics has typically a sharply defined audience: Apologetics can seek, for example, to alert non-believers to the weakness of the case currently being against God and religion. But Fundamental Theology addresses to a wider range of readers … Third, polemics (in the good sense of this word and not as mindless ranting) belong to the exercise of Apologetics … The tone of fundamental theologians, even when rebutting objections to Christian faith, is or should be more expository and less polemically inclined to illustrate defects in opposing positions”. Moreover, we must mention that Apologetics can be considered as a particular subject. Although, it is similar in terms of content with Dogmatic and Philosophy through its method, our subject has its own research direction. Therefore, if Dogmatic is defined by an expositive and imperative character, Apologetics is demonstrative and constraining. In other words, dogmatic rationality, which has a subsidiary role, in Apologetics becomes primordial. In this case, “the faith truths become truths also for the rationality and moreover, the eternal truths of the Divine Reason become constraining for the human reason, too. Truths of natural religion, which are in fact the object of the Philosophy of Religion, are conditioned in Apologetics by the Absolute Truth completed in the Christian faith”. In all its theological and external interaction perspectives, Apologetics holds the main role to “expose, defend and justify with rational meanings the general truths of religion”. It is necessary to clear up one aspect: as subject, Apologetics is different from Apology. On the one hand, one can speak about the general research background and, on the other hand, one can describe a singular part of theological approach. Therefore, these two “theological sisters” are different depending on the type of approach. However, Apology is older than Apologetics. Among the first Christian apologists, we mention: Saint Justin the Martyr and Philosopher, Tatian, Athenagoras or Tertullien. In its current meaning, Apologetics is of a western theological origin, having its beginning in Middle Ages. Even so, its blooming age is the 18th century, when the Western Catholic Church replied to the materialist and atheistic philosophy. In the Eastern Church this type of confession had a more profound theological overview, in a theonomic perspective. “In the light of the Holy Scripture, the eastern theological thinking always shows priority to the divine Revelation in spite of the philosophical human systems and places the Creator - Logos at the basis of all creation, in the light of biblical thoughts”. -/- II. “Rational-spiritual Apologetics” Reverend Professor Dumitru Popescu, one of the most important Romanian theologians, develops the concept of “Rational-spiritual Apologetics”. In his theological approach, he illustrates the fact that one of the most essential part of the Church’s confessional work are the relations between rational arguments and spiritual purpose of the Christian life. In this case, we can identify two possibilities of argumentation: rational and spiritual, each of them in connection with the knowledge of God. This is in fact, the Orthodox specificity of the Apologetics, as theological subject, in contrast with the principles of western scholastic. Therefore, the most important argument, which Dumitru Popescu brings up in the support of his thesis, belongs to Saint Maximus the Confessor’s theology: “The Scripture provide a double knowledge of the divine things. One is relative and consists in its rationality and meanings, without the direct feeling of God. Through it we are guided in this life. The other one is in a true sense true and consists in leaving experience of divine grace, outside rationality and meanings, having the complete experience of God. Through it we will receive in the future life the deification”. On the other hand, we can understand that the purpose of human rationality is not to replace the spiritual perspective, since human mind does not own the divine mystery. In this case, rationality can be useful in discovering and demonstrating the existence of God from natural realities to a point where we must assume a spiritual understanding. Consequently, in the context of human deification, the orthodox theology cannot conceive the gnoseological process in rational terms. Therefore, Rev. Dumitru Popescu carries out a dual argumentation: 1. since God is not a solitary power, but descends and interacts with man providentially (through His divine grace and energies); 2. because the created world doesn’t have an independent rationality through which man can receive the possibility to reach God. Therefore, Father Professor Dumitru Popescu concludes that “the deification process is here, on the earth, a foretaste of immortality, which springs from the personal meeting of man with God”. One of the most recent Romanian Apologetics academically approach is the book of professor Adrian Lemeni: “Truth and Demonstration”. Except his very complex analysis on the interaction between theology and science, Professor Lemeni goes further and perfects Dumitru Popescu’s theological view, on the “Rational-spiritual” character of Orthodox Apologetics. Therefore, he offers a very important example, starting from Saint Gregory Palamas’ theological view. In his work “the authority of Patristic gnoseology” is illustrated, which is offered by the “Eternal Truth, God’s Word, incarnated in the Person of Jesus Christ”. “The authority of patristic gnoseology” – notes down Adrian Lemeni – “is expressed along the process for searching the truth of knowledge illustrated by deeds and life. In his debate with Varlaam from Calabria, Saint Gregory Palamas insists on the power of persuasion which arises from the Church’s Tradition, biblical and patristic fundamentally. In an ultra-confident argument, based on the autonomic logical power, we believe that one word has power over another. But Saint Gregory Palamas shows that the truth is based and validated through spiritual and ecclesiastical experience. Truth is validated by the words and deeds of the Holy Fathers, in direct connection with apostolic Tradition. Any argument can be fought against by another argument. Nevertheless, the apologetic concession based on the deeds of the saints is unbookable. This is the thesis which Saint Gregory Palamas develops in complete harmony with the patristic gnoseological Tradition”. Therefore, we can consider that the position of the subject of Apologetics (of Fundamental Theology) is one of interactions. It has connections with all domains external to Theology. In this case, we can consider it sets up a dialogue or debate with philosophy, culture or science. Starting from the historical argument, this interaction between theology and other sciences has existed from the very first Christian century. Therefore, we have an apologetic literary genre starting with the first patristic writings. Including the Early Church, we can identify three important stages in terms of historical apologetics development: 1. The Christian apologists struggle age with Judaism and paganism; 2. From the issue of Islam to the Middle Eve; 3. From the period of the Renaissance of Western sciences to the present day. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The (...) class='Hi'>thesis is formalised rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

The recent debate on hypercomputation has raised new questions both on the computational abilities of quantum systems and the Church-Turing Thesis role in Physics.We propose here the idea of “effective physical process” as the essentially physical notion of computation. By using the Bohm and Hiley active information concept we analyze the differences between the standard form (quantum gates) and the non-standard one (adiabatic and morphogenetic) of Quantum Computing, and we point out how its Super-Turing potentialities derive from an incomputable (...) information source in accordance with Bell’s constraints. On condition that we give up the formal concept of “universality”, the possibility to realize quantum oracles is reachable. In this way computation is led back to the logic of physical world. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

In an anonymous referee report written in 1945, Church suggested a sweeping argument against verificiationism, the thesis that every truth is knowable. The argument, which was published with due acknowledgement by Fitch almost two decades later, has generated significant attention as well as some interesting successor arguments. In this paper, we present the most important episodes in this intellectual history using the logic that Church himself favoured, and we give reasons for thinking that the arguments are less than decisive. (...) However, we present some new arguments against verificationism that we believe to be dialectically effective. (shrink)

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it (...) can be overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

We critique two popular philosophical definitions of intellectual humility: the “low concern for status” and the “limitations-owning.” accounts. Based upon our analysis, we offer an alternative working definition of intellectual humility: the virtue of accurately tracking what one could non-culpably take to be the positive epistemic status of one’s own beliefs. We regard this view of intellectual humility both as a virtuous mean between intellectual arrogance and diffidence and as having advantages over other recent conceptions of intellectual humility. After defending (...) this view, we sketch remaining questions and issues that may bear upon the psychological treatment of intellectual humility such as whether evidence will help determine how this construct relates to general social humility on the one hand, and intellectual traits such as open-mindedness, curiosity, and honesty on the other. (shrink)

Church and Fitch have argued that from the verificationationist thesis “for every proposition, if this proposition is true, then it is possible to know it” we can derive that for every truth there is someone who knows that truth. Moreover, Humberstone has shown that from the latter proposition we can derive that someone knows every truth, hence that there is an omniscient being. In his article “Omnificence”, John Bigelow adapted these arguments in order to argue that from the assumption (...) "every contingent proposition is such that if it is true something brought it about that it is true" we can derive that there is an omnificent being: a being that brings it about that every true contingent proposition is true. In my reply to his article, I show that Bigelow’s argument is flawed because there is some formal property that the knowledge operator has but that the bringing about operator lacks. This is the property of distributing over conjunctions. I explain why what brings it about that some conjunctive proposition is true need not bring it about that its conjuncts are true. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

This article aims to provide a framework for the attitude of the Orthodox Church towards other religions, an attitude that must be expressed today in the public space. Contemporary global society is a society of the plurality of religious identities. Nowadays, the Orthodox Church has to rethink the pastoral missionary program taking into account this new reality.

Although the historical reputation of Gottfried Wilhelm Leibniz (1646–1716) largely rests on his philosophical and mathematical work, it is widely known that he made important contributions to many of the emerging but still inchoate branches of natural science of his day. Among the many scientific papers Leibniz published during his lifetime are ones on the nascent science we now know as hydrology. While Leibniz’s other scientific work has become of increasing interest to scholars in recent years, his thinking about hydrology (...) has been neglected, despite being relatively broad in extent, including as it does papers on the ‘raising of vapours’ and the formation of ice, as well as the separation of salt and fresh water. That list can now be extended still further following the discovery of a previously unpublished letter of Leibniz’s on the causes of the devastating Lombardy flood of October and November 1705. This letter, which will be the focus of our paper, reveals the depth of Leibniz’s understanding of key hydrological processes. In it, he considers various mechanisms for the flood, such as heavy rains on high ground, underwater earthquakes, and a mountain collapse. Over the course of the paper we examine each of these mechanisms in depth, and show that Leibniz was in the vanguard of hydrological thinking. We also show that the letter contains one of the first scholarly attempts to apply aspects of the still-forming notion of the hydrological cycle to account for a flood event. (shrink)

The problem of evil is broadly considered to be one of the greatest intellectual threats to traditional brands of theism. And William Rowe’s 1979 formulation of the problem in “The Problem of Evil and Some Varieties of Atheism” is the most cited formulation in the contemporary philosophical literature. In this paper, we explore how the tools and resources of experimental philosophy might be brought to bear on Rowe’s seminal formulation, arguing that our empirical findings raise significant questions regarding the ultimate (...) success of Rowe’s argument. Such a result would be quite notable within philosophy of religion, since this is considered one of the most formidable arguments against theism. However, further testing is needed before any firm conclusions can be drawn. -/- In section 1, we elucidate Rowe’s formulation of the problem of evil and the intuitions that seem to underwrite it. In section 2, we explore how the tools and resources of experimental philosophy might be brought to bear on Rowe’s formulation, outlining our hypotheses and our methods for testing them before showcasing our results. In section 3, we discuss the philosophical import of our results–arguing that our results, when taken together, pose an initial challenge to Rowe’s seminal argument. (shrink)

Pedro de Ledesma became one of the most important professors in the theological faculty of the University of Salamanca at the beginning of the 17th century. He and Juan Vicente de Astorga were Dominican theologians in substantial agreement with Domingo Báñez about the main points of the disputes on grace. However, they manifest remarkable differences between them. Astorga believes that God could not maintain the infallibility of His predestination of creatures only through His foreknowledge of the acts of the creature, (...) as Luis de Molina defends. He thinks that God disposes by His providence each concrete act of creatures and, by His concurrence, effectively achieves their fulfillment. However, God does not influence created free will by means of a physical premotion, but by a moral one, i.e. by suggestions and inspirations. Ledesma criticizes Astorga’s thesis, although he uses Astorga’s arguments to defend the compatibility of physical premotion with the freedom of the creature. In this article, the thought of both theologians is presented in the light of their unpublished manuscript works. The opposition between these two friars manifests the variety of approaches adopted by Dominicans of the time, who cannot be considered as a uniform group. (shrink)

Is Web 2.0 and its related communications technology ethically neutral? With the exception of obvious ills, do they indeed have very few, if any, ethical drawbacks? Even before the internet underwent its evolutionary ascension, computer engineers and philosophers have given some thought to these questions. Few have taken such insights and applied them to the life of the church. How does the church make use of such technologies? How has the church abused it? And, most importantly, what is the (...) class='Hi'>church’s witness in a world of Facebook, Twitter, and Google? (shrink)

In this chapter: I distinguish the existential problem of divine hiddenness from the evidential problem of divine hiddenness. The former being primarily concerned with the apparent hiddenness of a personal God in the lives of believers amidst terrible suffering. The latter being primarily concerned with the apparent hiddenness of God being evidence against God’s existence. In the first section, I highlight the basic contours of the evidential problem of divine hiddenness, and suggested that the argument rests on two important assumptions: (...) the perfectly loving assumption and the no-fault assumption. In the second section, a few possible responses to the evidential problem of divine hiddenness were considered, which center on rejecting either the perfectly loving assumption or the no-fault assumption. (shrink)

Recent work in cognitive science of religion (CSR) is beginning to converge on a very interesting thesis—that, given the ordinary features of human minds operating in typical human environments, we are naturally disposed to believe in the existence of gods, among other religious ideas (e.g., seeAtran [2002], Barrett [2004; 2012], Bering [2011], Boyer [2001], Guthrie [1993], McCauley [2011], Pyysiäinen [2004; 2009]). In this paper, we explore whether such a discovery ultimately helps or hurts the atheist position—whether, for example, it (...) lends credence to atheism by explaining away religious belief or whether it actually strengthens some already powerful arguments against atheism in the relevant philosophical literature.We argue that the recent discoveries of CSR hurt, not help, the atheist position—that CSR, if anything, should not give atheists epistemic assurance. (shrink)

There are two issues I want to very briefly raise in response to Robin McKenna’s paper, “Epistemic Contextualism, Epistemic Relativism, and Disagreement.” First, I want to question whether or not the disagreement problem faced by indexical contextualism is truly a problem. Secondly, I want to consider whether or not McKenna’s solution is really in keeping with indexical contextualism.

Antirealists who hold the knowability thesis, namely that all truths are knowable, have been put on the defensive by the Church-Fitch paradox of knowability. Rejecting the non-factivity of the concept of knowability used in that paradox, Edgington has adopted a factive notion of knowability, according to which only actual truths are knowable. She has used this new notion to reformulate the knowability thesis. The result has been argued to be immune against the Church-Fitch paradox, but it has encountered (...) several other triviality objections. Schlöder in a forthcoming paper defends the general approach taken by Edgington, but amends it to save it in turn from the triviality objections. In this paper I will argue, first, that Schlöder's justification for the factivity of his version of the concept of knowability is vulnerable to criticism, but I will also offer an improved justification that is in the same spirit as his. To the extent that some philosophers are right about our intuitive concept of knowability being a factive one, it is important to explore factive concepts of knowability that are made formally precise. I will subsequently argue that Schlöder's version of the knowability thesis overgenerates knowledge or, in other words, it leads to attributions of knowledge where there is ignorance. This fits a general pattern for the research programme initiated by Edgington. This paper also contains preliminary investigations into the internal and logical structure of lines of inquiries, which raise interesting research questions. (shrink)

This paper contributes to the theological understanding of the presence and mission of lay members within the Church, particularly focusing on their role in the world and specifically in Lebanon. By analyzing the Catholic Church's teachings, such as the documents from the Second Vatican Council and the Post-Synodal Apostolic Exhortation for the Laypeople, as well as the Synod for Lebanon, this study seeks to reflect on how laypeople, as members of the Church, can manifest the Church's presence and contribute to (...) the establishment of the kingdom of peace, justice, and love. It explores the unique vocation of laypeople, how they embody the Church's mission in civil society and the theological implications of their role as signs of the Church in the world. Additionally, it aims to propose new perspectives to ensure that Lebanese laypeople can effectively embody and manifest the Church's mission in their communities, especially in the post-synodal phase of the Lebanese Church. Through this theological inquiry, the study aspires to contribute to a practical renewal within the Church, enhancing the role of laypeople in realizing the Church's mission in contemporary contexts. (shrink)

We discuss Russell's 1913 essay arguing for the irrelevance of the idea of causation to science and its elimination from metaphysics as a precursor to contemporary philosophical naturalism. We show how Russell's application raises issues now receiving much attention in debates about the adequacy of such naturalism, in particular, problems related to the relationship between folk and scientific conceptual influences on metaphysics, and to the unification of a scientifically inspired worldview. In showing how to recover an approximation to Russell's conclusion (...) while explaining scientists' continuing appeal to causal ideas (without violating naturalism by philosophically correcting scientists) we illustrate a general naturalist strategy for handling problems around the unification of sciences that assume different levels of naïveté with respect to folk conceptual frameworks. We do this despite rejecting one of the premises of Russell's argument, a version of reductionism that was scientifically plausible in 1913 but is not so now. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

Addressing the ‘virtue conflation’ problem requires the preservation of intuitive distinctions between virtue types, that is, between intellectual and moral virtues. According to one influential attempt to avoid this problem proposed by Julia Driver, moral virtues produce benefits to others—in particular, they promote the well-being of others—while the intellectual virtues, as such, produce epistemic good for the agent. We show that Driver's demarcation of intellectual virtue, by adverting to the self-/other distinction, leads to a reductio, and ultimately, that the prospects (...) for resolving the virtue conflation problem look dim within an epistemic consequentialist approach to the epistemic right and the epistemic good. (shrink)

I am broadly sympathetic to Dale Matthew’s analysis concerning phenotypic devaluation and disadvantage. However, in what follows, I restrict my remarks to a few areas where I think he either lacks empirical precision, or overstates his case.

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undeter- mined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his (...) third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and log- ical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism. (shrink)

According to what Barry Dainton calls the 'Strong Introspectibility thesis', it is a necessary truth that mental states S and S* are co-conscious (experienced together) if and only if they are 'jointly introspectible', i.e., if and only if it is possible for there to be some single state of introspective awareness that represents both S and S*. Dainton offers two arguments for the conclusion that joint introspectibility is unnecessary for co-consciousness. In these comments I attempt to show, first, that (...) Dainton's arguments fail, and, second, that joint introspectibility is actually insufficient for co-consciousness. (As to whether it is also unnecessary, I take no stance.). (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define (...) four criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

Brain-related diseases are among the most difficult diseases due to their sensitivity, the difficulty of performing operations, and their high costs. In contrast, the operation is not necessary to succeed, as the results of the operation may be unsuccessful. One of the most common diseases that affect the brain is Alzheimer’s disease, which affects adults, a disease that leads to memory loss and forgetting information in varying degrees. According to the condition of each patient. For these reasons, it is important (...) to classify memory loss and to know the patient at what level and his assessment of Alzheimer's disease through CT scans of the brain. In this thesis, we review ways and techniques to use deep learning classification to classifying the Alzheimer's Disease The proposed method used to improve patient care, reduce costs, and allow fast and reliable analysis in large studies. The model will be designed using Python language for implementing the system, which is very useful for doctors, classifying the Alzheimer's Disease, was used. The model used 70% from image for training and 30% from image for validation, our trained model achieved an accuracy of 100% on a held-out test set. (shrink)

The peculiarity of any social teaching, Catholic, Protestant or otherwise, is that it is an unsteady marriage between the dogmatically permanent beliefs and the perennially changing historical contexts. Any authentic and relevant social teaching needs to mirror a two-fold fidelity: Faithfulness to the universal truths to which the social teaching is a reflection, and loyalty to the historical contexts to which the social teaching is inextricably embedded. The merit of Cartagenas’s book Unlocking the church’s best kept secret is that (...) it epitomizes the wobbly balancing act that takes cognizance of this two-fold fidelity. (shrink)

Manipulation arguments that start from the intuition that manipulated agents are neither free nor morally responsible then conclude to that free will and moral responsibility are incompatible with determinism. The Zygote argument is a special case of Manipulation argument in which the manipulation intervenes at the very conception of the agent. In this paper, I argue that the Zygote argument fails because (i) very few people share the basic intuitions the argument rests on, and (ii) even those who share this (...) intuition do so for reasons that are unrelated to determinism. Rather, I argue that intuitions about the Zygote argument (and Manipulation arguments in general) are driven by people's intuitions about the deep self, as shown by the fact that intuitions about manipulated agents depend on the moral value of the agent's behavior. (shrink)

How do you know what you want? This deceptively simple question reveals a tension in how we relate to our desires. On the one hand, we sometimes think about desires as things that just happen to us, that we are passively subject to. In this case, knowing what you want is about trying to detect in which direction you are being pulled. On the other hand, it can be disturbing if people treat their desires as mere empirical phenomena they have (...) no special say over. When I express a desire, I seem to express a view of the world that can be justified, criticized, endorsed, or rejected. This seems to demand a different picture of how I know what I want. Richard Moran’s Authority and Estrangement offers a promising account of how to understand this tension. Regarding attitudes like belief and desire, we possess first-person authority; we are not just accurate observers, but we also bear a certain responsibility. This is because the existence of these attitudes depends on an evaluation that is up to us to maintain or reject. Although Moran develops this account convincingly for attitudes like belief, Authority and Estrangement fails to apply it convincingly to desires. The main obstacle is that our desires often diverge from our deliberative conclusion of what to pursue. The aim of this thesis is to apply Moran’s framework of first-person authority to desires in a way that better takes into account the specific complexities of desires. The main innovation of the modified Moranian account I propose, is to understand desires as commitments to prima facie, instead of overall, evaluations. This modified account can accommodate the recalcitrance and complexity of desires, while also allowing us to see our relation to our desires as one of first-person authority in Moran’s sense. (shrink)

The Acceptance of the Epicurean Thesis on Pleasure as the Absence of Pain -/- In this paper, I will argue that the Epicurean thesis on pleasure (hēdonē) as the absence of pain is a true claim and, moreover, is plausible. First, I will give justifications for the acceptance of pleasure as the absence of pain, as the Epicureans intended it to be understood. Then, I will offer further justification for the acceptance of a more extreme thesis on (...) pleasure, specifically the Epicurean thesis which is interpreted to mean that the greatest pleasure occurs in the complete absence of pain. In order to do this, I present the following premises to support the irrefutability of the Epicurean thesis on pleasure. For the first premise, I present the Epicurean belief of the blessed life with respect to the pleasure-pain relationship. Forthe second premise, I discuss the extent to which Epicurean pleasure is hedonistic in nature. For the third premise, I show that, in the Epicurean philosophy, there is calculation of pleasure and pain, which is an important contributing factor to the plausibility of the thesis. Thus, the premises support the plausibility and, in fact, lead to the coherent acceptance of the Epicurean thesis on pleasure as the absence of pain and, more specifically, the greatest pleasure as the complete absence of pain. (shrink)

In 1993, biologist Margie Profet captured the attention of the popular press with the publication of her radical thesis: menstruation has a function. Traditional theories, she claims, typically view menstruation as a functionless by-product of cyclic flux. The details of Profet's functional account are similarly radical: she argues that menstruation has been naturally selected to defend the female reproductive tract from sperm-borne pathogens. There are a number of weaknesses in Profet's evolutionary analysis. However, I focus on a set of (...) pragmatic problems that arise prior to any details of her evolutionary account. In arguing for the importance of pragmatic considerations, I draw from the linguistic analyses of Nelson Goodman. I conclude that critical investigation of the evolutionary details of Profet's pathogen defense account will be more feasible if and when biologists more frequently feature the female system of pathogen defense in their inductive generalisations. The system needs to be better entrenched before its functional components, such as menstruation, can be thoroughly investigated. (shrink)

Morality has always been a pressing issue in video game scholarship, but became more contentious after “realistic” violence in games became possible. However, few studies concern themselves with how players experience moral dilemmas in games, choosing instead to focus on the way games affect postplay behavior. In my thesis I discuss the moral choices players encounter in the Metal Gear series of games; then, I analyze and compare the responses of players with and without martial career experiences. My argument (...) is that the moral choices players encounter during gameplay affect them differently, particularly if they have life experiences related to medical trauma, law enforcement, fire fighting, or military career fields, and that the behavior of those players will be observably different from players without the same experiences. In chapter one I present my personal history with Metal Gear, before moving on to the literature review in chapter two, which focuses on scholarship about the Metal Gear series of games and video game research as a whole, particularly studies concerned with how violent content affects players. In chapters three and four, I analyze Metal Gear Solid 3 (2004) and Metal Gear Solid V (2014/2015) in order to gain insight into the moral dilemmas posed by each game. In chapter five I report the results of a survey about player responses towards the game dilemmas given by martial and non-martial groups to identify observable patterns of behavior in how they act and react towards each scenario. -/- This is a preprint version of the official paper until an update is produced. The current official version is available at the West Chester Digital Commons in the external link section below. (shrink)

The Acceptance of the Stoic Thesis on Affections (Pathē) -/- In this paper, I argue that the Stoic claim that one should strive towards having no affections (pathē) is a plausible and, moreover, true claim given the context of the Stoic thesis on affections (pathē) in relationship to their philosophy of the ultimate goal (telos) of life. Given the conception of affections (pathē) that the Stoics intended, the irrefutability that one should strive towards having no affections (pathē) is (...) found in the Stoic conception of impulse (hormē) and of value (namely how affections (pathē) lack value). Further, in the Stoic philosophy, there is identification of goods, bads and indifferents, which is an important contributing factor to the plausibility of the thesis. Taken together, these lead to the coherent acceptance of the Stoic thesis on affections (pathē), specifically that the allowance of affections (pathē) should be avoided. (shrink)