This paper is devoted to some generalizations of explanatory potential of connectionist approaches to theoretical problems of the philosophy of mind. Are considered both strong, and weaknesses of neural network models. Connectionism has close methodological ties with modern neurosciences and neurophilosophy. And this fact strengthens its positions, in terms of empirical naturalistic approaches. However, at the same time this direction inherits weaknesses of computational approach, and in this case all system of anticomputational critical arguments becomes applicable to the connectionst models (...) of mind. The last developments in the field of deep learning gave rich empirical material for cognitive sciences. Multilayered networks, mathematical models of associative dynamics of learning, self-organizing neuronets and all that allow to explain the principles of human conceptual organizing and after this to emulate these processes in computer systems. At all engineering achievements of this technology there is a traditional criticism from representatives of cognitive psychology who cannot accept a thesis about learning ability of a neuronet on the basis of redistribution of scales. Process of learning of natural intelligence, according to cognitive models, happens due to attraction of knowledge broadcast in a symbolical form (mental representations, concepts) at the expense of the systems of output knowledge expressed in the propositional contents. Some philosophical aspects of «neural metaphor» in modern cognitive sciences create the problem field which demands comprehensive understanding, the first step towards which is taken in this work. (shrink)
This paper is aimed to analyze some grounds bridging the explanatory gap in philosophy of mind and linguistic sign theory. It's noted that the etymological ties between the notions of “consciousness", “cognition", “sign" are emphasized in the works on cognitive linguistics. This connection rises from the understanding of the symbolic nature of consciousness and the sign of semiosis as the key cognitive process. On the one hand, it is impossible to realize the communication procedures, knowledge, understanding, decisionmaking, orientation and even (...) navigation without the process of signification. On the other hand, the human mind has its unique ability to produce the meaning apart from the “signal markings" available to other living beings. The ontology of this ability should be considered as a part of the complex problem of consciousness which includes the mind-body problem, the free will problem, image memory, narrative worlds, introspection, etc. In this paper, special attention is paid to the ontological and epistemological aspects of linguistic sign within the context of the bio-semiotic approach. The author argues that the linguistic nature of consciousness is inseparably connected with the ontological properties of consciousness. The author makes an attempt to prove the link between the mind-body problem and the problem of the explanatory gap in the ontology of linguistic sign. The analysis is focused on the following question: Is it possible that the rank of random names could cause the behavior of the organism in changing environment? (shrink)
In this article the linguistic processes of consciousness are discussed at the informational and semantic levels. The key question is devoted to the distinction between the information, meaning and sense in the physical, logico-semantic and historic levels of brain and consciousness. The principal point runs that the human linguistic process of sense producing takes the variety and indistinctness in the cultural presupposition. The modern theories of philosophy of mind relying on the theories of Soviet psychological school propose some new solutions (...) in the pragmatic questions of the semantic noncomputability. In this review we will try to justify the dualistic correlation between the cultural base and the communicative semantic process. (shrink)
This article focuses on the methodological basis for the criticism of the computationalism and “computer metaphor” in the philosophy of cognitive sciences. We suppose that the computational paradigm is the direct consequence of the theoretical confusion of phenomenal and cognitive kinds of experience. Cognitive processes, considered as the forms of computational description, are available for computer modelling. That implies the strong position of the computer metaphor in the neuroscience. In our opinion the key problem is the vague ontological nature of (...) the symbols which form the computational operations in the cognitive procedures. Despite the successful development of neuroscience, it is still impossible to explain the meaning of the content of mental states. The article provides the detailed analysis of the critical approaches to the computational models of consciousness. The special attention is given to the comparison of data integration in the artificial intellectual systems with semantic aspects of the phenomenal consciousness. In the first case the foundations of output are the hierarchy of classes, the rules protocols and applying heuristics and strategies. In the second case the knowledge is formed by qualia, metaphorical conceptualization and pragmatic level of communication. Natural principles of knowledge forming are unachievable for machine intellectual procedures. (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)
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.
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)
Pavel Florensky, a Russian theologian, philosopher, and mathematician, argued that the religious discourse is essentially contradictory and put forward the idea of the logical theory of antinomies. Recently his views raised interesting discussions among logicians who consider him a forerunner of many non-classical logics. In this paper I discuss four interpretations of Florensky’s views: paraconsistent, L-contradictory, non-monotonic and rhetorical. In conclusion I argue for the integral interpretation which unites these four approaches.
My book is about the human creativity being a source of progress, and cycling of evolution caused by platitude and triviality of once high-reaching idealism. In essence the book presents an original perception of human history, based on Christian values as vital coordinates system. I hope this book will revive the interest to the Russian school of thoughts and to humanism in general.
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)
The article offers a rigorous truth condition for subjunctively conditional statements. The theory is framed in the system of transparent intensional logic and takes connections (especially the cause-Effect relation) as basic. Counterexamples are given to rival theories based on the notion of world similarity.
“Eco-labels” are an increasingly important form of private regulation for sustainability in areas such as carbon emissions, water consumption, ethical sourcing, or organic produce. The growing interest and popularity of eco-labels has also been coupled with growing concerns about their credibility, in part because the standard-setting and conformity assessment practices that eco-labels adopt exhibit striking differences. In this paper, we assess which assurance practices contribute to eco-labels being perceived as better governed, in the eyes of experts as well as the (...) media. Unlike previous studies, which are mostly conceptual, qualitative, or focused on one or few eco-labels, we study a large set of eco-labels, combining data from three different sources. Our findings suggest that experts and media are primarily concerned about “re-assurance” practices, looking for one or preferably multiple layers of “re-assurance” that independent parties are overseeing the eco-label and the firms certified under it. (shrink)
We prove an exponential lower bound on the length of cutting plane proofs. The proof uses an extension of a lower bound for monotone circuits to circuits which compute with real numbers and use nondecreasing functions as gates. The latter result is of independent interest, since, in particular, it implies an exponential lower bound for some arithmetic circuits.
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)
An investigation of the views on space and time of the Russian polymath Pavel Florensky. After a brief account of his life, I study Florensky’s conception of time in The Meaning of Idealism, where he first confronts Einstein’s theory of special relativity, comparing it to Plato’s metaphor of the Cave and Goethe’s myth of the Mothers. Later, in his Analysis of spatiality and time, Florensky speaks of a person’s biography as a four-dimensional unity, in which the temporal coordinate is (...) examined in sections. In On the Imaginaries in Geometry, Florensky argues that the speed of light is not, as in Relativity, an absolute speed limit in the universe. When bodies approach and then surpass the speed of light, they are transformed into unextended, eternal Platonic forms. Beyond this point, time runs in reverse, effects precede their causes, and efficient causality is transformed into final or teleological causality, a concept on which Florensky elaborates in his Iconostasis. Florensky thus transformed the findings of Einsteinian relativity in order to make room for Plato’s intelligible Ideas, the Aristotelian distinction between a changing realm of earth and the immutable realm of the heavens, and the notion of teleology or final causation. His notion that man can approximate God’s vision of past, present and future all at once, as if from above, is reminiscent of Boethius’ ideas. (shrink)
Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong’s axioms.
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)
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.
We have considered a permeability prognosis in the crosswell space within the Middle Jurassic [Formula: see text] Formation in the southern part of Western Siberia. The prognosis was based on core measurements, well log analysis, and seismic attribute calculations. We have estimated the formation permeability in the wells, calculated seismic attribute proportional to fluid mobility from the 3D seismic data, and eliminated the influence of the reservoir thickness variations. The correlation between appropriate seismic attribute values and [Formula: see text] formation (...) permeability was used for the prognosis and mapping the permeability in the crosswell space. (shrink)
The paper deals with the semantics of mathematical notation. In arithmetic, for example, the syntactic shape of a formula represents a particular way of specifying, arriving at, or constructing an arithmetical object (that is, a number, a function, or a truth value). A general definition of this sense of "construction" is proposed and compared with related notions, in particular with Frege's concept of "function" and Carnap's concept of "intensional isomorphism." It is argued that constructions constitute the proper subject matter of (...) both logic and mathematics, and that a coherent semantic account of mathematical formulas cannot be given without assuming that they serve as names of constructions. (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)
We give proofs of the effective monotone interpolation property for the system of modal logic K, and others, and the system IL of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the number of proof-lines in those systems. The main results have been given in [P. Hrubeš, Lower bounds for modal logics, Journal of Symbolic Logic 72 941–958; P. Hrubeš, A lower bound for intuitionistic logic, Annals of Pure and Applied Logic 146 72–90]; here, we give considerably simplified (...) proofs, as well as some generalisations. (shrink)
Aristotel je vpeljal pojem skupnega čuta, zaznavno zmožnost višjega reda, ki združuje in nadzoruje posamezne čute. Osnovni namen prispevka je predstaviti, kako je skupni čut in njegove funkcije razumel Aristotelov najodličnejši antični komentator Aleksander iz Afrodizijade. Avtor je pri tem pozoren na Aleksandrovo ujemanje z Aristotelom ali odmikanje od njega, opozarja pa tudi na njegove prispevke k problematiki. Drugi cilj prispevka je obravnava enega posebnega odmika, ki je prevladoval v kasnejših razlagah Aristotelovega pojma skupnega čuta, tj. analogije med skupnim čutom (...) in središčem kroga, v katerem se srečujejo različni polmeri. (shrink)