Abstract: Tomatoes are part of the major crops in food security. Tomatoes are plants grown in temperate and hot regions of South American origin from Peru, and then spread to most countries of the world. Tomatoes contain a lot of vitamin C and mineral salts, and are recommended for people with constipation, diabetes and patients with heart and body diseases. Studies and scientific studies have proven the importance of eating tomato juice in reducing the activity of platelets in diabetics, which (...) helps in protecting them from developing deadly blood clots. A tomato classification approach is presented with a data set containing approximately 5,266 images with 7 species belonging to tomatoes. The Neural Network Algorithms (CNN), a deep learning technique applied widely in image recognition, is used for this task. (shrink)

SummaryHow can the immense amount of suffering and waste inherent in the evolutionary process be reconciled with the existence of a perfectly good and omnipotent God? A widely embraced proposal in the area of “evolutionary theodicy” is the so-called “Only Way”-argument. This argument contends that certain valuable goods – in particular, creaturely independence and human freedom – can only come about through a genuinely indeterministic and partly uncontrolled process of evolution. In a previous article, I have argued that the “Only (...) Way”-argument can be defeated by a “Twin Earth”-thought experiment: If God is omnipotent, he could have created – directly, without evolution – creatures that are molecule-for-molecule identical to those that he actually created through evolution. If the creatures that he actually created have freedom and independence, there is no valid reason to deny that the non-evolved “twin creatures” would also be free and independent. Recently, Eikrem and Søvik have suggested a way of blocking my Twin Earth-argument by appealing to the distinction between type-values and token-values. While ES admit that the Twin Earth-argument shows the non-necessity of evolution for the existence of certain type-goods, they argue that an evolutionary creation can be justified by appeal to valuable token-goods that could not have existed without evolution. In this article, I respond to ES’s token-goods argument by showing that it is incompatible with a basic presupposition of “Only Way” evolutionary theodicies, namely the claim that the evolutionary process is genuinely indeterministic and partly uncontrolled. (shrink)

Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, (...) motivated from pre-mathematical considerations, without recourse to homotopy theory. (shrink)

In section I the notions of logical and inductive probability will be discussed as well as two explicanda, viz. degree of confirmation, the base for inductive probability, and degree of evidential support, Popper's favourite explicandum. In section II it will be argued that Popper's paradox of ideal evidence is no paradox at all; however, it will also be shown that Popper's way out has its own merits.

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory, an important form (...) of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined. (shrink)

This study explored possible deficits in selective attention brought about by Dementia of Alzheimer Type (DAT). In three experiments, we tested patients with early DAT, healthy elderly, and young adults under low memory demands to assess perceptual filtering, conflict resolution, and set switching abilities. We found no evidence of impaired perceptual filtering nor evidence of impaired conflict resolution in early DAT. In contrast, early DAT patients did exhibit a global cost in set switching consistent with an inability to maintain (...) the goals of the task (mental set). We discuss these findings in relation to the DAT literature on executive attention, dual-tasking, and working memory. Ó 2007 Elsevier Inc. All rights reserved. (shrink)

I assess Robert Kane's view that global Frankfurt-type cases don't show that freedom to do otherwise is never required for moral responsibility. I first adumbrate Kane's indeterminist account of free will.This will help us grasp Kane's notion of ultimate responsibility, and his claim that in a global Frankfurt-type case, the counterfactual intervener could not control all of the relevant agent's actions in the Frankfurt manner, and some of those actions would be such that the agent could have done (...) otherwise. Appealing to considerations of responsibility and luck, I then show that the global cases survive Kane's objections. (shrink)

A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the presence of a perfectly reliable indicator (or prior sign ) of what an agent will freely do if left to act on his own, are guilty of begging the question against incompatibilists, since such indicators seem to presuppose a deterministic relation between an agent’s free action and its causal antecedents. (...) Objections of this sort have given rise to considerable efforts to construct alternative Frankfurt-type counterexamples that do not rely on prior signs of this kind and so do not presuppose determinism in a way that incompatibilists should find objectionable. One consequence of this shift in the way Frankfurt-type counterexamples are formulated is that it provides an opportunity for the forceful resurgence of certain versions of the so-called flicker defense of PAP. In this paper I develop two versions of the flicker defense, indicate their advantages over other versions of this strategy, and defend them against objections. Insofar as either of these is successful, it will show not only that PAP has yet to be falsified by any of the modified Frankfurt-type counterexamples currently on offer but that cases of this sort are in principle incapable of falsifying PAP. (shrink)

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making (...) type theories more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem forGLusing arithmetical interpretations. We adapt our proof to (...) a special class of circular definitions as well as to the first-order case. (shrink)

Traditional approaches to measurement of violations of academic integrity may overestimate the magnitude and severity of cheating and confound panic with planned cheating. Differences in the severity and level of premeditation of academic integrity violations have largely been unexamined. Results of a study based on a combined sample of business students showed that students are more likely to commit minor cheating offenses and engage in panic-based cheating as compared to serious and planned cheating offenses. Results also indicated there is a (...) significant interaction between severity and type of cheating. We hypothesized serious and planned cheating offenses would be related to justifications and found the largest differences were between panic and planned. Finally, panic and minor cheating were associated with two self-control-related personality traits. Implications for cheating research are discussed. (shrink)

