Visser's rules form a basis for the admissible rules of . Here we show that this result can be generalized to arbitrary intermediate logics: Visser's rules form a basis for the admissible rules of any intermediate logic for which they are admissible. This implies that if Visser's rules are derivable for then has no nonderivable admissible rules. We also provide a necessary and sufficient condition for the admissibility of Visser's rules. We apply these results to some specific (...) class='Hi'>intermediate logics and obtain that Visser's rules form a basis for the admissible rules of, for example, De Morgan logic, and that Dummett's logic and the propositional Gödel logics do not have nonderivable admissible rules. (shrink)

Which intermediate propositional logics can prove their own completeness? I call a logic reflexive if a second-order metatheory of arithmetic created from the logic is sufficient to prove the completeness of the original logic. Given the collection of intermediate propositional logics, I prove that the reflexive logics are exactly those that are at least as strong as testability logic, that is, intuitionistic logic plus the scheme $\neg φ ∨ \neg\neg φ. I show that this result holds regardless of (...) whether Tarskian or Kripke semantics is used in the definition of completeness. I also show that the operation of creating a second-order metatheory is injective, thereby insuring that I am actually considering each logic independently. (shrink)

The paper focuses on the issue of intermedial references, the matters of conditions, necessity and relevance of their interpretation. It discusses the question of semantic value of an intermedial reference rather than of its aesthetic, pragmatic, modal or other aspects. It considers the lack of coherence between the theoretical propositions of intermedial studies, grounded in the studies of intertextuality, and the practice of analysis. In theory, every intermedial reference configures semantic dialogue between qualified media (configurations), thus requires conceptualisation. Yet, the (...) practice of analysis reveals that some of them perform exclusively aesthetic function and invite to keep reception within the limits of perception. Therefore I make an attempt to define the criteria of textual request for conceptualisation/interpretation set up in a text as such. I propose to revise the relevant insights of different intertextual and semiotic approaches, to perform their revision, modification and extension, to articulate possible solution and exemplify it by filmic references to painting. (shrink)

As an alternative to universalism and particularism, Intermedialities: Philosophy, Arts, Politics proposes "intermedialities" as a new model of social relations and intercultural dialogue. The concept of "intermedialities" stresses the necessity of situating debates concerning social relations in the divergent contexts of new media and avant-garde artistic practices as well as feminist, political, and philosophical analyses.

There is a view on consciousness that has strong intuitive appeal and empirical support: the intermediate-level theory of consciousness, proposed mainly by Ray Jackendoff and by Jesse Prinz. This theory identifies a specific “intermediate” level of representation as the basis of human phenomenal consciousness, which sits between high-level non-perspectival thought processes and low-level disjointed feature-detection processes in the perceptual and cognitive processing hierarchy. In this article, we show that the claim that consciousness arises at an intermediate-level is (...) true of some cognitive systems, but only in virtue of specific constraints on their active interactions with the environment. We provide ecological reasons for why certain processing levels in a cognitive hierarchy are privileged with respect to consciousness. We do this from the perspective of a prediction-error minimization model of perception and cognition, relying especially on the notion of active inference: the privileged level for consciousness depends on the specific dispositions of an organism concerned with inferring its policies for action. Such a level is indeed intermediate for humans, but this depends on the spatiotemporal resolution of the typical actions that a human organism can normally perform. Thus, intermediateness is not an essential feature of consciousness. In organisms with different action dispositions the privileged level or levels may differ as well. (shrink)

There is an underappreciated disconnect between the ultimate values that lie at the heart of contemporary theories of distributive justice, and the practice of state institutions. State institutions deliver “intermediate goods” – goods such as health-care, education, housing, transportation, and the like – that are instrumental to a society being distributively just, but that do not in an of themselves constitute criteria of justice. Researchers who have emphasized the “social determinants of health” provide an insight that, when generalized, point (...) us in a direction that theorists of distributive justice should follow, that of attending not just to the instrinsic value of intermediate goods, but also to their causal contributions to realizing the values that theories of distributive justice make central. “Platforms”, which represent principle-driven attempts at designing compossible policies that attend both to the causal and to the intrinsic value of intermediate goods, should be given more importance within theories of distributive justice if such theories are to be policy-relevant, for they connect the ultimate values of these theories to the practices of state institutions. (shrink)

