In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three (...) entailment relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a (...) generalized Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists (...) of linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)

Background Genomic research on neurodevelopmental disorders (NDDs), particularly involving minors, combines and amplifies existing research ethics issues for biomedical research. We performed a review of the literature on the ethical issues associated with genomic research involving children affected by NDDs as an aid to researchers to better anticipate and address ethical concerns. Results Qualitative thematic analysis of the included articles revealed themes in three main areas: research design and ethics review, inclusion of research participants, and communication of research results. Ethical (...) issues known to be associated with genomic research in general, such as privacy risks and informed consent/assent, seem especially pressing for NDD participants because of their potentially decreased cognitive abilities, increased vulnerability, and stigma associated with mental health problems. Additionally, there are informational risks: learning genetic information about NDD may have psychological and social impact, not only for the research participant but also for family members. However, there are potential benefits associated with research participation, too: by enrolling in research, the participants may access genetic testing and thus increase their chances of receiving a (genetic) diagnosis for their neurodevelopmental symptoms, prognostic or predictive information about disease progression or the risk of concurrent future disorders. Based on the results of our review, we developed an ethics checklist for genomic research involving children affected by NDDs. Conclusions In setting up and designing genomic research efforts in NDD, researchers should partner with communities of persons with NDDs. Particular attention should be paid to preventing disproportional burdens of research participation of children with NDDs and their siblings, parents and other family members. Researchers should carefully tailor the information and informed consent procedures to avoid therapeutic and diagnostic misconception in NDD research. To better anticipate and address ethical issues in specific NDD studies, we suggest researchers to use the ethics checklist for genomic research involving children affected by NDDs presented in this paper. (shrink)

Relational aspects, such as involvement of donor’s relatives or friends in the decision-making on participation in a research biobank, providing relatives’ health data to researchers, or sharing research findings with relatives should be considered when reflecting on ethical aspects of research biobanks. The aim of this paper is to explore what the role of donor’s relatives and friends is in the process of becoming and being a biobank donor and which ethical issues arise in this context. We performed qualitative analysis (...) of 40 qualitative semi-structured interviews with biobank donors and researchers. The results show that relatedness to relatives or other types of close relationships played a significant role in the donors’ motivation to be involved in a biobank, risk-benefit assessment, and decisions on sharing information on research and its results. Interviewees mentioned ethical issues in the context of sharing relatives’ health-related data for research purposes and returning research findings that may affect their relatives. We conclude that the question of what information on family members may be shared with a biobank by research participants without informed consent of those relatives, and when family members become research subjects, lacks a clear answer and detailed guidelines, especially in the context of the introduction of the European Union’s (EU) General Data Protection Regulation. Researchers in Latvia and EU face ethical questions and dilemmas about returning research results and incidental findings to donors’ relatives, and donors need more information on sharing research results with relatives in the informed consent process. (shrink)

The paper is concerned with the meaning of two modal postbases in Uummarmiutun, hungnaq ‘probably’ and ȓukȓau ‘should’. Uummarmiutun is an Inuktut dialect spoken in the Western Arctic. The analyses are founded on knowledge shared by native speakers of Uummarmiutun. Their statements and elaborations are quoted throughout the paper to show how they have explained the meaning nuances of modal expressions in their language. The paper also includes a comparison with cognates in Utkuhikšalingmiutut, which belongs to the eastern part of (...) the Western Canadian dialect group (Dorais, 2010). Using categories from Cognitive Functional Linguistics (Boye, 2005, 2012), the paper shows which meanings are covered by hungnaq and ȓukȓau. This allows us to discover subtle differences between the meanings of Uummarmiutun hungnaq and ȓukȓau and their Utkuhikšalingmiutut cognates respectively. (shrink)

An increasing number of European research projects return, or plan to return, individual genomic research results (IRR) to participants. While data access is a data subject’s right under the General Data Protection Regulation (GDPR), and many legal and ethical guidelines allow or require participants to receive personal data generated in research, the practice of returning results is not straightforward and raises several practical and ethical issues. Existing guidelines focusing on return of IRR are mostly project-specific, only discuss which results to (...) return, or were developed outside Europe. To address this gap, we analysed existing normative documents identified online using inductive content analysis. We used this analysis to develop a checklist of steps to assist European researchers considering whether to return IRR to participants. We then sought feedback on the checklist from an interdisciplinary panel of European experts (clinicians, clinical researchers, population-based researchers, biobank managers, ethicists, lawyers and policy makers) to refine the checklist. The checklist outlines seven major components researchers should consider when determining whether, and how, to return results to adult research participants: 1) Decide which results to return; 2) Develop a plan for return of results; 3) Obtain participant informed consent; 4) Collect and analyse data; 5) Confirm results; 6) Disclose research results; 7) Follow-up and monitor. Our checklist provides a clear outline of the steps European researchers can follow to develop ethical and sustainable result return pathways within their own research projects. Further legal analysis is required to ensure this checklist complies with relevant domestic laws. (shrink)

