The present article reports on the finding of the principle behind quantum mechanics. The principle, referred to as genuine fortuitousness, implies that the basic event, a click in a counter, comes without any cause and thus as a discontinuity in spacetime. From this principle, the formalism of quantum mechanics emerges with a radically new content, no longer dealing with things to be measured. Instead, quantum mechanics is recognized as the theory of distributions of uncaused clicks that form patterns laid down (...) by spacetime symmetry and is thereby revealed as a subject of unexpected simplicity and beauty. The departure from usual quantum mechanics is strikingly borne out by the absence of Planck's constant from the theory. The elimination of indeterminate particles as cause for the clicks, which the principle of genuine fortuitousness implies, is analogous to the elimination of the ether implied by the principle of relativity. (shrink)

Piercing incisively and deeply into the nature of the overlapping of the material andmental realms. Aage Petersen uncovers the reciprocal relations between quantum physics and theconcepts of metaphysics and epistemology, assessing the extent to which each has influenced theother. The author is eminently qualified to undertake this important work, which grew out of hisclose contact with Neils Bohr and his Copenhagen school during the years 1952-1962.Although themathematical formalism of quantum physics has long since been established, the question of itsphysical (...) interpretation is not yet closed, and the question of its philosophical interpretationremains in a formative state. The most widely accepted physical interpretation of the quantalformalism emerged from discussions between Bohr and Heisenberg in the winter of 1926-1927. ThisCopenhagen Interpretation centers around the relations of indeterminacy around the relations ofindeterminacy and the concept of complementarity, and was refined but not radically altered in theyears following, especially during the famous debate with Einstein on the completeness possible inthe description of events. The philosophical interpretation has proceeded along two principal lines:Bohr's emphasis on complementarity as a unifying concept, and Heisenberg's exploration of therelationship of quantum physics to the traditional categories of philosophy.To Bohr's mind, thecentral feature of human knowledge is the distinction between subject and object. The indeterminacyof the placing of the partition between instrument and system, which played so large a part inquantal description was, Bohr believed, an expression of the general relation between the knower andthe knowable. He thus sought to find relationships of complementarity in areas beyond quantumphysics.Quantum physics and traditional philosophy certainly relate enough to interact--even thoughthe effects of interaction may produce uncertain results. Heisenberg's view also emphasizes thatscience describes, not nature itself, but the interplay between nature and man, nature as affectedby man's method of questioning, thus denying the school of philosophical thought that began withDescartes' sharp separation of the World and the I.The author's investigation leads him as well tobelieve that complementarity is deeply linked to the basis of philosophy, but that the details ofthe relationship are so obscure that some other feature of quantum physics that makes amore directconnection with philosophy should be sought. He is led to choose the idea of correspondence as suchfeature. This idea played a key role in the development of the matrix version of the formalism andof the Copenhagen interpretation.Mathematically, the idea of correspondence was seen to imply thatquantal formalisms should emerge as generalizations of classical entities, that matrix mechanics wasa generalization of classical Hamiltonian mechanics. It is in this possibility of treating thetraditional categories of philosophy as limits of a more general scheme, or as analogies of a deeperorder, that the fruitfulness of the correspondence idea lies. (shrink)

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (shrink)

In an article in Mind (Vol. 73, No. 291, July 1964) I tried to show that there is a fundamental difference between primary and secondary qualities. The present analysis of perceived size of an object and its relation to the size of the 'objective' and the 'real' object reveals that my thesis 1 regarding visual primary qualities, viz. size and shape, while true so far as shape is concerned, has to be modified in regard to size. After having criticized the (...) usual view of size constancy, I show by means of a diagram how we may determine the location in physical space of a percept of an object. This diagram reveals at the same time how perceived size decreases gradually with increasing distance of the object from the percipient, but at a much smaller rate than the retinal image of the object. By means of the diagram I show furthermore how the perceived size may in theory vary from person to person. In conclusion a modification of my thesis 1 is suggested. (shrink)

