Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...) extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Feynman's sum-over-histories formulation of quantum mechanics has been considered a useful calculational tool in which virtual Feynman histories entering into a coherent quantum superposition cannot be individually measured. Here we show that sequential weak values, inferred by consecutive weak measurements of projectors, allow direct experimental probing of individual virtual Feynman histories, thereby revealing the exact nature of quantum interference of coherently superposed histories. Because the total sum of sequential weak values of multitime projection operators for a complete set of orthogonal (...) quantum histories is unity, complete sets of weak values could be interpreted in agreement with the standard quantum mechanical picture. We also elucidate the relationship between sequential weak values of quantum histories with different coarse graining in time and establish the incompatibility of weak values for nonorthogonal quantum histories in history Hilbert space. Bridging theory and experiment, the presented results may enhance our understanding of both weak values and quantum histories. (shrink)

The brain is composed of electrically excitable neuronal networks regulated by the activity of voltage-gated ion channels. Further portraying the molecular composition of the brain, however, will not reveal anything remotely reminiscent of a feeling, a sensation or a conscious experience. In classical physics, addressing the mind–brain problem is a formidable task because no physical mechanism is able to explain how the brain generates the unobservable, inner psychological world of conscious experiences and how in turn those conscious experiences steer the (...) underlying brain processes toward desired behavior. Yet, this setback does not establish that consciousness is non-physical. Modern quantum physics affirms the interplay between two types of physical entities in Hilbert space: unobservable quantum states, which are vectors describing what exists in the physical world, and quantum observables, which are operators describing what can be observed in quantum measurements. Quantum no-go theorems further provide a framework for studying quantum brain dynamics, which has to be governed by a physically admissible Hamiltonian. Comprising consciousness of unobservable quantum information integrated in quantum brain states explains the origin of the inner privacy of conscious experiences and revisits the dynamic timescale of conscious processes to picosecond conformational transitions of neural biomolecules. The observable brain is then an objective construction created from classical bits of information, which are bound by Holevo’s theorem, and obtained through the measurement of quantum brain observables. Thus, quantum information theory clarifies the distinction between the unobservable mind and the observable brain, and supports a solid physical foundation for consciousness research. (shrink)

The original purpose of the present study, 2011, started with a preprint «On the Probable Failure of the Uncountable Power Set Axiom», 1988, is to save from the transfinite deadlock of higher set theory the jewel of mathematical Continuum — this genuine, even if mostly forgotten today raison d’être of all traditional set-theoretical enterprises to Infinity and beyond, from Georg Cantor to David Hilbert to Kurt Gödel to W. Hugh Woodin to Buzz Lightyear.

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...) possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of (...) class='Hi'>Hilbert’s school. I shall argue this point by examining four basic ideas embraced by von Neumann in his foundational considerations: a) the conservative attitude to assume in mathematics; b) the role that mathematics and the axiomatic approach have to play in all that is science; c) the notion of success as an alternative methodological criterion to follow in scientific research; d) the empirical and, at the same time, abstract nature of mathematical thought. Once these four basic ideas have been accepted, Hilbert’s spirit in von Neumann’s methodology of science will become clear. (shrink)

