Parsa-Parsi et al systematically discuss and elucidate contentious and non-controversial ethical issues that emerged during the ICoME (International Code of Medical Ethics) revision process and the consensus they achieved. The ethical issues discussed include the physician’s duty to act in the best interests of patients and to ensure they are protected from the unjustifiable risk of harm, respect for patient autonomy and the duties of physicians during emergencies, among others. This paper examines paragraph 26, which requires doctors to provide only (...) medically justified remote treatment, ensure patients offer informed consent and adequately protect their confidentiality.1 At the peak of the COVID-19 pandemic, many countries in Europe and America implemented remote-by-default healthcare policies. At that time, the policy aimed to ensure that patients enjoyed continued access to care while protecting healthcare professionals’ health and well-being. After the COVID-19 pandemic, this policy remained in place. Regardless of the nature of their ailment, patients have consistently preferred in-person care out of concern that their health issues might not be accurately diagnosed and that they may not receive quality care …. (shrink)

The sichos compiled in this volume were given, over the years, by Rav Nebenzahl, Rav of the Old City of Jerusalem, between Rosh HaShanah and Yom Kippur.

Ṿe-śamaḥta be-khol ha-ṭov -- Ṿe-zakharta et kol ha-derekh.

In a seriesof papers beginning in 1944, the Dutch mathematician and philosopherGeorge Francois Cornelis Griss proposed that constructivemathematics should be developedwithout the use of the intuitionistic negation1 and,moreover, without any use of a nullpredicate.In the present work, we give formalized versions of intuitionisticarithmetic, analysis,and higher-order arithmetic in the spirit ofGriss' ``negationless intuitionistic mathematics''and then consider their relation to thecurrent formalizations of thesetheories.

The present work contains an axiomatic treatment of some parts of the restricted version of intuitionistic mathematics advocated by G. F. C. Griss, also known as negationless intuitionistic mathematics.Formal systems NPC, NA, and FIMN for negationless predicate logic, arithmetic, and analysis are proposed. Our Theorem 4 in Section 2 asserts the translatability of Heyting's arithmetic HAinto NA. The result can in fact be extended to a large class of intuitionistic theories based on HAand their negationless counterparts. For instance, in Section (...) 3 this is shown for Kleene's system of intuitionistic analysis FIMand our FIMN. (shrink)

This paper presents an intuitionistic proof of a statement which under a classical reading is logically equivalent to Gödel's completeness theorem for classical predicate logic.

The present work contains an axiomatic treatment of some parts of the restricted version of intuitionistic mathematics advocated by G. F. C. Griss, also known as negationless intuitionistic mathematics.Formal systems NPC, NA, and FIMN for negationless predicate logic, arithmetic, and analysis are proposed. Our Theorem 4 in Section 2 asserts the translatability of Heyting's arithmetic HAinto NA. The result can in fact be extended to a large class of intuitionistic theories based on HAand their negationless counterparts. For instance, in Section (...) 3 this is shown for Kleene's system of intuitionistic analysis FIMand our FIMN. (shrink)

This work is a sequel to our [16]. It is shown how Theorem 4 of [16], dealing with the translatability of HA(Heyting's arithmetic) into negationless arithmetic NA, can be extended to the case of intuitionistic arithmetic in higher types.

This work is a sequel to our [16]. It is shown how Theorem 4 of [16], dealing with the translatability of HA(Heyting's arithmetic) into negationless arithmetic NA, can be extended to the case of intuitionistic arithmetic in higher types.

In a seriesof papers beginning in 1944, the Dutch mathematician and philosopherGeorge Francois Cornelis Griss proposed that constructivemathematics should be developedwithout the use of the intuitionistic negation1 and,moreover, without any use of a nullpredicate.In the present work, we give formalized versions of intuitionisticarithmetic, analysis,and higher-order arithmetic in the spirit ofGriss' ``negationless intuitionistic mathematics''and then consider their relation to thecurrent formalizations of thesetheories.

I intend to motivate discussion on the ways of thought in art and philosophy in terms of a problem characteristic of contemporary culture diagnosed by Plato as the "loss of memory." He referred to the impoverishment of knowledge caused by an exclusive and excessive interest in information as well as by the loss of value in reflection. I examine the problem more closely by referring to a passage in the Phaedrus that shows what Plato meant by "a forgetfulness of the (...) soul" is tantamount to the disconnection of intellectual knowledge from emotion and the body. I reflect on the relation between art and philosophy as well as on the character of philosophical thought as regards the need to "cultivate memory" in our time. (shrink)

Let HA be Heyting's arithmetic, and let CS denote the conjunction of Kreisel's axioms for the creative subject: \begin{eqnarray*} {\rm CS}_1.&&\quad \,\forall\, x (\qed_x A \vee \; \neg \qed_x A)\; ,\nn {\rm CS}_2. &&\quad \,\forall\, x (\qed_x A\to A)\; ,\nn {\rm CS}_3^{\rm S}. &&\quad A\to\,\exists\, x \qed_x A\; ,\nn {\rm CS}_4.&&\quad \,\forall\, x\,\forall\, y (\qed_x A & y \ge x\to\qed_y A)\; .\nn \end{eqnarray*} It is shown that the theory HA + CS with the induction schema restricted to arithmetical (i.e. not (...) containing $\qed$ ) formulas is conservative over HA. (shrink)

The book outlines the contribution of passivity to the constitution of phenomena as diverse as temporal syntheses, perceptual associations, memory fulfillment and cross-cultural communication.

This article is an update of our previous article in this SGJ journal, titled: On Gödel's Incompleteness Theorem, Artificial Intelligence & Human Mind. We provide some commentary on the latest developments around AI, humanoid robotics, and future scenario. Basically, we argue that a more thoughtful approach to the future is "techno-realism.".

This book examines leadership strategies that allow administrators to be proactive, visionary, and flexible while increasing collaboration, open communication, and closely integrating theory and practice to ensure successful administration in higher education settings.