Piercing incisively and deeply into the nature of the overlapping of the material andmental realms. Aage Petersen uncovers the reciprocal relations between quantum physics and theconcepts of metaphysics and epistemology, assessing the extent to which each has influenced theother. The author is eminently qualified to undertake this important work, which grew out of hisclose contact with Neils Bohr and his Copenhagen school during the years 1952-1962.Although themathematical formalism of quantum physics has long since been established, the question of itsphysical (...) interpretation is not yet closed, and the question of its philosophical interpretationremains in a formative state. The most widely accepted physical interpretation of the quantalformalism emerged from discussions between Bohr and Heisenberg in the winter of 1926-1927. ThisCopenhagen Interpretation centers around the relations of indeterminacy around the relations ofindeterminacy and the concept of complementarity, and was refined but not radically altered in theyears following, especially during the famous debate with Einstein on the completeness possible inthe description of events. The philosophical interpretation has proceeded along two principal lines:Bohr's emphasis on complementarity as a unifying concept, and Heisenberg's exploration of therelationship of quantum physics to the traditional categories of philosophy.To Bohr's mind, thecentral feature of human knowledge is the distinction between subject and object. The indeterminacyof the placing of the partition between instrument and system, which played so large a part inquantal description was, Bohr believed, an expression of the general relation between the knower andthe knowable. He thus sought to find relationships of complementarity in areas beyond quantumphysics.Quantum physics and traditional philosophy certainly relate enough to interact--even thoughthe effects of interaction may produce uncertain results. Heisenberg's view also emphasizes thatscience describes, not nature itself, but the interplay between nature and man, nature as affectedby man's method of questioning, thus denying the school of philosophical thought that began withDescartes' sharp separation of the World and the I.The author's investigation leads him as well tobelieve that complementarity is deeply linked to the basis of philosophy, but that the details ofthe relationship are so obscure that some other feature of quantum physics that makes amore directconnection with philosophy should be sought. He is led to choose the idea of correspondence as suchfeature. This idea played a key role in the development of the matrix version of the formalism andof the Copenhagen interpretation.Mathematically, the idea of correspondence was seen to imply thatquantal formalisms should emerge as generalizations of classical entities, that matrix mechanics wasa generalization of classical Hamiltonian mechanics. It is in this possibility of treating thetraditional categories of philosophy as limits of a more general scheme, or as analogies of a deeperorder, that the fruitfulness of the correspondence idea lies. (shrink)

The Covid-19 pandemic creates an unprecedented threatening situation worldwide with an urgent need for critical reflection and new knowledge production, but also a need for imminent action despite prevailing knowledge gaps and multilevel uncertainty. With regard to the role of research ethics in these pandemic times some argue in favor of exceptionalism, others, including the authors of this paper, emphasize the urgent need to remain committed to core ethical principles and fundamental human rights obligations all reflected in research regulations and (...) guidelines carefully crafted over time. In this paper we disentangle some of the arguments put forward in the ongoing debate about Covid-19 human challenge studies and the concomitant role of health-related research ethics in pandemic times. We suggest it might be helpful to think through a lens differentiating between risk, strict uncertainty and ignorance. We provide some examples of lessons learned by harm done in the name of research in the past and discuss the relevance of this legacy in the current situation. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

The paper presents a revised view of quantum mechanics centered on the notion (“genuine fortuitousness”) that the click in a counter is a totally lawless event, which comes by itself. A crucial point is the distinction between events on the spacetime scene and the content of the symbolic algorism. A revised conception of matrix variables emerges, by which such a variable, as part of a whole, does not have a value, under any circumstance. This conception is at variance with that (...) of indeterminate variables. A matrix variable not having a value does not enter spacetime and is not a measurable quantity, but manifests itself by a click in a counter with the remarkable property of having an onset, a beginning, from which the click develops. The individual click with its immense complexity is unique and lawless, even beyond probability. The notion of probability only applies to clicks in low resolution, and the completeness of a probabilistic theory is thereby seen in a new perspective. The genuinely fortuitous click is not produced by the impact of a particle, nor caused by an event in the source prior to the click in the counter. Indeed, there are no particles on the spacetime scene. The theory is thereby liberated from notions, which go with particles having indeterminate variables, and which have given to quantum mechanics the image of an unfathomable theory. With no particle as intermediary, the connection between source and detector is non-local, as is the entire theory, which deals exclusively with distributions of clicks. The locality permeating quantum mechanics is a symbolic one. The wave function enters in the sole role of encoding the probability distributions of clicks. The quest to understand the occurrence of the click in terms of the evolution of the wave function loses its meaning. However, click distributions in low resolution can be analyzed in terms of the connection between click distributions for different sets of counters, as given by the wave function. With increasing resolution, the probabilities, and the wave function, gradually lose significance, whereby the onset remains beyond reach. Thus, the downward path from events on the spacetime scene does not extend beyond the onset. The notion that quantum mechanics deals with particles (or fields) is rooted in the historical evolution but appears unable to accomodate genuine fortuitousness. The latter concept is given its due place by fully accepting the abstract nature of the matrix variables. (shrink)