Se leggiamo tra le righe del suo lavoro, possiamo scoprire che Varzi prende i mostri molto sul serio. Troviamo, per esempio, mostri mereologici frutto della composizione non ristretta, come l’entità costituita dalla metà sinistra di questa mela e dal bracciolo di quella poltrona.10 Oppure mostri topologici dai quali una teoria mereotopologica delle nicche deve rifuggire, come le curve riempispazio di Peano e Hilbert.11 O, ancora, mostri ontologici come l’antimateria;12 le entità “inesistenti” che, come si sa, non possono esistere, dato (...) che non ci sono cose che non esistono; e le entità “negative”: buchi, mancanze e omissioni, conferenze non date.13 In questo contributo, seguendo il suggerimento di Varzi, parlerò, appunto, di mostri, prendendo l’avvio da alcune creature che popolano il regno della finzione, per poi passare a trattare dei mostri che popolano il nostro mondo. Essendo poco lo spazio e molti i mostri, procederò dapprima proponendone una tassonomia – punto di partenza per ogni generalizzazione che si rispetti – e in seguito cercando di illustrare perché i mostri vadano presi sul serio in metafisica. È d’obbligo precisare che si tratterà di una tassonomia parziale e provvisoria, ma lo è altrettanto ricordare che le tassonomie, quelle biologiche in particolare, lo sono sempre, per due ragioni. In parte, perché la vita è in costante evoluzione, in parte perché le nostre conoscenze e decisioni condizionano la struttura e i contenuti dei nostri sistemi di categorie: basti pensare che la prima edizione del Systema naturae di Linneo contava undici pagine, mentre la tredicesima ben tremila, ripartite in sei volumi. Quando un tassonomo scopre un organismo che ritiene – dopo accurati esami comparativi – essere appartenente a una specie fino ad allora sconosciuta, ne deposita nella letteratura scientifica, insieme al nome binomiale (cioè il nome specifico, composto dall’indicazione del genere e della specie, come Homo sapiens), una descrizione in termini di caratteri fenetici. Quel token è chiamato tipo nomenclaturale, o esemplare-tipo, ed è il portatore del nome della specie di cui viene considerato tipo. Sulla falsariga della procedura appena descritta, riporterò la descrizione di alcuni tipi nomenclaturali per una tassonomia mostruosa che si baserà su tre criteri principali: (1) l’origine, (2) la costituzione genetica, (3) l’aspetto fenotipico. Prima di procedere, vorrei però sottolineare tre rispetti sotto i quali classificare mostri mitologici differisce dal classificare individui “ordinari”. Innanzitutto, nel caso dei mostri mitologici non è possibile, a causa del frequente intervento divino, ricorrere al criterio dell’interfecondità per stabilire se due mostri appartengono alla medesima specie. Ma d’altro canto, tale criterio, benché sia abbastanza affidabile per gli animali, non lo è affatto, per ragioni diverse dai mostri, per molte piante, alghe e funghi. Un’altra peculiarità da segnalare – di cui però non avremo modo di occuparci oltre – è che le entità mitologiche sono frequentemente soggette a trasformazioni sostanziali, mentre la nostra biologia sembra, aristotelicamente, escluderne la possibilità: una tigre non può trasformarsi in un canguro, pena la sua uscita dall’esistenza. Meno paradossalmente, una larva di mosca e la mosca adulta saranno considerate appartenenti alla medesima sorta – la mosca, appunto – benché dall’una all’altra non vi sia praticamente alcuna continuità materiale (nella metamorfosi la larva viene distrutta quasi completamente e l’adulto si genera a partire da pochi aggregati cellulari indifferenziati). Infine, nel caso dei mostri mitologici, parlerò più genericamente di “gruppo tassonomico” anziché di “specie” (e dunque il nome dei tipi nomenclaturali non sarà un nome binomiale) dal momento che, come diverrà chiaro nel corso della lettura, è proprio il concetto di “specie” come diverrà chiaro nel corso della lettura, è proprio il concetto di “specie” come articolazione naturale non oltrepassabile che i mostri che andiamo a classificare ci chiedono di mettere in discussione. (shrink)

What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...) higher set theory the jewel of mathematical Continuum -- this genuine, even if mostly forgotten today raison d'etre of all set-theoretical enterprises to Infinity and beyond, from Georg Cantor to W. Hugh Woodin to Buzz Lightyear, by simultaneously exhibiting the limits and pitfalls of all old and new reductionist foundational approaches to mathematical truth: be it Cantor's or post-Cantorian Idealism, Brouwer's or post-Brouwerian Constructivism, Hilbert's or post-Hilbertian Formalism, Goedel's or post-Goedelian Platonism. -/- In the spirit of Zeno's paradoxes, but with the enormous historical advantage of hindsight, we claim that Cantor's set-theoretical methodology, powerful and reach in proof-theoretic and similar applications as it might be, is inherently limited by its epistemological framework of transfinite local causality, and neither can be held accountable for the properties of the Continuum already acquired through geometrical, analytical, and arithmetical studies, nor can it be used for an adequate, conceptually sensible, operationally workable, and axiomatically sustainable re-creation of the Continuum. -/- From a strictly mathematical point of view, this intrinsic limitation of the constative and explicative power of higher set theory finds its explanation in the identified in this study ultimate phenomenological obstacle to Cantor's transfinite construction, similar to topological obstacles in homotopy theory and theoretical physics: the entanglement capacity of the mathematical Continuum. (shrink)

