On the maximum number of folds of a piece of paper

We argue that a piece of paper, of thickness T and width W, can be folded a maximum number N?=?0.962 ln(f W/T) times, where f is a factor of order unity, determined by mechanical constraints. N typically takes a value of around six.     

Valuation Semantics for First-Order Logics of Evidence and Truth

This paper introduces the logic QLET_F, a quantified extension of the logic of evidence and truth LET_F, together with a corresponding sound and complete first-order non-deterministic valuation semantics. LET_F is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (FDE) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘A entails that A behaves classically, ∙A follows from A’s violating some classically valid inferences. The semantics of QLET_F combines structures that interpret negated predicates in terms of anti-extensions with first-order non-deterministic valuations, and completeness is obtained through a generalization of Henkin’s method. By providing sound and complete semantics for first-order extensions of FDE, K3, and LP, we show how these tools, which we call here the method of anti-extensions + valuations, can be naturally applied to a number of non-classical logics.

     

Knowledge despite falsehood

I examine the claim, made by some authors, that we sometimes acquire knowledge from falsehood. I focus on two representative cases in which a subject S infers a proposition q from a false proposition p. If S knows that q, I argue, S's false belief that p is not essential to S's cognition. S's knowledge is instead due to S's belief that p′, a proposition in the neighbourhood of p that S (dispositionally) believes (and knows). S thus knows despite her false belief. The widely accepted and plausible principle that inferential knowledge requires known premises is unscathed.     

A new puzzle about belief and credence

I present a puzzle about belief and credence, which takes the form of three independently supported views that are mutually inconsistent. The first is the view that S has a modal belief that p (e.g., S believes that probably-p) if and only if S has a corresponding credence that p. The second is the view that S believes that p only if S has some credence that p. The third is the view that, possibly, S believes that p without a modal belief that p. [Word Count: 85]     

Sorai and the will oftian

Conclusion My purpose has been more negative than positive. That is, I have challenged the view that Sorai understoodtian as an intentional agent. At minimum, Sorai’s philosophical views do not depend upon such a conception oftian, and he refrains from characterizingtian in such terms when he discusses the concept oftian directly. However, I do not claim to have proven that Sorai’s view oftian was completely naturalistic, or even that Sorai did not—at some level—believe thattian had intentions. I have, I hope, shown thatthe case that Sorai viewedtian as intentional has not been convincingly made. Further, something closer to a dynamic and indeterminate naturalistic view is a reasonable alternative. On my reading, Sorai steers a course between the Song Confucian view oftian as static and knowable (a view that he explicitly rejects) and a view oftian as intentional (a view he never unequivocally expresses)—indeed, he rejects the idea of personifyingtian. When Sorai speaks of thexin or “mind”of tian, he is best understood as employing a metaphor that implies complexity, mystery, activity, and perhaps moral structure, but not intentionality in the normal sense. The complexity, indeterminacy, and dynamism oftian, as these are expressed in Sorai’s writings, do not necessarily imply willful intent on the part oftian, for they are all consistent with the Xunzian interpretation oftian as a natural process, even iftian’s regularities have a moral character.     

Calibrating Study and Learning as Hermeneutic Principles Through Greco-Christian Seeing,Rabbinic Hearing,and Chinese Yijing Observing

Study is recently re-invoked as an alternative educational formation to disrupt the learning trap and trope. This paper calibrates study and learning as two hermeneutic principles and correlates them with seeing, hearing, and observing as three onto-epistemic modes that respectively underpin Greco-Christian, Rabbinic, and ancient Chinese exegetical traditions. Linking study and learning with the hermeneutic issues of language, text, meaning, and reality, my calibration unfolds in four steps. First, I introduce an epistemic aporia encountered in interpreting some Chinese educational “wind” texts, exposing our naturalized reasoning of learning along a representational enclosure. Second, turning to Susan Handelman’s writing, I trace this learning-as-representation enclosure as being conditioned upon the Greco-Christian exegetical mode of seeing, meanwhile correlating study back with the Rabbinic hearing hermeneutic. Third, I move on to explicate an onto-cosmological Yijing observing, proffering a study hermeneutic as a movement of observing, following, and attuning to wendao, literally put, “a crisscrossing pattern that (re-)turns with dao.” Finally, I re-observe and study the crisscrossing Chinese educational “wind” texts, evoking a Chinese “wind-teaching” sensibility so far rarely discerned through representational thinking and learning.

     

General theory and methods for matric factoring

