This paper presents detailed formalizations of ontological arguments in a simple modal natural deduction calculus. The first formal proof closely follows the hints in Scott’s manuscript about Gödel’s argument and fills in the gaps, thus verifying its correctness. The second formal proof improves the first one, by relying on the weaker modal logic KB instead of S5 and by avoiding the equality relation. The second proof is also technically shorter than the first one, because it eliminates unnecessary detours and uses (...) Axiom 1 for the positivity of properties only once. The third and fourth proofs formalize, respectively, Anderson’s and Bjørdal’s variants of the ontological argument, which are known to be immune to modal collapse. (shrink)

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted (...) in larger scale by philosophers. (shrink)

This paper introduces the special issue on Logic and Religion of the journal Logica Universalis (Springer). The issue contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, by Wolfgang (...) Lenzen; A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion), by Jean-Pierre Desclés; Monotonic and Non-monotonic Embeddings of Anselm’s Proof, by Jacob Archambault; Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy, by C. Benzmüller, L. Weber and B. Woltzenlogel Paleo. (shrink)

This special issue of Logica Universalis (Springer) deals with the relations between logic and religion, broadly conceived. It contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, by Wolfgang (...) Lenzen; A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion), by Jean-Pierre Desclés; Monotonic and Non-monotonic Embeddings of Anselm’s Proof, by Jacob Archambault; Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy, by C. Benzmüller, L. Weber and B. Woltzenlogel Paleo. (shrink)

This volume provides an overview of experimental methods, approaches, and techniques used by field linguists of the Russian school, and highlights the fieldwork experience of Russian scholars working in regions with a range of languages that differ genetically, typologically, and in the degree of their preservation. The collection presents language and sociolinguistic data relating to fieldwork in diverse languages: Uralic, Altaic, Paleo-Siberian, Yeniseian, Indo-European Iranian, Vietic, Kra-Day, and Mayan languages, as well as pidgin. The authors highlight the fieldwork techniques (...) they use, and the principles underlying them. The volume’s multidisciplinary approach covers linguistic, ethnolinguistic, sociolinguistic, educational, and ethnocultural issues. The authors explore problems associated with the study of minority languages and indicate diverse and creative techniques for data elicitation. Close collaboration with speakers lies at the core of their approach. The collection presents strategies for eliciting systems of knowledge from mother-tongue speakers, triggering linguistic self-awareness, and providing semantic and morphosyntactic context for their languages. This publication is intended for academics, and for specialists in the field of linguistics and minority and indigenous languages. It will also benefit students as a guide to field research, as well as language activists, interested in documenting and preserving their mother tongue. (shrink)

The growing interest and major advances of the last decades in evolutionary developmental biology (EvoDevo) have led to the recognition of the incompleteness of the Modern Synthesis of evolutionary theory. Here we discuss how paleontology makes significant contributions to integrate evolution and development. First, extinct organisms often inform us about developmental processes by showing a combination of features unrecorded in living species. We illustrate this point using the vertebrate fossil record and studies relating bone ossification to life history traits. Second, (...) we discuss exceptionally preserved fossils that document rare ontogenetic sequences and illustrate this case with the patterns of heterochrony observed in Cambrian crustacean larvae preserved three-dimensionally. Third, most fossils potentially document the evolutionary patterns of allometry and modularity, as well as some of the (paleo)ecological factors that had influenced them. The temporal persistence of adaptive patterns in rodent evolution serves to address the importance of ecological constraints in evolution. Fourth, we discuss how the macroevolutionary patterns observed in the tetrapod limb, in the mammal molar proportions, and in the molluscan shell provide independent tests of the validity of morphogenetic models proposed on living species. Reciprocally, these macroevolutionary patterns often act as a source of inspiration to investigate the underlying rules of development, because, at the end, they are the patterns that the neo-Darwinian theory was unable to account for. (shrink)