In a recent article in this journal Jonathan Pugh critiques the idea of intermediate ‘moral respect’ which some say is owed to embryos. This concept is inherent within the ‘principle of proportionality’, the principle that destructive research on embryos is permissable only if the research serves an important purpose. Pugh poses two specific questions to proponents of the idea of intermediate moral respect. This article argues that while the questions posed by Pugh are certainly pertinent to the debate, (...) the hypothetical responses he suggests to these questions do not quite get to the core of what is troublesome about the concept. The article suggests alternative responses to Pugh's questions in order to focus attention on more fundamental problems facing the idea of intermediate moral respect, while also pointing to how the intermediate moral respect proponent might best develop these responses. It goes on to argue that these hypothetical responses fail to answer convincingly the questions posed. More specifically, this article challenges two possible justifications for the distinct idea of intermediate moral respect, namely the argument from potentiality and an argument from the proportionality of fundamental moral status. The article also raises a dilemma inherent in the application of the principle of proportionality to cases involving beings to which intermediate moral respect is owed even where it is allowed, ex hypothesi, that both the category of intermediate moral respect and the general proportionality reasoning underpinning the principle of proportionality are basically cogent. This article thus develops and adds to the challenge laid down by Pugh to proponents of the idea of intermediate moral respect. (shrink)

We study arbitrary intermediate propositional logics extended with a collection of axioms from justification logics. For these, we introduce various semantics by combining either Heyting algebras or Kripke frames with the usual semantic machinery used by Mkrtychev’s, Fitting’s or Lehmann and Studer’s models for classical justification logics. We prove unified completeness theorems for all intermediate justification logics and their corresponding semantics using a respective propositional completeness theorem of the underlying intermediate logic. Further, by a modification of a (...) method of Fitting, we prove unified realization theorems for a large class of intermediate justification logics and accompanying intermediate modal logics. (shrink)

It is known that the set of intermediate propositional logics that can prove their own completeness theorems is exactly those which prove every instance of the principle of testability, ¬ϕ ∨ ¬¬ϕ. Such logics are called reflexive. This paper classifies reflexive intermediate logics in the first-order case: a first-order logic is reflexive if and only if it proves every instance of the principle of double negation shift and the metatheory created from it proves every instance of the principle (...) of testability. (shrink)

Intermediate Quantitifiers presents and analyzes the logical and linguistic features of intermediate quantifiers, in a fashion typical of traditional logic. Intermediate quantifiers express logical quantities which fall between Aristotle's two quantities of categorical propositions - the universal and the particular. This book is the first to use traditional methods to integrate the logic and semantics of intermediate quantifiers with the two traditional quantities. Few, many and most express the most commonly referred to intermediate quantities, yet (...) in this book Peterson argues that an infinite number of additional quantities can be understood through a deeper examination of the logical nature of all intermediate quantifiers. Drawing on the work of Robert Carnes and taking a critical look at James McCawley's grammatical analysis, Peterson concludes that a new approach to foundations of mathematics based on the syllogistic logic of quantifiers is possible.Offering invaluable insights for those studying across areas of logic, linguistics, and the philosophy or semantics of natural language, this book presents the completion of an explanation for extending traditional syllogistic logic to handle intermediate quantifiers. (shrink)

Given an intermediate prepositional logic L, denote by L –d its disjuctionless fragment. We introduce an infinite sequence {J n}n1 of propositional formulas, and prove:(1)For any L: L –d =I –d (I=intuitionistic logic) if and only if J n L for every n 1.

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches.

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.

