In this paper, we explore certain exemplifications of transgression in the history and philosophy of mathematics. We recognize transgressive acts in the transition from a “real” to an “imaginary” world. Further, we suggest the concept of proof-events that transgress traditional concepts of mathematical proof. The theory of proof-events provides us with means to identify transgressive acts in the development of a discovery proof-event. These concern the creative understanding of a purported mathematical proof by (...) reconstructing the meaning conveyed by it, eventually supplementing it, surpassing stylistic hindrances in the narrative formulated by a prover, exceeding the boundaries of the (local) logic of a prover, etc. Finally, we identify transgressive acts with discontinuous points of change in the development of proof-events and suggest formal measures for their recognition. (shrink)

In this paper, we suggest the broader concept of proof-event, introduced by Joseph Goguen, as a fundamental methodological tool for studying proofs in history of mathematics. In this framework, proof is understood not as a purely syntactic object, but as a social process that involves at least two agents; this highlights the communicational aspect of proving. We claim that historians of mathematics essentially study proof-events in their research, since the mathematical proofs they face in the extant (...) sources involve many informal components, often not completely formalizable, and convey some kind of semantic content calling for understanding and verification. We illustrate the application of this methodological approach in some outstanding historical cases, paying particular attention to the process of proof interpretation that makes a proof-event alive. Finally, we suggest a classification of proof-events, according to the conditions imposed upon problem-solving. This enables us to speak about broad classes of proof-events in history of mathematics that share a common characteristic. (shrink)

This paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of environments that promote interaction, hypothesis generation, examination, refutation, derivation of new solutions, drawing conclusions, and reasoning with others, as key factors in enhancing mathematical creativity. Drawing on argumentation logic, the paper proposes a novel approach to uncover specific characteristics in the development of formalized proving using “proof-events.” Argumentation logic can offer reasoning mechanisms that facilitate these environments. This paper proposes (...) how argumentation can be implemented to discover certain characteristics in the development of formalized proving with “proof-events”. The concept of a proof-event was introduced by Goguen who described mathematical proof as a multi-agent social event involving not only “classical” formal proofs, but also other informal proving actions such as deficient or alleged proofs. Argumentation is an integral component of the discovery process for a mathematical proof since a proof necessitates a dialogue between provers and interpreters to clarify and resolve gaps or assumptions. By formalizing proof-events through argumentation, this paper demonstrates how informal reasoning and conflicts arising during the proving process can be effectively simulated. The paper presents an extended version of the proof-events calculus, rooted in argumentation theories, and highlights the intricate relationships among proof, human reasoning, cognitive processes, creativity, and mathematical arguments. (shrink)

The concept of proof can be studied from many different perspectives. Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc. In this paper, we develop Goguen’s general concept of proof-events and the methodology of algebraic semiotics, in order to define the concept of mathematical style, which characterizes the proofs produced by different cultures, schools or scholars. In our view, style can (...) be defined as a semiotic meta-code that depends on the underlying mode of signification (semiosis), the selected code and the underlying semiotic space and determines the individual mode of integration (selection, combination, blending) into a narrative structure (proof). Finally, we examine certain historical types of styles of mathematical proofs, to elucidate our viewpoint. (shrink)

While collaboration has always played an important role in many cases of discovery and creation, recent developments such as the web facilitate and encourage collaboration at scales never seen before, even in areas such as mathematics, where contributions by single individuals have historically been the norm. This new scenario poses a challenge at the theoretical level, as it brings out the importance of various issues which, as of yet, have not been sufficiently central to the study of problem-solving, discovery, and (...) creativity. We analyze the case of collective and web-based proof events in mathematics, which share their temporal and social nature with every case of collective problem-solving. We propose that some ideas from cognitive architectures, in particular, the notion of codelet—understood as an agent engaged in one of a multitude of available tasks—can illuminate our understanding of collective problem-solving and act as a natural bridge from some of the theoretical aspects of collective, web-based discovery to the practical concern of designing cognitively inspired systems to support collective problem-solving. We use the Pythagorean Theorem and its many proofs as a case study to illustrate our approach. (shrink)

String representations of events are applied to Robin Cooper’s proposal that propositions in natural language semantics are types of situations. Links with the higher types of prooftheoretic semantics are forged, deepening type-theoretic interpretations of Discourse Representation Structures to encompass event structures.