Methods are developed for factoring an arbitrary rectangular matrixS of rankr into the formFP, whereF hasr columns andP hasr rows. For the statistical problem of factor analysis,S may be the score matrix of a population of individuals on a battery of tests. ThenF is a matrix of factor loadings,P is a matrix of factor scores, andr is the number of factor variates. (As in current procedures, there remains a subsequent problem of rotation of axes and interpretation of factors, which is not discussed here.) Methods are also developed for factoring an arbitrary Gramian matrixG of rankr into the formFF, whereF hasr columns andF denotesF transposed. For the statistical problem of factor analysis,G may be the matrix of intercorrelations,R, of a battery of tests, with unity, communalities, or other parameters in the principal diagonal.R is proportional toSS, and it is shown thatS can be factored by factoringR. This may usually be the most economical procedure in practice; it should not be overlooked, however, thatS can be factored directly. The general methods build up anF (andP) in as many stages as desired; as many factors as may be deemed computationally practical can be extracted at a time. Perhaps it will usually be found convenient to extract not more than three factors at a time. Current procedures, like the centroid and principal axes, are special cases of a general method presented here for extracting one factor at a time.     

The logic of ability,freedom and responsibility

The aim of this paper is to offer a rigorous explication of statements ascribing ability to agents and to develop the logic of such statements. A world is said to be feasible iff it is compatible with the actual past-and-present. W is a P-world iff W is feasible and P is true in W (where P is a proposition). P is a sufficient condition for Q iff every P world is a Q world. P is a necessary condition for Q iff Q is a sufficient condition forP. Each individual property S is shown to generate a rule for an agent X. X heeds S iff X makes all his future choices in accordance with S. (Note that X may heed S and yet fail to have it). S is a P-strategy for X iff X's heeding S together with P is a necessary and sufficient condition for X to have S. (P-strategies are thus rules which X is able to implement on the proviso P).Provisional opportunity: X has the opportunity to A provided P iff there is an S such that S is a P-strategy for X and X's implementing S is a sufficient condition for X's doing A. P is etiologically complete iff for every event E which P reports P also reports an etiological ancestry of E, and P is true. Categorical opportunity: X has the opportunity to A iff there is a P such that P is etiologically complete and X has the opportunity to A provided P. For X to have the ability to A there must not only be an appropriate strategy, but X must have a command of that strategy. X steadfastly intends A iff X intends A at every future moment at which his doing A is not yet inevitable. X has a command of S w.r.t. A and P iff X's steadfastly intending A together with P is a sufficient condition for X to implement S. Provisional ability: X can A provided P iff there is an S such that S is a P-strategy for X, X's implementing S is a sufficient condition for X's doing A, and X has a command of S w.r.t. A and P. Categorical ability: X can A iff there is a P such that P is etiologically complete and X can A provided P. X is free w.r.t. to A iff X can A and X can non- A. X is free iff there is an A such that X is free w.r.t. A.     

Kant,the Third Antinomy and Transcendental Arguments

In this paper, I consider whether a reading of Kant's solution to the Third Antinomy can offer material for devising a new model of transcendental argument. The problem that this form of argument is meant to address is an antinomy between two apparently contradictory claims, q and ¬q, where we seem equally justified in holding both. The model has the following form: p; q is a necessary condition of p; the only justification we have for q is that it is a necessary condition of p; p is justified only in domain X (where X is a domain of objects of cognition); therefore, q is justified only in domain X. Because the argument shows that our justification for q is valid only in X, it also establishes that there is conceptual space to hold ¬q outside of X.     

Some properties of the communality in multiple factor theory

Several theorems concerning properties of the communaltiy of a test in the Thurstone multiple factor theory are established. The following theorems are applicable to a battery ofn tests which are describable in terms ofr common factors, with orthogonal reference vectors.1. The communality of a testj is equal to the square of the multiple correlation of testj with ther reference vectors.2. The communality of a testj is equal to the square of the multiple correlation of testj with ther reference vectors and then—1 remaining tests. Corollary: The square of the multiple correlation of a testj with then—1 remaining tests is equal to or less than the communality of testj. It cannot exceed the communality.3. The square of the multiple correlation of a testj with then—1 remaining tests equals the communality of testj if the group of tests containsr statistically independent ests teach with a communality of unity.4. With correlation coefficients corrected for attenuation, when the number of tests increases indefinitely while the rank of the correlational matrix remains unchanged, the communality of a testj equals the square of the multiple correlation of testj with then—1 remaining tests.5. With raw correlation coefficients, it is shown in a special case that the square of the multiple correlation of a testj with then—1 remaining tests approaches the communality of testj as a limit when the number of tests increases indefinitely while the rank of correlational matrix remains the same. This has not yet been proved for the general case.The author wishes to express his appreciation of the encouragement and assistance given him by Dr. L. L. Thurstone.     

