In the period 1893–1897 Charles Dodgson, writing as Lewis Carroll, published two books and two articles on logic topics. Manuscript material first published in 1977 together with letters and diary entries provide evidence that he was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised.

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late 19th century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis received much attention in the 19th century. They helped to instigate what Hans Hahn called a ‘crisis of intuition’, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this ‘crisis’ as follows : " Mathematicians (...) had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof … "Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called ‘logicization’, ‘when the discipline requires nothing but purely logical fundamental concepts and propositions for its development’. On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals …. (shrink)

This book's activities highlight the important cycle of exploration, conjecture, and justification in all five mathematical strands. Students recognize patterns and make conjectures, learn the value of a counterexample, explore the strengths and weaknesses of visual proofs, discover the power of algebraic representations, and learn that theoretical approaches can substantiate empirical results. The supplemental CD-ROM features interactive electronic activities, master copies of activity pages for students, and additional readings for teachers. --publisher description.

Marcus Giaquinto presents an investigation into the different kinds of visual thinking involved in mathematical thought, drawing on work in cognitive psychology, philosophy, and mathematics. He argues that mental images and physical diagrams are rarely just superfluous aids: they are often a means of discovery, understanding, and even proof.

Reviewed Works:Reuben Hersh, Proving is Convincing and Explaining.Philip J. Davis, Visual Theorems.Gila Hanna, H. Niels Jahnke, Proof and Application.Daniel Chazan, High School Geometry Students' Justification for Their Views of Empirical Evidence and Mathematical Proof.

During the first phase of Greek mathematics a proof consisted in showing or making visible the truth of a statement. This was the epagogic method. This first phase was followed by an apagogic or deductive phase. During this phase visual evidence was rejected and Greek mathematics became a deductive system. Now epagoge and apagoge, apart from being distinguished, roughly according to the modern distinction between inductive and deductive procedures, were also identified on account of the conception of generality as (...) continuity. Epistemology of mathematics today only remembers the distinction, forgetting where they agreed, in this manner not only destroying the unity of the perceptual and conceptual but also forgetting what could be gained from Aristotelian demonstrative science. (shrink)

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition course to lead into a first course on analysis. This combined approach allows instructors to teach a single course where two were offered. The text opens with an introduction to basic logic and set theory, setting students up to succeed in the study of analysis. Each section is followed by graduated exercises that (...) both guide and challenge students. The author includes examples and illustrations that appeal to the visual side of analysis. The accessible structure of the book makes it an ideal refence for later years of study or professional work. (shrink)

Students of geometry do not prove Euclid's first theorem by examining an accompanying diagram, or by visualizing the construction of a figure. The original proof of Euclid's first theorem is incomplete, and this gap in logic is undetected by visual imagination. While cognition involves truth values, vision does not: the notions of inference and proof are foreign to vision.

Diagrams are hybrid entities, which incorporate both linguistic and pictorial elements, and are crucial to any account of scientific and mathematical reasoning. Hence, they offer a rich source of examples to examine the relation between model-theoretic considerations and linguistic features. Diagrams also play different roles in different fields. In scientific practice, their role tends not to be evidential in nature, and includes: highlighting relevant relations in a micrograph ; sketching the plan for an experiment; and expressing expected visually salient information (...) about the outcome of an experiment. None of these traits are evidential; rather they are all pragmatic. In contrast, in mathematical practice, diagrams are used as heuristic tools in proof construction ; notational devices; and full-blown proof procedures. Some of these traits are evidential. After assessing these different roles, I explain why diagrams are used in the way they are in these two fields. The result leads to an account of different styles of scientific reasoning within a broadly model-based conception. (shrink)

Can visual thinking be a means of discovery in elementary analysis, as well as a means of illustration and a stimulus to discovery? The answer to the corresponding question for geometry and arithmetic seems to be ‘yes’ (Giaquinto [1992], [1993]), and so a positive answer might be expected for elementary analysis too. But I argue here that only in a severely restricted range of cases can visual thinking be a means of discovery in analysis. Examination of persuasive (...) class='Hi'>visual routes to two simple theorems (Rolle, Bolzano) shows that they are not ways of discovering the theorems; the type of visual thinking involved can never be used to discover analytic theorems of a certain generality. The hypothesis that visual thinking is never a means of discovering the existence or nature of the limit of some infinite process is considered, and a likely counter-example is set out. It is still possible that restricted theorems can be discovered visually: an example from Littlewood is examined in detail and not found wanting. Even when visual thinking is not a means of discovery it can provide the idea for a proof in a direct way; an example is presented (Intermediate Value Theorem). In conclusion: it may be possible to discover theorems in elementary real analysis by visual means, but only theorems of a restricted kind; however, visual thinking in analysis can be very useful in other ways. (shrink)