At the core of medicine is the idea to help fellow human beings by improving or even restoring their health. Let us call this the auxiliary stance of medicine—the motivation of medical intervention by reference to a moral obligation to guide our peers in their attempt to live a healthy and productive life. In parallel, the auxiliary stance is also central to public health, with a focus on prevention and health promotion. Taken together, we can view medicine and public health (...) as the two main human auxiliary endeavors to protect individuals and populations from health risks and help them to heal when sick. (shrink)

Biobanks act as the custodians for the access to and responsible use of human biological samples and related data that have been generously donated by individuals to serve the public interest and scientific advances in the health research realm. Risk assessment has become a daily practice for biobanks and has been discussed from different perspectives. This paper aims to provide a literature review on risk assessment in order to put together a comprehensive typology of diverse risks biobanks could potentially face. (...) Methodologically set as a typology, the conceptual approach used in this paper is based on the interdisciplinary analysis of scientific literature, the relevant ethical and legal instruments and practices in biobanking to identify how risks are assessed, considered and mitigated. Through an interdisciplinary mapping exercise, we have produced a typology of potential risks in biobanking, taking into consideration the perspectives of different stakeholders, such as institutional actors and publics, including participants and representative organizations. With this approach, we have identified the following risk types: economic, infrastructural, institutional, research community risks and participant’s risks. The paper concludes by highlighting the necessity of an adaptive risk governance as an integral part of good governance in biobanking. In this regard, it contributes to sustainability in biobanking by assisting in the design of relevant risk management practices, where they are not already in place or require an update. The typology is intended to be useful from the early stages of establishing such a complex and multileveled biomedical infrastructure as well as to provide a catalogue of risks for improving the risk management practices already in place. (shrink)

The COVID-19 pandemic demonstrated the benefits of international data sharing. Data sharing enabled the health care policy makers to make decisions based on real-time data, it enabled the tracking of the virus, and importantly it enabled the development of vaccines that were crucial to mitigating the impact of the virus. This data sharing is not the norm as data sharing needs to navigate complex ethical and legal rules, and in particular, the fragmented application of the General Data Protection Regulation (GDPR). (...) The introduction of the draft regulation for a European Health Data Space (EHDS) in May 2022 seeks to address some of these legal issues. If passed, it will create an obligation to share electronic health data for certain secondary purposes. While there is a clear need to address the legal complexities involved with data sharing, it is critical that any proposed reforms are in line with ethical principles and the expectations of the data subjects. In this paper we offer a critique of the EHDS and offer some recommendations for this evolving regulatory space. (shrink)

Based on a critical interpretative review of existing qualitative research investigating accounts of ‘lived experience’ of surrogates and intended parents from a relational perspective, this article proposes a typology of surrogacy arrangements. The review is based on the analysis of 39 articles, which belong to a range of different disciplines (mostly sociology, social psychology, anthropology, ethnology, and gender studies). The number of interviews in each study range from as few as seven to over one hundred. Countries covered include Australia, Canada, (...) Greece, India, Iran, Israel, Italy, Mexico, Norway, Russia, Sweden, UK, Ukraine, and the USA. Most studies focus only on surrogacy practices in one country (although often with intended parents from other countries), and some include several countries (e.g. interviewees from several countries or fieldwork in different field-sites). The proposed typology goes beyond the division between altruistic versus commercial, and traditional versus gestational surrogacy, in order to inform further research and to contribute to bioethical and policy debates on surrogacy in a transnational context. Four types of relations are identifiable: open, restricted, structured, and enmeshed. The criteria which influence these relationships are: the frequency and character of contact pre- and post-birth; expectations of both parties; the type of exchange involved in surrogacy arrangements; and cultural, legal, and economic contexts. The theoretical contribution of the article is to further the development of a relational justice approach to surrogacy. (shrink)