The essays in this collection, which were written by European and North American specialists, position intermediality as a praxis of interpretative analysis in order to show how intermediality challenges our notion of art. The writers examine the various intermedial relations between the arts, which may take the form of reference to another form of art, a combination of two or more forms of art or a generic transformation from one form of art to another. In such cases, an intermedial approach (...) helps us to grasp the changing relationship between the arts, which affects our reception of experience. Intermediality has profoundly changed our understanding of interdisciplinary relations, formerly examined in the field of interart studies. By introducing a medial aspect, intermediality has succeeded in making a "leap" from past practices of artistic interrelatedness to our contemporary medial age, in which literature along with other arts may be understood as a medium. This ambitious undertaking has contributed to the liberation of literature and other arts from an isolated position in the established scholarly landscape with its clear-cut borderlines between disciplines. The essays in this collection are a valuable contribution to this on-going discussion about the relationships between the arts. The variety of essays published in this collection makes it an excellent introduction to academics and university students in such disciplines as literature, music, theatre, art history and media studies. Due to its clarity - which does not sacrifice philosophical depth concerning the role of intermedial studies for several forms of art - this book will also be of interest to academics and students who are currently working at advanced level art schools. (shrink)

For intermediate logics, there is obtained in the paper an algebraic equivalent of the disjunction propertyDP. It is proved that the logic of finite binary trees is not maximal among intermediate logics withDP. Introduced is a logicND, which has the only maximal extension withDP, namely, the logicML of finite problems.