Color-vision defects constitute a spectrum of disorders with varying degrees and types of departure from normal human color vision. One form of color-vision defect is dichromacy; by mixing together only two lights, the dichromat can match any light, unlike normal trichromatic humans, who need to mix three. In a philosophical context, our titular question may be taken in two ways. First, it can be taken at face value as a question about visible properties of external objects, and second, it may (...) be interpreted as the more intangible question of “what it’s like” to be color-blind. (shrink)

In a recent letter, Dillion et. al (2023) make various suggestions regarding the idea of artificially intelligent systems, such as large language models, replacing human subjects in empirical moral psychology. We argue that human subjects are in various ways indispensable.

I argue for the existence of a category of practical reasons which I call "Deliberation-Volatile Reasons" or "DVRs". DVRs have the distinguishing feature that their status as reasons for action is diminished when they are weighed in deliberation by the agent. I argue that DVRs are evidence of "deliberative blind spots". I submit that an agent manifests a peculiar kind of practical irrationality in so far as she endeavours to find a deliberative path to what she has reason to do, (...) when the discovery of such a path renders the destination inaccessible. (shrink)

My aim in this paper is fairly modest. I obviously do not claim that there has never been or could never be an instance of irrational or fallacious appeals to quotations from canonical sources in the marxist tradition. Instead, I claim that the practice of using quotations from canonical sources is not, as such, irrational. If we understand the epistemological infrastructure of the practice -- the rational underpinnings of it -- we can grasp how these citations appeal to the presumptive (...) authoritativeness of formulations that condense or concisely convey the core of insights that emerged from learning processes that the intellectual tradition of marxism has already traversed. The rational underpinnings of the practice include, first, the neo-Hegelian idea that we can justify a view we now hold by rationally reconstructing the insight-motivated learning process from which it emerged, and second, the convention that these rational reconstructions do not have to be elaborated in each insistence, but can be invoked in a short-form way, such as by citing the name of a decision or a concise statement of it (like a short quotation), as is common in the epistemologically similar practice of precedential reasoning in common law juridical justification. No claim is true just because of who made it; but a claim might be presumptively authoritative in cases where it was made at the end of a learning process, which has not been overtaken by a change in the circumstances or further learning. (shrink)

Methadone maintenance therapy is a cost-effective, evidence-based treatment for heroin dependence. In the USA, a majority of heroin-dependent offenders are forced to detox from methadone when incarcerated. Recent research published in The Lancet has demonstrated the negative health and economic outcomes associated with such policies. Methadone Continuation Versus Forced Withdrawal on Incarceration in a Combined US Prison and Jail: A Randomised, Open Label Trial. The Lancet, 386, 350–359). This novel evidence raises questions as to the justification for current policies of (...) forced detox in American prisons. Opponents of methadone provision in prisons might offer arguments from retributivism, resource allocation and curative effectiveness to justify their position. This article contends that these arguments do not stand up to ethical scrutiny. In light of this, we hold that American policymakers should reform criminal justice policies to allow the initiation and continuation of methadone treatment in correctional settings. This would be consistent with both international recommendations and the example set by a number of other Western countries. (shrink)

