The paradoxes about truth are the subject of extensive research. Developing an original approach, this book argues that we should diverge from classical logic and presents a number of formal theories of truth. Also included is a beginner-friendly introduction to semantic paradoxes, and a discussion of alternative non-classical theories.

In this paper the language of first-order modal logic is enriched with an operator @ ('actually') such that, in any model, the evaluation of a formula @A at a possible world depends on the evaluation of A at the actual world. The models have world-variable domains. All the logics that are discussed extend the classical predicate calculus, with or without identity, and conform to the philosophical principle known as serious actualism. The basic logic relies on the system K, whereas others (...) correspond to various properties that the actual world may have. All the logics are axiomatized. (shrink)

In this paper, I investigate a system of quantified modal logic, due in many respects to Bressan (see [2]), from several perspectives -- both semantic and proof-theoretic. As Anderson and Belnap note in [1]: "It seems to be generally conceded that formal systems are natural or substantial if they can be looked at from several points of view. We tend to think of systems as artificial or ad hoc if most of their formal properties arise from some one notational system (...) in terms of which they are described." My efforts in this paper will be in part to lend substantiality to the system in question. Several formulation of the system are given and proved equivalent in appropriate senses. Also, some comments are made concerning possible alternative formulations. (shrink)

The word 'actually' often refers to what is in fact the case, but it also often points to what would have been the case in a possible situation that is being envisaged. To capture such nuances, the formal languages discussed in the paper add subscripts to modal operators; in the model theory the subscripts allow an actuality operator to turn the evaluation of a formula to a world introduced by a preceding possibility or necessity operator having the same subscript. The (...) paper covers both propositional and predicate logic and proves the completeness of axiomatizations that extend standard modal systems beginning with K. (shrink)

Existentialism about propositions is the view that a proposition expressed in a sentence containing a nonempty name or indexical depends ontologically on the referent of the name or indexical: the proposition could not exist if the referent did not. The paper focuses on names. It discusses some arguments for existentialism and then presents a novel one. That argument does not presuppose that propositions have constituents, and it could be accepted by those who hold broadly Fregean views about names. It shows (...) that, for example, if Aristotle had not existed, no sentence could have meant that Aristotle is a philosopher. The paper also touches on the consequences of existentialism. (shrink)

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as 'actually' and 'in fact' are not indexicals like 'here' and 'now'; when e.g. 'Snow is actually white' is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that 'actually' and its cognates do play. It is also argued (...) that the sentence ⌜Actually S ⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S ⌝, it is not sufficient to prefix the word 'necessarily'. (shrink)

Logic problems Content Type Journal Article Pages 1-4 DOI 10.1007/s11016-011-9538-0 Authors Yannis Stephanou, Department of Philosophy and History of Science, University of Athens, University Campus, 157 71 Athens, Greece Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Ratio, Volume 35, Issue 2, Page 104-111, June 2022.

The liar and kindred paradoxes show that we can derive contradictions if our language possesses sentences lending themselves to paradox and we reason classically from schema about truth: Sis true iffp, where the letter p is to be replaced with a sentence and the letter S with a name of that sentence. This article presents a theory of truth that keeps at the expense of classical logic. The theory is couched in a language that possesses paradoxical sentences. It incorporates all (...) the instances of the analogue of for that language and also includes other platitudes about truth. The theory avoids contradiction because its logical framework is an appropriately constructed nonclassical propositional logic. The logic and the theory are different from others that have been proposed for keeping, and the methods used in the main proofs are novel. (shrink)

The liar and kindred paradoxes show that we can derive contradictions when we reason in accordance with classical logic from the schema (T) about truth: S is true iff p, where ‘p’ is to be replaced with a sentence and ‘S’ with a name of that sentence. The paper presents two arguments to the effect that the blame lies not with (T) but with classical logic. The arguments derive contradictions using classical logic, but instead of appealing to (T), they invoke (...) semantic claims that seem even harder to reject. The first argument relies on two standard semantic principles that are not disquotational and on the claim that if there is such a thing as the property of being true, then ‘true’ expresses that property. The second argument relies on a schema about meaning: S means that p, where ‘S’ and ‘p’ are to be replaced as before. (shrink)

