We present a pocket-size densely connected convolutional network (DenseNet) directed to classification of size-normalized colour images according to varieties of grapes captured in those images. We compare the DenseNet with three established small-size networks in terms of performance, inference time and model size. We propose a data augmentation that we use in training the networks. We train and evaluate the networks on in-field images. The trained networks distinguish between seven grapevine varieties and background, where four and three varieties, respectively, are (...) of red and green grapes. Compared to the established networks, the DenseNet is characterized by near state-of-the-art performance, short inference time and minimal model size. All these aspects qualify the network for real-time, mobile and edge computing applications. The DenseNet opens possibilities for constructing affordable selective harvesters in accordance with agriculture 4.0. (shrink)

It is a paradox that medical experimentation on individuals, whether patients or healthy volunteers, is now controlled by strict ethical guidelines, while no such protection exists for whole populations which are subjected to medical interventions in the name of preventive medicine or health promotion. As many such interventions are either of dubious benefit or of uncertain harm-benefit balance, such as mass screening for cancers or for risk factors associated with coronary heart disease, there is no justification for maintaining the ethical (...) vacuum in which preventive medicine finds itself at present. (shrink)

Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

Traxler, Pickering, and Clifton found that ambiguous sentences are read faster than their unambiguous counterparts. This so-called ambiguity advantage has presented a major challenge to classical theories of human sentence comprehension because its most prominent explanation, in the form of the unrestricted race model, assumes that parsing is non-deterministic. Recently, Swets, Desmet, Clifton, and Ferreira have challenged the URM. They argue that readers strategically underspecify the representation of ambiguous sentences to save time, unless disambiguation is required by task demands. When (...) disambiguation is required, however, readers assign sentences full structure—and Swets et al. provide experimental evidence to this end. On the basis of their findings, they argue against the URM and in favor of a model of task-dependent sentence comprehension. We show through simulations that the Swets et al. data do not constitute evidence for task-dependent parsing because they can be explained by the URM. However, we provide decisive evidence from a German self-paced reading study consistent with Swets et al.'s general claim about task-dependent parsing. Specifically, we show that under certain conditions, ambiguous sentences can be read more slowly than their unambiguous counterparts, suggesting that the parser may create several parses, when required. Finally, we present the first quantitative model of task-driven disambiguation that subsumes the URM, and we show that it can explain both Swets et al.'s results and our findings. (shrink)

Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also been previously studied. This article proposes a version of S5-like epistemic logic of distributed knowledge with quantifiers ranging (...) over the set of agents, and proves its soundness and completeness with respect to a Kripke semantics. (shrink)

I. The framework. 1, Aristotle's project and methods. 2, The perceptual capacity of the soul. 3, The sensory apparatus. 4, The common sense and the related capacities -- II. The terminology. 1, Overlooked occurrences of the phrase 'common sense'. 2, De anima III.1 425a27. 3, De partibus animalium IV.10 686a31. 4, De memoria et reminiscentia 1 450a10. 5, De anima III.7 431b5. 6, Conclusions on the terminology -- III. Functions of the common sense. 1, Simultaneous perception and cross-modal binding. 2, (...) Perceptual discrimination. 3, Waking, sleep, and control of the senses. 4, Perceiving that what we see and hear, and monitoring of the senses. 5, Other roles of the common sense -- Conclusion. (shrink)

Despite relative neglect in the literature, Kant’s published and unpublished writings in theoretical philosophy reveal a sustained and at times ambivalent effort to come to terms with the problem of miracles. Because they entail a form of supernatural causation that undermines the law-governedness of the order of nature, miracles pose a significant problem for Kant’s metaphysics. I explore in detail Kant’s account of miracles in conjunction with the relevant aspects of his metaphysics of nature in order to establish in what (...) sense miracles are possible, and how they fit into Kant’s architectonic more generally. (shrink)

It is well known that the manner in which a definitely descriptive term contributes to the meaning of a sentence depends on the place the term occupies in the sentence. A distinction is accordingly drawn between ordinary contexts and contexts variously termed non-referential, intensional, oblique, or opaque. The aim of the present article is to offer a general account of the phenomenon, based on transparent intensional logic. It turns out that on this approach there is no need to say (as (...) Frege does) that descriptive terms are referentially ambiguous or to deny (as Russell does) that descriptive terms represent self-contained units of meaning. There is also no need to tolerate (as Montague does) exceptions to the Principle of Functionality. The notion of an ordinary (i.e., non-intensional) context is explicated exclusively in terms of logical structure and it is argued that two aspects of ordinariness (termed hospitality and exposure) must be distinguished. (shrink)

