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.

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)

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 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 US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (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)

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)

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)

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)

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.

This early work first published in 1912 by poet, philosopher, and gay activist, Edward Carpenter is both expensive and hard to find in its first edition. It details the changing ideas of masculinity and femininity in his contemporary culture and is thoroughly fascinating for anyone interested in social history. Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce. We are republishing these classic works in affordable, high quality, modern editions, using the (...) original text and artwork. (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.

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)

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)

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)

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)

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 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)

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)

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)

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.

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)

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)

Intermediate filament (IF) protein tetramers contain two DNA‐ and core‐histone‐binding motifs in rotational symmetry in one and the same structural entity. We propose that IF protein oligomers might displace histone octamers from nucleosomes in the process of transcription initiation and elongation, to deposit them transiently on their α‐helical coiled‐coil domains. We further propose that structurally related proteins of the karyoskeleton, constructed from an α‐helical domain capable of coiled‐coil formation and a basic DNA‐binding region adjacent to it, may be similarly involved (...) in nucleosome activation. These proteins would function as auxiliary factors that disrupt nucleosomal structure to permit transcription and other DNA‐dependent processes to proceed expiditiously. (shrink)

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)

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)

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.

The concepts “dispositive” and “intermediality” emerged at the same time and are becoming increasingly prominent. In this article, I propose to consider what intermediality brings to the dispositive, based on a case study of the diptych El Otro Lado de la Cama and Los Dos Lados de la Cama, two mainstream films from contemporary Spain in the early twenty-first century. Dispositive theory has been developed in France by academics working in the fields of modern literature and theater at the University (...) of Toulouse, notably Marie-Thérèse Mathet, Stéphane Lojkine, Philippe Ortel and Arnaud Rykner. In the late 1990s, this group adapted Foucault’s concept of the dispositive 2 to the fields of literature and.. (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.

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)

Over the past twenty years, the concept of intermediality has emerged as a strategic response that has sought to bypass some of the ills that have plagued the university as an institution.1 Indeed, defined as the study of “nodes of relations, of relationship movements slow enough to seem immobile”, intermediality as an approach has helped fight against the hyper-specialization of research in the humanities. By conceiving of relationships as paramount, it has made it possible to view as counterintuitive the fragmented (...) approach to the real and its representations. Thereby, the social and cultural environment has been relocated to the center of analyses.. (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)

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.

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial (...) characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

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)

The study aimed to identify the intermediate role of the standard of operations in the relationship between the focus on students and beneficiaries in achieving satisfaction of students in Palestinian universities. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The study sample consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The results of the study were as follows: - There (...) is a statistically significant effect on the adoption of the criterion of focus on the students benefiting to achieve the satisfaction of students in the Palestinian universities, where the value of R Square (35.3%), there is a statistically significant effect on the adoption of the criterion of focus on the students benefiting on the use of the standard of operations in Palestinian universities. The value of the R Square is (62.8%), there is a statistically significant impact of the criterion of operations on the satisfaction of students in Palestinian universities. Where the value of the R is (36.2%), there is a significant effect on the adoption of the criterion of emphasis on students benefiting from the satisfaction of students in Palestinian universities with the existence of the standard of operations as an intermediary variable. The role of the mediator in the relationship between the adoptions of the criterion of focus on the students benefiting to achieve the satisfaction of students in Palestinian universities was revealed through the use of Path Analysis. The study presented a number of recommendations, the most important of which is: to increase the focus of the universities on students and beneficiaries in a manner appropriate to achieve the objectives of the university on the one hand, and students and beneficiaries on the other, and in line with the approach of quality and excellence, the universities more attention to the management of operations through the design and development of programs Academic and internal services according to the needs of students, and improving processes in innovative ways to generate added value for students and beneficiaries, the universities have made more efforts to create satisfaction among students and beneficiaries by developing internal performance indicators to measure student satisfaction, Students and other university beneficiaries periodically to improve their satisfaction. (shrink)

The mechanical properties of vertebrate cells are largely defined by the system of intermediate filaments (IF). As part of a dense network, IF polymers are constantly rearranged and relocalized in the cell to fulfill their duty as cells change shape, migrate, or divide. With the development of new imaging technologies, such as photoconvertible proteins and super‐resolution microscopy, a new appreciation for the complexity of IF dynamics has emerged. This review highlights new findings about the transport of IF, the remodeling of (...) filaments by a process of severing and re‐annealing, and the subunit exchange that occurs between filament precursors and a soluble pool of IF. We will also discuss the unique dynamic features of the keratin IF network. Finally, we will speculate about how the dynamic properties of IF are related to their functions. (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.

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)

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)

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)

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.

In this paper, I propose to analyse two objections raised by Turner Jr in his paper “On Two Reasons Christian Theologians Should Reject The Intermediate State” in order to show that the intermediate state is an incoherent theory. As we shall see, the two untoward consequences that he mentions do not imply a metaphysical or logical contradiction. Consequently, I shall defend an Intermediate State and I shall propose briefly one metaphysical conception of the human being able to reply to Turner (...) Jr’s objections. (shrink)