BackgroundInformed consent forms are intended to facilitate research enrollment decisions. However, the technical language in institutional templates can be unfamiliar and confusing for decision-makers. Standardized language describing financial implications of participation, namely compensation for injury and costs of care associated with participating, can be complex and could be a deterrent for potential participants. This standardized language may also be misleading in the context of comparative effectiveness trials of standard care interventions, in which costs and risk of injury associated with participating (...) may not differ from regular medical care. In addition, the revised U.S. Common Rule contains a new requirement to present key information upfront; the impact of how this requirement is operationalized on comprehension and likelihood of enrollment for a given study is unknown.MethodsTwo online surveys assessed the impact of (1) changes to compensation for injury language (standard vs. tailored language form) and (2) changes to the key information page (using the tailored compensation language form with standard key information vs. modified key information vs. modified key information plus financial information) on both likelihood of enrollment in and understanding of a hypothetical comparative effectiveness trial.ResultsLikelihood of enrolling was not observed to be different between the standard and tailored language forms in Study 1 (73 vs. 75%; p = 0.6); however, the tailored language group had a higher frequency of understanding the compensation for injury process specific to the trial (25 vs. 51%; p < 0.0001). Modifications to the key information sheet in Study 2 did not affect likelihood of enrolling (88 vs. 85 vs. 85%; p = 0.6); however, understanding of randomization differed by form (44 vs. 59 vs. 46%; p = 0.002).ConclusionsThese findings suggest that refining consent forms to clarify key information and tailoring compensation for injury language to the nature of the study, especially in the context of comparative effectiveness trials, may help to improve study comprehension but may not impact enrollment. (shrink)

The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work. (...) The outcome are paraconsistent logics with a lot of desirable properties.1. (shrink)

Rangrez and Rangdār are two commonly used words in north India. ‘Rangrez’ is a painter/dyer, and in Sufi tradition is also a word for Allah. ‘Rangdāri’ is an illegal extortion tax, and the person w...

A venture in a less traversed terrain of Indian scholarship, this article looks at the transformation in the value regimes that go into the making of colours in the Indian milieu. At one level, this study traces the sacredness imbued in colours and at another level the article delves into the genealogy that gives rise to a complex where colour, colonial investment in the economy of colours (with an aim at capitalizing colours as commodities), values and experiential dynamics enshrined in (...) the imageries and practices associated with colours all come together. With these entanglements, the idea is to engage with the social fabrics and the politics of colours in the Indian milieu. In this rendering, the distinction between values and forms collapses giving us in turn a field of aesthetic experience. Mobilizing a wide range of registers (written as well as pictorial, archival as well as literary), this story is narrated with key rubrics, such as, ambiguous location of colour in the discourse on visuality, social and cultural life of colours and the manner in which Western science and modernity has influenced the values pertaining to colours. However, the core anxiety is parked on the relation between colour, aesthetic experience and the question of value. (shrink)

Journal of Human Values, Volume 28, Issue 2, Page 143-160, May 2022. Recent decades have witnessed an unprecedented amount of conflict around visual representations in India. The field of the visual is the new terrain for rumour mongering and for maiming uncomfortable oppositional voices. With the fast-spreading mobile culture, penetrating social media and continued legacy of the pictorial as an embodiment of the real, the visual has taken over both the oral as well as the written words in its usefulness (...) to serve the political. Can we simply comprehend such a visual aggression by taking recourse in the enhanced role of visual media in our everyday life, along the lines of a ‘visual turn’? Is the visual sphere another surface of politics? With these key questions, this article revisits certain contemporary visual events by focusing on words that float in public spaces from streets to television screens. On a broader terrain, with an emphasis on aesthetics, the article relooks at an often-settled equation between the visual and the political on the one hand and the question of the visual as an archive of the contemporary on the other. Following Rancière’s notion of aesthetics as a field of the distribution of the sensible, this article has tried to focus on vernacular words circulating outside the confines of the literature and create a domain of political communication hitherto ignored by scholars. (shrink)

Paradefinite logics are logics that can be used for handling contradictory or partial information. As such, paradefinite logics should be both paraconsistent and paracomplete. In this paper we consider the simplest semantic framework for introducing paradefinite logics. It consists of the four-valued matrices that expand the minimal matrix which is characteristic for first degree entailments: Dunn–Belnap matrix. We survey and study the expressive power and proof theory of the most important logics that can be developed in this framework.

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations, and is faithful to standard methods of drawing conclusions (...) by argumentation frameworks. Altogether, we show that argumentation theory may benefit from incorporating proof theoretical techniques and that different non-classical formalisms may be used for backing up intended argumentation semantics. (shrink)

