Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, say A and ¬A have been asserted.The dialogical approach suggests a way of studying thedynamic process of contradictions through which thetwo (...) contexts evolve for the sake of argumentation intoone system containing both contexts.More technically, we show a new, dialogical, way tobuild paraconsistent systems for propositional andfirst-order logic with classical and intuitionisticfeatures (i.e. paraconsistency both with and withouttertium non-datur) and present theircorresponding tableaux. (shrink)

Many of the discussions about conditionals can best be put as follows:can those conditionals that involve an entailment relation be formulatedwithin a formal system? The reasons for the failure of the classical approachto entailment have usually been that they ignore the meaning connectionbetween antecedent and consequent in a valid entailment. One of the firsttheories in the history of logic about meaning connection resulted from thestoic discussions on tightening the relation between the If- and the Then-parts of conditionals, which in this (...) context was called. This theory gave a justification for the validity of what we todayexpress through the formulae ¬ and ¬. Hugh MacColl and, more recently, Storrs McCall searched for a formal system in which the validity ofthese formulae could be expressed. Unfortunately neither of the resulting systems is very satisfactory. In this paper we introduce dialogical games with the help of a new connexive If-Then (), the structural rules of which allow the Proponent to develop winning strategies not only for the above-mentioned connexive theses but also for ¬ and ¬. Further on, we developthe corresponding tableau systems and conclude with some remarks on possibleperspectives and consequences of the dialogical approach to connexivity including the loss of uniform substitution leading to a new concept of logical form. (shrink)

This article argues that current economic upheaval should be understood as a problem of domination, in two respects: the ‘dyadic’ domination of one actor by another, and the ‘structural’ domination of individuals by a diffuse, decentralized, but nevertheless human-made system. Such domination should be contested through specifically democratic political mobilization, through institutions and practices that expand the political agency of citizens themselves. The article advances this argument by synthesizing two traditions of political thought. It reconstructs radical democratic theory from the (...) Progressive Era. These thinkers in turn help to reinforce contemporary debates in neorepublican thought, resolving disputes over the scope of domination and the relationship between domination and democracy. This synthesis offers a novel normative framework for diagnosing and responding to the current combination of economic upheaval and political dysfunction. (shrink)

Drawing from conservation of resources theory, this study investigates the interactive effect of employees’ family-to-work conflict and Islamic work ethic on their helping behavior, theorizing that the negative relationship between family-to-work conflict and helping behavior is buffered by Islamic ethical values. Data from Pakistan reveal empirical support for this effect. Organizations whose employees suffer resource depletion at work because of family obligations can still enjoy productive helping behaviors within their ranks, to the extent that they support relevant work ethics.

The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

This paper discusses the possibility of wealth adjustment through a credit network. The discussed credit network in this paper is a kind of loaning with no interest rate (its value is zero). It explains the influence of existence or inexistence of a cooperation originated from the credit network on wealth distribution and adjustment in an artificial society. To show how the wealth may distribute, environment agents in terms of their obtained wealth have been classified into ten wealth categories; thus, the (...) share of each category in terms of population has been determined. In addition, the survival of population in the environment has been studied. Findings and results show more balanced distribution of agents among the categories of wealth and higher survival of the population in the existence of the credit network. More over, the curve of population has fewer fluctuations. In other words, the population is more stable due to the ability of credit network in making more survival and stability in the population of environment in periods of time by providing the possibility of cooperation and wealth better distribution. (shrink)

While there has been much discussion of how the scientific establishment’s culture can engender research misconduct and scientific irreproducibility, this has been discussed much less frequently with respect to the medical profession. Here the authors posit that a lack of self-criticism, an encouragement of novel scientific research generated by the recruitment policies of the UK Royal Training Colleges along with insufficient training in the sciences are core reasons as to why research misconduct and dishonesty prevail within the medical community. Furthermore, (...) the UK General Medical Council’s own data demonstrates a historic inattentiveness to the ease with which doctors can engage in research misconduct. Suggestions are made as to how these issues can be investigated and alternative incentives for career advancement are adumbrated. (shrink)