BackgroundHealth data-driven activities have become central in diverse fields (research, AI development, wearables, etc.), and new ethical challenges have arisen with regards to privacy, integrity, and appropriateness of use. To ensure the protection of individuals’ fundamental rights and freedoms in a changing environment, including their right to the protection of personal data, we aim to identify the ethical approaches adopted by scientists during intensive data exploitation when collecting, using, or sharing peoples’ health data.MethodsTwelve scientists who were collecting, using, or sharing (...) health data in different contexts in Sweden, were interviewed. We used systematic expert interviews to access these scientists’ specialist knowledge, and analysed the interviews with thematic analysis. Phrases, sentences, or paragraphs through which ethical values and norms were expressed, were identified and coded. Codes that reflected similar concepts were grouped, subcategories were formulated, and categories were connected to traditional ethical approaches.ResultsThrough several examples, the respondents expressed four different ethical approaches, which formed the main conceptual categories: consideration of consequences, respect for rights, procedural compliance, and being professional.ConclusionsTo a large extent, the scientists’ ethical approaches were consistent with ethical and legal principles. Data sharing was considered important and worth pursuing, even though it is difficult. An awareness of the complex issues involved in data sharing was reflected from different perspectives, and the respondents commonly perceived a general lack of practical procedures that would by default ensure ethical and legally compliant data collection and sharing. We suggest that it is an opportune time to move on from policy discussions to practical technological ethics-by-design solutions that integrate these principles into practice. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...) senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics. (shrink)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

Litteraturforskeren Aage Henriksen skrev afhandlingen Kierkegaards Romaner og forsvarede den i oktober 1954. Som dr. phil. blev han i 1968 blev professor i nordisk litteratur ved Københavns Universitet.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

This paper investigates the acquisition of residual verb second (V2) in three corpora consisting of data from Norwegian-English bilinguals (Emma, Emily, and Sunniva) in order to determine to what extent these structures are affected by cross-linguistic influence (CLI) from Norwegian V2. The three girls exhibit three different patterns with regard to the relevant constructions. They are very target-like in their use of auxiliaries in the relevant structures. However, when it comes to do-support, Emily and Sunniva are equally target-like, while Emma (...) mainly produces non-target-like structures. These either involve the omission of do, or non-target-like movement of a lexical verb. Furthermore, Emma also allows verb movement across the subject with both lexical verbs and auxiliaries in topicalized structures, suggesting that she has overgeneralized residual V2 across verb types and clause types. Emily, on the other hand, is very target-like in structures involving residual V2 in English, but also allows auxiliaries and dummy-do to move across the subject in topicalized structures, overgeneralizing residual V2 to apply to non-subject-initial declaratives. Finally, Sunniva, is very precocious and very target-like in all the relevant structures, which may be an indication of acceleration due to CLI from Norwegian V2. We discuss these results with reference to language balance, finding that the measures available to us suggest that the differences between the children cannot straightforwardly be explained by language dominance. Instead, we suggest that these results can be accounted for by ambiguity in the English system, leaving the data open to several possible interpretations when acquired in contact with the consistent V2 system in Norwegian. This has several consequences: (i) the three girls’ parsers interpret the input differently, (ii) differences between the three children are qualitative rather than quantitative, and (iii) there has to be some mechanism that ensures that the children can ‘recover’ from these non-target-like grammars. In this paper, we will focus on the first two issues. (shrink)

After giving some contextual information, we propose an analysis of music and meaning in the song “The Garden,” as performed by the rock group Einstürzende Neubauten in the official video from the 1996 release of the album Ende Neu. We present a semiotic blending model of the narrative content of the song and of its imagery, partly determined by the structure and character of the music. Finally, we add a view of the apocalyptic perspective of some comparable creations.