Take a formula of first-order logic which is a logical consequence of some other formulae according to model theory, and in all those formulae replace schematic letters with English expressions. Is the argument resulting from the replacement valid in the sense that the premisses could not have been true without the conclusion also being true? Can we reason from the model-theoretic concept of logical consequence to the modal concept of validity? Yes, if the model theory is the standard one for (...) sentential logic; no, if it is the standard one for the predicate calculus; and yes, if it is a certain model theory for free logic. These conclusions rely inter alia on some assumptions about possible worlds, which are mapped into the models of model theory. Plural quantification is used in the last section, while part of the reasoning is relegated to an appendix that includes a proof of completeness for a version of free logic. (shrink)

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as ‘actually’ and ‘in fact’ are not indexicals like ‘here’ and ‘now’; when e.g. ‘Snow is actually white’ is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that ‘actually’ and its cognates do play. It is also argued (...) that the sentence ⌜Actually S⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S⌝, it is not sufficient to prefix the word ‘necessarily’. (shrink)

The building of a global model of carcinogenesis is one of modern biology’s greatest challenges. The traditional somatic mutation theory is now supplemented by a new approach, called the Tissue Organization Field Theory. According to TOFT, the original source of cancer is loss of tissue organization rather than genetic mutations. In this paper, we study the argumentative strategy used by the advocates of TOFT to impose their view. In particular, we criticize their claim of incompatibility used to justify the necessity (...) to definitively reject SMT. First, we note that since it is difficult to build a non-ambiguous experimental demonstration of the superiority of TOFT, its partisans add epistemological and metaphysical arguments to the debate. This argumentative strategy allows them to defend the necessity of a paradigm shift, with TOFT superseding SMT. To do so, they introduce a notion of incompatibility, which they actually use as the Kuhnian notion of incommensurability. To justify this so-called incompatibility between the two theories of cancer, they move the debate to a metaphysical ground by assimilating the controversy to a fundamental opposition between reductionism and organicism. We show here that this argumentative strategy is specious, because it does not demonstrate clearly that TOFT is an organicist theory. Since it shares with SMT its vocabulary, its ontology and its methodology, it appears that a claim of incompatibility based on this metaphysical plan is not fully justified in the present state of the debate. We conclude that it is more cogent to argue that the two theories are compatible, both biologically and metaphysically. We propose to consider that TOFT and SMT describe two distinct and compatible causal pathways to carcinogenesis. This view is coherent with the existence of integrative approaches, and suggests that they have a higher epistemic value than the two theories taken separately. (shrink)

Place is a key concept in environmental studies and criticism. However, it is often overlooked as a dimension of situatedness in social studies of information. Rather, situatedness has been defined primarily as embodiment or social context. This paper explores place attachments in Big Data by adapting close and distant approaches for reading texts to examine the accessions data of the Arnold Arboretum, a living collection of trees, vines and shrubs established by Harvard University in 1872. Although it is an early (...) and unconventional example of the phenomenon, there are several reasons that the Arboretum is a useful site for investigating the relationship between Big Data and place. First, the category of place is embedded in a range of data fields used in the Arboretum’s records. Second, the Arboretum has long sought to be a place in which scientists and citizens alike can encounter large collections of data firsthand. Third, the place has shaped fluctuations in the daily production of data over the course of the Arboretum’s 144 year history. Furthermore, Arboretum data can help us see place in ways not necessarily tied to geolocation. Each of these place attachments suggests a different way in which data can be environmental: by being about, in, from, or generative of place. Taken together, these attachments offer a model for examining other data in relation to their environments. Moreover, the paper contends that rather than being detached from place, as prevailing discourses suggest, Big Data bring together more and further reaching place attachments than data sets of smaller sizes. (shrink)

This paper is devoted to computer modelling of the development and regeneration of multicellular biological structures. Some species are able to regenerate parts of their body after amputation damage, but the global rules governing cooperative cell behaviour during morphogenesis are not known. Here, we consider a simplified model organism, which consists of tissues formed around special cells that can be interpreted as stem cells. We assume that stem cells communicate with each other by a set of signals, and that the (...) values of these signals depend on the distance between cells. Thus the signal distribution characterizes location of stem cells. If the signal distribution is changed, then the difference between the initial and the current signal distribution affects the behaviour of stem cells—e.g. as a result of an amputation of a part of tissue the signal distribution changes which stimulates stem cells to migrate to new locations, appropriate for regeneration of the proper pattern. Moreover, as stem cells divide and form tissues around them, they control the form and the size of regenerating tissues. This two-level organization of the model organism, with global regulation of stem cells and local regulation of tissues, allows its reproducible development and regeneration. (shrink)