This article explores how the diversity of board resources and the number of women on boards affect firms' corporate social responsibility (CSR) ratings, and how, in turn, CSR influences corporate reputation. In addition, this article examines whether CSR ratings mediate the relationships among board resource diversity, gender composition, and corporate reputation. The OLS regression results using lagged data for independent and control variables were statistically significant for the gender composition hypotheses, but not for the resource diversitybased hypotheses. CSR ratings had (...) a positive impact on reputation and mediated the relationship between the number of women on the board and corporate reputation. (shrink)

One of the major roadblocks in conducting Environmental Corporate Social Responsibility (ECSR) research is operationalization of the construct. Existing ECSR measurement tools either require primary data gathering or special subscriptions to proprietary databases that have limited replicability. We address this deficiency by developing a transparent ECSR measure, with an explicit coding scheme, that strictly relies on publicly available data. Our ECSR measure tests favorably for internal consistency and inter-rater reliability, as well as convergent and discriminant validity.

The Theme. Strong forcing axioms like Martin’s Maximum give a reasonably satisfactory structural analysis of $H(\omega _2)$. A broad program in modern Set Theory is searching for strong forcing axioms beyond $\omega _1$. In other words, one would like to figure out the structural properties of taller initial segments of the universe. However, the classical techniques of forcing iterations seem unable to bypass the obstacles, as the resulting forcings axioms beyond $\omega _1$ have not thus far been strong enough! However, (...) with his celebrated work on generalised side conditions, I. Neeman introduced us to a novel paradigm to iterate forcings. In particular, he could, among other things, reprove the consistency of the Proper Forcing Axiom using an iterated forcing with finite supports. In 2015, using his technology of virtual models, Veličković built up an iteration of semi-proper forcings with finite supports, hence reproving the consistency of Martin’s Maximum, an achievement leading to the notion of a virtual model.In this thesis, we are interested in constructing forcing notions with finitely many virtual models as side conditions to preserve three uncountable cardinals. The thesis constitutes six chapters and three appendices that amount to 118 pages, where Section 1 is devoted to preliminaries, and Section 2 is a warm-up about the scaffolding poset of a proper forcing. In Section 3, we present the general theory of virtual models in the context of forcing with sets of models of two types, where we, e.g., define the “meet” between two virtual models and prove its properties.The main results are joint with Boban Veličković, and partly appeared in Guessing models and the approachability ideal, J. Math. Log. 21 (2021).Pure Side Conditions. In Section 4, we use two types of virtual models (countable and large non-transitive ones induced by a supercompact cardinal, which we call Magidor models) to construct our forcing with pure side conditions. The forcing covertly uses a third type of models that are transitive. We also add decorations to the conditions to add many clubs in the generic $\omega _2$. In contrast to Neeman’s method, we do not have a single chain, but $\alpha $ -chains, for an ordinal $\alpha $ with $V_\alpha \prec V_\lambda $. Thus, starting from suitable large cardinals $\kappa <\lambda $, we construct a forcing notion whose conditions are finite sets of virtual models described earlier. The forcing is strongly proper, preserves $\kappa $, and has the $\lambda $ -Knaster property. The relevant quotients of the forcing are strongly proper, which helps us prove strong guessing model principles. The construction is generalisable to a ${<}\mu $ -closed forcing, for any given cardinal $\mu $ with $\mu ^{<\mu }=\mu <\kappa $.The Iteration Theorem. In Section 5, we use the forcing with pure side conditions to iterate a subclass of proper and $\aleph _2$ -c.c. forcings and obtain a forcing axiom at the level of $\aleph _2$. The iterable class is closely related to Asperó–Mota’s forcing axiom for finitely proper forcings.Guessing Model Principles. Section 6 encompasses the main parts of the thesis. We prove the consistency of the guessing principle $\mathrm {GMP}^+(\omega _3,\omega _1)$ that states for any cardinal ${\theta \geq \omega _3}$, the set of $\aleph _2$ -sized elementary submodels M of $H(\theta )$, which are the union of an $\omega _1$ -continuous $\in $ -chain of $\omega _1$ -guessing, I.C. models is stationary in $\mathcal P_{\omega _3}(H(\theta ))$. The consistency and consequences of this principle are demonstrated in the following diagram. We also prove that one can obtain the above guessing models in a way that the $\omega _1$ -sized $\omega _1$ -guessing models remain $\omega _1$ -guessing model in any outer transitive model with the same $\omega _1$, and we denote this principle by $\rm{SGMP}^+(\omega_3,\omega_1)$.In the following diagram, $\mathrm{TP}$ stands for the tree property; $w\mathrm{KH}$ stands for the weak Kurepa Hypothesis; $\mathrm{MP}$ stands for Mitchell property, i.e., the approachability ideal is trivial modulo the nonstationary ideal; $\mathrm{AP}$ stands for the approachability property; $\mathrm {AMTP}(\kappa ^+)$ states that if $2^\kappa <\aleph _{\kappa ^+}$, then every forcing which adds a new subset of $\kappa ^+$ whose initial segments are in the ground model, collapses some cardinal $\leq 2^{\kappa }$. The dotted arrow denotes the relative consistency, while others are logical implications.Appendices. Appendix A includes merely the above diagram. Appendix B presents a proof of the Mapping Reflection Principle with finite conditions under $\mathrm {PFA}$. Appendix C contains open problems. Finally, the thesis’s bibliography consists of 42 items.Abstract prepared by Rahman MohammadpourE-mail: rahmanmohammadpour@gmail.comURL: https://theses.hal.science/tel-03209264. (shrink)