The paper raises the question of the function of visual representations in medieval cosmographical texts. It proposes to view diverse functions of figures in relation to changing discursive environments, including differing philosophical positions and changing social and intellectual contexts. It further suggests a distinction between figures that were elaborated within the highly specialized disciplines of mathematics and philosophy of nature in Greek Antiquity and figures that were instrumental in transmitting accepted world models, thus avoiding the opposition between scientific and (...) unscientific types of verbal and pictorial documents. Simplifying changes, when figures are abstracted form their geometrical context and accompany doxographical, descriptive accounts, are characterized in terms of schematization. Concomitantly, mathematical and philosophical demonstrations tend to give way to proofs of a predominantly rhetorical nature: images are verbally construed and, in order to enhance these, actual visual figures— mostly linear, diagrammatic constructs—are added. With regard to the Middle Ages, the paper distinguishes two principal periods: the period from the seventh to the eleventh century and the period of the so-called twelfth-century Renaissance. First, the verbal and pictorial cosmological corpus of Roman origin gave rise to explanations and variations but not to consequential theoretical developments and cosmological diagrams tended to fuse with summarizing tables at this time. Then, during the twelfth century, mathematical and philosophical documents of a specialized kind that were translated from the Arabic and also from the Greek became available in the Latin West. In mathematics, specialized types of study remained, however, sparse. Continuous elaborations of the assimilated material set in later only, within the thirteenth-century university context. Nevertheless, twelfth-century authors of cosmographical accounts became increasingly aware that their expositions and visual figures were ultimately derived from geometrical models of the universe. More diversified types of demonstration and corresponding visual figures were being used, as exemplified by William of Conches’ Dragmaticon philosophiae. (shrink)

The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields are studying the same problem. Specifically, a common concern amongst researchers today is how logic sheds light on the nature of information. Ancient questions concerning how humans communicate, reason and decide, and modern questions about how computers should communicate, reason and decide are of prime interest to researchers in various disciplines. (...) _Words, Proofs and Diagrams_ is a collection of papers covering active research areas at the interface of logic, computer science, and linguistics. Readers of the volume will find traditional research on process logics, issues in formal semantics, and language processing. In addition, the volume also highlights a particularly new area where all three disciplines meet—the study of images and graphics as information carriers and the diagrammatic reasoning supported by them. (shrink)

Mathematicians sometimes judge a mathematical proof to be beautiful and in doing so seem to be making a judgement of the same kind as aesthetic judgements of works of visual art, music or literature. Mathematical proofs are also appraised for explanatoriness: some proofs merely establish their conclusions as true, while others also show why their conclusions are true. This paper will focus on the prima facie plausible assumption that, for mathematical proofs, beauty and explanatoriness tend to (...) go together. To make headway we need to have some grip on what it is for a proof to be beautiful, and for that we need some account of judgements of beauty in general. That is the concern of the first section. The second section faces the problem that it is far from obvious how abstract entities, such as mathematical proofs, can be beautiful, strictly and literally speaking. Reasons are given for the view that they can be. The third section introduces the distinction between proofs which explain their conclusions and proofs which do not. Finally, the question whether, for mathematical proofs, the beautiful and the explanatory tend to coincide is addressed. It is argued that we have reason to doubt that explanatory proofs tend to be beautiful, and insufficient reason to believe or disbelieve that beautiful proofs tend to be explanatory. (shrink)

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late 19th century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis received much attention in the 19th century. They helped to instigate what Hans Hahn called a ‘crisis of intuition’, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this ‘crisis’ as follows : " Mathematicians (...) had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof … "Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called ‘logicization’, ‘when the discipline requires nothing but purely logical fundamental concepts and propositions for its development’. On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals …. (shrink)

This work examines how people interpret the sentential connective “or”, which can be viewed either inclusively (A or B or both) or exclusively (A or B but not both). Following up on prior work concerning quantifiers (Noveck, 2001; Noveck & Posada, 2003; Bott & Noveck, 2004) which shows that the common pragmatic interpretation of “some,” some but not all, is conveyed as part of an effortful step, we investigate how extra effort applied to disjunctive statements leads to a pragmatic interpretation (...) of “or”, or but not both. Experiment 1 compelled participants to wait for three seconds before answering, hence giving them the opportunity to process the utterance more deeply. Experiments 2 and 3 emphasized “or”, either by visual means (“OR”) or by prosodic means (contrastive stress) as another way to encourage participants to apply more effort. Following a relevance-theoretic line of argument, we hypothesized that conditions encouraging more processing effort would give rise to more pragmatic inferences and hence to more exclusive interpretations of the disjunction. This prediction was confirmed in the three experiments. (shrink)

John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system. (shrink)

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.

Interpreting a seemingly simple function word like “or,” “behind,” or “more” can require logical, numerical, and relational reasoning. How are such words learned by children? Prior acquisition theories have often relied on positing a foundation of innate knowledge. Yet recent neural‐network‐based visual question answering models apparently can learn to use function words as part of answering questions about complex visual scenes. In this paper, we study what these models learn about function words, in the hope of better understanding (...) how the meanings of these words can be learned by both models and children. We show that recurrent models trained on visually grounded language learn gradient semantics for function words requiring spatial and numerical reasoning. Furthermore, we find that these models can learn the meanings of logical connectives and and or without any prior knowledge of logical reasoning as well as early evidence that they are sensitive to alternative expressions when interpreting language. Finally, we show that word learning difficulty is dependent on the frequency of models' input. Our findings offer proof‐of‐concept evidence that it is possible to learn the nuanced interpretations of function words in a visually grounded context by using non‐symbolic general statistical learning algorithms, without any prior knowledge of linguistic meaning. (shrink)