I EXISTENTIAL PROOFS INTRODUCTION Metaphysical problems, like all philosophical problems, arise from a sense of puzzlement. What is puzzling is that the ...

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space (...) and time. This new meta-methodological concept is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

God Exists! 50 Profound Proofs By: Matthew Armstrong Some of the most important questions in one’s life are: Where will I live for all eternity? Is God real? Will I live in His kingdom? Is it possible to prove the existence of God? God Exists! explores fifty proofs that God absolutely exists. Prophecy demonstrates the existence of God. Events taking place in the world today reveal that God exists and knows what will happen well in advance. The universe displays (...) the handiwork of God. (shrink)

A proof is given that there does not exist an event, that is not already in the past for some possible distant observer at the (our) moment that the latter is "now" for us. Such event is as "legally" past for that distant observer as is the moment five minutes ago on the sun for us (irrespective of the circumstance that the light of the sun cannot reach us in a period of five minutes). Only an extreme positivism: "that (...) which cannot yet be observed does not yet exist", can possibly withstand the conclusion concerned. Therefore, there is determinism, also in micro-physics. (shrink)

Writing strategic documents is a major practice of many actors striving to see their educational ideas realised in the curriculum. In these documents, arguments are systematically developed to create the legitimacy of a new educational goal and competence to make claims about it. Through a qualitative analysis of the writing strategies used in these texts, I show how two of the main actors in the Czech educational discourse have developed a proof that a new educational goal is needed. I (...) draw on the connection of the relational approach in the sociology of education with Lyotard’s analytical semantics of instances in the event. The comparison of the writing strategies in the two documents reveals differences in the formation of a particular pattern of justification. In one case the texts function as a herald of pure reality, and in the other case as a messenger of other witnesses. This reveals different regimens of proof, although both of them were written as prescriptive directives – normative models of the educational world. (shrink)

On the standard reading of Hume, the belief that the necessity associated with the causal relation is “an entirely mind-independent phenomenon” in the world isunjustified. For example, Jonathan Bennett writes that necessary connections of the sort that Hume allows are not “relations which hold objectively between the ‘objects’ or events which we take to be causally related.” Similarly, Barry Stroud writes that, according to Hume, we believe falsely “that necessity is something that ‘resides’ in the relation between objects or (...) events in the objective world.” In this paper I argue that this reading of Hume is mistaken and that there is a sense of justification (viz., justification qua “proof”) according to which human beings are justified in holding the belief that the necessity associated with the causal relation is “an entirely mind-independent phenomenon” in the world. (shrink)

Legal reasoning on the requirements and application of law has been studied for centuries, but in this subject area the legal profession maintains predominantly the same stance it did in the time of the Ancient Greeks. There is a gap between the standards of proof, one which has been always demonstrated by percentages and in terms of the evaluation of these standards by percentages by mathematical or statistical methods. One method to fill the gap is Bayes theorem that describes (...) an event’s probability based on conditions that might be related to an event. Bayes theorem can help to establish or confirm a relation between facts and rules if there is sufficient other evidence that connect a party in a procedure with a considered legal action. (shrink)

We construct an event-based computer simulation model of the Einstein-Podolsky-Rosen-Bohm experiments with photons. The algorithm is a one-to-one copy of the data gathering and analysis procedures used in real laboratory experiments. We consider two types of experiments, those with a source emitting photons with opposite but otherwise unpredictable polarization and those with a source emitting photons with fixed polarization. In the simulation, the choice of the direction of polarization measurement for each detection event is arbitrary. We use three different procedures (...) to identify pairs of photons and compute the frequency of coincidences by analyzing experimental data and simulation data. The model strictly satisfies Einstein’s criteria of local causality, does not rely on any concept of quantum theory and reproduces the results of quantum theory for both types of experiments. We give a rigorous proof that the probabilistic description of the simulation model yields the quantum theoretical expressions for the single- and two-particle expectation values. (shrink)

The semantics of progressive sentences presents a challenge to linguists and philosophers alike. According to a widely accepted view, the truth-conditions of progressive sentences rely essentially on a notion of inertia. Dowty suggested inertia worlds to implement this “inertia idea” in a formal semantic theory of the progressive. The main thesis of the paper is that the notion of inertia went through a subtle, but crucial change when worlds were replaced by events in Landman and Portner :760–787, 1998), and (...) that this new, event-related concept of inertia results in a possibility-based theory of the progressive. An important case in point in the paper is a proof that, despite its surface structure, the theory presented in Portner does not implement the notion of inertia in Dowty ; rather, it belongs together with Dowty’s earlier, 1977 theory according to which the progressive is a possibility operator. (shrink)