One way to compare different theoretical approaches to the study of technologies is to see what the difference is between their narratives of the construction of a particular technology. In this paper, we re-narrate the bicycle construction from the perspective of actor-network theory (ANT), comparing to SCOT’s first account of the construction. Although SCOT has moved closer to actor-network theory later by paying more attention to co-construction and materliaty, Pinch and Biker have not modified their account of the bicycle development (...) according to these theoretical changes, despite the fact that one decade later Bijker allocated one chapter, ‘king of the road’, to Safety bicycle development again. An ANT’s narrative of bicycle development can provide a basis for a concrete comparison between ANT and the classic version of SCOT. Or it could be argued that this narrative could complement the story of Pinch and Biker of bicycle development. While we present a new narrative of bicycle development in comparison with SCOT’s one, we offer a methodological framework in the ANT literature that can be considered as a methodological procedure to the study of artefacts in general; this framework has three elements: 1. Phenomenal Bracketing, 2. Collective construction, and 3. Co-construction. (shrink)

Ojectives Low energy hip fractures are one of the greatest causes of morbidity and mortality in orthopaedics. This study aims to evaluate written consent forms with respect to basic standards as set out in the Good Practice in Consent Initiative. In particular the stated risks and benefits of each procedure were assessed. Methods 100 consecutive consent forms were reviewed prospectively. The stated procedure, side and complications were recorded. Appropriate signature and legibility was assessed. 13 consultant orthopaedic surgeons were surveyed to (...) identify what risks and benefits they thought should be stated. Results Of 100 consent forms, 31 were for patients who are unable to consent. All 100 consent forms were correctly filled in with patient details and signed. 98% were legible. All stated the side of the operation. The number of complications listed per form ranged from 4 to 11. Infection, bleeding and thromboembolic complications were stated in the majority of consent forms. In total, 30 different complications were recorded; some were only stated once. Discussion and Conclusions This work suggests consent forms are completed well with respect to patient identifiers, legibility and procedure. The variability of complications stated is vast. We suggest standard pre-printed consent forms containing risks and benefits should be used as this may improve standards of informed consent. This has also been recently supported by the British Orthopaedic Association. (shrink)