Recent decades have witnessed the rapid evolution of robotic applications and their expansion into a variety of spheres with remarkable achievements. This article researches a crucial technique of robot manipulators referred to as visual servoing, which relies on the visual feedback to respond to the external information. In this regard, the visual servoing issue is tactfully transformed into a quadratic programming problem with equality and inequality constraints. Differing from the traditional methods, a gradient-based recurrent neural network for (...) solving the visual servoing issue is newly proposed in this article in the light of the gradient descent method. Then, the stability proof is presented in theory with the pixel error convergent exponentially to zero. Specifically speaking, the proposed method is able to impel the manipulator to approach the desired static point while maintaining physical constraints considered. After that, the feasibility and superiority of the proposed GRNN are verified by simulative experiments. Significantly, the proposed visual servo method can be leveraged to medical robots and rehabilitation robots to further assist doctors in treating patients remotely. (shrink)

Music can be interpreted by attributing syntactic relationships to sequential musical events, and, computationally, such musical interpretation represents an analogous combinatorial task to syntactic processing in language. While this perspective has been primarily addressed in the domain of harmony, we focus here on rhythm in the Western tonal idiom, and we propose for the first time a framework for modeling the moment‐by‐moment execution of processing operations involved in the interpretation of music. Our approach is based on (1) a music‐theoretically motivated (...) grammar formalizing the competence of rhythmic interpretation in terms of three basic types of dependency (preparation, syncopation, and split; Rohrmeier, 2020), and (2) psychologically plausible predictions about the complexity of structural integration and memory storage operations, necessary for parsing hierarchical dependencies, derived from the dependency locality theory (Gibson, 2000). With a behavioral experiment, we exemplify an empirical implementation of the proposed theoretical framework. One hundred listeners were asked to reproduce the location of a visual flash presented while listening to three rhythmic excerpts, each exemplifying a different interpretation under the formal grammar. The hypothesized execution of syntactic‐processing operations was found to be a significant predictor of the observed displacement between the reported and the objective location of the flashes. Overall, this study presents a theoretical approach and a first empirical proof‐of‐concept for modeling the cognitive process resulting in such interpretation as a form of syntactic parsing with algorithmic similarities to its linguistic counterpart. Results from the present small‐scale experiment should not be read as a final test of the theory, but they are consistent with the theoretical predictions after controlling for several possible confounding factors and may form the basis for further large‐scale and ecological testing. (shrink)

Suppose one has a visual experience as of having hands, and then reasons as follows: I have hands, If I have hands an external world exists; An external world exists. Suppose one’s visual experience gives one defeasible perceptual warrant, or justification, to believe – that is, one’s experience makes it epistemically appropriate to believe . And suppose one comes to believe on the basis of this visual experience. The conditional premise is knowable a priori. And can be (...) established by modus ponens inference. If one reasons thus, say one’s engaged in -reasoning. What, if anything, is wrong with -reasoning? I consider two prominent responses to this question – the dogmatists’ and Crispin Wright’s. Each finds fault in -reasoning, but on different grounds. I argue Wright’s response faces a problem which is standardly only taken to be faced by dogmatists. (shrink)

Most clinical neurofeedback studies based on functional magnetic resonance imaging use the patient's own neural activity as feedback. The objective of this study was to create a subject-independent brain state classifier as part of a real-time fMRI neurofeedback system that can guide patients with depression in achieving a healthy brain state, and then to examine subsequent clinical changes. In a first step, a brain classifier based on a support vector machine was trained from the neural information of happy autobiographical imagery (...) and motor imagery blocks received from a healthy female participant during an MRI session. In the second step, 7 right-handed female patients with mild or moderate depressive symptoms were trained to match their own neural activity with the neural activity corresponding to the “happiness emotional brain state” of the healthy participant. The training was carried out using the rt-fMRI NF system guided by the brain-state classifier we had created. Thus, the informative voxels previously obtained in the first step, using SVM classification and Effect Mapping, were used to classify the Blood-Oxygen-Level Dependent activity of the patients and converted into real-time visual feedback during the neurofeedback training runs. Improvements in the classifier accuracy toward the end of the training were observed in all the patients [Session 4–1 Median = 6.563%; Range = 4.10–27.34; Wilcoxon Test, 2-tailed p = 0.031]. Clinical improvement also was observed in a blind standardized clinical evaluation [HDRS CE2-1 Median = 7; Range 2 to 15; Wilcoxon Test, 2-tailed p = 0.016], and in self-report assessments [BDI-II CE2-1 Median = 8; Range 1–15; Wilcoxon Test, 2-tailed p = 0.031]. In addition, the clinical improvement was still present 10 days after the intervention [BDI-II CE3-2_Median = 0; Range −1 to 2; Wilcoxon Test, 2-tailed p = 0.50/ HDRS CE3-2 Median = 0; Range −1 to 2; Wilcoxon Test, 2-tailed p = 0.625]. Although the number of participants needs to be increased and a control group included to confirm these findings, the results suggest a novel option for neural modulation and clinical alleviation in depression using noninvasive stimulation technologies. (shrink)