The underdetermination of theory by data obtains when, inescapably, evidence is insufficient to allow scientists to decide responsibly between rival theories. One response to would-be underdetermination is to deny that the rival theories are distinct theories at all, insisting instead that they are just different formulations of the same underlying theory; we call this the identical rivals response. An argument adapted from John Norton suggests that the response is presumptively always appropriate, while another from Larry Laudan and Jarrett Leplin suggests (...) that the response is never appropriate. Arguments from Einstein for the special and general theories of relativity may fruitfully be seen as instances of the identical rivals response; since Einstein’s arguments are generally accepted, the response is at least sometimes appropriate. But when is it appropriate? We attempt to steer a middle course between Norton’s view and that of Laudan and Leplin: the identical rivals response is appropriate when there is good reason for adopting a parsimonious ontology. Although in simple cases the identical rivals response need not involve any ontological difference between the theories, in actual scientific cases it typically requires treating apparent posits of the various theories as mere verbal ornaments or computational conveniences. Since these would-be posits are not now detectable, there is no perfectly reliable way to decide whether we should eliminate them or not. As such, there is no rule for deciding whether the identical rivals response is appropriate or not. Nevertheless, there are considerations that suggest for and against the response; we conclude by suggesting two of them. (shrink)

From famous figures in the history of philosophy to questions in religious theology to the relationship between knowledge and power, The Handy Western Philosophy Answer Book: Ancient Greek to Its Influence on Philosophy Today takes the sometimes esoteric ideas and the jumble of names and makes them easy to understand, enriching readers' lives and answering the question "What do the ancient Greek philosophers have to teach us about contemporary culture?".

This paper critically examines color relationalism and color relativism, two theories of color that are allegedly supported by variation in normal human color vision. We mostly discuss color relationalism, defended at length in Jonathan Cohen's The Red and the Real, and argue that the theory has insuperable problems.

A survey of arguments for and against the view that colors are physical properties.

A survey of color science and color vision.

Open peer commentary on the article “Sensorimotor Direct Realism: How We Enact Our World” by Michael Beaton. Upshot: In light of the construal of sensorimotor theory offered by the target article, this commentary examines the role the theory should admit for internal representation.

A partir de la constatación de la inflación lingüística del vocablo "experiencia" y de la imposibilidad-necesidad de una experiencia extrasensigle, estas páginas se aproximan a la realidad de la experiencia desde el tipo de conocimiento que procura -la intuición- y desde la metamorfosis del ego que suscita -construcción de una biografía-. Se muestra, de igual modo, cómo libertad y destino coinciden en la experiencia de sí mismo, y cómo las nupcias entre experiencia y lenguaje son indisolubles. Por último, teniendo en (...) cuenta lo que ha supuesto la introducción de la categoría "experiencia" en las ciencias teológicas, se apuntan los pilares de la experiencia cristiana y la experiencia de la gracia, haciendo ver cómo las actitudes del distanciamiento y de la inmersión son imprescindibles para poder hablar, en rigor, de una experiencia espiritual. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had (...) many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning (...) about signs, which illuminates Hilbert's account of mathematical objectivity, axiomatics, idealization, and consistency. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the (...) violations of energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

The European project European and Latin American Systems of Ethics Regulation of Biomedical Research Project (EULABOR) has carried out the first comparative analysis of ethics regulation systems for biomedical research in seven countries in Europe and Latin America, evaluating their roles in the protection of human subjects. We developed a conceptual and methodological framework defining ‘ethics regulation system for biomedical research’ as a set of actors, institutions, codes and laws involved in overseeing the ethics of biomedical research on humans. This (...) framework allowed us to develop comprehensive national reports by conducting semi-structured interviews to key informants. These reports were summarised and analysed in a comparative analysis. The study showed that the regulatory framework for clinical research in these countries differ in scope. It showed that despite the different political contexts, actors involved and motivations for creating the regulation, in most of the studied countries it was the government who took the lead in setting up the system. The study also showed that Europe and Latin America are similar regarding national bodies and research ethics committees, but the Brazilian system has strong and noteworthy specificities. (shrink)

Artificial Intelligence (AI) is a technology that makes machines smart and capable of doing things that usually require human intelligence. AI works by training machines to learn from data and experiences. Such devices can recognize patterns, understand spoken language, see and understand images, and even make predictions based on their learning. Voice assistants like Siri or Alexa can understand our voice commands, answer questions, and perform tasks for us. AI-based self-driving cars can sense their surroundings, make decisions, and drive safely (...) without a human driver. AI also helps doctors diagnose diseases, detect fraud in financial transactions, and recommend movies or songs based on one’s preferences. Furthermore, AI has started to make its presence felt in Punjabi culture through various avenues. (shrink)