Seventeenth-century optics naturalizes the eye while estranging the mind from objects. A mere screen, on which rests a blurry array of light stains, the eye no longer furnishes the observer with genuine re-presentations of visible objects. The intellect is thus compelled to decipher flat images of no inherent epistemic value, accidental effects of a purely causal process, as vague, reversed reflections of wholly independent objects. Reflecting on and trespassing the boundaries between natural and artificial, orderly and disorderly, this optical paradox (...) is a Baroque phenomenon; and it is the origin of Descartes’ celebrated doubt---whether we know anything at all. (shrink)

Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all three-valued (...) paraconsistent logics that have been considered in the literature, including a large family of logics which were developed by da Costa's school. Then we show that in contrast, paraconsistent logics based on three-valued properly nondeterministic matrices are not maximal, except for a few special cases (which are fully characterized). However, these non-deterministic matrices are useful for representing in a clear and concise way the vast variety of the (deterministic) three-valued maximally paraconsistent matrices. The corresponding weaker notion of maximality, called premaximal paraconsistency, captures the "core" of maximal paraconsistency of all possible paraconsistent determinizations of a non-deterministic matrix, thus representing what is really essential for their maximal paraconsistency. (shrink)

Reasoning with the maximally consistent subsets of the premises is a well-known approach for handling contradictory information. In this paper we consider several variations of this kind of reasoning, for each one we introduce two complementary computational methods that are based on logical argumentation theory. The difference between the two approaches is in their ways of making consequences: one approach is of a declarative nature and is related to Dung-style semantics for abstract argumentation, while the other approach has a more (...) proof-theoretical flavor, extending Gentzen-style sequent calculi. The outcome of this work is a new perspective on reasoning with MCS, which shows a strong link between the latter and argumentation systems, and which can be generalized to some related formalisms. As a by-product of this we obtain soundness and completeness results for the dynamic proof systems with respect to several of Dung’s semantics. In a broader context, we believe that this work helps to better understand and evaluate the role of logic-based instantiations of argumentation frameworks. (shrink)

What is the relation between desert and other values such as equality, priority for the worse off, and utility? According to the common (pluralist) view, desert and these other values reflect distinct concerns: some are about distributive justice, some about retributive justice, and some (most clearly, utility) are not concerned with justice at all. However, another (monistic) view holds that while desert is a basic value, other values are merely derived from it. This controversy is relevant, for instance, to allocative (...) decisions and criminal punishment, where we need to know if other values should be balanced against desert. Yet, despite its theoretical significance and practical importance, this topic is underexplored. Aiming to fill this gap, we consider the arguments for and against the competing views. We demonstrate that the interaction between desert and other values raises a difficult dilemma: there are powerful arguments for and against both the pluralistic and the monistic accounts of desert. Indeed, we suggest that this dilemma is due to the unique nature of desert. Unlike other values, desert, especially its more robust forms, does not only sometimes conflict with competing considerations that favor different courses of actions, but rather seems to dispel other values even as pro tanto ones. (shrink)

In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not derived’ according (...) to the content of the sequence. We show that decisive conclusions of such a process correspond to well-accepted consequences of the underlying argumentation framework. The outcome is therefore a general and modular proof-theoretical approach for paraconsistent and non-monotonic reasoning with argumentation systems. (shrink)

A contribution to the sixth installment of the Common Knowledge symposium “Apology for Quietism,” this article reflects on the challenges that understanding the Holocaust posed for Jews in Palestine and has posed for them in Israel. Ofer concentrates on the images of victims, fighters, and survivors as they were formulated during the last years of World War II and after the establishment of the State of Israel. Behind these images stood historical, concrete human beings who were classified according to (...) concepts supplied by Zionist and historical Jewish culture, in which activism vs. quietism had long presented major issues for debate. A narrative and typology developed of fighting heroes, victims, and survivors; Ofer questions how different these categories were from each other. In pursuit of an answer, she examines institutions in Israel for commemoration and remembrance, especially Yad Vashem, a state-established institution centering on its often-reconfigured and redesigned historical museums. Finally, this article explores the impact of immigrations and wars on the approach of Israelis to activism and quietism, with special reference to attitudes toward the Holocaust. (shrink)