We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.

Individualism is not only a Western tradition. In the Zhuangzi we can also identify some elements which may be appropriately attributed to “individualism.” However, due to its particular cultural and philosophical background, Zhuangzian individualism has unique characteristics, which distinguish it from the variety of other individualist thoughts that have emerged in the West. Zhuangzi has a dynamic and open view on individual “self,” considering individuals as changing and unique beings rather than fixed and interchangeable “atoms”; he sets the unlimited Dao (...) as the ultimate source for individuals to conform to, thus releasing individual mind into a realm of infinite openness and freedom. The Zhuangzian individualism is “inward” rather than “outward,” concentrating on individual spirit rather than material interests and rights in social reality. The individualism in the Zhuangzi provides a spiritual space for the development of individuality in ancient China. It also provides an alternative understanding of individual as an existence. (shrink)

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or that (...) neither is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front. (shrink)

The logic of identity contains riches not seen through the coarse lens of predicate logic. This is one of several lessons to draw from the subtle treatment of identity in Martin‐Löf type theory, to which the reader will be introduced in this article. After a brief general introduction we shall mainly be concerned with the distinction between identity propositions and identity judgements. These differ from each other both in logical form and in logical strength. Along the way, connections to (...) philosophical debates concerning identity are noted. Some use of logical symbolism is inevitable in any serious discussion of type theory, but the emphasis here is on basic ideas rather than technicalities. (shrink)

The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material.

Type 2 diabetes mellitus (T2DM) is a multifaceted chronic condition characterized by insulin resistance and hyperglycemia. This review synthesizes evidence on the influence of lifestyle factors such as diet, physical activity, and stress on the development and progression of T2DM. It highlights the intricate relationship between obesity, insulin resistance, and β-cell dysfunction, with a particular focus on the role of psychological stress in exacerbating disease outcomes. Through the analysis of recent studies, the review explores how lifestyle interventions, including dietary (...) changes, exercise, and stress management, can improve glycemic control and reduce complications. This comprehensive review underscores the need for integrated, personalized management strategies in T2DM care, emphasizing the importance of addressing both physiological and psychological factors to optimize outcomes and prevent complications. (shrink)

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that (...) this theory is well motivated because it can be part of a theory of what is said. (shrink)

ABSTRACT Backwards-looking operators Saarinen, E. [1979. “Backwards-Looking Operators in Tense Logic and in Natural Language.” In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 341–367. Dordrecht: Reidel] that have the material in their scope depend on higher intensional operators, are known to increase the expressivity of some intensional languages and have thus played a central role in debates about approaches to intensionality in terms of implicit parameters vs. variables explicitly quantifying over them. The (...) current contribution takes a look at these operators from a type-logical perspective. It is shown that extending Gallin's translation from intensional type logic to two-sorted type theory so as to include a version of Yanovich's backwards-looking operators, does not increase the expressive power of formulae with exclusively intensional parameters. The result, which makes use of a theorem by Zimmermann : 65–77]), is illustrated by pertinent examples from the literature. The paper closes by indicating alternative strategies of incorporating backwards-looking operators. (shrink)

In this paper I undertake to resolve a main pragmatic puzzle triggered by Bank-type cases. After accepting ‘sanitized’ intuitions about Truth-Values, as reflected in x-phi experiments, the pragmatic puzzle about whether the husband is inconsistent remains, and if he isn’t, which intuitively is the case, how are we to explain it. The context in such cases is pragmatic, with awareness of high risks, and the treatment I propose is pragmatic as well, but not Gricean. I offer a new Pragmatics (...) whose main tools are Steering Thrust and Posting. It focuses on what I call Action-Directed Pragmatics. An overall view of Pragmatics centers on the primary resort to Sayability rather than to Truth-Values, and to the Pragmatic phenomenon of co-present operative norm-types, which can conflict in some cases vis-à-vis particular actions and about what subjects can say. The very satisfactory explanation of the above puzzle that I offer is in such terms. In particular, attention is focused on the phenomenon of Negative-Polarity Pragmatic Functors. (shrink)

A new lifetime distribution, called exponential doubly Poisson distribution, is proposed with decreasing, increasing, and upside-down bathtub-shaped hazard rates. One of the reasons for introducing the new distribution is that it can describe the failure time of a system connected in the form of a parallel-series structure. Some properties of the proposed distribution are addressed. Four methods of estimation for the involved parameters are considered based on progressively type II censored data. These methods are maximum likelihood, moments, least squares, (...) and weighted least squares estimations. Through an extensive numerical simulation, the performance of the estimation methods is compared based on the average of mean squared errors and the average of absolute relative biases of the estimates. Two real datasets are used to compare the proposed distribution with some other well-known distributions. The comparison indicates that the proposed distribution is better than the other distributions to match the data provided. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of (...) class='Hi'>type $a$ that rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

