In Tractatus, Wittgenstein held that there are null sentences – prominently including logical truths and the truths of mathematics. He says that such sentences are without sense (sinnlos), that they say nothing; he also denies that they are nonsensical (unsinning). Surely it is what a sentence says which is true or false. So if a sentence says nothing, how can it be true or false? The paper discusses the issue.

Consider sentences like (1): 1. Null Complement Containing Sentences a. Aryn followed b. Marie-Odile promised c. Corinne left d. Samir found out at midnight e. I applied f. They already know g. He volunteered h. Abdiwahid insisted i. I suppose j. Paul gave to Amnesty International These illustrate the phenomenon of null complements -- also called ‘pragmatically controlled zero anaphora’, ‘understood arguments’, and ‘linguistically unrealized arguments’. In each case, a complement is (phonologically) omitted, yet (a) the (...) sentence is well-formed and (b) the meaning effect is as if a complement were present. This contrasts on the one hand with structures that lack complements, but are ill-formed as a result – e.g., (2a-c) – and, on the other hand, with structures that lack overt complements, are well-formed, but do not exhibit the meaning effect of a complement – e.g., sentences (3a-b). 2. Contrast with Ill-formed Structures.. (shrink)

Given the replication crisis in cognitive science, it is important to consider what researchers need to do in order to report results that are reliable. We consider three changes in current practice that have the potential to deliver more realistic and robust claims. First, the planned experiment should be divided into two stages, an exploratory stage and a confirmatory stage. This clear separation allows the researcher to check whether any results found in the exploratory stage are robust. The second change (...) is to carry out adequately powered studies. We show that this is imperative if we want to obtain realistic estimates of effects in psycholinguistics. The third change is to use Bayesian data-analytic methods rather than frequentist ones; the Bayesian framework allows us to focus on the best estimates we can obtain of the effect, rather than rejecting a strawman null. As a case study, we investigate number interference effects in German. Number feature interference is predicted by cue-based retrieval models of sentence processing, but it has shown inconsistent results. We show that by implementing the three changes mentioned, suggestive evidence emerges that is consistent with the predicted number interference effects. (shrink)

In this paper, I develop an essentialist model of the semantics of slurs. I defend the view that slurs are a species of kind terms: Slur concepts encode mini-theories which represent an essence-like element that is causally connected to a set of negatively-valenced stereotypical features of a social group. The truth-conditional contribution of slur nouns can then be captured by the following schema: For a given slur S of a social group G and a person P, S is true of (...) P iff P bears the “essence” of G—whatever this essence is—which is causally responsible for stereotypical negative features associated with G and predicted of P. Since there is no essence that is causally responsible for stereotypical negative features of a social group, slurs have null-extension, and consequently, many sentences containing them are either meaningless or false. After giving a detailed outline of my theory, I show that it receives strong linguistic support. In particular, it can account for a wide range of linguistic cases that are regarded as challenging, central data for any theory of slurs. Finally, I show that my theory also receives convergent support from cognitive psychology and psycholinguistics. (shrink)

Event‐related brain potentials were recorded while subjects listened to sentences containing a controlled infinitival complement. Subject and object control items were used, both with 2 potential antecedents in the upper clause. Half of the sentences had a gender agreement violation between the null subject of the infinitival complement and an adjective predicated of it. The rapid detection of this anomaly would indicate that the parser had established the coreference relation between the null subject and an antecedent, (...) and that the processor had rapidly consulted verb control information to select the proper antecedent of the null subject. The results showed that for both subject and object control items ungrammatical adjectives elicited a P600 effect. These data imply that the processor has coindexed the null subject with an antecedent, and that the antecedent has been selected on the basis of control information. These results are compatible with parsing models that emphasize the rapid influence of verb‐specific information on sentence processing. (shrink)

There is a standard quantificational view of generic sentences according to which they have a tripartite logical form involving a phonologically null generic operator called 'Gen'. Recently, a number of theorists have questioned the standard view and revived a competing proposal according to which generics involve the predication of properties to kinds. This paper offers a novel argument against the kind-predication approach on the basis of the invalidity of Generic Excluded Middle, a principle according to which any sentence (...) of the form ⌜Either Fs are G or Fs are not G⌝ is true. I argue that the kind-predication approach erroneously predicts that GEM is valid, and that it can only avoid this conclusion by either collapsing into a form of the quantificational analysis or otherwise garnering unpalatable metaphysical commitments. I also show that, while the quantificational approach does not validate GEM as a matter of logical form, the principle may be validated on certain semantic analyses of the generic operator, and so, such theories should be rejected. (shrink)