The book consists of three problem areas which are all connected with the question of creativity, esp. in gthe arts and poetry: It is about the ancient mythopoetic concept of the muses and their collision with the beloved of the poet, about the authority crisis of authorship and the dominance of the author over his creatures and fictional characters as well as their revolt against the father of the text and about a typ of creating and writing which acts against (...) all genetic traditions of authorship in the form of conception and birth, genealogical derivation. In this sense the, anti-generic' creativity doesn't originate and invent a work of art or a cultural phenomenon: the anti-generic product is something made, something constructed and not fgenerated, manufactured and not breed. This anti-oedupus-concept workts in a widespread tradition of the arts and literature, starting from our heroes of deconstructed narrative as Sterne's or Diderot's, over the classics of european realism Dostoevski or Flaubert until Nabokov and his, pregnant muse' Lolita. Wenn es ums Schaffen geht oder gar ums Schöpferische, liegt nichts so nahe wie das scheinbar unerschöpfliche Feld der Geburtsmetaphern, das Reden vom Zeugen und Empfangen, vom Austragen und Gebären eines Werkes, das für das Kind steht - ja dieses gar ersetzen soll. Die in diesem Band versammelten Überlegungen verknüpfen drei Problemkreise: Es geht um die Projektionsfigur der Musen und ihrer Kollision mit der Dichtergeliebten, um die permanente Autoritätskrise im Verhältnis des Autors zu seinen eigenen Geschöpfen und um die Entdeckung eines Kunstschaffens und Schreibens, das alle genetischen wie generischen Modi der Hervorbringung gegen den Strich dichtet und also konsequent antigenerisch verfährt. Vorgeführt werden diese drei Problemkreise an klassischen Texten des antigenerischen. Zuletzt bleibt die Frage nach den Musen der Musen und den Paradoxa der Dame Dichterin mit Blick auf ihre Inspirationsquellen. (shrink)

Elementær filologisk-litterær hermeneutik. En historisk skitse er et lærdomshistorisk og litteraturvidenskabeligt essay, som følger udvalgte traditionsstrenge fra det gamle Athen over de hermeneutiske klassikere Schleiermacher og Gadamer til de seneste års postmodernisme og dekonstruktion. Formålet er at vise, at den hermeneutiske tradition ikke kun rummer indsigter af blivende værdi for alle humanistiske videnskaber, hvor læsning og tolkning står centralt, men også i sin mangfoldighed rejser spørgsmål, som på ingen måde er uddebatterede.

This bibliography carries on the work of Jens Himmelstrups international bibliography from 1962.

I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function type (x : (...) B) → C, all judgments of these forms fail to be analytic and therefore end up as synthetic. Going beyond the scope of Martin-Löf's original distinction, I also argue that all hypothetical judgments are synthetic and show how the analytic-synthetic distinction reworked here is capable of accommodating judgments of the forms A type and A = B type as well. Finally, I consider and reject an alternative account of analyticity as decidability and assess Martin-Löf's position on the analytic grounding of synthetic judgments. (shrink)

The aim of the present thesis is twofold. First we propose a constructive solution to Frege's puzzle using an approach based on homotopy type theory, a newly proposed foundation of mathematics that possesses a higher-dimensional treatment of equality. We claim that, from the viewpoint of constructivism, Frege's solution is unable to explain the so-called ‘cognitive significance' of equality statements, since, as we shall argue, not only statements of the form 'a = b', but also 'a = a' may contribute to (...) an extension of knowledge. Second, we study this higher-dimensional account of equality from a constructive (computational) standpoint and, based on these considerations, we offer a new perspective to the project proposed by Peter Aczel of developing conventions and notations for an informal style of doing mathematics in type theory. To that end, we adopt the cubical type theory of Angiuli, Favonia and Harper, a framework that can be seen as constructive refinement of the ideas of homotopy type theory. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the implicit foundation, confining our presentation (...) to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and (...) semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic. (shrink)

Robotic systems consisting of a neuron culture grown on a multielectrode array which is connected to a virtual or mechanical robot have been studied for approximately 15 years. It is hoped that these MEA-based robots will be able to address the problem that robots based on conventional computer technology are not very good at adapting to surprising or unusual situations, at least not when compared to biological organisms. It is also hoped that insights gained from MEA-based robotics can have applications (...) within human enhancement and medicine. In this paper, I argue that researchers within this field risk overstating their results by not paying enough attention to fundamental challenges within the field. In particular, I investigate three problems: the coding problem, the embodiment problem and the training problem. I argue that none of these problems have been solved and that they are not likely to be solved within the field. After that, I discuss whether MEA-based robotics should be considered pop science. Finally, I investigate the ethical aspects of this research. (shrink)

In Transcendence and Sensoriness , scholars of theology, philosophy, art, music, and architecture, discuss questions of transcendence, the human senses, and the arts through case studies considered in a broad theological framework of religious aesthetics of the arts.