In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This (...) dissertation focuses on modal logics with dynamic operators for public announcements, belief revision, preference upgrades, and so on. These operators are defined in terms of mathematical operations on Kripke models. Thus, for example, a belief revision operator in the syntax would correspond to a belief revision operation on models. -/- The ‘dynamic’ semantics of dynamic modal logics are a clever way of extending languages without compromising on intuitiveness. We present ‘dynamic’ tableau proof systems for these dynamic semantics, with the express aim to make them conceptually simple, easy to use, modular, and extensible. This we do by reflecting the semantics as closely as possible in the components of our tableau system. For instance, dynamic operations on Kripke models have counterpart dynamic relations between tableaux. -/- Soundness, completeness, and decidability are three of the most important properties that a proof system may have. A proof system is sound if and only if any formula for which a proof exists, is true in every model. A proof system is complete if and only if for any formula that is true in all models, a proof exists. A proof system is decidable if and only if any formula can be proved to be a theorem or not a theorem in a finite number of steps. All proof systems in this dissertation are sound, complete, and decidable. -/- Part of our strategy to create modular tableau systems is to delay concerns over decidability until after soundness and completeness have been established. Decidability is attained through the operations of folding and through operations on ‘tableau cascades’, which are graphs of tableaux. -/- Finally, we provide a proof-of-concept implementation of our dynamic tableau system for public announcement logic in the Clojure programming language. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...) knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.

Descartes held that it is impossible to make true statements about what we perceive, but I go over alleged cases of illusory experience to show why such a skeptical conclusion (and recourse to God) is overblown. The overreaction, I contend, stems from an insufficient awareness of the habitual expectations brought to any given experience. These expectations manifest themselves in motor terms, as perception constantly prompts and updates an embodied posture of readiness for what might come next. Such habitual anticipations work (...) best when they efface themselves, so it is easy to blame perception when our expectations get frustrated. I illustrate this misdirected blame with the example of a stick partially in water: it is only because we expect the stick to be straight that its appearance as bent is deemed problematic. I thus conclude that, if we factor in the habitual interpretations operative in perception and switch to a processual view that allows practical engagement, we can deflate the worries that led Descartes to rule out perceptual truths. Distancing myself from the naïve “sign” of folk semiotics, my critique draws inspiration from the triadic semiotic model developed in some late medieval schools of Portugal. (shrink)

The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.

What makes public history more than just another hill to fight over in culture war politics? In this paper I propose a novel way of understanding the political significance of how public history creates and shapes identities: a contractarian one. I argue that public history can be sensibly understood as representing groups as a society’s contracting parties. One particular value of the contractarian approach is that it helps to elucidate the phenomenon of “signing on,” where a marginalized or oppressed group (...) is offered membership in a society without the social order being meaningfully changed. (shrink)

We introduce the Vital Sign Ontology (VSO), an extension of the Ontology for General Medical Science (OGMS) that covers the consensus human vital signs: blood pressure, body temperature, respiratory rate, and pulse rate. VSO provides a controlled structured vocabulary for describing vital sign measurement data, the processes of measuring vital signs, and the anatomical entities participating in such measurements. VSO is implemented in OWL-DL and follows OBO Foundry guidelines and best practices. If properly developed and extended, we believe the VSO (...) will find applications for the EMR, clinical informatics, and medical device communities. (shrink)

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

Abstract: Sign language recognition is one of the most rapidly expanding fields of study today. Many new technologies have been developed in recent years in the fields of artificial intelligence the sign language-based communication is valuable to not only deaf and dumb community, but also beneficial for individuals suffering from Autism, downs Syndrome, Apraxia of Speech for correspondence. The biggest problem faced by people with hearing disabilities is the people's lack of understanding of their requirements. In this paper we try (...) to fill this gap. By trying to translate sign language using artificial intelligence algorithms, we focused in this paper using transfer learning technique based on deep learning by utilizing a MobileNet algorithm and compared it with the previous paper results[10a], where we get in the Mobilenet algorithm on the degree of Accuracy 93,48% but the VGG16 the accuracy was 100% For the same number of images (43500 in the dataset in size 64*64 pixel ) and the same data split training data into training dataset (70%) and validation dataset(15%) and testing dataset(15%) and 20 epoch . (shrink)

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an (...) argument or subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided. (shrink)