The aim of this essay is to develop a coherence theory for the justification of evidentiary judgments in law. The main claim of the coherence theory proposed in this article is that a belief about the events being litigated is justified if and only if it is a belief that an epistemically responsible fact finder might hold by virtue of its coherence in like circumstances. The article argues that this coherentist approach to evidence and legal proof has the (...) resources to meet some of the main objections that may be addressed against attempts to analyze the justification of evidentiary judgments in law in coherentist terms. It concludes by exploring some implications of the proposed version of legal coherentism for a jurisprudence of evidence. (shrink)

Many argued (Accardi and Fedullo, Pitowsky) that Kolmogorov's axioms of classical probability theory are incompatible with quantum probabilities, and that this is the reason for the violation of Bell's inequalities. Szabó showed that, in fact, these inequalities are not violated by the experimentally observed frequencies if we consider the real, “effective” frequencies. We prove in this work a theorem which generalizes this results: “effective” frequencies associated to quantum events always admit a Kolmogorovian representation, when these events are collected (...) through different experimental setups, the choice of which obeys a classical distribution. (shrink)

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. (...) The Lewisian argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument. (shrink)

This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence (...) in such contexts in which problem-solving procedures and strategies are studied. We represent proof-events as problem-centred spatio-temporal processes by means of the language of the calculus of events, which adequately captures certain temporal aspects of proof-events (i.e. that they have history and form sequences of proof-events evolving in time). Further, we suggest a “loose” semantics for the proof events by means of Kolmogorov’s calculus of problems. Finally, we expose the intented interpretations for our logical model from the fields of automated theorem-proving and Web-based collective proving. (shrink)

Recently there have emerged an assortment of theorems relating to the ‘absoluteness of emerged events,’ and these results have sometimes been used to argue that quantum mechanics may involve some kind of metaphysically radical non-absoluteness, such as relationalism or perspectivalism. However, in our view a close examination of these theorems fails to convincingly support such possibilities. In this paper we argue that the Wigner’s friend paradox, the theorem of Bong et al and the theorem of Lawrence et al are (...) all best understood as demonstrating that if quantum mechanics is universal, and if certain auxiliary assumptions hold, then the world inevitably includes various forms of ‘disaccord,’ but this need not be interpreted in a metaphysically radical way; meanwhile, the theorem of Ormrod and Barrett is best understood either as an argument for an interpretation allowing multiple outcomes per observer, such as the Everett approach, or as a proof that quantum mechanics cannot be universal in the sense relevant for this theorem. We also argue that these theorems taken together suggest interesting possibilities for a different kind of relational approach in which _interaction_ states are relativized whilst observed events are absolute, and we show that although something like ‘retrocausality’ might be needed to make such an approach work, this would be a very special kind of retrocausality which would evade a number of common objections against retrocausality. We conclude that the non-absoluteness theorems may have a significant role to play in helping converge towards an acceptable solution to the measurement problem. (shrink)

Through a proof of concept in SWI-Prolog, this paper demonstrates a business transaction model by which the trading partners can derive their own, personal perspective from shared data. The demonst...

What has become known as the ‘faith/history’ problem for historical religions like Christianity centres on the attempt to combine the ontological decisiveness, for faith, of an historical event characterized as an actual Incarnation of God with the epistemological indifference, or irrelevance, of historical information about that event which is decisive for faith. Without the former there is nothing to be related to or personally appropriated; without the latter faith is rendered vulnerable to the vagaries of historical research. Soren Kierkegaard's Climacus (...) writings – the Philosophical Fragments and the Concluding Unscientific Postscript – provide a classic formulation of the inherent tension. Twentieth-century variations on the same theme are found in the writings of Paul Tillich and Rudolf Bultmann, among others. In what follows I want to highlight an element in Kierkegaard's Climacus account which crucially distinguishes his attempt to deal with the faith/history relation from other attempts to deal with it, and thus offers what I suggest is a novel approach to overcoming the tension. This element – effectively a kind of a priori or conceptual proof – has been neglected, and whatever one's final judgement on its contribution to the problem as a whole, a consideration of it and its implications is, at the very least, integral to a full understanding of the thought-experiment in the Fragments . Moreover, in the process, useful light can be shed indirectly on twentieth-century attempts to deal with the faith/history problem. (shrink)