Marcelo Dascal destaca en diversos artículos en los que analiza las consecuencias de la concepción pragmática del significado, la importancia de estudiar la estructura dialógica de la controversia argumentativa tanto epistemológica como lógica para la formulación de un concepto de conocimiento alternativo al concepto representacional y computacional usual en las ciencias cognitivas. Ahora bien, se supone que la lógica linear es el instrumento más apropiado para describir procesos computacionales de deducción. Irónicamente, las semánticas formales usuales, que podrían utilizarse para una (...) fundamentación representacional de la lógica linear han sido hasta ahora más bien infructuosas. Es más, parece que la semántica de la lógica linear es esencialmente pragmática y basada en una estructura dialógica. Objetivo de este trabajo es discutir una nueva semántica para la lógica linear que destaca precisamente los fundamentos pragmáticos de tales aspectos dialógicos entendidos como una controversia argumentativa, a saber, contexto de argumentación, relevancia e intercambio de información. (shrink)

Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call GM+ holds. This principle implies ISP and ISP, and hence th...

Maqasid al-Shariah based Islamic bioethics is an Islamic bioethics concept which uses the objectives of the Shariah as its approach in analysing and assessing bioethical issues. Analysis based on maqasid al-Shariah based Islamic bioethics will examine any bioethical issues from three main aspects namely intention, method, and output or final goal of the studied issues. Then, the evaluation will be analysed from human interest hierarchy, inclusivity, and degree of certainty. The Islamic bioethics concept is a manifestation of dynamic Islamic jurisprudence (...) which can overcome new complex and complicated bioethical issues such as tri-parent baby technology issues. Therefore, this article will introduce and explain the concept of maqasid al-Shariah based Islamic bioethics and outline a general guidance of maqasid al-Shariah based Islamic bioethics to determine a maqṣad based on standards of human good or well-being and harm. (shrink)

Cet article s’attache à définir la nation, en Afrique, par la notion de « révolution », c’est-à-dire d’une transformation totale de conditions anciennes – aussi bien précoloniales que coloniales – en vue de fonder des structures nationales progressistes et démocratiques. Usant de l’exemple des pays du Sahel, en particulier le Burkina Faso, le Mali et le Niger, l’article analyse cette révolution nationale comme un phénomène de cycle long, qui se déploie dans une contradiction entre un leadership politique de moins en (...) moins en adéquation avec elle, et des peuples de plus en plus conscients et exigeants quant à leurs droits civiques. Cette contradiction est par ailleurs déterminée différemment par les problèmes politiques propres au cadre urbain et au cadre rural. Elle aboutit à des luttes et contestations opposant peuples et élites qui indiquent que, si la révolution nationale est loin d’être accomplie, elle n’a pas non plus simplement avorté. (shrink)

The integration of digital technologies into social science has catalyzed the development of fields such as digital sociology, digital humanities, and digital social sciences more broadly. This technological shift has significant methodological implications for social science research, which are being increasingly discussed. This discussion raises critical questions about the potential and limitations of merging traditional social research methodologies with digital innovations. Digitized and digital methods have brought about promises of a new era in social science research. However, some scholars have (...) highlighted the challenges and limitations associated with this methodological transition, including data-relevant considerations, skill and expertise issues, and ethical concerns. From the vantage point of advancements in science and technology studies (STS) – a discipline that has engaged with the methods and practices of knowledge production for some decades – I will explore five additional methodological challenges posed by the digitization of social science research that has been largely overlooked or neglected in the literature of digital methods. Our analysis concludes that while digital methods can serve as valuable complementary tools, they are not sufficient to fully engage with the core practices and phenomena of social science research. Thus, digital and traditional methods can coexist, albeit not in a symmetrical manner. (shrink)