Local sentences and the formal languages they define were introduced by Ressayre in. We prove that locally finite ω‐languages and effective analytic sets have the same topological complexity: the Borel and Wadge hierarchies of the class of locally finite ω‐languages are equal to the Borel and Wadge hierarchies of the class of effective analytic sets. In particular, for each non‐null recursive ordinal there exist some ‐complete and some ‐complete locally finite ω‐languages, and the supremum of the set of (...) Borel ranks of locally finite ω‐languages is the ordinal, which is strictly greater than the first non‐recursive ordinal. This gives an answer to the question of the topological complexity of locally finite ω‐languages, which was asked by Simonnet and also by Duparc, Finkel, and Ressayre in. Moreover we show that the topological complexity of a locally finite ω‐language defined by a local sentence φ may depend on the models of the Zermelo‐Fraenkel axiomatic system. Using similar constructions as in the proof of the above results we also show that the equivalence, the inclusion, and the universality problems for locally finite ω‐languages are ‐complete, hence highly undecidable. (shrink)

Results from two self-paced reading experiments in English are reported in which subject- and object-extracted relative clauses (SRCs and ORCs, respectively) were presented in contexts that support both types of relative clauses (RCs). Object-extracted versions were read more slowly than subject-extracted versions across both experiments. These results are not consistent with a decay-based working memory account of dependency formation where the amount of decay is a function of the number of new discourse referents that intervene between the dependents (Gibson, 1998; (...) Warren & Gibson, 2002). Rather, these results support interference-based accounts and decay-based accounts where the amount of decay depends on the number of words or on the type of noun phrases that intervene between the dependents. In Experiment 2, presentation in supportive contexts was directly contrasted with presentation in null contexts. Whereas in the null context the extraction effect was only observed during the RC region, in a supportive context the extraction effect was numerically larger and persisted into the following region, thus showing that extraction effects are enhanced in supportive contexts. A sentence completion study demonstrated that the rate of SRCs versus ORCs was similar across null and supportive contexts (with most completions being subject-extractions), ruling out the possibility that an enhanced extraction effect in supportive contexts is due to ORCs being less expected in such contexts. However, the content of the RCs differed between contexts in the completions, such that the RCs produced in supportive contexts were more constrained, reflecting the lexical and semantic content of the preceding context. This effect, which we discuss in terms of expectations/lexico-syntactic priming, suggests that the enhancement of the extraction effect in supportive contexts is due to the facilitation of the subject-extracted condition. (shrink)

It is sometimes argued that certain sentences of natural language fail to express truth conditional contents. Standard examples include e.g. Tipper is ready and Steel is strong enough. In this paper, we provide a novel analysis of truth conditional meaning using the notion of a question under discussion. This account explains why these types of sentences are not, in fact, semantically underdetermined, provides a principled analysis of the process by which natural language sentences can come to have (...) enriched meanings in context, and shows why various alternative views, e.g. so-called Radical Contextualism, Moderate Contextualism, and Semantic Minimalism, are partially right in their respective analyses of the problem, but also all ultimately wrong. Our analysis achieves this result using a standard truth conditional and compositional semantics and without making any assumptions about enriched logical forms, i.e. logical forms containing phonologically null expressions. (shrink)

This article is a continuation of a line of investigation I began in ‘Literal Meaning’. Its aim is to explore some of the relations between the meaning of words and sentences and the context of their utterance. The view I shall be challenging is sometimes put by saying that the meaning of a sentence is the meaning that it has independently of any context whatever — the meaning it has in the so-called „null context“. The view I shall (...) be espousing is that in general the meaning of a sentence only has application (it only, for example, determines a set of truth conditions) against a background of assumptions and practices that are not representable as a part of the meaning. (shrink)