This thesis challenges a general prejudice against visualization in the history of logic and mathematics, by providing a semantic analysis of two graphical representation systems--a traditional Venn diagram representation system and an extension of it. While Venn diagrams have been used to solve problems in set theory and to test the validity of syllogisms in logic, they have not been considered valid proofs but heuristic tools for finding valid formal proofs. ;I present Venn diagrams which have been used (...) in logic as a formal system of representation equipped with its own syntax and semantics. I also show that Venn-I, with the rules of transformation that I specify, is sound and complete. The soundness of Venn-I refutes a worry that mathematicians and logicians have about graphical representation: Fallacies often have arisen from the misuse of diagrams in mathematical proofs, especially in geometry. However, the validity of the transformation rules assures us that the correct application of these rules will not lead to fallacies. ;I extend Venn-I so that this new system has a general way to convey disjunctive information. A new formation rule is introduced and new transformation rules are added. I call this extended system Venn-II. The semantics of Venn-II is formalized as an extension of the semantics of Venn-I. The soundness and completeness of Venn-II are also proven. I then show that Venn-II and a monadic first-order language are equivalent in their expressiveness. ;The analysis of Venn-I and Venn-II leads to interesting issues which have their analogues in other deductive systems. I conclude the thesis with a discussion of some fundamental differences between graphical systems and linguistic systems. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

In his long-awaited new edition of Philosophy of Mathematics, James Robert Brown tackles important new as well as enduring questions in the mathematical sciences. Can pictures go beyond being merely suggestive and actually prove anything? Are mathematical results certain? Are experiments of any real value?" "This clear and engaging book takes a unique approach, encompassing nonstandard topics such as the role of visual reasoning, the importance of notation, and the place of computers in mathematics, as well as traditional topics (...) such as formalism, Platonism, and constructivism. The combination of topics and clarity of presentation make it suitable for beginners and experts alike. The revised and updated second edition of Philosophy of Mathematics contains more examples, suggestions for further reading, and expanded material on several topics including a novel approach to the continuum hypothesis."--BOOK JACKET. (shrink)

This monograph treats the important topic of the epistemology of diagrams in Euclidean geometry. Norman argues that diagrams play a genuine justificatory role in traditional Euclidean arguments, and he aims to account for these roles from a modified Kantian perspective. Norman considers himself a semi-Kantian in the following broad sense: he believes that Kant was right that ostensive constructions are necessary in order to follow traditional Euclidean proofs, but he wants to avoid appealing to Kantian a priori intuition as (...) the epistemological background for these constructions.Norman's main argument is limited to the thesis that certain Euclidean arguments—in particular, that of Proposition 1.32, the internal-angle-sum theorem—require inferences from diagrams. Interestingly, Norman is not committed to the view that these arguments are proofs. This becomes clear only quite late in the book, when he distinguishes argument from proofs, remarking that the argument he has been focusing on is not rigorous, and so is not a proof. Norman does not, however, explicitly classify all Euclidean arguments as non-proofs. His view is that diagrammatic reasoning can in principle feature in rigorous proofs, but he is not committed to the thesis that any particular argument, Euclidean or otherwise, provides an example of this. Rather than proofs in particular, Norman is more interested in the general issue of justification in mathematics.The argument has three components. First, Norman argues against competing accounts of Euclidean arguments such as empiricism, and ‘Leibnizianism’—the view that diagrams play only a heuristic role. Second, he provides a more direct, or positive, argument that the way we actually follow the standard argument for 1.32 does appeal to the diagram. This is an appeal to the phenomenology of following the argument. Third, he articulates and defends his semi-Kantian position against some objections.The book has a very careful and …. (shrink)

Advertising is one of the commonly visible elements of the urban landscape (real and virtual). It also does not require proof that advertisements of cities as such are also part of their “cityscape.” Since at least the nineteenth century, cities have advertised themselves as attractive places to live, visit, or do business. Therefore, the following research question can be asked: How do Polish cities present themselves in advertisements one can find in the landscape? The study assumes that each advertisement should (...) clearly identify the sender and indicate its specific characteristics, distinguishing itself from its competitors. Polish cities began to use logos and slogans as a mecha­nism of description and distinction after 1990, when socioeconomic changes started. There are quite a few studies on this activity, but most of them are single case studies. Therefore, the authors decided to examine a relatively large sample of Polish cities, which allows for statistical analysis. Analysis of the logo and slogan content allows the authors to examine the desired image or the projected identity of Polish cities. The methods were chosen because they admit qualitative and quantitative analysis, especially when there is a sufficiently large sample. Therefore, the survey covered all towns and cities with more than 20,000 inhabitants in Poland. There are 218 such towns in total. The analysis was carried out in the first half of 2021. In conclusion, the authors find that the advertising of Polish cities is embedded in the past, promotes resources (substance), sometimes geographical location, but rarely refers to famous characters and human potential. And such a picture of these cities one may find on outdoor advertisements, which sometimes produce dissonance when accompanying modern buildings or new transport solutions in the city. (shrink)