Of two false theories, One can be, Intuitively, Closer to the truth than the other. The purpose of the article is to propose a rigorous explication of this intuitive notion.

We give an exponential lower bound on the number of proof-lines in intuitionistic propositional logic, IL, axiomatised in the usual Frege-style fashion; i.e., we give an example of IL-tautologies A1,A2,… s.t. every IL-proof of Ai must have a number of proof-lines exponential in terms of the size of Ai. We show that the results do not apply to the system of classical logic and we obtain an exponential speed-up between classical and intuitionistic logic.

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond NP ≠ coNP. These conjectures formally connect computational complexity with the difficulty of proving some sentences, which means that high computational complexity of a problem associated with a sentence implies that the sentence is not provable in a weak theory, or requires a long proof. Another reason for putting forward these conjectures is that some results in proof complexity seem to be (...) special cases of such general statements and we want to formalize and fully understand these statements. Roughly speaking, we are trying to connect syntactic complexity, by which we mean the complexity of sentences and strengths of the theories in which they are provable, with the semantic concept of complexity of the computational problems represented by these sentences. -/- We have introduced the most fundamental conjectures in our earlier works. Our aim in this article is to present them in a more systematic way, along with several new conjectures, and prove new connections between them and some other statements studied before. (shrink)

Aristotle's notion of experience plays an important role in his epistemology as the link between perception and memory on the one side, and higher cognitive capacities on the other side. However, Aristotle does not say much about it, and what he does say seems inconsistent. Notably, some passages suggest that it is a non-rational capacity, others that it is a rational capacity and that it provides the principles of science. This paper presents a unitary account of experience. It explains how (...) experience grows from perception and memory into a rational capacity, and in what way it provides the principles. (shrink)

A critical comment to Horwich's deflationary theory of meaning: the deflationary view ignores the fact that the way the subexpressions of an expression are combined is language dependent unlike meaning, which is in a sense 'international'; the link between the grammatical structure and the respective construction is not as direct and simple as it would follow from Horwich's conception.

During the past century of oriental studies, the question of when and where Muslim traditions came to be propped up with validating lines of transmission has attracted a considerable amount of scholarly attention, for its bearing on the key issue of the historicity of ḥadīth. In this essay, I review the existing theories about the origin of the isnād, which alternate between the lifetime of the Prophet’s Companions and the end of the second century AH/c. 816 CE. Based on a (...) hitherto largely overlooked tradition and two general methodological premises, I associate the inception of corroborative attribution to past authorities in legal and theological ḥadīth with the aftermath of al-Mukhtār b. Abī ʿUbayd al-Thaqafī’s revolt in Kūfa. Over the course of the second/eighth century, the isnād institution spread out across the major centers of learning in the caliphate and entered the field of historical reports. Such geographical and typological unevenness of the isnād’s evolution gave rise to conflicting theories about its chronology. (shrink)

This essay sheds additional light on the biographies and fates of Ayn Rand’s closest relatives in the Soviet Union and abroad after young Alissa Rosenbaum left the “country of workers and peasants” in 1926 for the pursuit of a new life in the United States. Previously unknown facets of her relatives’ lives were intertwined with the complex and often tragic historical events of the first half of the twentieth century. Among these relatives are victims of the German blockade of Leningrad, (...) a music teacher, a European bacteriologist, a doctor who was twice a refugee, and a Soviet Medical Service Corps officer. (shrink)

The article offers a rigorous explication of the intuitive notion of verisimilitude, I.E., Of the distance of a theory from the truth. The proposal is defended against charges of material inadequacy made by popper, Niniluoto, And miller.

Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).

In this paper we argue that Aristotle operates with a particular theoretical model in his explanation of animal locomotion, what we call the ‘centralized incoming and outgoing motions’ model. We show how the model accommodates more complex cases of animal motion and how it allows Aristotle to preserve the intuition that animals are self-movers, without jeopardizing his arguments for the eternity of motion and the necessary existence of one eternal unmoved mover in Physics VIII. The CIOM model helps to elucidate (...) Aristotle’s two central yet problematic claims, namely that the soul is the efficient cause of animal motion and that it is the internal supporting-point necessary for animal motion. Moreover, the CIOM model helps us to explain the difference between voluntary, involuntary and non-voluntary motions, and to square Aristotle’s cardiocentrism with his hylomorphism, but also, more generally, it provides an interesting way of thinking about the place of intentionality in the causal structure of the world. (shrink)