A classicist, philosopher, and poet, Poul Martin Møller was an important figure in the Danish Golden Age. The traumatic event of the death of his wife led him to think more profoundly about the question of the immortality of the soul. In 1837 he published his most important philosophical treatise, "Thoughts on the Possibility of Proofs of Human Immortality," presented here in English for the first time. It was read and commented upon by the leading figures of the Golden Age, (...) such as Søren Kierkegaard. It proved to be the last important work that Møller wrote before his death in March of 1838 at the age of 43. (shrink)

In an earlier paper the present author proved that de Finetti coherence is preserved under taking products of coherent books on two finite sets of independent events. Conversely, in this note it is proved that product is the only coherence preserving operation on coherent books. Our proof shows that the traditional definition of stochastically independent classes of events actually follows from the combination of two more basic notions: boolean algebraic independence and de Finetti coherent betting system.

Suppose you attend a seminar where a mathematician presents a proof to some of his colleagues. Suppose further that what he is proving is an important mathematical statement Now the following happens: as the mathematician proceeds, his audience is amazed at first, then becomes angry and finally ends up disturbing the lecture (some walk out, some laugh, …). If in addition, you see that the proof he is presenting is formally speaking (nearly) correct, would you say you are (...) witnessing an extraordinary event in urgent need of explanation? Surely, your answer would be yes. But do events of this type actually occur? The matter of the fact is, yes, they do. This paper presents the details of such an event, suggests a possible explanation and examines its implications for our understanding of mathematical practice. (shrink)

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web-based proofs. This article claims that Web provings can be studied as a particular type of Goguen's proof-events. Web-based proof-events have a social component, communication medium, prover-interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To (...) demonstrate its claim, the article discusses the Kumo and Polymath projects, both of which employ Web-based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

Starting from a connected, partially ordered set of events, it is shown that results of the measurement of time are elements of a partially ordered and filtering field, as used in a previous paper. Moreover, some relations between physical formulas and properties of the field are proved. Finally, some open problems and suggestions are pointed out. For the convenience of the reader not acquainted with elementary algebraic methods, proofs are given in detail.

This article deals with the events that preceded the U.S. House Resolution No. 269 of June 11, 2002, acknowledging the primacy of Antonio Meucci in the invention of the telephone and that were decisive to the passing of the same. Among them are the author’s lecture at the University of NewYork of October 10, 2000, and Resolution No. 1566 of the New York City Council urging the U.S. Congress to recognize the priority of Antonio Meucci in the invention of (...) the telephone, which followed 2 days after. This lecture is reported here as it was newly delivered in Canada during the author’s visit in April 2003. (shrink)

Ten years ago, researchers using event-related brain potentials to study language comprehension were puzzled by what looked like a Semantic Illusion: Semantically anomalous, but structurally well-formed sentences did not affect the N400 component—traditionally taken to reflect semantic integration—but instead produced a P600 effect, which is generally linked to syntactic processing. This finding led to a considerable amount of debate, and a number of complex processing models have been proposed as an explanation. What these models have in common is that they (...) postulate two or more separate processing streams, in order to reconcile the Semantic Illusion and other semantically induced P600 effects with the traditional interpretations of the N400 and the P600. Recently, however, these multi-stream models have been called into question, and a simpler single-stream model has been proposed. According to this alternative model, the N400 component reflects the retrieval of word meaning from semantic memory, and the P600 component indexes the integration of this meaning into the unfolding utterance interpretation. In the present paper, we provide support for this “Retrieval–Integration ” account by instantiating it as a neurocomputational model. This neurocomputational model is the first to successfully simulate the N400 and P600 amplitude in language comprehension, and simulations with this model provide a proof of concept of the single-stream RI account of semantically induced patterns of N400 and P600 modulations. (shrink)

Transmission of justification across inference is a valuable and indeed ubiquitous epistemic phenomenon in everyday life and science. It is thanks to the phenomenon of epistemic transmission that inferential reasoning is a means for substantiating predictions of future events and, more generally, for expanding the sphere of our justified beliefs or reinforcing the justification of beliefs that we already entertain. However, transmission of justification is not without exceptions. As a few epistemologists have come to realise, more or less trivial (...) forms of circularity can prevent justification from transmitting from p to q even if one has justification for p and one is aware of the inferential link from p to q. In interesting cases this happens because one can acquire justification for p only if one has independent justification for q. In this case the justification for q cannot depend on the justification for p and the inferential link from p to q, as genuine transmission would require. The phenomenon of transmission failure seems to shed light on philosophical puzzles, such as Moore's proof of a material world and McKinsey's paradox, and it plays a central role in various philosophical debates. For this reason it is being granted continued and increasing attention. (shrink)