The ArgumentThis paper contains two main sections. In the first I suggest a mechanism of interpretation, based on a distinction between two aspects of meaning, analyzed using two kinds of rhetorical-poetical constructions:tropesto explore the linguistic relations—metaphors, metonyms, synecdoches, etc.—that endow terms with content, andtopicsto account for the structuring function of key expressions, which enables the recognition and adjudication of phrases, arguments, texts, genres, etc. In the second section I substantiate my claims by demonstrating how new light is shed on Galileo (...) Galilei's neglected and obscureDe Motuif these two aspects of the meaning of its central theoretical terms are taken into consideration; interpreted through this approach it is revealed as a text revolutionary in its ideas, while the communicative efficacy of its continuous use of the traditional terminology is unveiled. (shrink)

Sometimes, the availability of more evidence for a conclusion provides a reason to believe in its falsity. This counter-intuitive phenomenon is related to the idea of higher-order evidence, which has attracted broad interest in recent epistemological literature. Occasionally, providing more evidence for something weakens the case in its favor, by casting doubt on the probative value of other evidence of the same sort or on the fact-finder’s cognitive performance. We analyze this phenomenon, discuss its rationality, and outline possible application to (...) evidence law and to the law in general. It is suggested, inter alia, that such higher-order evidence may explain how judicial experience-based expertise in fact-finding is possible despite the absence of a feedback mechanism; and that fact-finders’ self-doubt regarding their own competence in making ‘beyond-reasonable doubt’ judgments might be reasonable and should not be ignored. (shrink)

: Bereft of the illusion of an epistemic vantage point external to science, what should be our commitment towards the categories, concepts and terms of that very science? Should we, despaired of the possibility to found these concepts on rock bottom, adopt empiricist skepticism? Or perhaps the inexistence of external foundations implies, rather, immunity for scientific ontology from epistemological criticism? Philosophy's "realism debate" died out without providing a satisfactory answer to the dilemma, which was taken over by the neighboring disciplines. (...) The "symmetry principle" of the "StrongProgramme" for the sociology of science-the requirement that truth and error receive the same kind of causal explanations-offered one bold metaphysical answer, under the guise of a methodological decree. Recently, however, it has been argued that this solution is not bold enough, that the social constructivists replaced the naïve presumption of an independent nature which adjudicates our beliefs with a mirror-image presumption of a sui generis society which furnishes these beliefs autonomously. The proper metaphysics for a foundationless epistemology, argues Bruno Latour, is one which grants nature and society, object and subject, equal roles in the success and failure of science and technology; one in which history of society merges with a history of things-in-themselves. The paper analyzes the philosophical and methodological motivations and ramifications of this extraordinary suggestion. (shrink)

The following paper, together with its sequel ("The use and non-use of mathematics"), is a study in the mathematization of nature. It looks into the history of one of the most emblematic achievements of this fundamental aspect of the making of modem science - the Inverse Square Law of universal gravitation - before its celebrated application by Newton to celestial mechanics. What did it take, we ask, to tum a particular mathematical ratio into a candidate for a law of nature?

This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their properties, non-deterministic semantics, algebraic structures for many-valued logics, and representations of (...) the mechanization of mathematics. Avron’s foundational and pioneering contributions have been widely acknowledged and adopted by the scientific community. His research interests are very broad, spanning over proof theory, automated reasoning, non-classical logics, foundations of mathematics, and applications of logic in computer science and artificial intelligence. This is clearly reflected by the diversity of topics discussed in the chapters included in this book, all of which directly relate to Avron’s past and present works. This book is of interest to computer scientists and scholars of formal logic. (shrink)

We introduce a family of preferential logics that are useful for handling information with different levels of uncertainty. The corresponding consequence relations are nonmonotonic, paraconsistent, adaptive, and rational. It is also shown that the formalisms in this family can be embedded in corresponding four-valued logics with at most three uncertainty levels, and that reasoning with these logics can be simulated by algorithms for processing circumscriptive theories, such as DLS and SCAN.

Name der Zeitschrift: Naharaim Jahrgang: 10 Heft: 2 Seiten: 195-213.