It is argued that the English bare plural (an NP with plural head that lacks a determiner), in spite of its apparently diverse possibilities of interpretation, is optimally represented in the grammar as a unified phenomenon. The chief distinction to be dealt with is that between the generic use of the bare plural (as in Dogs bark) and its existential or indefinite plural use (as in He threw oranges at Alice). The difference between these uses is not to be accounted (...) for by an ambiguity in the NP itself, but rather by explicating how the context of the sentence acts on the bare plural to give rise to this distinction. A brief analysis is sketched in which bare plurals are treated in all instances as proper names of kinds of things. A subsidiary argument is that the null determiner is not to be regarded as the plural of the indefinite article a. (shrink)

Fictional terms are terms that have null extensions, and in this regard pejorative terms are a species of fictional terms: although there are Jews, there are no kikes. That pejoratives are fictions is the central consequence of the Moral and Semantic Innocence (MSI) view of Hom et al. (2013). There it is shown that for pejoratives, null extensionality is the semantic realization of the moral fact that no one ought to be the target of negative moral evaluation solely (...) in virtue of their group membership. In having null extensions, pejorative terms are much like mythological terms like ‘unicorn horn’ that express concepts with empty extensions, even though it was thought otherwise: people who falsely believed the mythology were mislead into thinking that ordinary objects (i.e. whale tusks) were magical objects, and pejoratives terms work likewise. For example, the term ‘kike’ is supported by the ideology of anti-Semitism, and speakers who fall prey to its influence (perniciously or not) are mislead into thinking that ordinary people (i.e. Jews) are inherently worthy of contempt. In this paper, we explore the consequences of this parallelism, with an eye to criticisms of MSI. In particular, we will re-visit identity expressivist views - those that hold that there are kikes and that they are Jews, and hence deny null extensionality - arguing that this embeds a mistake of fiction for fact. Among the issues to be discussed are the role of fictional truth in understanding pejorative sentences and the relation of the semantics of pejoratives to offensive use of language. We conclude with meta-semantic reflections on the origins of word meanings. (shrink)

This paper concerns the central method of generating evidence in support of contextualist theories, what we call context shifting experiments. We begin by explaining the standard design of context shifting experiments, which are used in both quantitative surveys and more traditional thought experiments to show how context affects the content of natural language expressions. We discuss some recent experimental studies that have tried and failed to find evidence that confirms contextualist predictions about the results of context shifting experiments, and consider (...) the criticisms of those studies made by DeRose (forthcoming). We show that DeRose's criticisms are incomplete, and we argue that the design of context shifting experiments he proposes is itself subject to some of the same problems as the studies he criticizes. We propose a refined approach to the design of context shifting experiments that addresses these problems and which allows us to to investigate the effect of context on both positive and negative sentences. This aspect of our design allows us to control for several forms of bias, including a particular form of "truth bias" that favors positive over negative sentences. We then deploy our improved design in an experiment that tests a large number of scenarios involving different types of expressions of interest to contextualists, including "know" and color adjectives like "green". Our experiment (i) reveals an effect of changing contexts on the evaluation of uses of the sentences that we examined, thereby overturning the absence of results reported in previous experimental studies (so-called null results) and (ii) reveals previously unnoticed distinctions between the strength of the contextual effects we observed for scenarios involving knowledge ascriptions and for scenarios concerning color and other miscellaneous scenarios. (shrink)

Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, (...) treated as variables. A constituent of a sentence is logical just if it is formal in meaning, in the sense roughly that its application is invariant under permutations of individuals.1 Thus ‘=’ is a logical constant because no permutation maps two individuals to one or one to two; ‘∈’ is not a logical constant because some permutations interchange the null set and its singleton. Truth functions, the usual quantifiers and bound variables also count as logical constants. An argument is logically valid if and only if the conclusion is true under every assignment of semantic values to variables (including all non-logical expressions) under which all its premises are true. A sentence is logically true if and only if the argument with no premises of which it is the conclusion is logically valid, that is, if and only if the sentence is true under every assignment of semantic values to variables. An interpretation assigns values to all variables. (shrink)