Boolean algebras are one of the main algebraic tools in the region-based theory of space. T. Ivanova provided strong motivations for the study of mere semilattices with a contact relation. Another significant motivation for considering an even weaker underlying structure comes from event structures with binary conflict in the theory of concurrent systems in computer science. All the above-hinted notions deal with a binary contact relation. Several authors suggested the more general study of n-ary ‘hypercontact’ relations. A similar evolution occurred (...) in the study of the just mentioned event structures in computer science. To unify the above lines of research, in this paper, we study joining semilattices with a hypercontact relation. We provide representation theorems into Boolean algebras. With a single exception, our proofs are choice-free. We also present several examples and problems; in particular, we briefly discuss some connections with event structures and hypergraphs. (shrink)

Boolean algebras are one of the main algebraic tools in the region-based theory of space. T. Ivanova provided strong motivations for the study of mere semilattices with a contact relation. Another significant motivation for considering an even weaker underlying structure comes from event structures with binary conflict in the theory of concurrent systems in computer science. All the above-hinted notions deal with a binary contact relation. Several authors suggested the more general study of n-ary ‘hypercontact’ relations. A similar evolution occurred (...) in the study of the just mentioned event structures in computer science. To unify the above lines of research, in this paper, we study joining semilattices with a hypercontact relation. We provide representation theorems into Boolean algebras. With a single exception, our proofs are choice-free. We also present several examples and problems; in particular, we briefly discuss some connections with event structures and hypergraphs. (shrink)

In this article, I present a novel account of a priori warrant, which I then use to examine the relationship between a priori and a posteriori warrant in mathematics. According to this account of a priori warrant, the reason that a posteriori warrant is subordinate to a priori warrant in mathematics is because processes that produce a priori warrant are reliable independent of the contexts in which they are used, whereas this is not true for processes that produce a posteriori (...) warrant. Following this, I show how this difference explains why a priori warranting processes, such as proof (and mathematical intuition) can, and a posteriori warranting processes cannot, definitively establish mathematical results. I then show why, in the event of a conflict between a priori and a posteriori warranting processes, the former undermine, and cannot be undermined by, the latter. Finally, I explain the connection between apriority and mathematical necessity, but do so in a way that allows for the existence of contingent a priori knowledge. (shrink)

Miracles are extraordinary events that occur in the hands of those who claim to be prophets and which cannot be repeated by others. By these miracles, the prophets prove to society that the truths they convey are of divine origin. The miracles bestowed upon prophets vary according to the scope of the message they deliver and the interests and relevance of the societies with which they deal. Accordingly, Islamic scholars have classified miracles into three groups. The miraculous events (...) that appeal to people’s senses and lead them to the truths they convey by captivating their astonishment are called emotional miracles. Such miracles are events that occur without cause by overcoming the laws of nature, which are in the realm of causes, through the direct intervention of Allāh. On the other hand, spiritual miracles are truths that arouse the interlocutor’s interest in moral conduct and rational conclusions rather than in his sensory perceptions. Since these truths are attained through contemplation, they are not confined to a particular time and place, as in the case of emotional miracles. Some Kalām scholars have also considered the Prophets’ revelational knowledge about events that have occurred in the past or will occur in the future as miracles. They have studied these events that a person could not bear in the past or could not predict for the future under the title of "The news miracle" Among these three types of miracles, scholars have considered spiritual miracles superior to the others both in terms of the breadth of their influence and their continuity. That Prophet Muhammad (PBUH) is the last of the prophets, and that the teachings he received through revelation remain valid until the Day of Judgment necessitates that some of the miracles bestowed upon him must be of a quality that attracts the attention of all people. For this reason, Islamic scholars have placed the permanent miracle of Prophet Muhammad in the category of spiritual miracles. Scholars agree that his greatest miracle that has astonished all humankind is the Qurʾān. The clearest proof of this are the verses in the Qurʾān that challenge the opponents to bring a similar one. Allāh commands the disbelievers first to bring a similitude of the Qurʾān (al-Isrāʾ 17:88), then the equivalent of ten surahs (Hūd 11:13), and finally any surah of the Qurʾān (al-Baqara 2:23). Thus, the deniers are made aware of their inability to meet this challenge under gradually mitigating circumstances. Although scholars agree on the Qurʾānic miracle’s reality, they have expressed different views on its nature and essence. Thus, some scholars have argued that the miracle of the Qurʾān does not arise from some properties special to it but from the direct intervention of Allāh in human who have the ability to bring something like it. Most Islamic scholars, on the other hand, pointed out that the Qurʾān has aspects that exceed human powers in various fields, and they explained the inability to reply in the same vein to the Qurʾān due to its uniquenesses. Accordingly, some scholars have argued that miracles are perceptible, but it is never possible to define them. Other scholars, however, viewed miracles as an identifiable phenomenon and stated that the Qurʾān is an unusual and unique book in terms of verses. In this article, the questions Why was the Quran sent down as a miraculous Kalam with an attribute not found in other divine books and in what way did the Qurʾān make people weak to have a similar of it? were scrutinized, thus, some fundamental questions regarding the nature and character of iʿdjāz al-Qurʾān are elucidated. Since the topic deals with history and literature, scanning sources and data analysis were mainly used as methods in the research. The results can be summerized as follows: Although the Prophet was supported by both emotional and mental miracles in proving the Prophetic case, his greatest miracle is the Quran. The miracle of the Qurʾān is different from the other miracles, based on both the challenging verses and the Prophet's explanations of the miracles. The reason for this difference lies in the fact that the miracle of the Qurʾān is based on reason, unlike the other miracles which are emotional. Most Islamic scholars who deal with the miracle of the Qurʾān emphasize the issues of rhetoric, verse, style, and content. At this point, they emphasized that the Qurʾān has a unique expression and content that cannot be surpassed. (shrink)