This monograph treats the important topic of the epistemology of diagrams in Euclidean geometry. Norman argues that diagrams play a genuine justificatory role in traditional Euclidean arguments, and he aims to account for these roles from a modified Kantian perspective. Norman considers himself a semi-Kantian in the following broad sense: he believes that Kant was right that ostensive constructions are necessary in order to follow traditional Euclidean proofs, but he wants to avoid appealing to Kantian a priori intuition as (...) the epistemological background for these constructions.Norman's main argument is limited to the thesis that certain Euclidean arguments—in particular, that of Proposition 1.32, the internal-angle-sum theorem—require inferences from diagrams. Interestingly, Norman is not committed to the view that these arguments are proofs. This becomes clear only quite late in the book, when he distinguishes argument from proofs, remarking that the argument he has been focusing on is not rigorous, and so is not a proof . Norman does not, however, explicitly classify all Euclidean arguments as non-proofs. His view is that diagrammatic reasoning can in principle feature in rigorous proofs, but he is not committed to the thesis that any particular argument, Euclidean or otherwise, provides an example of this. Rather than proofs in particular, Norman is more interested in the general issue of justification in mathematics.The argument has three components. First, Norman argues against competing accounts of Euclidean arguments such as empiricism, and ‘Leibnizianism’—the view that diagrams play only a heuristic role. Second, he provides a more direct, or positive, argument that the way we actually follow the standard argument for 1.32 does appeal to the diagram. This is an appeal to the phenomenology of following the argument. Third, he articulates and defends his semi-Kantian position against some objections.The book has a very careful and …. (shrink)

The first English-language publication of a classic French book on the relationship between the development of photography and of the medical category of hysteria. In this classic of French cultural studies, Georges Didi-Huberman traces the intimate and reciprocal relationship between the disciplines of psychiatry and photography in the late nineteenth century. Focusing on the immense photographic output of the Salpetriere hospital, the notorious Parisian asylum for insane and incurable women, Didi-Huberman shows the crucial role played by photography in the invention (...) of the category of hysteria. Under the direction of the medical teacher and clinician Jean-Martin Charcot, the inmates of Salpetriere identified as hysterics were methodically photographed, providing skeptical colleagues with visual proof of hysteria's specific form. These images, many of which appear in this book, provided the materials for the multivolume album Iconographie photographique de la Salpetriere. As Didi-Huberman shows, these photographs were far from simply objective documentation. The subjects were required to portray their hysterical "type"—they performed their own hysteria. Bribed by the special status they enjoyed in the purgatory of experimentation and threatened with transfer back to the inferno of the incurables, the women patiently posed for the photographs and submitted to presentations of hysterical attacks before the crowds that gathered for Charcot's "Tuesday Lectures." Charcot did not stop at voyeuristic observation. Through techniques such as hypnosis, electroshock therapy, and genital manipulation, he instigated the hysterical symptoms in his patients, eventually giving rise to hatred and resistance on their part. Didi-Huberman follows this path from complicity to antipathy in one of Charcot's favorite "cases," that of Augustine, whose image crops up again and again in the Iconographie. Augustine's virtuosic performance of hysteria ultimately became one of self-sacrifice, seen in pictures of ecstasy, crucifixion, and silent cries. (shrink)

For a decade or so there has been a new ‘hype’ in educational research: it is called educational neuroscience or even neuroeducation —there are numerous publications, special journals, and an abundance of research projects together with the advertisement of many positions at renowned research centres worldwide. After a brief introduction of what is going on in the ‘emerging sub-discipline’, a number of characterisations are offered of what is envisaged by authors working in this field. In the discussion that follows various (...) problems are listed: the assumption that ‘visual proof’ of brain activity is supposedly given; the correlational nature of this kind of research; the nature of the concepts that are used; the lack of addressing and possibly influencing the neurological mechanism; and finally the need for other insights in educational contexts. Following Bakhurst and others, a number of crucially relevant philosophical issues are highlighted. It is argued that though there are cases where neuroscience insights may be helpful, these are scarce. In general, it is concluded, not a lot may be expected from this discipline for education and educational research. A reminder is offered that the promise of neurophilia may be just another neuromyth, which needs to be addressed by philosophy and education. (shrink)