Background Ethical considerations play a prominent role in the protection of human subjects in clinical research. To date the disclosure of ethical protection in clinical research published in the international nursing journals has not been explored. Our research objective was to investigate the reporting of ethical approval and informed consent in clinical research published in leading international nursing journals. Methods This is a retrospective observational study. All clinical research published in the five leading international nursing journals from the SCI Journal (...) Citation Reports between 2015 and 2017 were retrieved to evaluate for evidence of ethical review. Results A total of 2041 citations have been identified from the contents of all the five leading nursing journals that were published between 2015 and 2017. Out of these, 1284 clinical studies have been included and text relating to ethical review has been extracted. From these, most of prospective clinical studies discussed informed consent. Only half of those reported that written informed consent had been obtained; few reported oral consent, and few used other methods such as online consent or completion and return of data collection to denote assent. Notably, 36.2% of those did not describe the method used to obtain informed consent and merely described that “consent was obtained from participants or participants agreed to join in the research”. Furthermore, whilst most of clinical studies mentioned ethical approval; 92.5% of those stated the name of ethical committee and interestingly, only 37.1% of those mentioned the ethical approval reference. The rates of reporting ethical approval were different between different study type, country, and whether financial support was received. Conclusion The reporting of ethics in leading international nursing journals demonstrates progress, but improvement of the transparency and the standard of ethical reporting in nursing clinical research is required. (shrink)

The field of synthetic biology is looking forward engineering framework for safely designing reliable de-novo biological functions. In this undertaking, Computer-Aided-Design environments should play a central role for facilitating the design. Although, CAD environment is widely used to engineer artificial systems the application in synthetic biology is still in its infancy. In this article we address the problem of the design of a high level language which at the core of CAD environment. More specifically the Gubs language is a specification (...) language used to describe the observations of the expected behaviour. The compiler appropriately selects components such that the observation of the synthetic biological function resulting to their assembly complies to the programmed behaviour. (shrink)

This book offers an interdisciplinary approach - historical, literary, art-historical and archaeological - to the topics of ideology and identity in the medieval East Roman world. The individual chapters explore ideological discourses and practices in various contexts. In particular, they focus on the content of ideas and their role in shaping different kinds of group attachments and identifications within the imperial social order. Moreover, they explore the various visions of community which different collective identity discourses projected within and beyond the (...) political boundaries of the empire. Including both top-down and bottom-up perspectives, and exploring both the empire's centre and its periphery, this collection offers new insights into ideology and identity in the Byzantine world. (shrink)

The classic model of blood pressure regulation by Guyton et al. set a new standard for quantitative exploration of physiological function and led to important new insights, some of which still remain the focus of debate, such as whether the kidney plays the primary role in the genesis of hypertension. Key to the success of this model was the fact that the authors made the computer code freely available and eventually provided a convivial user interface for exploration of model behavior (...) on early microcomputers. Ikeda et al. developed an offshoot of the Guyton model targeting especially the regulation of body fluids and acid–base balance; their model provides extended renal and respiratory functions and would be a good basis for further extensions. In the interest of providing a simple, useable version of Ikeda et al.’s model and to facilitate further such extensions, we present a practical implementation of the model of Ikeda et al., using the ODE solver Berkeley Madonna. (shrink)

What is the relation between image practices and the iconic power of flying and more specifically falconry? The book investigates for the first time this interaction by focusing on common intersections between culture and nature, vision and gaze, tactility and perception, perspective and surveillance, material and symbol. Also questions concerning political iconology, the migration of objects and images of human-animal interactions are addressed. With contributions by Baudouin van den Abeele, Horst Bredekamp, Robert Felfe, Peter Geimer, Yannis Hadjinicolaou, Christine Kleiter, (...) Klaus Krüger, Tanja Michalsky, Andrea Pinotti, Herman Roodenburg, Monika Wagner, Gerhard Wolf and Frank Zöllner. (shrink)