Here is an account of logical consequence inspired by Bolzano and Tarski. Logical validity is a property of arguments. An argument is a pair of a set of interpreted sentences (the premises) and an interpreted sentence (the conclusion). Whether an argument is logically valid depends only on its logical form. The logical form of an argument is fixed by the syntax of its constituent sentences, the meanings of their logical constituents and the syntactic differences between their non-logical constituents, (...) treated as variables. A constituent of a sentence is logical just if it is formal in meaning, in the sense roughly that its application is invariant under permutations of individuals.1 Thus ‘=’ is a logical constant because no permutation maps two individuals to one or one to two; ‘∈’ is not a logical constant because some permutations interchange the null set and its singleton. Truth functions, the usual quantifiers and bound variables also count as logical constants. An argument is logically valid if and only if the conclusion is true under every assignment of semantic values to variables (including all non-logical expressions) under which all its premises are true. A sentence is logically true if and only if the argument with no premises of which it is the conclusion is logically valid, that is, if and only if the sentence is true under every assignment of semantic values to variables. An interpretation assigns values to all variables. (shrink)

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the (...) standard natural numbers: -CA0 (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

This paper gives an analysis of the adverbial quantifiers exemplified in “I regretted it every time I had dinner with him.” Sentences of this kind display what I call a ‘matching effect’; they are true if every event in the denotation oftime I had dinner with him can be matched with an event regretting that dinner event. They are thus truth-conditionally equivalent to sentences of the form “There are at least as many As as Bs.” The difficulties of (...) giving a compositional interpretation to sentences of this form have been discussed in, e.g., Boolos 1981. I first show that the matching effect is semantic and not pragmatic. I then give an analysis of these sentences in a neo-Davidsonian framework, interpreting the adverbials as quantifiers over events. Syntactically they are analyzed as objects of a null preposition. This allows a simple compositional semantic interpretation in which the null preposition is interpreted exactly as other prepositions are by Davidson (1967), namely as denoting a function from the event argument of the matrix verb to the prepositional object. The matching effect then follows automatically. I extend the analysis to account for other sentences which directly instantiate the schema “For every A there is a B” and its equivalents, and show how the matching effect follows in general from the functional nature of thematic roles and prepositions. (shrink)

Determining the semantic role of sentence constituents is a key task in determining sentence meanings lying behind a veneer of variant syntactic expression. We present a model of natural language generation from semantics using the FrameNet semantic role and frame ontology. We train the model using the FrameNet corpus and apply it to the task of automatic semantic role and frame identification, producing results competitive with previous work (about 70% role labeling accuracy). Unlike previous models used for this task, our (...) model does not assume that the frame of a sentence is known, and is able to identify null- instantiated roles, which commonly occur in our corpus and whose identification is crucial to natural language interpretation. (shrink)

Saunders Mac Lane has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system of set theory of which the axioms are Extensionality, Null Set, Pairing, Union, Infinity, Power Set, Restricted Separation, Foundation, and Choice, to which system, afforced by the principle, , of Transitive Containment, we shall refer as . His system is naturally related to systems derived from topos-theoretic notions concerning the category of sets, and is, as Mac Lane emphasises, one that (...) is adequate for much of mathematics. In this paper we show that the consistency strength of Mac Lane's system is not increased by adding the axioms of Kripke–Platek set theory and even the Axiom of Constructibility to Mac Lane's axioms; our method requires a close study of Axiom H, which was proposed by Mitchell; we digress to apply these methods to subsystems of Zermelo set theory , and obtain an apparently new proof that is not finitely axiomatisable; we study Friedman's strengthening of , and the Forster–Kaye subsystem of , and use forcing over ill-founded models and forcing to establish independence results concerning and ; we show, again using ill-founded models, that proves the consistency of ; turning to systems that are type-theoretic in spirit or in fact, we show by arguments of Coret and Boffa that proves a weak form of Stratified Collection, and that is a conservative extension of for stratified sentences, from which we deduce that proves a strong stratified version of ; we analyse the known equiconsistency of with the simple theory of types and give Lake's proof that an instance of Mathematical Induction is unprovable in Mac Lane's system; we study a simple set theoretic assertion—namely that there exists an infinite set of infinite sets, no two of which have the same cardinal—and use it to establish the failure of the full schema of Stratified Collection in ; and we determine the point of failure of various other schemata in . The paper closes with some philosophical remarks. (shrink)

Clarence Sloat, Ora Matushansky, and Delia Graff Fara advocate a Syntactic Rationale on behalf of predicativism, the view that names are predicates in all of their occurrences. Each argues that a set of surprising syntactic data compels us to recognize names as a special variety of count noun. This data set, they say, reveals that names’ interaction with the determiner system differs from that of common count nouns only with respect to the definite article ‘the’. They conclude that this special (...) distribution of names is best explained by the-predicativism, the view that posits the existence of the null-determiner ‘the’ preceding bare singular names. This essay argues that they have incorrectly discerned the syntactic facts: their critical data point concerning the ungrammaticality of sentences like “The Katherine wants coffee” is mistaken. Such sentences’ grammaticality undermines the Syntactic Rationale and presents serious auxiliary problems for predicativism. (shrink)

In what follows, I suggest that, against most theories of time, there really is an actual present, a now, but that such an eternal moment cannot be found before or after time. It may even be semantically incoherent to say that such an eternal present exists since “it” is changeless and formless (presumably a dynamic chaos without location or duration) yet with creative potential. Such a field of near-infinite potential energy could have had no beginning and will have no end, (...) yet within it stirs the desire to experience that brings forth singularities, like the one that exploded into the Big Bang (experiencing itself through relative and relational spacetime). From the perspective of the eternal now of near-infinite possibilities (if such a sentence can be semantically parsed at all), there is only the timeless creative present, so the Big Bang did not happen some 13 billion years ago. Inasmuch as there is neither time past nor time future nor any time at all at the null point of forever, we must understand the Big Bang (and all other events) as taking place right here and now. In terms of the eternal now, the beginning is happening now and we just appeared (and are always just appearing) to witness it. The rest is all conscious construction; time and experience are so entangled, they need each other to exist. (shrink)

The comprehension of anaphoric relations may be guided not only by discourse, but also syntactic information. In the literature on online processing, however, the focus has been on audible pronouns and descriptions whose reference is resolved mainly on the former. This paper examines one relation that both lacks overt exponence, and relies almost exclusively on syntax for its resolution: adjunct control, or the dependency between the null subject of a non-finite adjunct and its antecedent in sentences such as (...) Mickey talked to Minnie before ___ eating. Using visual world eyetracking, we compare the time course of interpreting this null subject and overt pronouns (Mickey talked to Minnie before he ate). We show that when control structures are highly frequent, listeners are just as quick to resolve reference in either case. When control structures are less frequent, reference resolution based on structural information still occurs upon hearing the non-finite verb, but more slowly, especially when unaided by structural and referential predictions. This may be due to increased difficulty in recognizing that a referential dependency is necessary. These results indicate that in at least some contexts, referential expressions whose resolution depends on very different sources of information can be resolved approximately equally rapidly, and that the speed of interpretation is largely independent of whether or not the dependency is cued by an overt referring expression. (shrink)

Reduced forms such as the pronoun he provide little information about their intended meaning compared to more elaborate descriptions such as the lead singer of Coldplay. Listeners must therefore use contextual information to recover their meaning. Across languages, there appears to be a trade‐off between the informativity of a form and the prominence of its referent. For example, Italian adults generally interpret informationally empty null pronouns as in the sentence Corre (meaning “He/She/It runs”) as referring to the most prominent (...) referent in the discourse, and more informative overt pronouns (e.g., lui in Lui corre, “He runs”) as referring to less prominent referents. Although children acquiring Italian are known to experience difficulties interpreting pronouns, it is unclear how they acquire this division of pragmatic labor between null and overt subject pronouns, and how this relates to the development of their cognitive capacities. Here we show that cognitive development can account for the general interpretation patterns displayed by Italian‐speaking children and adults. Using experimental studies and computational simulations in a framework modeling bounded‐rational behavior, we argue that null pronoun interpretation is influenced by working memory capacity and thus appears to depend on discourse context, whereas overt pronoun interpretation is influenced by processing speed, suggesting that listeners must reason about the speaker's choices. Our results demonstrate that cognitive capacities may constrain the acquisition of linguistic forms and their meanings in various ways. The novel predictions generated by the computational simulations point out several directions for future research. (shrink)

In what follows, I suggest that, against most theories of time, there really is an actual present, a now, but that such an eternal moment cannot be found before or after time. It may even be semantically incoherent to say that such an eternal present exists since “it” is changeless and formless (presumably a dynamic chaos without location or duration) yet with creative potential. Such a field of near-infinite potential energy could have had no beginning and will have no end, (...) yet within it stirs the desire to experience that brings forth singularities, like the one that exploded into the Big Bang (experiencing itself through relative and relational spacetime). From the perspective of the eternal now of near-infinite possibilities (if such a sentence can be semantically parsed at all), there is only the timeless creative present, so the Big Bang did not happen some 13 billion years ago. Inasmuch as there is neither time past nor time future nor any time at all at the null point of forever, we must understand the Big Bang (and all other events) as taking place right here and now. In terms of the eternal now, the beginning is happening now and we just appeared (and are always just appearing) to witness it. The rest is all conscious construction; time and experience are so entangled, they need each other to exist. (shrink)

It is a consequence of both Kennedy and McNally’s typology of the scale structures of gradable adjectives and Kennedy’s :1–45, 2007) economy principle that an object is clean just in case its degree of cleanness is maximal. So they jointly predict that the sentence ‘Both towels are clean, but the red one is cleaner than the blue one’ :259–288, 2004) is a contradiction. Surely, one can account for the sentence’s assertability by saying that the first instance of ‘clean’ is used (...) loosely: since ‘clean’ pragmatically conveys the property of being close to maximally clean rather than the property of being maximally clean, the sentence as a whole conveys a consistent proposition. I challenge this semantics–pragmatics package by considering the sentence ‘Mary believes that both towels are clean but that the red one is cleaner than the blue one’. We can certainly use this sentence to attribute a coherent belief to Mary: One of its readings says that she believes that the towels are clean by a contextually salient standard ; the other says that she believes that the towels are clean by her own standard. I argue that Kennedy’s semantics–pragmatics package can’t deliver those readings, and propose that we drop the economy principle and account for those readings semantically by assigning to the belief sentence two distinct truth conditions. I consider two ways to deliver those truth-conditions. The first one posits world-variables in the sentence’s logical form and analyzes those truth-conditions as resulting from two binding possibilities of those variables. The second one proposes that the threshold function introduced by the phonologically null morpheme pos is shiftable in belief contexts. (shrink)

