7 resultados para Threshold logic
em Brock University, Canada
Resumo:
I will argue that the doctrine of eternal recurrence of the same no better interprets cosmology than pink elephants interpret zoology. I will also argue that the eternal-reiurn-of-the-same doctrine as what Magnus calls "existential imperative" is without possibility of application and thus futile. To facilitate those arguments, the validity of the doctrine of the eternal recurrence of the same will be tested under distinct rubrics. Although each rubric will stand alone, one per chapter, as an evaluation of some specific aspect of eternal recurrence, the rubric sequence has been selected to accommodate the identification of what I shall be calling logic abridgments. The conclusions to be extracted from each rubric are grouped under the heading CONCLUSION and appear immediately following rubric ten. Then, or if, at the end of a rubric a reader is inclined to wonder which rubric or topic is next, and why, the answer can be found at the top of the following page. The question is usually answered in the very first sentence, but always answered in the first paragraph. The first rubric has been placed in order by chronological entitlement in that it deals with the evolution of the idea of eternal recurrence from the time of the ancient Greeks to Nietzsche's August, 1881 inspiration. This much-recommended technique is also known as starting at the beginning. Rubric 1 also deals with 20th. Century philosophers' assessments of the relationship between Nietzsche and ancient Greek thought. The only experience of E-R, Zarathustra's mountain vision, is second only because it sets the scene alluded to in following rubrics. The third rubric explores .ii?.ih T jc,i -I'w Nietzsche's evaluation of rationality so that his thought processes will be understood appropriately. The actual mechanism of E-R is tested in rubric four...The scientific proof Nietzsche assembled in support of E-R is assessed by contemporary philosophers in rubric five. E-R's function as an ethical imperative is debated in rubrics six and seven.. .The extent to which E-R fulfills its purpose in overcoming nihilism is measured against the comfort assured by major world religions in rubric eight. Whether E-R also serves as a redemption for revenge is questioned in rubric nine. Rubric ten assures that E-R refers to return of the identically same and not merely the similar. In addition to assemblage and evaluation of all ten rubrics, at the end of each rubric a brief recapitulation of its principal points concludes the chapter. In this essay I will assess the theoretical conditions under which the doctrine cannot be applicable and will show what contradictions and inconsistencies follow if the doctrine is taken to be operable. Harold Alderman in his book Nietzsche's Gift wrote, the "doctrine of eternal recurrence gives us a problem not in Platonic cosmology, but in Socratic selfreflection." ^ I will illustrate that the recurrence doctrine's cosmogony is unworkable and that if it were workable, it would negate self-reflection on the grounds that selfreflection cannot find its cause in eternal recurrence of the same. Thus, when the cosmology is shown to be impossible, any expected ensuing results or benefits will be rendered also impossible. The so-called "heaviest burden" will be exposed as complex, engrossing "what if speculations deserving no linkings to reality. To identify ^Alderman p. 84 abridgments of logic, contradictions and inconsistencies in Nietzsche's doctrine of eternal recurrence of the same, I. will examine the subject under the following schedule. In Chapter 1 the ancient origins of recurrence theories will be introduced. ..This chapter is intended to establish the boundaries within which the subsequent chapters, except Chapter 10, will be confined. Chapter 2, Zarathustra's vision of E-R, assesses the sections of Thus Spoke Zarathustra in which the phenomenon of recurrence of the same is reported. ..Nihilism as a psychological difficulty is introduced in this rubric, but that subject will be studied in detail in Chapter 8. In Chapter 2 the symbols of eternal recurrence of the same will be considered. Whether the recurrence image should be of a closed ring or as a coil will be of significance in many sections of my essay. I will argue that neither symbolic configuration can accommodate Nietzsche's supposed intention. Chapter 3 defends the description of E-R given by Zarathustra. Chapter 4, the cosmological mechanics of E-R, speculates on the seriousness with which Nietzsche might have intended the doctrine of eternal recurrence to be taken. My essay reports, and then assesses, the argument of those who suppose the doctrine to have been merely exploratory musings by Nietzsche on cosmological hypotheses...The cosmogony of E-R is examined. In Chapter 5, cosmological proofs tested, the proofs for Nietzsche's doctrine of return of the same are evaluated. This chapter features the position taken by Martin ' Heidegger. My essay suggests that while Heidegger's argument that recurrence of the same is a genuine cosmic agenda is admirable, it is not at all persuasive. Chapter 6, E-R is an ethical imperative, is in essence the reporting of a debate between two scholars regarding the possibility of an imperative in the doctrine of recurrence. Their debate polarizes the arguments I intend to develop. Chapter 7, does E-R of the same preclude alteration of attitudes, is a continuation of the debate presented in Chapter 6 with the focus shifted to the psychological from the cosmological aspects of eternal recurrence of the same. Chapter 8, Can E-R Overcome Nihilism?, is divided into two parts. In the first, nihilism as it applies to Nietzsche's theory is discussed. ..In part 2, the broader consequences, sources and definitions of nihilism are outlined. My essay argues that Nietzsche's doctrine is more nihilistic than are the world's major religions. Chapter 9, Is E-R a redemption for revenge?, examines the suggestion extracted from Thus Spoke Zarathustra that the doctrine of eternal recurrence is intended, among other purposes, as a redemption for mankind from the destructiveness of revenge. Chapter 10, E-R of the similar refuted, analyses a position that an element of chance can influence the doctrine of recurrence. This view appears to allow, not for recurrence of the same, but recurrence of the similar. A summary will recount briefly the various significant logic abridgments, contradictions, and inconsistencies associated with Nietzsche's doctrine of eternal recurrence of the same. In the 'conclusion' section of my essay my own opinions and observations will be assembled from the body of the essay.
Resumo:
Basal body temperature (BBT) and thermoeffector thresholds increase following ovulation in
many women. This study investigated if solely central thermoregulatory alterations are responsible.
Seven females in a non-contraceptive group (NCG) were compared with 5 monophasic contraceptive
users (HCG) on separate accounts: pre-ovulation (Trial I; d 2-5) and post-ovulation (Trial 2; 4-8 d
post-positive ovulation) for NCG, and active phase for HCG (d 2-5, d 18-21). During immersion in
28°C water to the axilla, participants exercised for 20-30 min on an underwater ergometer. After
steadily sweating, immersion continued until metabolism increased two-fold due to shivering. Rectal
(Tre) BBT was not different between trials for neither NCG (1: 37.34±0.16°C; 2: 37.35±0.27°C) nor
HCG. At exercise termination, Tre forehead sweating cessation increased (P<0.05) in trial 2
irrespective of group (1: 37.55±0.39°C; 2: 37.90±0,46°C). Tre shivering onset did not increase
(P>0.05) in trial 2 (1: 36.91±0.50°C; 2: 37.07±0,45°C). The widths of the interthreshold zone
increased (P<0.05) in trial 2 (1: 0.64±0.22°C; 2: 0.82±0.37°C) due to the increased sweating threshold
only. HCG cooled quicker (1: -l.15±0,43°C; 2: -1.00±0.50°C) than NCG participants (1: -
0.58±0.22°C; 2: -0.52±O.29°C), and tympanic (Tty) sweat thresholds were significantly (P<0.05)
decreased (1: 34.76±0.54°C; 2: 35.39±0.61°C) versus NCG (l: 35.57±0.77°C; 2: 35.89±1.04°C).
Lastly, Tre and Tty thresholds were significantly different (P
Resumo:
RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.
Resumo:
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.
Resumo:
Recent research suggests that participating in vigorous synchronized physical activity may result in elevated levels of endorphins, which may in turn affect social bonding (Cohen et. al., 2009). The present research aimed to examine whether or not the change in pain tolerance would be able to predict participants’ willingness to cooperate after statistically controlling for the groups’ condition. Participants were asked to run on a treadmill for 30 minutes under one of two conditions (control vs. synchronized). Prior to and after the run participants underwent a pain tolerance test. Once completed, a second activity was introduced to the participants; a cooperative game. A public goods game was used to measure an individual’s willingness to cooperate. The results showed the synchronized condition was able to predict that participants cooperated more during the public goods game (p = .009), however the change in pain threshold was unable to significantly predict cooperation (p = .32).
Resumo:
The electromyographic threshold (EMGTh), defined as an upward inflexion in the rising EMG signal during progressive exercise, is thought to reflect the onset of increased type-II MU recruitment. The study’s objective was to compare the relative exercise intensity at which the EMGTh occurs in boys vs. men. Participants included 21 men (23.4±4.1 yrs) and 23 boys (11.1±1.1 yrs). Ramped cycle-ergometry was conducted to volitional exhaustion with surface EMG recorded from the vastus lateralis muscles. The EMGTh was mathematically determined using a composite of both legs. EMGTh was detected in 95.2% of the men and in 78.3% of the boys (χ2(1, n=44) =2.69, p =.10). The boys’ EMGTh was significantly higher than the men’s (86.4±9.6 vs. 79.7±10.0% of peak power-output at exhaustion; p <.05). These findings suggest that boys activate their type-II MUs to a lesser extent than men during progressive exercise and support the hypothesis of differential child–adult MU activation.
Resumo:
Abstract Background Children have been shown to have higher lactate (LaTh) and ventilatory (VeTh) thresholds than adults, which might be explained by lower levels of type-II motor-unit (MU) recruitment. However, the electromyographic threshold (EMGTh), regarded as indicating the onset of accelerated type-II MU recruitment, has been investigated only in adults. Purpose To compare the relative exercise intensity at which the EMGTh occurs in boys versus men. Methods Participants were 21 men (23.4 ± 4.1 years) and 23 boys (11.1 ± 1.1 years), with similar habitual physical activity and peak oxygen consumption (VO2pk) (49.7 ± 5.5 vs. 50.1 ± 7.4 ml kg−1 min−1, respectively). Ramped cycle ergometry was conducted to volitional exhaustion with surface EMG recorded from the right and left vastus lateralis muscles throughout the test (~10 min). The composite right–left EMG root mean square (EMGRMS) was then calculated per pedal revolution. The EMGTh was then determined as the exercise intensity at the point of least residual sum of squares for any two regression line divisions of the EMGRMS plot. Results EMGTh was detected in 20/21 of the men (95.2 %) and only in 18/23 of the boys (78.3 %). The boys’ EMGTh was significantly higher than the men’s (86.4 ± 9.6 vs. 79.7 ± 10.0 % of peak power output at exhaustion; p < 0.05). The pattern was similar when EMGTh was expressed as percentage of VO2pk. Conclusions The boys’ higher EMGTh suggests delayed and hence lesser utilization of type-II MUs in progressive exercise, compared with men. The boys–men EMGTh differences were of similar magnitude as those shown for LaTh and VeTh, further suggesting a common underlying factor.