Semantic Information and the Correctness Theory of Truth

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained.     

Conditional probability judgments: Effects of imagining vs experiencing the conditioning event

Applications of Bayesian conditionalization often involve two temporal aspects: a probability judgment is based on knowledge at a point in time and is revised over time in light of added information. Let t, t′, and t″ designate three chronological points in time. E designates a target event which occurs or not at t″, and C designates a conditioning event which occurs or not at t′. Suppose that an individual judges P(EC) at t. If C occurs, Bayesian conditionalization requires that a judgment of P(E) at t′ is equal to the earlier judgment of P(EC). However, inconsistencies may result because a judgment of P(EC) at t is based on imagining C, while a judgment of P(E) at t′ is based on experiencing C. This study examines two sources of such inconsistencies. First, C normally is an abstraction of what might happen between t and t′. What actually happens may differ, such that an individual observes extraconditional information which affects a judgment of P(E) at t′. Second, experiencing C may change an individual's affective state, leading to greater optimism or pessimism about the occurrence of E. We report an experiment which documents both effects.     

Serial and parallel processing in reading: Investigating the effects of parafoveal orthographic information on nonisolated word recognition

We present a novel lexical decision task and three boundary paradigm eye-tracking experiments that clarify the picture of parallel processing in word recognition in context. First, we show that lexical decision is facilitated by associated letter information to the left and right of the word, with no apparent hemispheric specificity. Second, we show that parafoveal preview of a repeat of word n at word n + 1 facilitates reading of word n relative to a control condition with an unrelated word at word n + 1. Third, using a version of the boundary paradigm that allowed for a regressive eye movement, we show no parafoveal “postview” effect on reading word n of repeating word n at word n – 1. Fourth, we repeat the second experiment but compare the effects of parafoveal previews consisting of a repeated word n with a transposed central bigram (e.g., caot for coat) and a substituted central bigram (e.g., ceit for coat), showing the latter to have a deleterious effect on processing word n, thereby demonstrating that the parafoveal preview effect is at least orthographic and not purely visual.     

Making the Quantum of Relevance

Summary  The two Heisenberg Uncertainties (UR) entail an incompatibility between the two pairs of conjugated variables E, t and p, q. But incompatibility comes in two kinds, exclusive of one another. There is incompatibility defineable as: (p → − q) & (q→ − p) or defineable as [(p →− q) & (q →− p)] ↔ r. The former kind is unconditional, the latter conditional. The former, in accordance, is fact independent, and thus a matter of logic, the latter fact dependent, and thus a matter of fact. The two types are therefore diametrically opposed.In spite of this, however, the existing derivations of the Uncertainties are shown here to entail both types of incompatibility simultaneously. Δ E Δ t ≥ h is known to derive from the quantum relation E = hν plus the Fourier relation Δ ν Δ t ≥ 1. And the Fourier relation assigns a logical incompatibility between Δ ν = 0, Δ t = 0. (Defining a repetitive phenomenon at an instant t → 0 is a self contradictory notion.) An incompatibility, therefore, which is fact independent and unconditional. How can one reconcile this with the fact that Δ EΔ t exists if and only if h > 0, which latter supposition is a factual truth, entailing that a Δ E = 0, Δ t = 0 incompatibility should itself be fact dependent? Are we to say that E and t are unconditionally incompatible (via Δ ν Δ t ≥ 1) on condition that E = hν is at all true? Hence, as presently standing, the UR express a self-contradicting type of incompatibility.To circumvent this undesirable result, I reinterpret E = hν as relating the energy with a period. Though only one such period. And not with frequency literally. (It is false that E = ν . It is true that E = ν times the quantum.) In this way, the literal concept of frequency does not enter as before, rendering Δ ν Δ t ≥ 1 inapplicable. So the above noted contradiction disappears. Nevertheless, the Uncertainties are derived. If energy is only to be defined over a period, momentum only over a distance (formerly a wavelength) resulting during such period, thus yielding quantized action of dimensions Et = pq, then energies will become indefinite at instants, momenta indefinite at points, leading, as demanded, to (symmetric!) Δ E Δ t = Δ p Δ q ≥ h’s.     

The Point of Scientificity,the Fall of the Epistemological Dominos,and the End of the Field of Educational Administration