Thomas A. Fay Heidegger and the Formalization of Thought 1 Dagfinn F011esdal The Justification of Logic and Mathematics in Husserl's Phenomenology 25 Guillermo E. Rosado Haddock On Husserl's Distinction between State of Affairs and Situation of Affairs.... 35 David Woodruff Smith On Situations and States of Affairs 49 Charles W. Harvey, Jaakko Hintikka Modalization and Modalities................... 59 Gilbert T. Null Remarks on Modalization and Modalities 79 J. N. Mohanty Husserl's Formalism 93 Carl J. Posy Mathematics as a Transcendental Science (...) 107 vi Gian-carlo Rota Mathematics and the Task of Phenomenology 133 John Scalon "Tertium Non Datur: " Husserl's Conception of a Definite Multiplicity..... 139 Thomas M. Seebohm Psychologism Revisited 149 Gerald J. Massey Some Reflections on Psychologism 183 Robert S. Tragesser How Mathematical Foundation all but come about: A Report on Studies Toward a Phenomenological Critique of Godel's Views on Mathematical Intuition.. 195 Kenneth L. Manders On Geometric Intentionality 215 Dallas Willard Sentences which are True in Virtue of their Color... 225 John J. Drummond Willard and Husserl on Logical Form 243 Index of Names 257 Index of Subjects 259 PREFACE The phenomenology of logic and ideal objects is the topic of Husserl's Logical Investigations. This book determined the early development of the so called phenomenological movement. It is still the main source for many phenomenologists, even if they disagree with Husserl's transcendental turn and developed other phenomenological positions or positions beyond phenomenology he early sense. (shrink)