When people make sense of situations, illustrations, instructions and problems they do more than just think with their heads. They gesture, talk, point, annotate, make notes and so on. What extra do they get from interacting with their environment in this way? To study this fundamental problem, I looked at how people project structure onto geometric drawings, visual proofs, and games like tic tac toe. Two experiments were run to learn more about projection. Projection is a special capacity, (...) similar to perception, but less tied to what is in the environment. Projection, unlike pure imagery, requires external structure to anchor it, but it adds ‘mental’ structure to the external scene much like an augmented reality system adds structure to an outside scene. A person projects when they look at a chessboard and can see where a knight may be moved. Because of the cognitive costs of sustaining and extending projection, humans make some of their projections real. They create structure externally. They move the piece, they talk, point, notate, represent. Much of our interactivity during sense making and problem solving involves a cycle of projecting then creating structure. (shrink)

Visual thinking in mathematics is widespread; it also has diverse kinds and uses. Which of these uses is legitimate? What epistemic roles, if any, can visualization play in mathematics? These are the central philosophical questions in this area. In this introduction I aim to show that visual thinking does have epistemically significant uses. The discussion focuses mainly on visual thinking in proof and discovery and touches lightly on its role in understanding.

Euler diagrams often require several figures to adequately represent propositions and syllogisms. Euler’s followers, notably Friedrich Ueberweg, endeavored to overcome this difficulty with the use of dotted lines to express uncertainty about the relation between the terms of a proposition. Subsequently, Venn regarded such attempts as ineffectual and went to construct his own celebrated scheme. In this paper, we argue that Ueberweg’s method could be expanded to meet Venn’s expectations, and hence, produce alternative Venn-like diagrams.

We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the participants, who were asked to determine which ones of the formulas were tautologies. The participants were eight university students in computer science who had received tuition in propositional logic. The formulas appeared one by one, a time-limit of 45 s applied to each formula and no aids were allowed. For each formula we recorded the proportion of the participants who (...) classified the formula correctly before timeout and the mean response time among those participants. We propose a new proof formalism for modeling propositional reasoning with bounded cognitive resources. It models declarative memory, visual memory, working memory, and procedural memory according to the memory model of Atkinson and Shiffrin and reasoning processes according to the model of Newell and Simon. We also define two particular proof systems, T and NT, for showing propositional formulas to be tautologies and non-tautologies, respectively. The accuracy was found to be higher for non-tautologies than for tautologies ( p T was.89 and for non-tautologies the correlation between latency and minimum proof length in NT was.87. (shrink)

Diagrams have played an important role throughout the entire history of differential equations. Geometrical intuition, visual thinking, experimentation on diagrams, conceptions of algorithms and instruments to construct these diagrams, heuristic proofs based on diagrams, have interacted with the development of analytical abstract theories. We aim to analyze these interactions during the two centuries the classical theory of differential equations was developed. They are intimately connected to the difficulties faced in defining what the solution of a differential equation is (...) and in describing the global behavior of such a solution. (shrink)

Introduction: image ethics -- Harnessing the visual: from illustration to ekphrasis -- From visible to invisible: Spenser's Aprill and messianic ethics -- Looking for ethics in Spenser's Faerie queene -- "To look, but with another's eyes": translating vision in A midsummer night's dream -- The ethics of temporality in Measure for measure -- "Ocular proof" and the dangers of the perceptual faith -- "Disliken the truth of your own seeming": visual and ethical truth in The winter's tale.

Gestures are usually regarded as a casual element of communication processes between logicians. By contrast, we aim to show that gestures have played a significant role in logic. We argue that the development of communication techniques and their standardization have led to the rise of formal notation systems commonly used in logic today. In order to substantiate this claim, the historical development of the use of gestures in (early) modern logic is investigated. This investigation uncovers exemplary communication and proof techniques (...) that illustrate the efficacy of gestures as representational media in formal logic. Revisiting the tradition of gestures in logic offers promising paths and insights for today’s logic as a communication practice in the digital age. (shrink)

The current paper highlights a new, interactive Shiny App that can be used to aid in understanding and teaching the important task of conducting a prior sensitivity analysis when implementing Bayesian estimation methods. In this paper, we discuss the importance of examining prior distributions through a sensitivity analysis. We argue that conducting a prior sensitivity analysis is equally important when so-called diffuse priors are implemented as it is with subjective priors. As a proof of concept, we conducted a small simulation (...) study, which illustrates the impact of priors on final model estimates. The findings from the simulation study highlight the importance of conducting a sensitivity analysis of priors. This concept is further extended through an interactive Shiny App that we developed. The Shiny App allows users to explore the impact of various forms of priors using empirical data. We introduce this Shiny App and thoroughly detail an example using a simple multiple regression model that users at all levels can understand. In this paper, we highlight how to determine the different settings for a prior sensitivity analysis, how to visually and statistically compare results obtained in the sensitivity analysis, and how to display findings and write up disparate results obtained across the sensitivity analysis. The goal is that novice users can follow the process outlined here and work within the interactive Shiny App to gain a deeper understanding of the role of prior distributions and the importance of a sensitivity analysis when implementing Bayesian methods. The intended audience is broad and can include those with limited exposure to Bayesian methods or the specific model presented here. (shrink)

Let me start by saying that I had the privilege of witnessing the birth of Jon Barwise's new research on heterogeneous logic and its subsequent developments. I entered the Stanford philosophy graduate program in the Fall of 1987, became Barwise and Etchemendy's first research assistant on the project of diagrammatic/heterogeneous reasoning during summer of 1989, and under their guidance completed my thesis, “Valid reasoning and visual representation,” in August, 1991. With this experience I would like to focus on the (...) more personal and informal aspects of Jon's research on heterogeneous logic which may not be conveyed by his articles. (Accordingly, I have written this paper without footnotes or other references except to Jon's work.) The present article can only hint at the depth and the influence of Jon's work in this area.In the first section, I single out an important feature of the project on heterogeneous logic Jon founded together with John Etchemendy about 15 years ago. I title it “resolving conflicts” since the research, I strongly believe, grew out of Jon's personal attitude toward how to resolve a tension between opposite extremes.The second section focuses on how teaching logic itself was shaped as part of Barwise and Etchemendy's research agenda. It is worthwhile noting that their textbookLanguage, Proof, and Logicconstitutes part of their research and, hence, the success of the book vindicates the goal of the overall project. (shrink)

