The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

The main message of this volume is that the creative process of discovery is not a purely rational enterprise in the traditional sense which equates rationality with logical reasoning, yet it is a manifestation of a universal phenomenon ...

We prove that the theory of all sentences in the language of rings which are true in for almost all is decidable. Here is the field of all algebraic numbers; is the ring of all algebraic integers; is the absolute Galois group of ; for each , is the fixed field of σ1,…,σe in ; and the clause ‘almost all’ is used in the sense of the Haar measure of.

Ḥelek 2. Toroto shel Rabenu bi-lesh. ha-ḳ. ... maʼamarim shonim be-Idish ... sheʼelot u-teshuvot ba-ʻavodat ha-Sh. yit ... shivḥo shel tsadiḳ.

Removing a black hole conic singularity by means of Kruskal representation is equivalent to imposing extensibility on the Kasner–Fronsdal local isometric embedding of the corresponding black hole geometry. Allowing for globally non-trivial embeddings, living in Kaluza–Klein-like M 5 × S 1 (rather than in standard Minkowski M 6 ) and parametrized by some wave number k, extensibility can be achieved for apparently “forbidden” frequencies ω in the range ω 1 (k) ≤ ω ≤ ω 2 (k). As k → 0, (...) ω 1, 2 (0) → ωH (e.g., ωH = 1/4M in the Schwarzschild case) such that the Hawking–Gibbons limit is fully recovered. The various Kruskal sheets are then viewed as slices of the Kaluza–Klein background. Euclidean k discreteness, dictated by imaginary time periodicity, is correlated with flux quantization of the underlying embedding gauge field. (shrink)

[1] Ṭohorah, yiḥud, hanhagat ha-bayit --.

The need for better incorporation of the construct emotional intelligence (EI) into counterproductive work behavior (CWB) research may be achieved via a unified conceptual framework. Accordingly, the purpose of this paper is to use the Profile Analysis via Multidimensional Scaling (PAMS) approach, a conceptual framework that unifies motivational process with antecedents and outcomes, to assess differences in EI concerning a variety of constructs: organizational justice, CWB, emotional exhaustion, job satisfaction, and intrinsic motivation. Employing established scales within a framework unifying CWB, (...) intrinsic motivation, EI, organizational justice, and outcome constructs, two EI-based profiles displayed associations with CWB based on responses from 3,293 employees. Both the first core profile, high overall justice and low emotional intelligence, and the second core profile, high emotional intelligence and low work motivation, displayed associations with interpersonal deviance and organizational deviance, as well as emotional exhaustion and job satisfaction. The results are discussed with respect to possible underlying theory and an overarching unified motivation framework that incorporates goal choice, intrinsic motivation, antecedents, and outcomes. We also provide directions for future research and implications for managers in the workplace based on heuristic conceptual frameworks that combine multiple motivational perspectives into a unified model. (shrink)

This essay focuses on proportionality stricto sensu as a consequential test of balancing. The basic balancing rule establishes a general criterion for deciding between the marginal benefit to the public good and the marginal limit to human rights. Based on the Israeli constitutional jurisprudence, this essay supports the adoption of a principled balancing approach that translates the basic balancing rule into a series of principled balancing tests, taking into account the importance of the rights and the type of restriction. This (...) approach provides better guidance to the balancer , restricts wide discretion in balancing, and makes the act of balancing more transparent, more structured, and more foreseeable. The advantages of proportionality stricto sensu with its three levels of abstraction are several. It stresses the need to always look for a justification of a limit on human rights; it structures the mind of the balancer; it is transparent; it creates a proper dialog between the political brunches and the judiciary, and it adds to the objectivity of judicial discretion. Proportionality stricto sensu however has it critics: some claim that it attempts to balance incommensurable items; others that balancing is irrational. The answer to the critics is that it is a common base for comparison, namely the social marginal importance and that the balancing rules—basic, principled, concrete—supply a rational basis for balancing. A democracy must entrust the judiciary—the unelected independent judiciary—to be the final decision-maker—subject to constitutional amendments—about proper ends that cannot be achieved because they are not proportionality stricto sensu. (shrink)

Aharon Aviram; The Paradoxes of Education for Democracy, or the Tragic Dilemmas of the Modern Liberal Educator, Journal of Philosophy of Education, Volume 20, I.

ḥeleḳ 1. Osher ṿe-śimḥah -- ḥeleḳ 2. Emunah u-viṭaḥon -- ḥeleḳ 3. Ṿa-ani tefilati -- ḥeleḳ 4. Shuvah Yiśraʼel -- ḥeleḳ 5. Ṿe-ahavta le-reʻakha -- ḥeleḳ 6. Kibud horim -- ḥeleḳ 7. Kibud ḥakhamim -- ḥeleḳ 8. Ṭov u-meṭiv --.