Being able to state the principles which lie deepest in the foundations of mathematics by sentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987. The main achievement of this paper is the proof that the 'kernel' set theory whose postulates are extensionality. (E), and single-element adjunction and removal. (W) and (L), cannot be axiomatized by means of three-variable (...) class='Hi'>sentences. This highlights a sharp edge to be crossed in order to attain an 'algebraization' of Set Theory. Indeed, one easily shows that the theory which results from the said kernel by addition of the null set axiom, (N), is in its entirety expressible in three variables. (shrink)

Determining the semantic role of sentence constituents is a key task in determining sentence meanings lying behind a veneer of variant syntactic expression. We present a model of natural language generation from semantics using the FrameNet semantic role and frame ontology. We train the model using the FrameNet corpus and apply it to the task of automatic semantic role and frame identification, producing results competitive with previous work (about 70% role labeling accuracy). Unlike previous models used for this task, our (...) model does not assume that the frame of a sentence is known, and is able to identify null- instantiated roles, which commonly occur in our corpus and whose identification is crucial to natural language interpretation. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been criticized for (...) using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

This is the first of three essays which use Edmund Husserl's dependence ontology to formulate a non-Diodorean and non-Kantian temporal semantics for two-valued, first-order predicate modal languages suitable for expressing ontologies of experience (like physics and cognitive science). This essay's primary desideratum is to formulate an adequate dependence-ontological account of order. To do so it uses primitive (proper) part and (weak) foundation relations to formulate seven axioms and 28 definitions as a basis for Husserl's dependence ontological theory of relating moments. (...) The essay distinguishes between dependence v. independence, pieces v. moments, mediate v. immediate pieces and moments, maximal v. non-maximal pieces, founded v. unfounded qualities, integrative v. disintegrative dependence, and defines the concepts of the completion of an object, the adumbrational equivalence relation of objects, moments of unity which unify objects, and relating moments which relate objects. The eight theorems [CUT90]-[CUT97] show that relating moments of unity provide an adequate account of order in terms of primitive (proper) part and (weak) foundation relations. (shrink)