We present a model for genome evolution, comprising biologically plausible events such as transpositions inside the genome and insertions of exogenous sequences. This model attempts to formulate a minimal proposition accounting for key statistical properties of genomes, avoiding, as far as possible, unsupportable hypotheses for the remote evolutionary past. The statistical properties that are observed in genomic sequences and are reproduced by the proposed model are: (i) deviations from randomness at different length scales, measured by suitable algorithms, (ii) a special (...) form of size distribution (power law distribution) characterising different levels of genome organisation in the non‐coding, and (iii) extensive resemblance in the alternation of coding and non‐coding regions at several length scales (self‐similarity) in long genomic sequences of higher eukaryotes. BioEssays 23:647–656, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

In this article we present a new kind of computing device that uses biochemical reactions networks as building blocks to implement logic gates. The architecture of a computing machine relies on these generic and composable building blocks, computation units, that can be used in multiple instances to perform complex boolean functions. Standard logical operations are implemented by biochemical networks, encapsulated and insulated within synthetic vesicles called protocells. These protocells are capable of exchanging energy and information with each other through transmembrane (...) electron transfer. In the paradigm of computation we propose, protoputing, a machine can solve only one problem and therefore has to be built specifically. Thus, the programming phase in the standard computing paradigm is represented in our approach by the set of assembly instructions that directs the wiring of the protocells that constitute the machine itself. To demonstrate the computing power of protocellular machines, we apply it to solve a NP-complete problem, known to be very demanding in computing power, the 3-SAT problem. We show how to program the assembly of a machine that can verify the satisfiability of a given boolean formula. Then we show how to use the massive parallelism of these machines to verify in less than 20 min all the valuations of the input variables and output a fluorescent signal when the formula is satisfiable or no signal at all otherwise. (shrink)

Globalism endowed us with McDonald's, 'the world’s local bank’, English football teams without English players and an irrepressible desire for more as enough is never good enough – the blanket is always too short. Our personal world as much as our social and political realities seem to have blithely surrendered to the madness of a civilization which views anything from corporate greed and global warming to military adventures and religious fundamentalism as normal as a door banging in the wind. The (...) destructive capabilities of our age have run too far ahead of our wisdom. However, the process is not irreversible if our thinking can postpone its retirement. _In Bed with Madness_ is ‘a well-argued, powerful and profound indictment of contemporary culture’, stylishly written – a reviewer said he would have bought it just for its humour! (shrink)

The Enzymatic control reactions model was presented within the scope of fractional calculus. In order to accommodate the usual initial conditions, the fractional derivative used is in Caputo sense. The methodologies of the three analytical methods were used to derive approximate solution of the fractional nonlinear system of differential equations. Two methods use integral operator and the other one uses just an integral. Numerical results obtained exhibit biological behavior of real world problem.

Moral perception is typically understood as moral properties perception, i.e., the perceptual registration of moral properties such as wrongness or dignity. In this article, I defend a view of moral perception as a process that involves imaginative apprehension of reality. It is meant as an adjustment to the dominant view of moral perception as moral properties perception and as an addition to existing Murdochian approaches to moral perception. The view I present here builds on Iris Murdoch’s moral psychology and holds (...) that moral perception is an imaginative exploration of the particularity of concrete objects of moral reality (e.g., persons, situations, and events), rather than a registration of moral properties. I argue that such imaginative apprehension includes direct and reflective uses of imagination and that this process grounds experiential moral knowledge that serves the ultimate role of moral perception: getting a better grip on concrete objects of moral reality. (shrink)

There are two links that stand in the foreground of Deleuze’s treatment of Epicurus and Lucretius: the themes of immanent naturalism and of the externality of ontological relations. However, the links are problematised in Difference and Repetition, which presents an important critique of the concept of the atom. I will argue that this critique reveals the limits of the intellectual affinity between ancient atomism and Deleuzian metaphysics; in particular, that Deleuze’s notions of relationality and spatium respond to problems raised by (...) the relations between atoms and by the not-being of the atomists’ vacuum. In this sense, Deleuze’s treatment of atomism is significant because it makes clear Deleuze’s aim in shifting the mereological vocabulary from points to lines; it shows what, in Deleuze’s sense, it means to unfound and sets down the conditions for a successful Deleuzian critique of essentialist varieties of the metaphysics of structure. (shrink)