Most disciplines make use of thought experiments, but physics and philosophy lead the pack with heavy dependence upon them. Often this is for conceptual clarification, but occasionally they provide real theoretical advances. In spite of their importance, however, thought experirnents have received rather little attention as a topic in their own right until recently. The situation has improved in the past few years, but a mere generation ago the entire published literature on thought experiments could have been mastered in a (...) long weekend. Now the subject is beginning to flourish. Given the relative newness of the field, it might be useful to have several examples at one’s finger tips, so a number of great ones will be described. Attention will also be drawn outside physics and philosophy. In mathematics there is something analogous to thought experiments -- visual reasoning and picture proofs. I will look briefly at this class of thought experiments and try using them to make a case for possibly settling the continuum hypothesis. After this, I will return to thought experiments in the sciences and propose an account of how they work. Finally, I will end with a sketch of a topic I am currently working on, a kind of progress report which, I hope, will be an inducement to others. (shrink)

The purpose of this article is to integrate two outstanding problems within the philosophy of science. The first concerns what role aesthetics plays in scientific thinking. The second is the problem of how logically testable ideas are generated (the so-called "psychology of research" versus "logic of (dis)proof" problem). I argue that aesthetic sensibility is the basis for what scientists often call intuition, and that intuition in turn embodies (in a literal physiological sense) ways of thinking that have their own meta-logic. (...) Thus, aesthetics is a form of cognition. Scientists think not in equations or words or other logical abstractions, but emotionally and sensually, using visual and aural images, kinesthetic and other proprioceptive feelings, sensations, patterns, and analogies. These aesthetic forms of thinking have their own logics that I call "synosia", from the root words synaesthesia (a combining of senses) and gnosis, "to know". Synosia denotes understanding that integrates feeling that one knows with feeling what one knows. Eminent scientists universally describe an explicitly secondary process in which such personal knowledge must be "translated" into a formal language, such as words or equations, in order to be communicated to other people. Many of the unsolved problems that philosophers of science (as well as psychologists and artificial intelligence researchers) have had in making sense of scientific thinking have arisen from confusing the form and content of the final translations with the hidden means by which scientific insights are actually achieved. (shrink)

This paper seeks to demonstrate that propositions 23–27 of the Euclidian Optics originated in the context of geometrical astronomy. These entries, which deal with the geometry of spheres and rays, present material that overlaps considerably with propositions 1–3 of Aristarchus of Samos’ On the Sizes and Distances of the Sun and the Moon. While all these theorems deal with material that could conceivably be native to celestial illumination, the proofs do not work for binocular vision. It therefore seems probable (...) that the proofs were borrowed from Aristarchus or, more likely, some common astronomical predecessor. As an extension of this observation, this paper argues that the Optics displays a far less unified purpose than has typically been assumed. Instead, it reflects a conglomerate of concerns, goals and dependencies, insofar as it presents multiple proofs that emerge from a set of geometrical concerns not directly related to vision as a physical phenomenon. These entries complicate the idea that the Optics is about explaining light, sight or false appearances in any straightforward sense. Instead, the text is oriented toward a somewhat more diffuse goal: simply to articulate the geometry of vision and rays. Optics as a discipline should should therefore be understood not as a purely mathematical explanation of vision, but as a target-field of explanation constituted by features and boundaries derived from extra-visual geometric concerns. (shrink)

The concept of “predatory” publishing, despite many studies of the phenomenon, continues to be unclear. This paper visualizes this topic through an epistemological perspective, claiming that these limitations emerge from an impressionism of idealization, the entrapment of cause and effect induced by a journalology-based perspective, and entrenched fantasized extraction, imagination and divination of what constitutes the truth, in essence, a path never followed by an _epistēmōn_. Reality, proof, verification, recorded observations and their interpretations have been pivoted to fit the theoretical (...) flavor of the day, an entity one day being predatory, the next not. Perhaps ephemeral judgements of predatory have been built on boundless disregard for common sense. Yet, these have led to scientists’ apotheosis, almost oblivious of the intangibility of “valid”, or the infinitesimal continuum of “predatory”. Perhaps their fault-ridden authoritarian argumentative disabilities is at fault. (shrink)