Martin Buber has always made it clear that his dialogic principle is not to be treated as an abstract conception but an ontological reality. But admittedly, in I And Thou he could only point to such reality and could not properly present it in discursive prose. However there are instances in the text where he strives to do the latter. One particular instance is where he elaborates the emergence of consciousness of “I”. Through this elaboration, what Buber has tried to (...) point at is the bringing forth of the primary word ‘I-It’ forming part of his dialogic principle, as it ‘emerges round about’ the perceptual consciousness realised in body as some sort of a ‘primitive function of knowledge’. However, this still amounts only to an abstract conception, and not to a description of ontological reality as Buber would have aspired for. Hence the thought: what if there exists an endeavour carried out independently of Buber’s work, nevertheless in the same spirit as Buber but without his notorious mixing up of philosophy and religion? There indeed has been such an Existential-phenomenological take on embodiment and perception by the French phenomenologist Maurice Merleau-Ponty, as is laid out in his magnum opus Phenomenology of Perception. In the present paper we will explicate this interesting coincidence, thereby honouring Buber’s aspiration for ontological status to his dialogic principle, at the same time demonstrating how existentially resonating and ontologically converging the thought of these two great thinkers’ have been, though they had totally different intellectual pursuits and concerns. (shrink)

Lincoln and Guba provided some principles and four evaluative criteria called “trustworthiness” to guide social science research naturalistically. However, drawing on Science and Technology Studies (STS) literature, a field engaged with methods and practices of science for several decades, one can argue that this approach is not still fully naturalistic. In this paper, we review Lincoln and Guba’s four criteria of trustworthiness from an STS perspective. We argue that the STS literature can challenge these criteria, but at the same time (...) they have the potential to be reconstructed with the help of the materials STS provides. (shrink)

The ability to learn complex tasks is fundamental to being human. Rahman and Gray examine this process in the context of learning to play a simple video game, using a tool called SpotLight to examine the low‐level process of skill and strategy improvements during this process. This paper was awarded the Allen Newell Best Student‐Led Paper Award at ICCM 2019.

Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and (...) law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context. (shrink)

Sexual exploitation of children is a worldwide problem and Bangladesh is not immune from it. Children are being exploited sexually in various ways in Bangladesh and this trend is alarmingly increasing. The study is an attempt to analyze the nature and types of child exploitation as a victim in different contexts, such as housemaid, paedophilianism, child marriage and so on. It also tries to reveal the causes and consequences of the sexual exploitation of the child in Bangladesh. The data and (...) information for the study have been collected from field investigation and personal observation. The paper ends with some recommendations to redress the problem. (shrink)