There are two well‐known ways of doing arithmetic with ordinal numbers: the “ordinary” addition, multiplication, and exponentiation, which are defined by transfinite iteration; and the “natural” (or “Hessenberg”) addition and multiplication (denoted ⊕ and ⊗), each satisfying its own set of algebraic laws. In 1909, Jacobsthal considered a third, intermediate way of multiplying ordinals (denoted × ), defined by transfinite iteration of natural addition, as well as the notion of exponentiation defined by transfinite iteration of his multiplication, which we (...) denote. (Jacobsthal's multiplication was later rediscovered by Conway.) Jacobsthal showed these operations too obeyed algebraic laws. In this paper, we pick up where Jacobsthal left off by considering the notion of exponentiation obtained by transfinitely iterating natural multiplication instead; we shall denote this. We show that and that ; note the use of Jacobsthal's multiplication in the latter. We also demonstrate the impossibility of defining a “natural exponentiation” satisfying reasonable algebraic laws. (shrink)

We characterise the intermediate logics which admit a cut-free hypersequent calculus of the form \, where \ is the hypersequent counterpart of the sequent calculus \ for propositional intuitionistic logic, and \ is a set of so-called structural hypersequent rules, i.e., rules not involving any logical connectives. The characterisation of this class of intermediate logics is presented both in terms of the algebraic and the relational semantics for intermediate logics. We discuss various—positive as well as negative—consequences of (...) this characterisation. (shrink)

The essay examines the Stoic notion of appropriate actions, focusing on the relationship between the perfectly appropriate actions of the virtuous person and “intermediate appropriate actions”. I present some of the philosophical motivations behind the general Stoic theory of καθήκοντα, and argue against the common interpretation of μέσα καθήκοντα as action types that make no reference to the manner of their performance, and of κατορθώματα as μέσα καθήκοντα that are rightly performed by an agent with a virtuous disposition. Instead, (...) I claim that the different types of καθήκοντα should be distinguished with reference to the kinds of things they aim at, rather than the manner in which they are performed. So, μέσα καθήκοντα should be understood as actions aiming at natural advantages that are indifferent, and κατορθώματα as actions aiming at the only true good, i.e., virtue. I discuss some of the advantages of the alternative view and outline the account of virtuous motivation that arises from it. (shrink)

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ (...) - and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

It is instructive to view the scientific revolution from the point of view of Robert Boyle’s distinction between intermediate and ultimate causes. From this point of view, the scientific revolution involved the identification of intermediate causes and their investigation by way of experiment as opposed to the specification of ultimate causes of the kind involved in the corpuscular matter theories of the mechanical philosophers. The merits of this point of view are explored in this paper by focussing on (...) the hydrostatics of Pascal and Boyle, understood as the experimental investigation of the action of the intermediate causes weight and pressure. The distinctive features of this new science are highlighted by comparing it with two alternative versions of hydrostatics, that of Stevin and that of Descartes. (shrink)

The Intermediate sex collates papers from Edward Carpenter on his ideas about intermediate types. Carpenter claims that there are those in societies who hold an intermediate position between the two sexes and may have an inner sex in their mind that is different from their biological sex. Originally published in 1908, this version in1941, these papers present early observations about gender fluidity in both men and women, studying certain 'types' of intermediate people that he claimed were (...) begin to emerge more obviously at the time of writing. This title will be of interest to students of gender studies. (shrink)

Narrative allegory is distinguished from mythology as reality from symbol; it is, in short, the proper intermedium between person and personification. Where it is too strongly individualized, it ceases to be allegory […]. In the community of scholars of intermedia research, the above quoted citation is commonly regarded as Coleridge’s coining of the term “intermedium” or “intermediality”. However, a short glance at the discursive strategy of his argument emphasizes that his notion of “intermedium” must be closely linked to the poetics (...) and aesthetics of 19th-century romanticism. For the romantic poet, the term of “intermedium” does not point to media relations or intermedia processes but to.. (shrink)

The study aimed at identifying the intermediate role of the criterion of emphasis on students and beneficiaries in the relationship between adopting the criterion of partnership and resources and achieving the satisfaction of the society. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The sample of the study consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The study reached (...) a number of results, the most important of which were: The level of adoption by the Palestinian universities of the criterion of partnership and resources came to a large extent. The level of adoption by the Palestinian universities of the criterion of emphasis on the beneficiary students was very high. The criterion of partnership and resources to achieve the satisfaction of the community surrounding the Palestinian universities, the existence of a statistically significant impact of the adoption of the criterion of partnership and resources to strengthen the focus on students benefiting in Palestinian universities, The focus on the students benefiting from the satisfaction of the community surrounding the Palestinian universities, the existence of a statistically significant impact on the adoption of the criterion of partnership and resources to achieve the satisfaction of the community surrounding the Palestinian universities, The study presented a number of recommendations, most important of which are: Increase interest in the resource and partnership criterion through enhancing the university's resources and developing internal and external partnerships to serve the university and the society. Increase the focus on students and beneficiaries by providing an appropriate educational environment and academic programs that meet the needs of the labor market. Through the strengthening of existing community service centers and the establishment of new community centers, strengthening the partnership of industrial companies and promoting scientific research for the benefit of universities and society. -/- . (shrink)

For each ordinal $\alpha > 0, L(\alpha)$ is the intermediate predicate logic characterized by the class of all Kripke frames with the poset α and with constant domain. This paper will be devoted to a study of logics of the form L(α). It will be shown that for each uncountable ordinal of the form α + η with a finite or a countable $\eta (> 0)$ , there exists a countable ordinal of the form β + η such that (...) L(α + η) = L(β + η). On the other hand, such a reduction of ordinals to countable ones is impossible for a logic L(α) if α is an uncountable regular ordinal. Moreover, it will be proved that the mapping L is injective if it is restricted to ordinals less than ω ω , i.e. α ≠ β implies L(α) ≠ L(β) for each ordinal $\alpha,\beta. (shrink)

This book traces the deployment of intermedial aesthetics in the works of early twentieth-century female performers. By destabilizing medial and genre boundaries, these women created compelling and meaningful performances that negotiated turn-of-the-century American social and cultural issues.

An analysis of the way of further development of artificial intelligence similar to human was carried out, namely its intermediate stage, a state when he can communicate freely with people, can realistically imitate a some personality, freely change it, and thus become convenient for large-scale use in everyday life. An approximate view of the system was described, which it may become in the near future, given the recent technologies. The list of possible settings, which will be actual for similar (...) systems, is resulted. The possible areas of application of this artificial intelligence are listed. (shrink)

Following Aristotle, Averroes rejects atomism and the infinite division of geometric lines. Thus, his arguments dealt with the continuity and contiguity of the non-atomic parts of motion. He vindicates the perceptual aspect of physical movement that shows itself like in-progress-path between two edge points A and B, in which there are middle parts where qualitative, local, or quantitative changes occur. Ramon Llull took the lines’ geometrical points as “motion parts.” Points are intermediate divisions that represent physical phenomena by the (...) continuity of geometrical lines, surfaces, and figures. Also, he appeals to relational logic to spot the middle parts between A and B into the in-progress-path of motion. Those middle parts are signified by a dynamic vocabulary, called: correlative language. This contribution focuses on the conceptual environment of Llull’s assumptions, in which Averroes’ Latin readers explored the geometry and the vocabulary of motion intermediate parts. (shrink)

The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which describe (...) all tabular logics preserving admissibility: a tabular logic λ preserves all admissible rules for H iff 7λ has width not more than 2 and is not included in each λ. MSC: 03B55, 03B20. (shrink)

Given that Pickering & Garrod's (P&G's) account integrates language production and comprehension, it is reasonable to ask whether it is compatible with embodied cognition. I argue that its dependence on rich intermediate representations of linguistic structure excludes embodiment. Two options are available to supporters of embodied cognition: They can adopt a more liberal notion of embodiment or they can attempt to replace these intermediate representations with robustly embodied ones. Both of these options face challenges.