There may be two and a half bagels on the table. When there are two and a half, it is false that there are exactly two. As obvious as these claims are, they can’t be accounted for on the most straightforward and familiar views of counting and the semantics of number words. I develop a view on which counting is a type of measuring. In particular, counting involves a specific measure function. I then analyze that function and show how (...) it can account for the cases in which counting is sensitive to partiality, e.g. partial bagels. (shrink)

In order to reduce the influence of athlete’s body shape on the difficulty coefficient of diving, a more reasonable calculation method of body shape correction coefficient is proposed based on the original calculation rules of diving difficulty coefficient. First, the composition of the original diving difficulty coefficient and influencing factors is analyzed and the relationship between the various structural parts is fully clarified. Second, a coupled nonrigid body dynamics model is established and a 2-body model is used to simulate complex (...) diving actions, and it is concluded that diving time is positively correlated with body shape. Finally, the air movement part and the water entry part of diving are discussed separately, the calculation model of the difficulty coefficient of body shape correction is established, and the original difficulty coefficient is corrected. The results show that the difficulty coefficient of each movement is obviously increased. This effectively avoids the influence of body shape on the diving difficulty coefficient. (shrink)

One of the chief difficulties we encounter as modern readers in perceiving the artistry of biblical narrative is precisely that we have lost most of the keys to the conventions out of which it was shaped. The professional Bible scholars have not offered much help in this regard, for their closest approximation to the study of convention is form criticism, which is set on finding recurrent regularities of pattern rather than the manifold variations upon a pattern that any system of (...) literary convention elicits; moreover, form criticism uses these patterns for excavative ends to support hypotheses about the social functions of the text, its historical evolution, and so forth. . . . The most crucial case in point is the perplexing fact that in biblical narrative more or less the same story often seems to be told two or three or more times about different characters, or sometimes even about the same character in different sets of circumstances. Three times a patriarch is driven by famine to a southern region where he pretends that his wife is his sister, narrowly avoids a violation of the conjugal bond by the local ruler, and is sent away with gifts. Twice Hagar flees into the wilderness from Sarah's hostility and discovers a miraculous well, and that story itself seems only a special variation of the recurrent story of bitter rivalry between a barren, favored wife and a fertile co-wife or concubine. That situation, in turn, suggests another oft-told tale in the Bible, of a woman long barren who is vouchsafed a divine promise of progeny, whether by God himself or through a divine messenger or oracle, and who then gives birth to a hero. Robert Alter, professor of Hebrew and comparative literature at the University of California at Berkeley, is the author of, among other works, Partial Magic: The Novel as a Self-Conscious Genre and Defenses of the Imagination. He has written a general literary study of biblical narrative, of which this essay forms a chapter. (shrink)

The emotional experience and the type of communication about cancer within the family are important factors for successful coping with pediatric oncology. The main purpose is to study mother’s and children’s emotional experiences concerning cancer, whether they communicate openly about the disease, and relationships between the type of communication and the different emotions expressed by the children. Fifty-two cancer patients aged 6–14 years and their mothers were interviewed in separate sessions about the two central themes of the study: (...) emotional experiences and type of communication. Analyses of response categories were performed to subsequently compare the age-groups and the mother–child responses. According to the results, mothers expressed emotions such as fear, sadness, or anxiety, while children report sadness, pain, but also happiness. Significant positive correlations were observed between mothers’ sadness and older children’s sadness, mothers’ anxiety and children’s fear, and mothers’ anxiety and children’s happiness. Regarding communication type, mothers tend to hide information about the disease from younger children and to provide direct information to the older children. Children usually prefer to communicate their concerns to parents; however, children whose mothers convey anxiety are more likely to prefer to communicate with others. These results support the idea that parents should talk honestly with their children, explaining their illness in an age-appropriate way, and encouraging them to share their emotional experiences. Further studies are needed from a developmental perspective to understand the disease management of children and families. (shrink)

This paper advances a version of physicalism which reconciles the “a priori entailment thesis” (APET) with the analytic independence of our phenomenal and physical vocabularies. The APET is the claim that, if physicalism is true, the complete truths of physics imply every other truth a priori. If so, “cosmic hermeneutics” is possible: a demon having only complete knowledge of physics could deduce every truth about the world. Analytic independence is a popular physicalist explanation for the apparent “epistemic gaps” between phenomenal (...) and physical truths. The two are generally seen as incompatible, since the demon’s deductions seem to presuppose analytic connections between physical and phenomenal terms. I begin by arguing, in support of the APET, that implications from the complete truths of physics to phenomenal truths cannot be a posteriori. Such implications are (according to the physicalist) necessarily true. But they cannot be Kripke-style a posteriori necessities, since (according to the physicalist) the complete truths of physics fix any relevant a posteriori facts about the reference of terms. I then show how the physicalist can turn the tables: the demon can exploit the physical fixing of reference to bridge the gap between the vocabularies, by deducing when phenomenal and physical terms co-refer. This opens the way for a “type-C” physicalism, which accepts in-principle deducibility while still appealing to analytic independence to explain why we (who are not demons) find it impossible to see phenomenal-physical connections a priori. (shrink)