kerekh 1-2. Maʼamarim rishon ṿe-sheni -- kerekh 3-4. Maʼamarim shelishi u-reviʻi -- kerekh 5. Maʼamar ḥamishi u-firḳe mavo.

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive (...) Logic, including probability theory and decision theory. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. (shrink)

If we arrange in chronological order the various statements Darwin made about God, creation, design, plan, law, and so forth, that I have discussed, there emerges a picture of a consistent development in Darwin's religious views from the orthodoxy of his youth to the agnosticism of his later years. Numerous sources attest that at the beginning of the Beagle voyage Darwin was more or less orthodox in religion and science alike.78 After he became a transmutationist early in 1837, he concluded (...) that the doctrine of secondary causes must be extented even to the history of life and that after the first forms of life were created, there was no further need for divine intervention, except where man was concerned. Man's body, he thought, was produced by the process of transmutation, but he believed for a time that man's soul was “superadded.” By mid-1838 he had become convinced that nothing, after the creation of life, was due to miracles. God works only through laws, which are capable of producing “every effect of evey kind which surrounds us.” The existence of man, the idea of God in man's mind, and the harmony of the whole system were in his eyes prearranged goals of deterministic laws imposed by God. Such a conception excludes the miracles on which Christianity depends; but it is not possible to say whether Darwin's loss of Christian faith, which occurred at about this same time, preceded and made possible his “materialism” or was rather caused or hastened by it.79 In the weeks after his reading of Malthus, Darwin's belief in a plan of creation gave way to the belief that God created matter and life and designed their laws, leaving the details, however, to the workings of chance. This remained his view until the 1860s.There is no exact parallel between this development of Darwin's religious views and the development of his ideas on evolution, but there is a general correspondence. When he believed in a plan of creation, Darwin's theory of transmutation did not depend on struggle or the selection of chance variations. Adaptation was, for him, an automatic response to environmental chance. From late 1838 to 1859 he believed in designed laws and chance, and this belief, too, has its parallel in his theory. The element of chance in natural selection meant that there could be no detailed plan,in which even man's idea of God would be a necessary outcome of nature's laws (man himself is not a necessary outcome of the working of natural selection).80 But Darwin still believed nature was programmed to achieve certain general ends. We might say that he believed in a general, though not a special, teleology. Natural selection was for him a law to maximize utility, creating useful organs, retaining vestiges for future use. For many years it was a law designed to produce organisms perfectly adapted to their environments. Only later did Darwin come to doubt even this sort of design in nature.81 One way of describing the development of Darwin's evolutionary thought is to say that it shows a gradual abandoning of his “theistic” assumptions, so that by the late 1860s his theory was informed to a slighter extent by notions of purpose and design than it was in 1838 or 1844 or 1859. (shrink)

Judaism is often described as a religion that tolerates, even celebrates arguments with God. In Pious Irreverence, Dov Weiss has written the first scholarly study of the premodern roots of this distinctively Jewish theology of protest, examining its origins and development in the rabbinic age (70 CE-800 CE).

Culture and social structure may affect the testosterone–behavior link by shaping the way we construe events; by muting, channelling, or amplifying the drives that testosterone produces; and by affecting the distribution and level of testosterone in various parts of the population. Research on testosterone, culture, and social class has produced suggestive results, opening broad areas for research.

The ventral lateral parietal cortex shows robust activation during episodic retrieval, and is involved in content representation, as well as in the evaluation of memory traces. This suggests that the VLPC has a crucial contribution to the quality of recollection and the subjective experience of remembering, and situates it at the intersection of the core and attribution systems.

Философ, который подобным образом озаглавил свою работу, тем самым утверждает, что он знает, как выглядит непротиворечивая онтология, теория познания, что такое реальность, как, скажем, решается проблема непротиворечивости математики и т.д.

Globalization, in its earlier stages, was expected to erode national and ethnic identities. In contrast, ethnicity and ethnic affiliations persisted, growing socially and politically. This paper examines the role of the globalizing new communications technologies on this process, focusing on Diasporas. The study of trans-state networks based on ethnic solidarity, connections and affinities in the framework of social and political science is quite recent. Following a clarification of the distinction between classical and modern Diasporas we analyse a particular case study, (...) that of the Jewish Diaspora. This diaspora was an early adopter of computer-based communications and the Internet for a wide range of purposes. Early events are described including the diffusion of the Internet to Israel, the planning of a Global Jewish Information Network, Israel 2020 macro scenarios for Israel and the Jewish People and the decision on Jewish Peoplehood through communication technologies. A survey of historical systems follows by a description of the Jewish population and the wide variety of Jewish Web based activities today. These include the Institutional landscape; Jewish media — press, radio, video and blogs; the impact on Jewish religious observance; Jewish genealogy; Online dating; Social networks; Jewish education; Online learning; Jewish Studies and Digital Humanities; Jewish memory. Judaica Europeana supports the activities previously described by aggregating and facilitating the access and the re-use of Jewish digital culture. Europeana is the leading global digital library for cultural heritage as well as a lively eco-system for relevant stakeholders. (shrink)

Intellectual property (IP) offices and courts around the world are debating whether machines are similar enough to humans in terms of their consciousness and creativity to be eligible for inventors...

Jewish ethics has more in common with the burgeoning field of virtue ethics than generally has been acknowledged within the discourse of contemporary religious ethics. This paper describes the virtue ethics present in the Talmud and other rabbinic texts. Missing from many of the arguments in support of virtue ethics is space for other approaches to ethics, including act-evaluation and the codification of at least some ethical decisions into law. The approach to virtue ethics found in the Talmud overcomes this (...) dichotomy. Therefore, it is advantageous to bring these Talmudic texts concerned with character and virtue into dialogue with contemporary virtue ethics. (shrink)

Earlier investigations of the hormonal control of vitellogenin (egg‐yolk protein) synthesis in mosquitoes relied on microsurgical manipulations to identify organs that secrete the various hormones that stimulate or inhibit vitellogenesis. Advances in the last 10 years, using radioimmunoassays, HPLC, mass spectrometry and tissue‐culture incubations, have shown that the control mechanism involves a complex interaction between ecdysteroids, juvenile hormones and peptide hormones.