A statement q is a conclusion intermediate between p and h if and only if (1) p justifies h, (2) p justifies q, and (3) (p and not-q) justifies h to a significantly lesser degree than p justifies h. I contend that Gettier-type counterexamples to definitions of factual knowledge violate the following principle: if one knows that h on the basis of p, then all the conclusions intermediate between p and h are true. This principle does not refer (...) to anyone's beliefs that intermediate conclusions are true. I test my contention against several examples which have been discussed in the literature. (shrink)

In this paper, I argue that the two versions of divided line create problems that cannot be solved — with or without the hypothesis that the objects belonging to the level of διάνοια on the divided line are intermediates. I also argue that the discussion of arithmetic and calculation does not fit Aristotle’s attribution of intermediates to Plato and provides no support for the claim that Plato had such intermediates in mind when he talked about διάνοια in the Republic. The (...) upshot of my argument is negative: even if Aristotle’s report about Plato and intermediates is correct, there is no evidence for such objects provided in the passages I review from the Republic. If they are to be found in Plato, it will have to be elsewhere that they are found. (shrink)

An intermediate predicate logicS + n (n>0) is introduced and investigated. First, a sequent calculusGS n is introduced, which is shown to be equivalent toS + n and for which the cut elimination theorem holds. In § 2, it will be shown thatS + n is characterized by the class of all linear Kripke frames of the heightn.

Many have argued that Plato’s intermediates are not independent entities. Rather, they exemplify the incapacity of discursive thought to cognizing Forms. But just what does this incapacity consist in? Any successful answer will require going beyond the intermediates themselves to another aspect of Plato’s mathematical thought - his attribution of a quasi-numerical structure to Forms. For our purposes, the most penetrating account of eidetic numbers is Jacob Klein’s, who saw clearly that eidetic numbers are part of Plato’s inquiry into the (...) ontological basis for all counting: the existence of a plurality of formal elements, distinct yet combinable into internally articulate unities. However, Klein’s study of the Sophist reveals such articulate unities as imperfectly countable and therefore opaque to διάνοια. And only this opacity, I argue, successfully explains the relationship of intermediates to Forms. (shrink)

A logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and in the lattice of normal extensions of K4.3. MSC: 03B45, 03B55.