The authors present their experience and practices of introducing cloud services, as a means to simplify the adoption of ICT in education, using Free/Open Source Software. The solution creates a hybrid cloud infrastructure, in order to provide a pre-installed virtual machine, acting as a server inside the school, providing desktop environment based on the Software as a Service cloud model, where legacy PCs act as stateless devices. Classroom management is accomplished using the application “Epoptes.” To minimize administration tasks, educational software (...) is provided accordingly, either on-line or through repositories to automate software installation. The advantages of the hybrid cloud implementation, include services that are not completely dependent on broadband connections’ state, minimal cost, reusability of obsolete equipment, ease of administration, centralized management, patches and educational software provisioning and, above all, facilitation of the educational procedure. (shrink)

Est publié, dans cet article, un nouveau décret d’Akraiphia en l’honneur des métèques de la cité qui ont participé à une guerre contre un Démétrios. Ce Démétrios doit être identifié avec le roi Démétrios Poliorcète et la guerre doit être datée de la période des révoltes des Béotiens contre Démétrios Poliorcète au début du iiie s. av. J.‑C. La cité accorde aux métèques le privilège d’isotélie.

The critique of the dominant image of thought bears important consequences for pedagogical theory and practice. I discuss how Deleuze can help us think about the role of the teacher, the teaching of thinking and the relationship between knowledge and learning. Reading Deleuze's Difference and Repetition as a treatise on thinking and its education, I argue that Deleuze's philosophy challenges and deepens our understanding of what teachers do, how pupils learn and how they learn to think. I show that Deleuze's (...) philosophy can contribute towards the articulation of sceptical but also creative pedagogical responses to the question of teaching, learning and thinking. (shrink)

Social ontology studies the nature and properties of social reality while social metaontology examines the relationship between ontology and the social sciences, which is often treated as a normative question. However, social sciences themselves contain ontological theses, raising the descriptive question of how these internal ontologies relate to the rest of the social sciences. This paper argues that important parts of sociology have an anti-foundationalist metaontology. This descriptive claim is used to build a normative argument against foundationalism and is supported (...) by examining the works of Durkheim and Weber and how their metaontological beliefs continue to influence many sociologists. (shrink)

This article confronts two different evaluations of the narrative identity paradigm in order to examine the possibility of a minimal narrative, practical identity without excessive stress on psychic unity and moral wholeness. It consists of three sections. The first part explains the criticisms of Lippitt and Quinn. Both authors warn of the MacIntyrean narrative model's emphasis on psychic unity and moral wholeness and argue for an ethical thinking that is built around concepts of psychic disunity and moral openness. The second (...) section introduces thoughts of Korsgaard and Frankfurt as having one important intuition in common: both their insights express the idea that our identity conceptions are intimately connected with processes of practical and moral reasoning; the ways in which we see ourselves are significant for the ways in which we act. Their sort-like conclusions are linked to the insights of Kennett and Matthews, who argue with help of empirical research on Dissociative Identity Disorder and psychopathy that we should understand our practical identity conceptions narratively. The third and last section shows how the insights of the first and second sections can be brought together in a truthful vision of moral reasoning and the moral person. It argues for a more realistic perspective on morality without altogether banishing narrative thinking, centred on the concept of moral responsiveness. This results in the affirmation of a basal practical, narrative identity and the acceptance of qualities as improvisation and imagination in moral reasoning. (shrink)

The basilica of the Faculty of Medicine plot at Knossos in Crete (beginning of 5th c.) and that of Antigoneia in Albania (end of 6th - beginning of 7th c.) constitute up to now two isolated examples in Eastern Illyricum, of churches whose sanctuary is in the form of a triconch added at the east of the naves. The study of these two edifices throws light on their differences and similarities, both architectural and functional; on the other hand a comparison (...) with other churches in the Mediterranean basin shows that they belong to a particular type, whose origin may be found in certain funerary monuments at Rome and the regions under its influence. We consider the choice of this particular type of sanctuary, the place above all where the mystery of the Eucharist is performed simulating the Last Supper celebrated in the "stage piece" at Jerusalem. If the trefoil plan is derived from the funerary edifices where funerary banquets and repasts in honour of the martyrs were performed, it is equally related to the triconch triclinia of the wealthy residences found particularly in the western part of the Roman Empire. Lastly, the mosaic paving in the Antigoneia church, whose decoration reflects a theological preoccupation that also occurs in the murals and the pavements of other trefoil sanctuaries, suggests that the lateral apses probably had functions similar to those described by Saint Paulin of Nola. (shrink)