Brian Leftow offers a theist theory of necessity and possibility, and a new sort of argument for God's existence. He argues that necessities of logic and mathematics are determined by God's nature, but that it is events in God's mind - his imagination and choice - that account for necessary truths about concrete creatures.

Epiphenomenalism holds that mental events are caused by physical events while not causing any physical effects whatsoever. The self-stultification objection is a venerable argument against epiphenomenalism according to which, if epiphenomenalism were true, we would not have knowledge of our own sensations. For the past three decades, W.S. Robinson has called into question the soundness of this objection, offering several arguments against it. Many of his arguments attempt to shift the burden of proof onto the opponents of (...) epiphenomenalism, hoping to show that epiphenomenalism is no less stultifying than its contenders, such as dualism, functionalism, or identity theory. In the current paper I attempt to shift the burden of proof back to Robinson, and thus to defend the self-stultification objection, by offering two counterarguments against one of Robinson's objections to one of the key premises of the self-stultification objection. (shrink)

Mc Taggart's celebrated proof of the unreality of time is a chain of implications whose final step asserts that the A-series (i.e. the classification of events as past, present or future) is intrinsically contradictory. This is widely believed to be the heart of the argument, and it is where most attempted refutations have been addressed; yet, it is also the only part of the proof which may be generalised to other contexts, since none of the notions involved (...) in it is specifically temporal. In fact, as I show in the first part of the paper, McTaggart's refutation of the A-series can be easily interpreted in mathematical terms; subsequently, in order to strengthen my claim, I apply the same framework by analogy to the cases of space, modality, and personal identity. Therefore, either McTaggart's proof as a whole may be extended to each of these notions, or it must embed some distinctly temporal element in one of the steps leading up to the contradiction of the A-series. I conclude by suggesting where this element might lay, and by hinting at what I believe to be the true logical fallacy of the proof. (shrink)

A philosophy of shared creative experience.--What metaphysics is.--Present prospects for metaphysics.--Abstraction: the question of nominalism.--Some principles of method.--A logic of ultimate contrasts.--Wittgenstein and Tillich: reflections on metaphysics and language.--Non-restrictive existential statements.--Events, individuals and predication: a defence of event pluralism--The prejudice in favor of symmetry.--The principle of dual transcendence and its basis in ordinary language.--Can there be a priori knowledge of what exists?--Ideas of God: an exhaustive division.--Six theistic proofs.--Sensory qualities and ordinary language.--The aesthetic matrix of value.

Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. In addition, mathematicians regard some proofs as explaining why the theorems being proved do in fact hold. This book proposes new philosophical accounts of many kinds of non-causal explanations in science and mathematics.

Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We (...) also show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warm-up stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both ‘cc’ and ‘bcc’ lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene’s theorem on finite automata, as well as new Ehrenfeucht games of model comparison. (shrink)