As the English word “scientism” is currently used, it is a trivial verbal truth that scientism—an inappropriately deferential attitude to science—should be avoided. But it is a substantial question when, and why, deference to the sciences is inappropriate or exaggerated. This paper tries to answer that question by articulating “six signs of scientism”: the honorific use of “science” and its cognates; using scientific trappings purely decoratively; preoccupation with demarcation; preoccupation with “scientific method”; looking to the sciences for answers beyond their (...) scope; denying the legitimacy or worth of non-scientific (e.g., legal or literary) inquiry, or of writing poetry or making art. (shrink)

We explore Peirce’s pragmatic conception of sign action, as a distributed and emergent view of cognition and exemplify with the emergence of classical ballet. In our approach, semiosis is a temporally distributed process in which a regular tendency towards certain future outcomes emerges out of a history of sign actions. Semiosis self-organizes in time, in a process that continuously entails the production of more signs. Emergence is a ubiquitous condition in this process: the translation of signs into signs cannot be (...) inferred from the properties of the components of a semiotic triad alone, but has to take into account a complex interaction between a micro-semiotic and macro-semiotic level of description. This interaction can be understood as an interplay of potentialities and tendencies, or upward constitutive determinative relations and downward selective determinative relations. According to this view, emergence is a central defining condition of processes of meaning. Ballet is a sign in action. The emergence of classical ballet is a self-regulatory process, in which a system of different kinds of cognitive artifacts (musical, bodily/motor, spatial/architectonic) and agents obtained a stable semiotic relation throughout many phases of development between the 16th and the 19th Century. One case is the development of the verticality of dance in classical ballet as a semiotic relation connecting proscenium arch stages, dancing bodies, and audiences. This development is micro-semiotically determined by the spatial constraints of the proscenium arch stage, and macro-semiotically determined by a historical construction of the dancing body as a sign within a network of semiotic chains, such as the intersemiotic regulation of body of the dancer by principles coming from painting. This is not only the emergence of actual meaning, but also the emergence of an open-ended field of potential and general meanings, an autonomous tendency of development. To say that ballet, as sign action, emerges, is to say that cognitive artifacts such as dancer’s bodies, stages and audience’s point of view, musical compositions, costumes, all sorts of supporting institutions, etc, constitute a niche for sign action, interacting according to tendencies of development that didn’t exist before. (shrink)

American Sign Language, or ASL as its acronym is commonly known, is a fascinating language, and many people outside of the Deaf community have begun to recognize its value and purpose. It is a visual language consisting of coordinated hand gestures, body movements, and facial expressions. Sign language is not a universal language; it varies by country and is heavily influenced by the native language and culture. The American Sign Language alphabet and the British Sign Language alphabet are completely contrary. (...) Fingerspelling is one-handed in ASL and two-handed in BSL, with the exception of the letter C. AI technologies, particularly deep learning, can play an important role in breaking down communication barriers between deaf or hearing-impaired people and other communities, significantly contributing to their social inclusion. Recent advances in sensing technologies and AI algorithms have paved the way for the development of a wide range of applications aimed at meeting the needs of the deaf and hearing-impaired communities. To that end, the purpose of this paper is By attempting to translate sign language using artificial intelligence algorithms, we focused in this paper on a transfer learning technique based on deep learning using a ResNet algorithm and compared it to previous papers in which we used VGG19[1]and mobileNet [2], where we get in the ResNet algorithm on the degree of Accuracy 93,48% e number of images (43500 in the dataset in size 64*64 pixel ) and the data split training data into training dataset (70%) and validation dataset(15%) and testing dataset(15%) and 20 epoch. (shrink)

Signs evolve on colective inconsciousness.

This article analyses the use of signs (in a semiotic sense) in the analysis of Teresa of Avila's book, The Interior Castle. It takes one through the various levels of the castle, which stands as a sign for contemplation. Exploring Avila's creative use of imagery and language, it focus on what these signs (as pertaining to American semiotics and Charles S. Peirce) come to signify within Teresa's mental construction of the castle as a road to pure contemplation, in the Catholic (...) tradition. (shrink)

Commentaires sur le débat nativisme-empirisme au XIXe siècle et la théorie des signes locaux de Lotze.

