The author's aim in this biography is to shed light on the contrasts and polarity—yet relationship—between the rational and the irrational in Gödel's work and personality. On the one hand there is the genius logician whose technical work can be said practically to have attained the limits of what rational thought can produce; on the other hand, one is struck, claims the author, by the irrationality in Gödel's personality and psychic structure, such as his belief in the existence of spirits, (...) demons, angels, the devil, and other evil-wishing forces that he thought had haunted and deprived him of a peaceful existence.As is well known from other biographies, Gödel was of a frail physical health and psychic balance, having suffered from his student days on from bouts of depression and ‘nervous’ breakdowns—generally attributed to being overworked—that required at times short hospitalization in a sanatorium and culminating toward the end of his life in a marked deterioration in his mental health that resulted in his starving himself to death out of fear of being poisoned. These events are only mentioned here in passing.The author, who teaches philosophy at the University of Lille, is naturally interested in Gödel's philosophical views as well as in his metaphysical reflections, such as his thoughts about life after death and the survival of an immaterial soul. From the 1940s Gödel kept a philosophical diary that contains 670 handwritten notes, written in the now defunct Gabelsberger shorthand. Having feared controversies whenever his metaphysical/philosophical views went against the spirit of the times, Gödel was never led to a comprehensive publication of these views, preferring to put these notes in the private format of notebooks that are now preserved in his Nachlassat Princeton University. 1 The author had several opportunities to study the two of these notebooks …. (shrink)

Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...) coherent (in an informal sense) and places the problem of reliability within the province of the philosophy of mathematics. (shrink)

In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...) meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]. (shrink)

The author's aim in this biography is to shed light on the contrasts and polarity—yet relationship—between the rational and the irrational in Gödel's work and personality. On the one hand there is the genius logician whose technical work can be said practically to have attained the limits of what rational thought can produce; on the other hand, one is struck, claims the author, by the irrationality in Gödel's personality and psychic structure, such as his belief in the existence of spirits, (...) demons, angels, the devil, and other evil-wishing forces that he thought had haunted and deprived him of a peaceful existence.As is well known from other biographies, Gödel was of a frail physical health and psychic balance, having suffered from his student days on from bouts of depression and ‘nervous’ breakdowns—generally attributed to being overworked—that required at times short hospitalization in a sanatorium and culminating toward the end of his life in a marked deterioration in his mental health that resulted in his starving himself to death out of fear of being poisoned. These events are only mentioned here in passing.The author, who teaches philosophy at the University of Lille, is naturally interested in Gödel's philosophical views as well as in his metaphysical reflections, such as his thoughts about life after death and the survival of an immaterial soul. From the 1940s Gödel kept a philosophical diary that contains 670 handwritten notes, written in the now defunct Gabelsberger shorthand. Having feared controversies whenever his metaphysical/philosophical views went against the spirit of the times, Gödel was never led to a comprehensive publication of these views, preferring to put these notes in the private format of notebooks that are now preserved in his Nachlassat Princeton University. 1 The author had several opportunities to study the two of these notebooks …. (shrink)

In this historical essay, we examine the reciprocal influences of philosophical doctrines and logic, their interrelations with language, and the place of mathematics in these developments.

Among the aims of the author in this wide-ranging article is to draw attention to the numerous formal sciences which so far have received little scrutiny, if at all, on the part of philosophers of mathematics and of science in general. By the formal sciences the author understands such mathematical disciplines as operations research, control theory, signal processing, cluster analysis, game theory, and so on. First, the author presents a long list of such formal sciences with a detailed discussion of (...) their subject matter and with extensive references to the pertinent literature. Turning to the nature of the formal sciences, the author states that “the formal sciences, though they arose in most cases out of engineering requirements, are sciences and can be pursued without reference to applications”. It is argued, through a wealth of examples, that in a great number of cases the formal sciences permit the attainment of provable certainty about actual parts of the world. As Franklin puts it, “knowledge in the formal sciences, with its proofs about network flows, proofs of computer program correctness, and the like, gives every appearance of having achieved the philosophers’ stone; a method of transmuting opinion about the base and contingent beings of this world into the necessary knowledge of pure reason.” Franklin clearly distinguishes between certainty and necessity: “ g¤g¤g what the mathematician in offering is not, in the first instance, absolute certainty in principle, but necessity. This is how his assertion differs from one made by a physicist. A proof offers a necessary connection between premises and conclusion. One may extract practical certainty from this g¤g¤g but this is a separate step.” Though Franklin explicitly states that there is a gap between necessity and certainty as one passes from mathematical reasoning to applications, the main thrust of the article consists in arguing that the gap is considerably smaller than generally claimed.. (shrink)