Research in person and face perception has broadly focused on group-level consensus that individuals hold when making judgments of others. However, a growing body of research demonstrates that individual variation is larger than shared, stimulus-level variation for many social trait judgments. Despite this insight, little research to date has focused on building and explaining individual models of face perception. Studies and methodologies that have examined individual models are limited in what visualizations they can reliably produce to either noisy and blurry (...) or computer avatar representations. Methods that produce low-fidelity visual representations inhibit generalizability by being clearly computer manipulated and produced. In the present work, we introduce a novel paradigm to visualize individual models of face judgments by leveraging state-of-the-art computer vision methods. Our proposed method can produce a set of photorealistic face images that correspond to an individual's mental representation of a specific attribute across a variety of attribute intensities. We provide a proof-of-concept study which examines perceived trustworthiness/untrustworthiness and masculinity/femininity. We close with a discussion of future work to substantiate our proposed method. (shrink)

This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. -/- Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge (...) that reflect recent developments in the field, such as issues concerning the logic of conditionals and the role played by visual elements in some mathematical proofs. -/- Featuring leading figures from experimental philosophy and the fields of philosophy of logic and mathematics, this collection reveals that empirical work in these disciplines has been quietly thriving for some time and stresses the importance of collaboration between philosophers and researchers in mathematics education and mathematical cognition. (shrink)

Kant's philosophy of arithmetic / by Charles Parsons -- Visual geometry / by James Hopkins -- The proof-structure of Kant's transcendental deduction / by Dieter Henrich -- Imagination and perception / by P.F. Strawson -- Kant's categories and their schematism / by Lauchlan Chipman -- Transcendental arguments / by Barry Stroud -- Strawson on transcendental idealism / by H.E. Matthews -- Self-knowledge / by W.H. Walsh -- The age and size of the world / by Jonathan Bennett.

One sceptical rejoinder to those who claim that sensory perception is cognitively penetrable is to appeal to the involvement of attention. So, while a phenomenon might initially look like one where, say, a perceiver’s beliefs are influencing her visual experience, another interpretation is that because the perceiver believes and desires as she does, she consequently shifts her spatial attention so as to change what she senses visually. But, the sceptic will urge, this is an entirely familiar phenomenon, and it (...) hardly involves some special or theoretically important cognitive effect on sensory perception. Even supposing that the sceptic is correct about cases that are accurately described in this way, the rejoinder oversimplifies the possible roles that attention may play in mediating cognition and perception. This paper aims to identify these different roles, and by emphasis on empirical research on feature-based and object-based attention. What emerges is a plausible and well- evidenced mental schema that describes attention -mediated cognitive penetration. At the very least, the burden of proof is shifted to the sceptic, as he then must show that there are no mental phenomena involving attention in the more nuanced ways described here. One additional benefit of this analysis is that it illuminates various features of attention and its relation to both cognition and phenomenal consciousness. Therefore the analysis should be of interest to a broad range of theorists of the mind, and not just those invested in the cognitive penetration debate. (shrink)

BackgroundAttention deficit hyperactivity disorder is clinically diagnosed; however, quantitative analysis to statistically analyze the symptom severity of children with ADHD via the measurement of head movement is still in progress. Studies focusing on the cues that may influence the attention of children with ADHD in classroom settings, where children spend a considerable amount of time, are relatively scarce. Virtual reality allows real-life simulation of classroom environments and thus provides an opportunity to test a range of theories in a naturalistic and (...) controlled manner. The objective of this study was to investigate the correlation between participants’ head movements and their reports of inattention and hyperactivity, and to investigate how their head movements are affected by different social cues of different sensory modalities.MethodsThirty-seven children and adolescents with and without ADHD were recruited for this study. All participants were assessed for diagnoses, clinical symptoms, and self-reported symptoms. A virtual reality-continuous performance test was conducted under four conditions: control, no-cue, visual cue, and visual/audio cue. A quantitativecomparison of the participants’ head movements was conducted in three dimensions using a head-mounted display in a VR classroom environment. Task-irrelevant head movements were analyzed separately, considering the dimension of movement needed to perform the VR-CPT.ResultsThe magnitude of head movement, especially task-irrelevant head movement, significantly correlated with the current standard of clinical assessment in the ADHD group. Regarding the four conditions, head movement showed changes according to the complexity of social cues in both the ADHD and healthy control groups.ConclusionChildren and adolescents with ADHD showed decreasing task-irrelevant movements in the presence of social stimuli toward the intended orientation. As a proof-of-concept study, this study preliminarily identifies the potential of VR as a tool to understand and investigate the classroom behavior of children with ADHD in a controlled, systematic manner. (shrink)