This paper presents a theory of reasoning with evidence in order to determine the facts in a criminal case. The focus is on the process of proof, in which the facts of the case are determined, rather than on related legal issues, such as the admissibility of evidence. In the literature, two approaches to reasoning with evidence can be distinguished, one argument-based and one story-based. In an argument-based approach to reasoning with evidence, the reasons for and against the occurrence (...) of an event, e.g., based on witness testimony, are central. In a story-based approach, evidence is evaluated and interpreted from the perspective of the factual stories as they may have occurred in a case, e.g., as they are defended by the prosecution. In this paper, we argue that both arguments and narratives are relevant and useful in the reasoning with and interpretation of evidence. Therefore, a hybrid approach is proposed and formally developed, doing justice to both the argument-based and the narrative-based perspective. By the formalization of the theory and the associated graphical representations, our proposal is the basis for the design of software developed as a tool to make sense of the evidence in complex cases. (shrink)

The first is that a miracle, understood as an event produced by a transcendent agent overriding the usual course of nature, involves a violation of the laws of nature. Larmer argues that events are explained by reference to both relevant laws and units of mass/energy in the sequences to be explained. He contends that a miracle need not be conceived as involving a violation of natural law, but rather as the creation or annihilation of mass/energy by a transcendent agent. (...) In reply to the objection that this account would violate the first law of thermo-dynamics, he distinguishes two forms of the principle -- one metaphysical, one scientific -- and aruges that a miracle would not violate the principle considered as a scientific law. The second assumption is that miracle testimony cannot serve as evidence for theism. Larmer demonstrates that the logical ties connecting the concept of miracle to theism need not imply that one must be a theist to evaluate miracle testimony properly. All that is required is that one is prepared to entertain theism as a hypothesis. Attacking these assumptions allows Larmer to show that Humean balance-of-probabilities arguments, based on a presumed conflict between evidence which establishes belief in the laws of nature and evidence in favour of miracles, miss the point if miracles need not be defined as violations of the laws of nature. He argues that, in the absence of a general argument demonstrating that the testimonial evidence in favour of miracles conflicts with the evidence for the laws of nature, it is up to the atheist to demonstrate, on a case-by-case basis, why the testimonial evidence is to be rejected. His conclusion is that, contrary to what is usually thought, the burden of proof lies not upon the shoulders of the theist, but upon the shoulders of the atheist. (shrink)