This paper explores the extension of formal accounts of precedential constraint to make use of a factor hierarchy with intermediate factors. A problem arises, however, because constraints expressed in terms of intermediate factors may give different outcomes from those expressed only using base level factors. We argue that constraints that use only base level factors yield the correct outcomes, but that intermediate factors play an important role in the justification and explanation of those outcomes. The discussion is (...) illustrated with a running example. (shrink)

For each intermediate propositional logicJ, J * denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ *+D(=x(p(x)q)xp(x)q) is shown in some cases including:1. J is tabular, 2. J is a subframe logic. A variant of Zakharyashchev's canonical formulas for intermediate logics is introduced to prove the second case.

Intermediality has become a fashionable concept: it appears whenever we speak about what we once referred to easily as the medium or media, of systems and apparatuses, mises en scène and structures. It is used frequently in a number of different traditions, whether European, American or Australian. In some cases it holds the potential to redefine the purpose of an art or a specific medium. Consider the example that cinema provides: “its medium-specific possibility seems to have been well and truly (...) overrun by its tendency to intermediality, its fundamental impurity. That is where its true materiality-effect, today, is situated: in the palpable aura of a mise en scène that is always less than itself and more than.. (shrink)

In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.

When we go back-by means of the epoché of the world, following Michel Henry-towards the originary “how” of all manifestation, we stumble once and again upon the phenomenological situation of the body. The body is, then that originary hinge by means of which I manifest world in a continuous resistance. It will be, as well, within my own body where I am always aware of oneself, according to my own affection. Thus, the material condition of the body will be that (...) of my internal body, or subjective body-as Henry initially read in Maine de Biran-or that of my flesh, as Henry himself would later say. Bearing all this in mind, the intermediate situation of one’s own affection, of this body of mine, with regard to the world and the videor, turns out to be an appropriate medium to attempt a preliminary study of the problematic situation of the internal time of affection. For this purpose, we shall revise the analysis offered by Michel Henry in Material Phenomenology and in Incarnation, indicating possible aporias, as well as alternatives to these last ones.Cuando, siguiendo a Michel Henry, retrocedemos en una epoché hacia el “cómo” originario de toda manifestación, tropezamos una y otra vez con la situación fenomenológica del cuerpo. El cuerpo es, pues, esta bisagra originaria a través de la cual yo manifiesto el mundo en continua resistencia. También será dentro del propio cuerpo donde uno será siempre autoconsciente, de acuerdo con la propia afección. Por eso, la condición material del cuerpo será la de mi cuerpo interior o cuerpo subjetivo, de acuerdo con la lectura inicial que Henry hace de Maine de Biran; o de mi carne, como dirá el mismo Henry más tarde. Teniendo en cuenta todo ello, la situación intermedia, situación de la afección propia y la de mi cuerpo en relación con el mundo y el videor, resulta ser un medio apropiado para emprender un estudio preliminar de la problemática situación del tiempo interno de la afección. Para ello, revisaremos el análisis que Michel Henry ofrece en Material Phenomenology y en Incarnation, indicando las posibles aporías, así como posibles alternativas. (shrink)

If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate logics for which not all of the Visser rules are admissible is not known. In this paper we give a brief overview of results on admissible rules in the context of intermediate logics. We apply these results to some well-known intermediate logics. We provide natural examples of logics (...) for which the Visser rule are derivable, admissible but nonderivable, or not admissible. (shrink)

This article describes an implemented architecture for intermediate vision. By integrating a variety of Intermediate visual mechanisms and putting them to use in support of concrete activity, the implementation demonstrates their utility. The sytem, SIVS, models psychophysical discoveries about visual attention and search. It is designed to be efficiently implementable in slow, massively parallel, locally connected hardware, such as that of the brain.SIVS addresses five fundamental problems. Visual attention is required to restrict processing to task-relevant locations in the (...) image. Visual search finds such locations. Visual routines are a means for nonuniform processing based on task demands. Intermediate objects keep track of intermediate results of this processing. Visual operators are a set of relatively abstract, general-purpose primitives for spatial analysis, out of which visual routines are assembled. (shrink)