This article draws upon the history of teacher education to provide an introduction to 4 competing pedagogical philosophies. These 4 philosophies battled for control over curriculum for teachers during the period from 1890 to 1930. I begin by defining curriculum for teachers to include the liberal, the professional, and the experiential dimensions. Then, I identify 4 interest groups that sought to gain power over curriculum for teachers. I categorize these interest groups as the traditionalists, the integrationists, the technicians, and the (...) romantics. Then, I explain how leading individuals from each interest group answered questions regarding human nature, the purpose of schooling, and curriculum for teachers. Finally, I argue that education schools should revitalize the integrationist tradition within pedagogical philosophy. This view has been forgotten for nearly 50 years, and the profession of teaching has suffered because of it. (shrink)

This updated third edition of Curriculum: From Theory to Practice provides an introduction to curriculum theory and how it relates to classroom practice. Wesley Null builds upon recent developments while continuing to provide a unique organization of the curriculum field composed of five traditions: systematic, existential, radical, pragmatic, and deliberative.

The purpose of this text is to draw attention to eight forgotten heroes: William C. Bagley, Charles DeGarmo, David Felmley, William Torrey Harris, Isaac L. Kandel, Charles McMurry, William C. Ruediger, and Edward Austin Sheldon. They have been marginalized from our profession, and drawing upon their legacy is the best hope for restoring the profession of teaching today. This work also includes a chapter at the end of the book entitled "John Dewey's Forgotten Essays." The audience for this book includes: (...) 1) classroom teachers, 2) school administrators, 3) teacher educators, 4) deans and other university administrators, 5) college and university presidents, 6) legislators, 7) historians of education, 8) curriculum specialists, 9) specialists in teacher training, and 10) the general public. (shrink)

The essay introduces a non-Diodorean, non-Kantian temporal modal semantics based on part-whole, rather than class, theory. Formalizing Edmund Husserl’s theory of inner time consciousness, §3 uses his protention and retention concepts to define a relation of self-awareness on intentional events. §4 introduces a syntax and two-valued semantics for modal first-order predicate object-languages, defines semantic assignments for variables and predicates, and truth for formulae in terms of the axiomatic version of Edmund Husserl’s dependence ontology (viz. the Calculus [CU] of Urelements) introduced (...) by The Ontology of Intentionality I & II. It then uses the §3 results to define the modalities of truth, and §5 extends the semantics to identity claims. §6 defines and contrasts synthetic a priori truths to analytic a priori truths, and §7 compares Brentano School noetic semantic and Leibnizian possible-world semantic perspectives on modality. The essay argues that the modal logics it defines semantically are two-valued, first-order versions of the type of language which Husserl viewed as the language of any ontology of experience (i.e. of any science), and conceived as the logic of intentionality. (shrink)