Sign Language Recognition (SLR) aims to translate sign language into text or speech in order to improve communication between deaf-mute people and the general public. This task has a large social impact, but it is still difficult due to the complexity and wide range of hand actions. We present a novel 3D convolutional neural network (CNN) that extracts discriminative spatial-temporal features from photo datasets. This article is about classification of sign languages are not universal and are usually not mutually intelligible (...) although there are also similarities among different sign languages. They are the foundation of local Deaf cultures and have evolved into effective means of communication. Although signing is primarily used by the deaf and hard of hearing, hearing people also use it when they are unable to speak, when they have difficulty speaking due to a health condition or disability (augmentative and alternative communication), or when they have deaf family members, such as children of deaf adults. In this article we use the 43500 image in the dataset in size 64*64 pixel by use CNN Architecture and achieved 100% accuracy. (shrink)

“Black Star” music video was released two days before Bowie’s death. It bears various implications of dying and the notion of mortality is both literal and metaphorical. It is highly autobiographical and serves as a theatrical stage for Bowie to act both as a music performer and as a self-conscious human being. In this paper, we discuss the signs of mortality in Bowie’s “Black Star” music video-clip. We focus on video’s cinematic techniques and codes, on its motivic elements and on (...) its narrative in relation with music, lyrics, characters, and gestures. We also discuss the video’s intertextual references and the broader signification of the black star figure. We adopt a quasi-semiotic approach considering “Black Star” music video-clip as a text which can be investigated through its signs, codes, and conventions of the musical, visual, and cinematic languages as well. Our interdisciplinary tools derive from visual semiotics and audiovisual analysis models, without leaving outside Bowie’s musical-artistic and personal history. As it turns out, Bowie created a video clip that is philosophical in nature and poetic in structure, preserving the role of protagonist. With the visuals creating a psychedelic atmosphere, the lyrics often are heard as a personal confession. They both generate cognitive and emotional responses that influence the way the viewers-listeners may experience, decompose, and interpret Bowie’s artistic endeavor bridging life and death. (shrink)

Defends a version of the Davidsonian Demonstrative Theory of quotation against proponents of the Fregean Identity Theory.

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

there is a communication gap between hearing-impaired people and those with normal hearing, sign language is the main means of communication in the hearing-impaired population. Continuous sign language recognition, which can close the communication gap, is a difficult task since the ordered annotations are weakly supervised and there is no frame-level label. To solve this issue, we compare the accuracy of each model using two deep learning models, Inception and Xception . To that end, the purpose of this paper is (...) By attempting to translate sign language using deep learning models, we focused in this paper a comparing between Inception and Xception ¬¬¬¬¬ algorithm and compared it to previous papers in which we used VGG19[1], mobileNet [2], where we get in the Inception and Xception algorithm on the degree of Accuracy 99.32%, 99,43% respectively. number of images (29000 in the dataset in size 75*75 pixel ) and the data split training data into training dataset (70%) and validation dataset(15%) and testing dataset(15%) and 20 epoch. (shrink)

A Review of Outward Signs: The Powerlessness of External Things in Augustine’s Thought by Phillip Cary (Oxford: Oxford University Press, 2008), xxiv + 344 pp. -/- Phillip Cary has written another highly significant book on Augustine, and his writing displays the art of a master stylist. A complement to his Inner Grace, Outward Signs extends Cary’s thesis in Augustine and the Invention of the Inner Self: that Augus- tine’s Trinitarian and semiotic theology, groundbreaking as it was, remains beholden to a (...) Platonist privileging of inner vs. outer and idea over sacramental performance. Outward Signs should be of special interest to readers of Modern Theology, because the inwardness Cary interrogates displays a dimension of Augustine’s work that receives significant attention from a number of Modern Theology authors. Once again, Cary has offered an appropriate warning about any uncritical embrace of Augustine as theologian for the church today: the embrace could bring with it a turn to spiritualism, subjectivism, intellectualism, and also supersessionism (since the Old Testament and Jewish “law” belong to the merely outward life of the Word). Like Charles Taylor, Alasdair MacIntyre, and Richard Rorty before him, Cary captures the line of potential influence that moves from Plato to Augustine to Descartes and Kant. Here, knowledge tends to ocular knowing, and Cary shows how inadequate that model is to account for performative knowing in the church, of which sacramental life is one instance. But performative knowing would apply, as well, to the study of Augustine’s writ- ings. Read “outwardly,” Augustine’s corpus generates several possible vectors of theological practice. The stronger vectors may point “inward,” but readers should also attend to those (weak or strong) which point to that which is inward, outward, both, and neither. (shrink)

Signing Ceremony of MOU on Professional Legal Diploma, Government of Dubai 2020.