Kurt Gödel foi um dos maiores matemáticos do século XX, com contribuições para a lógica e também para o campo da cosmologia à partir da elaboração de soluções para as equações de Einstein. Como filósofo, Gödel dedicou-se à lógica e aplicou-se à axiomatização não formal de uma prova ontológica. Benzmüller e Woltzenlogel Paleo desenvolveram, por meios computacionais, uma formalização do sistema axiomático gödeliano. O trabalho pode abrir novas perspectivas para a aplicação de técnicas das ciências da computação no (...) campo da lógica matemática, suscitar questões epistemológicas importantes, além de ser historicamente relevante por colocar em destaque um trabalho não publicado de Gödel. Apresentamos a tradução do trabalho de Benzmüller e Woltzenlogel Paleo, antecedida por um artigo com considerações gerais sobre diferentes provas ontológicas, cosmológicas e físico-teleológicas. (shrink)

There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.

Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...) proposed by Wolfgang Pauli and Carl Jung. To test his hypothesis, Wallace employs the Buddhist meditative practice of _samatha_, refining one's attention and metacognition, to create a kind of telescope to examine the space of the mind. Drawing on the work of the physicist John Wheeler, he then proposes a more general theory in which the participatory nature of reality is envisioned as a self-excited circuit. In comparing these ideas to the Buddhist theory known as the Middle Way philosophy, Wallace explores further aspects of his "general theory of ontological relativity," which can be investigated by means of _vipasyana_, or insight, meditation. Wallace then focuses on the theme of symmetry in reference to quantum cosmology and the "problem of frozen time," relating these issues to the theory and practices of the Great Perfection school of Tibetan Buddhism. He concludes with a discussion of the general theme of complementarity as it relates to science and religion. The theories of relativity and quantum mechanics were major achievements in the physical sciences, and the theory of evolution has had an equally deep impact on the life sciences. However, rigorous scientific methods do not yet exist to observe mental phenomena, and naturalism has its limits for shedding light on the workings of the mind. A pioneer of modern consciousness research, Wallace offers a practical and revolutionary method for exploring the mind that combines the keenest insights of contemporary physicists and philosophers with the time-honored meditative traditions of Buddhism. (shrink)

Georgians' acquaintance with Islam was with the first Arab raids. From the first Muslim Arab domination, Georgians started to become Muslims with cultural interaction. Islam spread especially in Eastern Georgia during the time of Muslim Arabs, Seljuks and Mongols. The spread of Islam in Western Georgia started with the Ottomans. The Ottoman Empire's contact with Georgia begins with the conquest of Trabzon by Fatih Sultan Mehmed. When the Ottomans contacted the region, the geography of Georgia was divided into small kingdoms. (...) With the conquest of Trabzon, the Georgian border was reached and in 1479, Acaristan, Borcka and Maçahel surroundings joined the Ottoman lands. On the one hand, Sukhumi was captured from the north. Then, continuing to advance in the region, Yavuz Sultan Selim paid tribute to the Kingdom of Güryel and Imeret (Açıkbaş) in 1508 during his governorship of Trabzon. Thus, the Ottoman borders had reached beyond the Black Sea coast into Western Georgia. As a result of the increasing relations around Adjaria, which came under Ottoman rule, Islamization began to spread rapidly among the people. Contrary to what is claimed, the spread of Islam in the region did not spread from the ruling strata to the lower, but from the popular strata to the ruling strata. This process was surprisingly fast. In the process of Islamization, many mosques, masjids and schools were built in Adjara, especially with the help of the people. The foundations operating in the region and the mosques and masjids serving under them show that, contrary to the claims of Russian and Georgian historians, Islamization took place rapidly at the beginning of the 17th century in Adjara. In this process, many mosques, masjids and schools were built in the region. In this research, based on the numerous Hurufat records belonging to Adjara, Batumi, Gönye, Çürüksu and Maçahel, the Islamization process will be evaluated by making a social reading with the data obtained from the religious structures established in the rural settlements of the Adjara geography and their officials. Evaluations were made on the Islamization process in Adjara by making a social reading. (shrink)