The author's motivation for constructing the calculi of this paper\nis so that time and tense can be "discussed together in the same\nlanguage" (p. 282). Two types of enriched propositional caluli for\ntense logic are considered, both containing ordinary propositional\nvariables for which any proposition may be substituted. One type\nalso contains "clock-propositional" variables, a,b,c, etc., for\nwhich only clock-propositional variables may be substituted and that\ncorrespond to instants or moments in the semantics. The other type\nalso contains "history-propositional" variables, u,v,w, etc., for\nwhich only history-propositional variables may (...) be substituted and\nthat correspond to maximally linearly ordered subsets of instants.\nThis second type is for tense logics in which time is not linear\nand where at any moment there may exist alternative future courses\nof events. Quantifiers are included in both types but only for clock-\nand history-propositional variables. However, these quantifiers are\ngiven an essentially substitutional interpretation. In addition,\nbesides each clock-propositional variable being true at exactly one\ninstant, the semantics requires that for each instant there be at\nleast one clock-propositional variable true at that instant, which\nin effect amounts to having each instant of the model "denoted" in\nthe formalism by some clock-propositional variable. Thus it is not\nsurprising that quantification over clock-propositional variables\nturns out to have a "well behaved first-order semantics" (p. 284).\n{One axiom relating history- with clock-propositions seems to need\nrevision: CKTauTbuAUabUba. Since the clock-propositional variables\nmight be true at the same instant the consequent should include an\nalternative, namely, LCab.} Besides the standard truth-functional\nand tense operators G,H,F,P, the author includes L for "it is\nalways the case that". The model-theoretic earlier-than relation\nordering instants and the semantic truth-at (an instant) relation\nare formalized by Uab and Taα (for a wff α) which\nare defined respectively as LCbPa (whenever the clock-proposition\nb is the case the clock-proposition a was the case) and LCaα\n(α is the case whenever the clock-proposition a is the case).\nBecause the future tense operators are definable in terms of U\nand T and the latter are definable in terms of L and P, the\ndual of H, the author notes that his completeness proofs can be\nrestricted to L and H as primitive and with the future tense\noperators used for other interpretations, especially Prior, A.'s\nindeterminist "it will be the case that", where time is not linear.\nThe author concludes with some rather technical observations showing\nthat "in ordinary tense logics the instants are nonstandard elements\nof the models. This provides", according to the author, "a semantic\npressure to build the instants into tense logic, so that they will\nappear as standard elements in the models" (p. 283). (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class (...) of dynamic-probabilistic logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

Reichenbach’s Common Cause Principle is the claim that if two events are correlated, then either there is a causal connection between the correlated events that is responsible for the correlation or there is a third event, a so called common cause, which brings about the correlation. The paper reviews some results concerning Reichenbach’s notion of common cause, results that are directly relevant to the problem of how one can falsify Reichenbach’s Common Cause Principle. Special emphasis will be put (...) on the question of whether EPR-type correlations can have an explanation in terms of Reichenbachian common causes. Most of the results to be recalled indicate that falsifying Reichenbach’s Common Cause Principle is much more tricky than one may have thought and that, contrary to some claims in the literature, there is no conclusive proof yet that the EPR correlations predicted by ordinary, non-relativistic quantum mechanics cannot have a common cause; furthermore, recent results about possible Reichenbachian common causes of correlations predicted by quantum field states between spacelike separated local observable algebras in algebraic quantum field theory strongly indicate that there may very well exist Reichenbachian common causes of superluminal correlations predicted by quantum field theory. (shrink)

The disjunctive theory of perception claims that we should understand statements about how things appear to a perceiver to be equivalent to statements of a disjunction that either one is perceiving such and such or one is suffering an illusion (or hallucination); and that such statements are not to be viewed as introducing a report of a distinctive mental event or state common to these various disjoint situations. When Michael Hinton first introduced the idea, he suggested that the burden of (...) proof or disproof lay with his opponent, that what was needed was to show that our talk of how things look or appear to one.. (shrink)

This book is an introduction to elementary logic (classical propositional and first-order logic), comprising brief summaries of the basics of elementary logic, with the emphasis on typical questions and procedure descriptions and with a large number of corresponding exercises and problems. Solutions are given for each problem and exercise, often with commentaries. The first part, Basics of Logic, deals with (a) formal language, models, Venn diagrams for sentences, and translation from natural into formal language and vice versa, (b) deduction and (...) refutation methods in the format of natural deduction (Fitch and Suppes-Lemmon styles), tableau system and Venn diagrams, and (c) basic logical properties and relations (consistency, validity, consequence, equivalence, various types of opposition, logical completeness and independency, relationship between syntax and semantics). The second part, Logic in Understanding and Analysis, introduces into (a) logical approach to problem solving in concrete situations and events as presented in brief tales and anecdotes, (b) discovering the meaning, and reconstruction of logical interconnections, in ordinary, scholarly and philosophical texts, (c) application of already mastered logical tools in examining and defining further theoretical (logical, scientific) concepts and in building formal languages. The shorter third part, From the Traditional Logic, is dedicated to the traditional logic of concepts, judgements and syllogisms, largely with the use of Venn diagrams. (shrink)

Many millions of people hold conspiracy theories; they believe that powerful people have worked together in order to withhold the truth about some important practice or some terrible event. A recent example is the belief, widespread in some parts of the world, that the attacks of 9/11 were carried out not by Al Qaeda, but by Israel or the United States. Those who subscribe to conspiracy theories may create serious risks, including risks of violence, and the existence of such theories (...) raises significant challenges for policy and law. The first challenge is to understand the mechanisms by which conspiracy theories prosper; the second challenge is to understand how such theories might be undermined. Such theories typically spread as a result of identifiable cognitive blunders, operating in conjunction with informational and reputational influences. A distinctive feature of conspiracy theories is their self-sealing quality. Conspiracy theorists are not likely to be persuaded by an attempt to dispel their theories; they may even characterize that very attempt as further proof of the conspiracy. Because those who hold conspiracy theories typically suffer from a crippled epistemology, in accordance with which it is rational to hold such theories, the best response consists in cognitive infiltration of extremist groups. Various policy dilemmas, such as the question whether it is better for government to rebut conspiracy theories or to ignore them, are explored in this light. (shrink)