Jonathan Y. Tsou examines and defends positions on central issues in philosophy of psychiatry. The positions defended assume a naturalistic and realist perspective and are framed against skeptical perspectives on biological psychiatry. Issues addressed include the reality of mental disorders; mechanistic and disease explanations of abnormal behavior; definitions of mental disorder; natural and artificial kinds in psychiatry; biological essentialism and the projectability of psychiatric categories; looping effects and the stability of mental disorders; psychiatric classification; and the validity of the DSM's (...) diagnostic categories. The main argument defended by Tsou is that genuine mental disorders are biological kinds with harmful effects. This argument opposes the dogma that mental disorders are necessarily diseases that result from biological dysfunction. Tsou contends that the broader ideal of biological kinds offers a more promising and empirically ascertainable naturalistic standard for assessing the reality of mental disorders and the validity of psychiatric categories. (shrink)

This study aimed to identify the learning and business incubation processes and their impact on developing the performance of business incubators in Gaza Strip, and the study relied on the descriptive analytical approach, and the study population consisted of all employees working in business incubators in Gaza Strip in addition to experts and consultants in incubators where their total number reached (62) individuals, and the researchers used the questionnaire as a main tool to collect data through the comprehensive survey method, (...) where (55) questionnaires were retrieved with a recovery rate of (88.7%). The results of the study showed that there is a high approval of the variables of the study, where the dimension of incubation operations came with a relative weight (84.89%), followed by the learning dimension which got a relative weight (82.50%), while the performance level of the incubators got a relative weight (80.12%) and as the study results showed There is a positive relationship statistically between the two dimensions of learning and business incubation processes and performance development in business incubators, and the linear regression analysis model showed that the main effect in improving the performance of business incubators is "after business incubation operations" while it showed weak effect after learning. The study came out with several recommendations, the most important of which is that business incubators seek to reinforce the learning process and incubation processes for business, and the need to periodically evaluate their performance, and that a more effective mechanism be designed to follow up with companies after the end of the incubation period and monitor the progress of these companies. (shrink)

In psychiatry, pharmacological research has played a crucial role in the formulation, revision, and refinement of neurobiological theories of psychopathology. Besides being utilized as potential treatments for various mental disorders, pharmacological drugs play an important epistemic role as experimental instruments that help scientists uncover the neurobiological underpinnings of mental disorders (Tsou, 2012). Interventions with psychiatric patients using pharmacological drugs provide researchers with information about the neurobiological causes of mental disorders that cannot be obtained in other ways. This important source of (...) evidence for the biological causes of mental disorder is often overlooked in philosophical analyses of psychiatry, especially in skeptical analyses that debase the biological aspects of psychopathology (e.g., Szasz, 1960; Scheff, 1963; Laing, 1967). In discussing pharmacological interventions as a form of evidence for the physical basis of mental disorders, this paper aims to clarify the nature, reliability, and limitations of this evidence. In addition, it illustrates the central role that pharmacological findings in applied clinical contexts play in the acquisition of neurobiological knowledge in research contexts. (shrink)