The point of scientificity, or pos,represents a place in history whereeducational administration was founded as ascience. A pos creates a field of memoryand a field of studies. A pos isepistemologically sustained in its claim forscientific status by a line of demarcation orlod. A lod is supported by truthclaims based on various forms ofcorrespondence. As these forms have beeninterrogated and abandoned, correspondence hasgiven way to coherentism and finally to testsof falsification. As falsification has shownto contain serious flaws when compared to theactual history of scientific discoveries, theentire project of a distinct and unitaryfield known as educational administration isseriously cast into doubt. Contemporaryexaminations in educational administrationdiscourse show that even when the lod hasbeen undermined by epistemological shifts, theinitial pos has remained to supportclaims regarding the project of a ``science ofleadership.' The analysis contained in thisarticle show, however, that when claims of thelod are demonstrably unsustainable, theinitial pos must be similarly abandoned. With that collapse the concept of a fieldis likewise effaced. The epistemologicalalternative is to envision fields ofstudy which do not require a lod, excepton a longitudinal basis to ascertain whether aresearch program shaped and sustained by it isprogressive or regressive. In short, there areno aprori meta-criteria to separate sciencefrom non-science in educationaladministration.     

The mental representation of causal conditional reasoning: mental models or causal models

In this paper, two experiments are reported investigating the nature of the cognitive representations underlying causal conditional reasoning performance. The predictions of causal and logical interpretations of the conditional diverge sharply when inferences involving pairs of conditionals—such as if P₁then Q and if P₂then Q—are considered. From a causal perspective, the causal direction of these conditionals is critical: are the P_icauses of Q; or symptoms caused byQ. The rich variety of inference patterns can naturally be modelled by Bayesian networks. A pair of causal conditionals where Q is an effect corresponds to a “collider” structure where the two causes (P_i) converge on a common effect. In contrast, a pair of causal conditionals where Q is a cause corresponds to a network where two effects (P_i) diverge from a common cause. Very different predictions are made by fully explicit or initial mental models interpretations. These predictions were tested in two experiments, each of which yielded data most consistent with causal model theory, rather than with mental models.     

How to eliminate self-reference: a précis

We provide a systematic recipe for eliminating self-reference from a simple language in which semantic paradoxes (whether purely logical or empirical) can be expressed. We start from a non-quantificational language L which contains a truth predicate and sentence names, and we associate to each sentence F of L an infinite series of translations h ₀(F), h ₁(F), ..., stated in a quantificational language L ^*. Under certain conditions, we show that none of the translations is self-referential, but that any one of them perfectly mirrors the semantic behavior of the original. The result, which can be seen as a generalization of recent work by Yablo (1993, Analysis, 53, 251–252; 2004, Self-reference, CSLI) and Cook (2004, Journal of Symbolic Logic, 69(3), 767–774), shows that under certain conditions self-reference is not essential to any of the semantic phenomena that can be obtained in a simple language.     

Personality and Fears

The contribution to self-reported fears of individual differences in extraversion-introversion (E) and neuroticism (N) was studied in 102 female college students. Four groups of 20 Ss each were constituted - high E high N, high E low N, low E high N, and low E low N. A fear survey schedule and the Eysenck Personality Inventory were employed. By analysis of variance, total fear scores were a significant function of N but not E. Extreme or phobic fears were a significant function of neither personality dimensions, though the N effect approached conventional significance levels. Correlational analyses on the full sample confirmed these findings, except that a statistically significant though slight (6 percent) proportion of extreme fear variance was accountable by N.     

What is a fourdimensionalist to do about temporally extended properties?

Some properties and relations take time to be instantiated. They are not instantiated at a time, but through a temporal interval. Cognitive properties and relations such as understanding and thinking are like this, but also many biological, chemical, and microphysical properties and relations such as absorbing, freezing, radiating, and decaying. In this paper, I make a case for taking seriously such temporally extended properties (TEPs). I argue that they are ubiquitous and that our current theories of persistence would do well to make room for them in their ontology. The focus here is on fourdimensionalism and different ways it can accommodate TEPs. I explore four different ways of dealing with TEPs within a fourdimensionalist framework. These are: (a) to make the objects that bear apparent TEPs temporally more extended or “chunky,” while giving TEPs a reductive or eliminativist treatment in favor of instantaneous properties (IPs); (b) to make a series of objects the bearer of TEP predicates, while, again, holding only to IPs; (c) to endorse TEPs in their own right and take them to be temporally extended in a literal sense; and (d) to hold on to TEPs as atemporal properties and make the exemplification relation temporally extended. I discuss each of these options and highlight the types of problems that a fourdimensionalist faces in attempting to accommodate TEPs. I conclude that fourdimensionalists do not yet have a satisfactory account of TEPs in their hands.