In this paper, I try to decipher the role of internal symmetries in the ontological maze of particle physics. The relationship between internal symmetries and laws of nature is discussed within the framework of “Platonic realism.” The notion of physical “structure” is introduced as representing a deeper ontological layer behind the observable world. I argue that an internal symmetry is a structure encompassing laws of nature. The application of internal symmetry groups to particle physics came about in two revolutionary steps. (...) The first was the introduction of the internal symmetries of hadrons in the early 1960s. These global and approximate symmetries served as means of bypassing the dynamics. I argue that the realist could interpret these symmetries as ontologically prior to the hadrons. The second step was the gauge revolution in the 1970s, where symmetries became local and exact and were integrated with the dynamics. I argue that the symmetries of the second generation are fundamental in the following two respects: According to the so-called “gauge argument,” gauge symmetry dictates the existence of gauge bosons, which determine the nature of the forces. This view, which has been recently criticized by some philosophers, is widely accepted in particle physics at least as a heuristic principle. In view of grand unified theories, the new symmetries can be interpreted as ontologically prior to baryon matter. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ‘diagonal argument’ and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Fundamentismus und Skeptizismus-Anarchismus sind zwei entgegengesetzte Positionen in der traditionellen Erkenntnistheorie und in der modernen Wissenschaftstheorie. Zwischen ihnen gibt es einen dritten Standpunkt, den Evolutionismus. Beispiele sind zwei neuere Arbeiten von Putnam und Stegmüller . Im Gegensatz zum logisch-statischen Fundamentismus berücksichtigt der Evolutionismus auch dynamische und naturalistische Ansätze. Stegmüller folgend entlehnen wir in der vorliegenden Untersuchung aus der Sprachphilosophie pragmatische Gesichtspunkte, um die logische Syntax und Semantik, die Werkzeuge des Fundamentismus, zu ersetzen. Wir zeigen die Kraft der Pragmatik bei der (...) Behandlung von Problemen wie Erkenntniswachstum, Begriffswechsel, Theorien- und Bedeutungsdynamik, wissenschaftliche Entdeckung und besonders beim Problem der Inkommensurabilität. Unser nicht-fundamentistischer Vorschlag ist ein heuristisches Modell, das auf der modernen genetischen Theorie basiert. (shrink)

Background Nurses have an essential role in caring for end-of-life patients. Nevertheless, the nurse’s involvement in the passive euthanasia decision-making process is insufficient and lower than expected. Objectives To explore factors associated with nurses’ intention to be involved in non-treatment decisions (NTD) regarding passive euthanasia decision-making versus their involvement in the palliative care of patients requesting euthanasia, using the Theory of Planned Behavior (TPB) framework. Design A cross-sectional study utilizing a random sample. Participants and research context The study was conducted (...) in one of the largest hospitals in Israel among 125 nurses employed in internal and surgical care wards. Data was collected through face-to-face interviews between March and April 2019. Method A closed structured questionnaire was developed according to TPB instructions. A paired sample t test and two multiple hierarchical regressions were conducted. Variance explained (R2) and the significance of F change were calculated for each regression. The study used the STROBE statement guideline. Ethical considerations The study was approved by the hospital’s Helsinki Committee (#20.11.2017). Findings A paired sample t test revealed that nurses’ involvement in the palliative care of patients requesting passive euthanasia was significantly higher than in NTD regarding euthanasia. Regression analyses revealed that nurses’ position and attitudes explain their intention to be involved in decision-making; attitudes and perceived behavioral control explain nurses’ intention to be involved in the care of patients requesting euthanasia. Conclusions According to the TPB, nurses’ attitudes explained their intention to participate in decision-making regarding passive euthanasia. It is recommended to enhance open discussion of this complex issue to encourage nurses’ willingness to participate in NTD decision-making regarding euthanasia. (shrink)

According to structural realism, in mature science there is structural continuity along theoretical change. A major counterexample to this thesis is the transition from the Eightfold Way to the Standard Model in particle physics. Nevertheless, the notion of structure is significantly important in comprehending the theoretical picture of particle physics, where particles change and undergo transmutations, while the only thing which remains unchanged is the basic structure, i.e. the symmetry group which controls the transmutations. This kind of view agrees with (...) the paradigmatic case where the structure is an internal symmetry and the instantiations are the elementary particles. The metaphysical view which reflects this situation is a version of ontic structuralism. (shrink)

Aharon Aviram; The Subjection of Children, Journal of Philosophy of Education, Volume 24, Issue 2, 30 May 2006, Pages 213–234, https://doi.org/10.1111/j.1467-97.

Halakhah u-musar -- Emunah -- Mitsṿot -- Ḥevrah u-medinah.

Aharon Aviram; The Justification of Compulsory Education: the still neglected moral duty, Journal of Philosophy of Education, Volume 20, Issue 1, 30 May 2006, P.

Formulations of Anselm’s ontological argument have been the subject of a number of recent studies. We examine these studies in light of Anselm’s text and (a) respond to criticisms that have surfaced in reaction to our earlier representations of the argument, (b) identify and defend a more refined representation of Anselm’s argument on the basis of new research, and (c) compare our representation of the argument, which analyzes that than which none greater can be conceived as a definite description, to (...) a representation that analyzes it as an arbitrary name. (shrink)