In [15] we defined and proved the consistency of the principle $\mathrm {GM}^+(\omega _3,\omega _1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega _2$ and $\omega _3$. In this paper we formulate a strengthening of $\mathrm {GM}^+(\omega _3,\omega _1)$ that we call $\mathrm {SGM}^+(\omega _3,\omega _1)$. We also prove, modulo the consistency of two supercompact cardinals, that $\mathrm {SGM}^+(\omega _3,\omega _1)$ is consistent with ZFC. In addition to all the consequences of $\mathrm {GM}^+(\omega _3,\omega _1)$, (...) the principle $\mathrm {SGM}^+(\omega _3,\omega _1)$, together with some mild cardinal arithmetic assumptions that hold in our model, implies that any forcing that adds a new subset of $\omega _2$ either adds a real or collapses some cardinal. This gives a partial answer to a question of Abraham [1] and extends a previous result of Todorčević [16] in this direction. (shrink)

Mitochondrial replacement technology (MRT) is an emerging and complex bioethical issue. This treatment aims to eliminate maternal inherited mitochondrial DNA (mtDNA) disorders. For Muslims, its introduction affects every aspect of human life, especially the five essential interests of human beings—namely, religion, life, lineage, intellect, and property. Thus, this technology must be assessed using a comprehensive and holistic approach addressing these human essential interests. Consequently, this article analyses and assesses tri-parent baby technology from the perspective of Maqasidic bioethics—that is, Islamic bioethics (...) based on the framework of Maqasid al-Shariah. Using this analysis, this article suggests that tri-parent baby technology should not be permitted for Muslims due to the existence of third-party cell gametes which lead to lineage mixing and due to the uncertain safety of the therapy itself and because the major aim of the technology is to fulfil the affected couples interest to conceive their own genetically healthy child, not to treat and cure mtDNA disorders sufferers. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

The Heisenberg-Gabor uncertainty principle defines the limits of information resolution in both time and frequency domains. The limit of resolution discloses unique properties of a time series by frequency decomposition. However, classical methods such as Fourier analysis are limited by spectral leakage, particularly in longitudinal data with shifting periodicity or unequal intervals. Wavelet transformation provides a workable compromise by decomposing the signal in both time and frequency through translation and scaling of a basis function followed by correlation or convolution with (...) the original signal. This study aimed to compare the accuracy of predictive models in mental arithmetic in time and frequency domains. Analysis of the author's response time at mental arithmetic using a soroban was modeled for two periods, an initial period, and a return period both separated by an interval of 370 days. The median response times in seconds was longer for all tasks during the TI compared to the TR period, for addition [CTAdd 62 vs 50 s] and summation [CTSum 68 vs 57 s]. Response times were longer for errors regardless of the study period or task. There was an increasing phase difference for the addition and summation tasks during the TI period toward the end of the series 49.65o compared to the TR period where the phase difference between the two tasks was only 2.05o, indicating that both tasks are likely demonstrating similar learning rates during the latter study period. A comparison between time and time/frequency domain forecasts for an additional 100 tasks demonstrated higher accuracy of the maximum overlap discrete wavelet transform model, where the mean absolute percentage error ranged between 5.48 and 8.19% and that for the time domain models [autoregressive integrated moving average, generalized autoregressive conditional heteroscedasticity ] was 6.16–10.80%. (shrink)

Assuming $\mathrm{PFA}$, we shall use internally club $\omega _1$ -guessing models as side conditions to show that for every tree T of height $\omega _2$ without cofinal branches, there is a proper and $\aleph _2$ -preserving forcing notion with finite conditions which specialises T. Moreover, the forcing has the $\omega _1$ -approximation property.

the demise of the logical positivism programme. The answers given to these qu- tions have deepened the already existing gap between philosophy and the history and practice of science. While the positivists argued for a spontaneous, steady and continuous growth of scientific knowledge the post-positivists make a strong case for a fundamental discontinuity in the development of science which can only be explained by extrascientific factors. The political, social and cultural environment, the argument goes on, determine both the questions and (...) the terms in which they should be answered. Accordingly, the sociological and historical interpretation - volves in fact two kinds of discontinuity which are closely related: the discontinuity of science as such and the discontinuity of the more inclusive political and social context of its development. More precisely it explains the discontinuity of the former by the discontinuity of the latter subordinating in effect the history of science to the wider political and social history. The underlying idea is that each historical and - cial context generates scientific and philosophical questions of its own. From this point of view the question surrounding the nature of knowledge and its development are entirely new topics typical of the twentieth-century social context reflecting both the level and the scale of the development of science. (shrink)

Purpose This study aims to analyze how English-language versions of e-newspapers in the first two countries affected, China and Japan, which are non-English-speaking countries and have different socio-economic and political settings, have highlighted Coronavirus disease 2019 pandemic news and informed the global community. Design/methodology/approach A text-mining approach was used to explore experts’ thoughts as published by the two leading English-language newspapers in China and Japan from January to March 2020. This study analyzes the Opinion section, which mainly comprises editorial and (...) the op-ed section. The current study groups all editorial discussions and highlights into ten major aspects, which cover health, economy, politics, culture and others. Findings Within the first three months, the media in both China and Japan shifted their focus from health and preparedness to the economy, politics and social welfare. Governance and social welfare were key concerns in China’s news media, while, in contrast, global politics received the highest level of attention from experts in Japan’s news media. Environment and technologies aspects did not receive much attention by the expert’s columns. Originality/value At the initial stage of a world crisis, how leading nations and initially affected nations deal with the problem, how media play their role and guide mass population with experts’ thoughts are highlighted here. The understanding developed in this study can provide guidance to news media in other countries in playing effective roles in the management of this health crisis and catastrophes. (shrink)

Recent work on the development of a dialogical approach to the logic of fiction stresses the notion of existence as choice. Moreover, this approach to existence has been combined with the notion of ontolog-ical dependence as deployed by A. Thomasson’s artifactual theory of fiction. In order to implement such a combination within the dialogical frame several predicates of ontological dependence have been de-fined. However, the definition of such predicates seems to lean on a model-theoretic semantics for mod-al logic after all. (...) The main aim of the present paper is to set a dialogical frame for the study of fictions in the context of the dialogical approach of CTT recently developed by S. Rahman and N. Clerbout where a fully-interpreted language is unfolded. We will herewith develop the idea that in such a setting fiction-al entities are understood as hypothetical objects, that is, objects (functions) the existence of which is dependent upon one or more hypotheses that restrict the scope of choices available. We will finish the paper by suggesting that this provides both a natural and genuinely dialogical way to understand R. Frigg’s take on scientific models as fictions and a new perspective on Thomasson’s notion of generic ontological dependence. Keywords: fiction, dialogues, dialogical logic, hypothetical objects, scientific models. (shrink)

The social impacts of computer technology are often glorified in public discourse, but there is growing concern about its actual effects on society. In this article, we ask: how does “consent” as an analytical framework make visible the social dynamics and power relations in the capture, extraction, and labor of data science knowledge production? We hypothesize that a form of boundary violation in data science workplaces—gender harassment—may correlate with the ways humans’ lived experiences are extracted to produce Big Data. The (...) concept of consent offers a useful way to draw comparisons between gender relations in data science and the means by which machines are trained to learn and reason. Inspired by how Big Tech leaders describe unsupervised machine learning, and the co-optation of “revolutionary” rhetoric they use to do so, we introduce a concept we call “techniques of invisibility.” Techniques of invisibility are the ways in which an extreme imbalance between exposure and opacity, demarcated along fault lines of power, are fabricated and maintained, closing down the possibility for bidirectional transparency in the production and applications of algorithms. Further, techniques of invisibility, which we group into two categories—epistemic injustice and the Brotherhood—include acts of subjection by powerful actors in data science designed to quell resistance to exploitative relations. These techniques may be useful in making further connections between epistemic violence, sexism, and surveillance, sussing out persistent boundary violations in data science to render the social in data science visible, and open to scrutiny and debate. (shrink)

RésuméCette première étude permet notamment de dégager ce résultat épistémologique: les différentes formes d’“inférence co-relationnelle” connues dans la jurisprudence islamique sous le nom de qiyās représentent une forme innovante et sophistiquée de raisonnement qui permet non seulement d'avoir une conception épistémologique plus claire du raisonnement légal en général, mais aussi de produire une mécanique bien huilée pour le “raisonnement parallèle”; cette mécanique du “raisonnement parallèle” peut être déployée selon un large spectre dans différents cadres de résolution de problèmes et ne (...) semble pas se réduire aux formes standard de l'argumentation analogique étudiées en philosophie des sciences contemporaine. Nous n'aborderons cependant dans la présente étude que le cas de la dénommée “inférence co-relationnelle du facteur occasionnel”, et ce seulement dans le contexte de la jurisprudence islamique. (shrink)