Purpose. The dynamics and pace of social and economic transformations that are characteristic of modern society, lead to an increase in tension and the destruction of habitual stereotypes – ideals, values, norms, patterns of behaviour that unite people. These moments encourage us to rethink the understanding of "security" essence, in particular, psychological, which emphasizes the urgency of its study in the philosophical and sociocultural coordinates. Theoretical basis of the research is based on the philosophical methodology of K. Jaspers, E. Fromm (...) and the A. Maslow’s psychological approach to understanding of a person. Originality. Psychological security is considered at different levels: first and foremost, society is a characteristic of social security, that is an analysis of how today’s social technologies, social changes affect the quality of life of the country’s population; secondly, the social environment – the family, the immediate environment, reference groups, training teams; thirdly, a person is an experience of his own security-insecurity, when it is possible to talk about the manifestations of psychological violence, when certain behavioral acts contribute to the violation of the security of the other or to self-destruction. It is found out that the knowledge of psychological security is closely connected with the socio-historical conditions of being, with the level of development of material and spiritual culture, with the interests and values prevailing in society, which determines its ontological, epistemological and axiological features. The presented issue is considered in the correlation of psychological security with types of scientific rationality – classical, nonclassical and post-nonclassical approaches, within the framework of which various perspectives, aspects, forms and types of psychological security are studied. Conclusions. The concept of security requires a systematic description of its manifestations, types, levels, concepts: security as the absence of dangers ; security as a certain activity to ensure or to prevent any threats or dangers ; security as a conscious necessity, the value of the individual. The study systematizes various ideas about psychological security in accordance with the logic of scientific knowledge: in the mainstream of classical, non-classical and post-nonclassical approaches. (shrink)

Using the corpus of JSTOR articles, we investigate the role of gender in collaboration patterns across the scholarly landscape by analyzing gender-based homophily--the tendency for researchers to co-author with individuals of the same gender. For a nuanced analysis of gender homophily, we develop methodology necessitated by the fact that the data comprises heterogeneous sub-disciplines and that not all authorships are exchangeable. In particular, we distinguish three components of gender homophily in collaborations: a structural component that is due to demographics and (...) non-gendered authorship norms of a scholarly community, a compositional component which is driven by varying gender representation across sub-disciplines, and a behavioral component which we define as the remainder of observed homophily after its structural and compositional components have been taken into account. Using minimal modeling assumptions, we measure and test for behavioral homophily. We find that significant behavioral homophily can be detected across the JSTOR corpus and show that this finding is robust to missing gender indicators in our data. In a secondary analysis, we show that the proportion of female representation in a field is positively associated with significant behavioral homophily. (shrink)

Planteamiento de la naturaleza, de la filosof a y de su raz n hist rica, al contemplar panor micamente la totalidad de su pasado e intentar reconstruir el dram tico suceso de su origen.

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

The potential to collect brain data more directly, with higher resolution, and in greater amounts has heightened worries about mental and brain privacy. In order to manage the risks to individuals posed by these privacy challenges, some have suggested codifying new privacy rights, including a right to “mental privacy.” In this paper, we consider these arguments and conclude that while neurotechnologies do raise significant privacy concerns, such concerns are—at least for now—no different from those raised by other well-understood data collection (...) technologies, such as gene sequencing tools and online surveillance. To better understand the privacy stakes of brain data, we suggest the use of a conceptual framework from information ethics, Helen Nissenbaum’s “contextual integrity” theory. To illustrate the importance of context, we examine neurotechnologies and the information flows they produce in three familiar contexts—healthcare and medical research, criminal justice, and consumer marketing. We argue that by emphasizing what is distinct about brain privacy issues, rather than what they share with other data privacy concerns, risks weakening broader efforts to enact more robust privacy law and policy. (shrink)

In this text presented here, it has been tried to Show the difference between Heidegger’s first and second era understanding of language. In his first era, to manifest Heidegger’s understanding of language, outlines of Being and Time has been discussed and concerned chapter is read carefully. To manifest his understanding of language in second era, the work of On the Way to the Language has been taken as a base. With this comparative study, it has been tried to shown the (...) change that “language” has undergone in Heidegger philosophy. (shrink)