This article aims to draw on the ‘Qur'anic Rationalism’ of Taqī al-Dīn Ibn Taymiyya (1263–1328) in elucidating an Islamic epistemology of theistic natural signs, in the lens of contemporary philosophy of religion. In articulating what Ibn Taymiyya coins ‘God's method of proof through signs (istidlāluhu taʿālā bi'l-āyāt)’, it seeks aid in particular from the work of C. Stephen Evans and other contemporary philosophers of religion, in an attempt to understand the relevance and force of this alternative to natural theology within (...) the Islamic tradition. In doing so, it aims to respond to existing criticisms of Ibn Taymiyya's perspective in the literature, and to consider the implications of a Taymiyyan reading of theistic natural signs, on the epistemic function of Qur'anic āyāt as theistic evidence. (shrink)

The Marburg neo-Kantians argue that Hermann von Helmholtz's empiricist account of the a priori does not account for certain knowledge, since it is based on a psychological phenomenon, trust in the regularities of nature. They argue that Helmholtz's account raises the 'problem of validity' (Gueltigkeitsproblem): how to establish a warranted claim that observed regularities are based on actual relations. I reconstruct Heinrich Hertz's and Ludwig Wittgenstein's Bild theoretic answer to the problem of validity: that scientists and philosophers can depict the (...) necessary a priori constraints on states of affairs in a given system, and can establish whether these relations are actual relations in nature. The analysis of necessity within a system is a lasting contribution of the Bild theory. However, Hertz and Wittgenstein argue that the logical and mathematical sentences of a Bild are rules, tools for constructing relations, and the rules themselves are meaningless outside the theory. Carnap revises the argument for validity by attempting to give semantic rules for translation between frameworks. Russell and Quine object that pragmatics better accounts for the role of a priori reasoning in translating between frameworks. The conclusion of the tale, then, is a partial vindication of Helmholtz's original account. (shrink)

First of all, and above all, a sign is expected to be significant. A sign without significance is like a hollow husk. It is chaff without seed. Sign and significance are correlative terms like parent and child. Just as no one is a parent who has not begotten or borne a child so nothing which does not have significance can be a sign. On this point the English and the Latin words are self-explanatory. In English the words “sign” and “significance” (...) contain the same root. In the Latin words “significans” – that which signifies – and “significatum” – that which is signified – the correlation is even more obvious. In German, however, there is no such ready evidence of the correlation in the terms themselves. Indeed at first blush the terms “Zeichen” and “Bedeutung” seem so unrelated that philosophers have felt themselves constrained to write volumes of explanations on the term “Bedeutung”. (shrink)

In recent decades, philosophers of science have devoted considerable efforts to understand what models represent. One popular position is that models represent fictional situations. Another position states that, though models often involve fictional elements, they represent real objects or scenarios. Though these two positions may seem to be incompatible, I believe it is possible to reconcile them. Using a threefold distinction between different signs proposed by Peirce, I develop an argument based on a proposal recently made by Kralemann and Lattman (...) (in Synthese 190:3397–3420, 2013) that shows that the two aforementioned positions can be reconciled by distinguishing different ways in which a model representation can be used. In particular, on the basis of Peirce’s distinction between icons, indices and symbols, I argue that models can sometimes function as icons, sometimes as indexes and sometimes as symbols, depending on the context in which they are considered and the use that they are developed for because they all have iconic, indexical and symbolic features. In addition, I show that conceiving models as signs enables us to develop an account of scientific representation that meets the main desiderata that Shech (in Synthese 192:3463–3485, 2015) presents. (shrink)

Review Essay: C. Stephen Evans, Natural Signs and Knowledge of God: A New Look at Theistic Arguments, Oxford UP (2012).

Some recent scientific discoveries regarding the signs of language, which impact my own ongoing project as a visual/conceptual artist, also dramatically impact the Saussurian foundation of the prevalent cultural theories which underlie the curatorial priorities of many major art institutions.

Pseudoskepticism, which typically is portraying someone's work as despicable with scientifically unsound polemics, is a modern day threat to the traditional standard of discussion in science and popular science. This essay gives seven tell-tale signs by which pseudoskepticism can be recognized.

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different categories, (...) on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

Is art and wrting a pagan manifestation of profane thoughts and feelings? What about the sacred art? Is there a link between the two? In other hand, the social status of the artist and semo processes of artistic creation, his strategy, his willing, his fundamentals.

This paper contests a point that Jacques Derrida and John Searle actually agree on, within their infamous debate: that a sign must be repeatable. I focus on a situation involving dissent when evaluating this claim.