This is a pdf of a Mathematica calculation that supplements the paper "Presentist Fragmentalism and Quantum Mechanics" forthcoming in Foundations of Physics. In that paper the Born rule (or at least a progenitor) is derived from experimental conditions on the mutual observations of two fragments. In this pdf the experimental conditions are applied to Hilbert space dimensions 3, 4, and 5. It turns out each of these have a 1-dimensional solution space which, it is hoped, can be interpretated as (...) the phase. (shrink)

Hilbert izlencesinin kanıt kuramsal amacı tarihsel gelişimi içinde özetlendikten sonra arka plandaki model-kuramsal motivasyonu belirtilmektedir. Hilbert'in nihai hedefinin matematiğin temellerine ilişkin tüm epistemolojik ve ontolojik varsayımlardan arındırılmış bir matematik kuramı geliştirmek olduğu savunulmaktadır. Yakın geçmişte mantıktaki bazı gelişmelerin Hilbert izlencesinin yalnızca adcı varsayımlar temelinde sürdürülebileceğine ilişkin yeni bir bakış açısı sağladığı öne sürülmektedir.

Defense of an account of intrinsic properties in terms of (what is now called) grounding rather than naturalness.

This dissertation discusses the work of Thomas Hobbes, and has two main themes. The first is Hobbes's materialism, and the second is Hobbes's relationships to other philosophers, in particular his place in the mechanist movement that is said to have replaced Aristotelianism as the dominant philosophy in the seventeenth century. -/- I argue that Hobbes does not, for most of his career, believe the general materialist view that bodies are the only substances. He believes, rather, that ideas, which are our (...) main mechanism for thinking about the world, allow us to understand many bodies, but not to understand every thing we recognize to exist. The incomprehensible things include God---and, early in Hobbes's career, the human mind. Discussing materialism and our knowledge of God leads me to engage with the debate over Hobbes's alleged atheism. I argue that the evidence for Hobbes's atheism is weak at best. Hobbes is a sincere theist, though his view is sometimes unusual. -/- My discussion of Hobbes's relationships to other philosophers has three parts. In chapter five I argue that Hobbes's views about method are in important ways similar to Zabarella's. In chapter six I look at Hobbes's rejection of the view, held by some scholastic Aristotelians, that accidents can sometimes exist without inhering in substances. Thus we see two sides of Hobbes's interaction with the Aristotelian tradition. Sometimes that interaction is just rejection, but at other times Hobbes takes over views from that tradition. Then in chapter seven I consider whether, and in what sense, Hobbes is a mechanist. I argue that the narrative of mechanism and Aristotelianism is a less powerful explanation than it has seemed to some to be, because it is hard to see what mechanists have in common. (shrink)

Susan Schneider (2019) has proposed two new tests for consciousness in AI (artificial intelligence) systems, the AI Consciousness Test and the Chip Test. On their face, the two tests seem to have the virtue of proving satisfactory to a wide range of consciousness theorists holding divergent theoretical positions, rather than narrowly relying on the truth of any particular theory of consciousness. Unfortunately, both tests are undermined in having an ‘audience problem’: Those theorists with the kind of architectural worries that motivate (...) the need for such tests should, on similar grounds, doubt that the tests establish the existence of genuine consciousness in the AI in question. Nonetheless, the proposed tests constitute progress, as they could find use by some theorists holding fitting views about consciousness and perhaps in conjunction with other tests for AI consciousness. (shrink)