Med hjemmel i de lovfestede spesielle god skikk-reglene har flere yrker utformet yrkesetiske regler med en lovmessig forankring. Denne artikkelen tar utgangspunkt i fem yrker og gir en juridisk analyse av god revisorskikk, god advokatskikk, god regnskapsføringsskikk, god meglerskikk og god landmålerskikk. Formålet er å sammenligne den rettslige betydningen av disse SGS-reglene. De sammenlignes ut fra hjemmelsgrunnlaget og hvilken bransjeorganisasjon som har utformet de yrkesetiske reglene, autorisasjonsordning og en hypotese om at de yrkesetiske reglene inneholder følgende elementer: profesjonsansvar, integritet, objektivitet, (...) taushetsplikt og kompetansekrav.Sammenligningen viser at lovfestede SGS-regler har ført til at de aktuelle bransjeorganisasjonene har tatt ansvar for å utforme de yrkesetiske reglene. Når det gjelder autorisasjonsordningen, har Finanstilsynet ansvaret for autorisasjonene til revisorer, regnskapsførere og eiendomsmeglere. For advokater har Tilsynsrådet for advokatvirksomhet ansvaret for å føre tilsyn med advokatbevillingene, mens landmålerne ikke er underlagt en autorisasjonsordning.Analysen viser at en finner de fem elementene både i god revisorskikk, god advokatskikk, god regnskapsføringsskikk og god landmålerskikk. God meglerskikk er derimot svært forskjellig fra de andre yrkesetiske reglene. Samlet viser analysene at de yrkesetiske reglene har en viss rettslig betydning, selv om den varierer.Nøkkelord: lovfestede god skikk-regler, yrkesetiske reglerEnglish summary: The significance of ethical rules based on legislated rules for Code of ConductIn accordance with statutory authority rules for Code of conduct, several professions have designed ethical rules with a legal foundation. This article is based on a legal analysis of CoC for auditors, lawyers, accountants, real estate agents and for land surveyors. The purpose of the article is to compare the legal significance of these rules for the CoC. The various rules for CoC are compared in terms of their legal basis, the professional organisation which has designed the professional ethical rules and the system of authorisation. The rules for CoC are also compared in a hypothesis about five elements. The hypothesis is that the ethical rules contain the following elements: professionalism, integrity, objectivity, confidentiality and competency.The comparison shows that legislated rules for CoC have enabled the relevant professional organisations to take responsibility for designing professional ethical rules. In the case of system of authorisation, the «Financial Supervisory Authority of Norway» is responsible for authorising auditors, accountants and real estate agents. For lawyers the «Supervisory Council For Legal Practice» is responsible for supervising their authorisation, whereas land surveyors are not subject to an authorisation system – either public or professional.The analysis shows that one can find all five elements in the CoC for auditors, lawyers, accountants, and land surveyors. The CoC for real estate agents, however, is different from the other ethical rules. Overall, the analysis shows that the ethical rules have a certain legal significance, although it varies. (shrink)

I have long concluded that psychologists seek 'facts' but don't care about 'truth'; while philosophers seek 'truth' but don't care about 'facts'. After attending Tucson-2002, I would create a third reckless stereotype: eastern philosophy seek 'enlightenment' but don't care about 'facts' or 'truth'. To avoid this seeming to be the equal-opportunity put-down that it really is, let me amend that to: scientists seek inductive 'facts' about consciousness, western philosophers seek deductive 'truth' about consciousness, and eastern philosophers seek transcendent 'enlightenment' - (...) to grow, transcend, or lose my/our own consciousness. To make it even more complicated, there are - obliquely bridging the facts, truth, and enlightenment camps - brain-probing anaesthesiologists and others advocating an intriguing package of quantum mechanics, microtubules, pan-psychism and causation-running-backwards-in- time. H-E-L-P! With the echoes of the conference still in my mental ears, I dedicate this report to Mountcastle, Maharishi, and Monty Python. (shrink)