© Springer-Verlag Berlin Heidelberg 2015. When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5like models of standard epistemic logic. To overcome this drawback, in this paper, we propose a new logical framework based on compact models without epistemic accessibility relations for reasoning about knowledge of procedures. Inspired by the 3-valued abstraction method in model checking, we introduce hyper models which encode the imperfect procedural information. We give a highly non-trivial 2-valued (...) semantics of epistemic dynamic logic on such models while validating all the usual S5 axioms. Our approach is suitable for applications where procedural information is ‘learned’ incrementally, as demonstrated by various examples. (shrink)

Autobiography and phenomenology: Preface for Germans (1934).--Phenomenology and theory of knowledge: Sensation, construction, and intuition (1913). On the concept of sensation (1913). Consciousness, the object, and its three distances (1916).--Phenomenology and esthetics: An essay in esthetics by way of a preface (1914). Esthetics on the streetcar (1916).--An esthetics of historical reason: The idea of theater: an abbreviated view (1946). Reviving the paintings (Velázquez, chapter I) (1946).

Following Henkin’s discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or “cardinality” quantifiers, e.g., “most”, “few”, “finitely many”, “exactly α ”, where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a (...) general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise’s 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

Using William Shakespeare’s Hamlet and the play-within-the play, The Murder of Gonzago, as a case study, this essay argues that theatrical utterances constitute a special case of language usage not previously elucidated: the utterance of a statement with propositional content in theatre functions as an event. In short, the propositional content of a particular p (e.g. p1, p2, p3 …), whether or not it is true, is only understood—and understood to be true—if p1 is uttered in a particular time, place, (...) and situation (i.e. during a theatrical event); otherwise, the propositional content in those theatrical utterances can either be false or contingently true. (shrink)

Let ≤r and ≤sbe two binary relations on 2ℕ which are meant as reducibilities. Let both relations be closed under finite variation and consider the uniform distribution on 2ℕ, which is obtained by choosing elements of 2ℕ by independent tosses of a fair coin.Then we might ask for the probability that the lower ≤r-cone of a randomly chosen set X, that is, the class of all sets A with A ≤rX, differs from the lower ≤s-cone of X. By c osure (...) under finite variation, the Kolmogorov 0-1 aw yields immediately that this probability is either 0 or 1; in case it is 1, the relations are said to be separable by random oracles.Again by closure under finite variation, for every given set A, the probability that a randomly chosen set X is in the upper ≤r-cone of A is either 0 or 1; let Almostr be the class of sets for which the upper ≤r-cone has measure 1. In the following, results about separations by random oracles and about Almost classes are obtained in the context of generalized reducibilities, that is, for binary relations on 2ℕ which can be defined by a countable set of total continuous functionals on 2ℕ in the same way as the usual resource-bounded reducibilities are defined by an enumeration of appropriate oracle Turing machines. The concept of generalized reducibility comprises a natura resource-bounded reducibilities, but is more general; in particular, it does not involve any kind of specific machine model or even effectivity. The results on generalized reducibilities yield corollaries about specific resource-bounded reducibilities, including several results which have been shown previously in the setting of time or space bounded Turing machine computations. (shrink)

Translation of "Unas lecciones de metafísica," based on a course given at the University of Madrid in 1932-1933, and published by Revista de Occidente in 1966.

Though Spinoza's definition of God at the beginning of the Ethics unequivocally asserts that God has infinitely many attributes, the reader of the Ethics will find only two of these attributes discussed in any detail in Parts Two through Five of the book. Addressing this intriguing gap between the infinity of attributes asserted in E1d6 and the discussion merely of the two attributes of Extension and Thought in the rest of the book, Jonathan Bennett writes: Spinoza seems to imply that (...) there are other [attributes] – he says indeed that God or Nature has “infinite attributes.” Surprising as it may seem, there are reasons to think that by this Spinoza did not mean anything entailing that there are more than two attributes. In this paper I will argue that Bennett’s claim is fundamentally wrong and deeply misleading. I do think, however, that addressing Bennett’s challenge will help us better understand Spinoza’s notion of infinity. I will begin by summarizing Bennett’s arguments. I will then turn to examine briefly the textual evidence for and against his reading. Then I will respond to each of Bennett’s arguments, and conclude by pointing out theoretical considerations which, I believe, simply refute his reading. (shrink)