Vendler’s :161–173, 1979) puzzle about imagination is that the sentences ‘Imagine swimming in that water’ and ‘Imagine yourself swimming in that water’ seem at once semantically different and semantically the same. They seem semantically different, since the first requires you to imagine ’from the inside’, while the second allows you to imagine ’from the outside.’ They seem semantically the same, since despite superficial dissimilarity, there is good reason to think that they are syntactically and lexically identical. This paper sets out (...) the puzzle and offers a novel solution. Our proposal is that, just as there is knowledge-wh, there is also imagining-wh and that the inside/outside distinction Vendler points to is properly understood as a distinction within imagining-wh. In particular, to imagine swimming from the inside is to imagine what it feels like to swim, while to imagine swimming from the outside is to imagine what it looks like to swim. We show that this proposal is well grounded in both the semantics and syntax of ‘imagine.’ We also argue it makes better sense than its rivals of the data Vendler found so puzzling. (shrink)

This essays attempts to bridge the debate between Hu Shih and D.T. Suzuki concerning the role of history vs. practice in Chan/Zen Buddhism.

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Clark and Chalmers (1998) defend the hypothesis of an ‘Extended Mind’, maintaining that beliefs and other paradigmatic mental states can be implemented outside the central nervous system or body. Aspects of the problem of ‘language acquisition’ are considered in the light of the extended mind hypothesis. Rather than ‘language’ as typically understood, the object of study is something called ‘utterance-activity’, a term of art intended to refer to the full range of kinetic and prosodic features of the on-line behaviour of (...) interacting humans. It is argued that utterance activity is plausibly regarded as jointly controlled by the embodied activity of interacting people, and that it contributes to the control of their behaviour. By means of specific examples it is suggested that this complex joint control facilitates easier learning of at least some features of language. This in turn suggests a striking form of the extended mind, in which infants’ cognitive powers are augmented by those of the people with whom they interact. (shrink)

Upshot: In our target article we claimed that, at least since Weber and Varela, enactivism has incorporated a theoretical commitment to one important aspect of Jonas’s philosophical biology, namely its anthropomorphism, which is at odds with the methodological commitments of modern science. In this general reply we want to clarify what we mean by anthropomorphism, and explain why we think it is incompatible with science. We do this by spelling out what we call the “Jonasian inference,” i.e., the idea that (...) we are entitled, based on our first-person experience of teleology, to take the appearance of teleology in other living beings at face value. (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

Psychopaths routinely disregard social norms by engaging in selfish, antisocial, often violent behavior. Commonly characterized as mentally disordered, recent evidence suggests that psychopaths are executing a well-functioning, if unscrupulous strategy that historically increased reproductive success at the expense of others. Natural selection ought to have favored strategies that spared close kin from harm, however, because actions affecting the fitness of genetic relatives contribute to an individual’s inclusive fitness. Conversely, there is evidence that mental disorders can disrupt psychological mechanisms designed to (...) protect relatives. Thus, mental disorder and adaptation accounts of psychopathy generate opposing hypotheses: psychopathy should be associated with an increase in the victimization of kin in the former account but not in the latter. Contrary to the mental disorder hypothesis, we show here in a sample of 289 violent offenders that variation in psychopathy predicts a decrease in the genetic relatedness of victims to offenders; that is, psychopathy predicts an increased likelihood of harming non-relatives. Because nepotistic inhibition in violence may be caused by dispersal or kin discrimination, we examined the effects of psychopathy on (1) the dispersal of offenders and their kin and (2) sexual assault frequency (as a window on kin discrimination). Although psychopathy was negatively associated with coresidence with kin and positively associated with the commission of sexual assault, it remained negatively associated with the genetic relatedness of victims to offenders after removing cases of offenders who had coresided with kin and cases of sexual assault from the analyses. These results stand in contrast to models positing psychopathy as a pathology, and provide support for the hypothesis that psychopathy reflects an evolutionary strategy largely favoring the exploitation of non-relatives. (shrink)

This is the first chapter to our edited collection of essays on the nature and ethics of blame. In this chapter we introduce the reader to contemporary discussions about blame and its relationship to other issues (e.g. free will and moral responsibility), and we situate the essays in this volume with respect to those discussions.

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...) possible actions (i.e. consequence realization). Complications arise when the economic agent is presented with a set of actions that render ambiguous preference, or when the effectiveness of an action cannot be perceived upon its selection, thereby necessitating a different theory of choice and consequence realization. (shrink)