Resisting Contextual Information: You Can't Put a Salient Meaning Down Two experiments support the graded salience hypothesis, which assumes that early processing involves distinct mechanisms-linguistic and contextual-that do not interact but run parallel. While contextual processes make up an integrative, top-down mechanism that benefits from linguistic and extra-linguistic information, the linguistic mechanism is modular. Using Vu et al.'s materials, Experiment 1 shows that the sentential position of a target word is crucial for the operation of the global, predictive mechanism, whose (...) effects, accumulated in prior discourse, mask lexical effects in final, but not in initial position. Experiment 2 shows that even in a sentential position that favors contextual effects, lexical access is not affected: Salient meanings are activated upon encounter of the lexical stimulus, regardless of contextual information to the contrary. Taken together, these findings argue against direct access models, which suggest that context can selectively activate the appropriate meaning, regardless of salience. (shrink)

This paper examines how Japanese leading politicians cope with the communication problems posed during televised political interviews. Based on data gathered during the year 2012 equivocation, thereby to also assess the significance of these talk shows in the broader context of political communication in Japan.

“Desire is the very essence of man” Spinoza says, inverting a most deeply held conviction: that in our “very essence” we are “mind, reason and judgment”. The ethical implications are difficult: onl...

The mathematical nature of modern science is an outcome of a contingent historical process, whose most critical stages occurred in the seventeenth century. ‘The mathematization of nature’ (Koyré 1957 , From the closed world to the infinite universe , 5) is commonly hailed as the great achievement of the ‘scientific revolution’, but for the agents affecting this development it was not a clear insight into the structure of the universe or into the proper way of studying it. Rather, it was (...) a deliberate project of great intellectual promise, but fraught with excruciating technical challenges and unsettling epistemological conundrums. These required a radical change in the relations between mathematics, order and physical phenomena and the development of new practices of tracing and analyzing motion. This essay presents a series of discrete moments in this process. For mediaeval and Renaissance philosophers, mathematicians and painters, physical motion was the paradigm of change, hence of disorder, and ipso facto available to mathematical analysis only as idealized abstraction. Kepler and Galileo boldly reverted the traditional presumptions: for them, mathematical harmonies were embedded in creation; motion was the carrier of order; and the objects of mathematics were mathematical curves drawn by nature itself. Mathematics could thus be assigned an explanatory role in natural philosophy, capturing a new metaphysical entity: pure motion. Successive generations of natural philosophers from Descartes to Huygens and Hooke gradually relegated the need to legitimize the application of mathematics to natural phenomena and the blurring of natural and artificial this application relied on. Newton finally erased the distinction between nature’s and artificial mathematics altogether, equating all of geometry with mechanical practice. (shrink)

This work is an argument for the notion of knowledge production. It is an attempt at an epistemological and historiographic position which treats all facets and modes of knowledge as products of human practices, a position developed and demonstrated through a reconstruction of two defining episodes in the scientific career of Robert Hooke : the composition of his Programme for explaining planetary orbits as inertial motion bent by centripetal force, and his development of the spring law in relation to his (...) invention of the spring watch. ;The revival of interest in the history of experimental and technological knowledge has accorded Hooke much more attention than before. However, dependent on the conception of knowledge as a representation of reality, this scholarship is bound to the categories of influence and competition, and concentrates mainly on Hooke's numerous passionate exchanges with Isaac Newton and Christiaan Huygens. I favourably explore the neo-pragmatist criticism of representation epistemology in the writing of Richard Rorty and Ian Hacking. This criticism exposes the conventional portrayal of Hooke as "a mechanic of genius, rather than a scientist" as a reification of the social hierarchy between Hooke's Royal Society employers and his artisan-experimenters employees. ;However, Rorty and Hacking's efforts to do away with the image of the human knower as an enclosed realm of 'ideas' have not been completed. Undertaking this unfinished philosophical task, my main strategy is to erase the false gap between knowledge which is clearly produced--practical, technological and experimental, 'know how', and knowledge which we still think of as representation--theoretical 'knowing that'. I present Hooke, Newton and Huygens as craftsmen, who, employing various resources, labor to manufacture material and theoretical artifacts. Eschewing the category of independent facts awaiting discovery, I attempt to compare practices and techniques rather than to adjudicate priority claims, replacing ideas which 'develop', 'inspire', and 'influence', with tools and skills which are borrowed, appropriated and modified for new uses. ;This approach enables tracing Hooke's creation of his Programme from his microscopy, and reconstructing his use of springs to structure a theory of matter. With his unique combination of technical and speculative talents Hooke comes to personify the relations between the theoretical-linguistic and the experimental-technological in their full complexity. (shrink)