ON TRUTH-FUNCTIONALITY

2010 ◽  
Vol 3 (4) ◽  
pp. 628-632
Author(s):  
DANIEL J. HILL ◽  
STEPHEN K. McLEOD
Keyword(s):  
Alternative Definition ◽  
Functional Operator ◽  
Truth Values ◽  
Traditional Definition ◽  
Truth Value ◽  
Definition Of

Benjamin Schnieder has argued that several traditional definitions of truth-functionality fail to capture a central intuition informal characterizations of the notion often capture. The intuition is that the truth-value of a sentence that employs a truth-functional operator depends upon the truth-values of the sentences upon which the operator operates. Schnieder proposes an alternative definition of truth-functionality that is designed to accommodate this intuition. We argue that one traditional definition of ‘truth-functionality’ is immune from the counterexamples that Schnieder proposes and is preferable to Schnieder’s alternative.

The cylindric algebras of three-valued logic

1998 ◽  
Vol 63 (4) ◽  
pp. 1201-1217
Author(s):  
Norman Feldman
Keyword(s):  
Effective Procedure ◽  
Cylindric Algebras ◽  
Truth Values ◽  
Recursive Functions ◽  
Partial Recursive Functions ◽  
Truth Value ◽  
The One ◽  
Definition Of

In this paper we consider the three-valued logic used by Kleene [6] in the theory of partial recursive functions. This logic has three truth values: true (T), false (F), and undefined (U). One interpretation of U is as follows: Suppose we have two partially recursive predicates P(x) and Q(x) and we want to know the truth value of P(x) ∧ Q(x) for a particular x0. If x0 is in the domain of definition of both P and Q, then P(x0) ∧ Q(x0) is true if both P(x0) and Q(x0) are true, and false otherwise. But what if x0 is not in the domain of definition of P, but is in the domain of definition of Q? There are several choices, but the one chosen by Kleene is that if Q(X0) is false, then P(x0) ∧ Q(x0) is also false and if Q(X0) is true, then P(x0) ∧ Q(X0) is undefined.What arises is the question about knowledge of whether or not x0 is in the domain of definition of P. Is there an effective procedure to determine this? If not, then we can interpret U as being unknown. If there is an effective procedure, then our decision for the truth value for P(x) ∧ Q(x) is based on the knowledge that is not in the domain of definition of P. In this case, U can be interpreted as undefined. In either case, we base our truth value of P(x) ∧ Q(x) on the truth value of Q(X0).

scholarly journals The Effect of an Alternative Definition of “Percent Highly Annoyed” on the Exposure–Response Relationship: Comparison of Noise Annoyance Responses Measured by ICBEN 5-Point Verbal and 11-Point Numerical Scales

2021 ◽  
Vol 18 (12) ◽  
pp. 6258
Author(s):  
Makoto Morinaga ◽  
Thu Lan Nguyen ◽  
Shigenori Yokoshima ◽  
Koji Shimoyama ◽  
Takashi Morihara ◽  
...  
Keyword(s):  
Sound Pressure ◽  
Response Relationship ◽  
Alternative Definition ◽  
Exposure Response ◽  
Noise Annoyance ◽  
Numerical Scale ◽  
Verbal Scale ◽  
Sound Pressure Levels ◽  
Acoustic Surveys ◽  
Definition Of

Since the development of the 5-point verbal and 11-point numerical scales for measuring noise annoyance by the ICBEN Team 6, these scales have been widely used in socio-acoustic surveys worldwide, and annoyance responses have been easily compared internationally. However, both the top two categories of the 5–point verbal scale and the top three ones of the 11-point numerical scale are correspond to high annoyance, so it is difficult to precisely compare annoyance responses. Therefore, we calculated differences in day–evening–night-weighted sound pressure levels (Lden) by comparing values corresponding to 10% highly annoyed (HA) on Lden_%HA curves obtained from measurements in 40 datasets regarding surveys conducted in Japan and Vietnam. The results showed that the Lden value corresponding to 10% HA using the 5-point verbal scale was approximately 5 dB lower than that of the 11-point numerical scale. Thus, some correction is required to compare annoyance responses measured by the 5-point verbal and the 11-point numerical scales. The results of this study were also compared with those of a survey in Switzerland.

An alternative definition of sustainable development using stability and chaos theories

2006 ◽  
Vol 14 (1) ◽  
pp. 62-71 ◽  
Author(s):  
Amir Abbas Rassafi ◽  
Hossain Poorzahedy ◽  
Manouchehr Vaziri
Keyword(s):  
Sustainable Development ◽  
Alternative Definition ◽  
Definition Of

Categorical concepts for parameterized partial specifications

1995 ◽  
Vol 5 (2) ◽  
pp. 153-188 ◽  
Author(s):  
Ingo Claßen ◽  
Martin GroßE-Rhode ◽  
Uwe Wolter
Keyword(s):  
Structural Theory ◽  
Specification Languages ◽  
Alternative Definition ◽  
Categorical Approach ◽  
Categorical Constructions ◽  
Definition Of ◽  
Act One

Categorical constructions inherent to a theory of algebras with strict partial operations are presented and exploited to provide a categorical deduction calculus for conditional existence equations and an alternative definition of such algebras based on the notion of syntactic categories. A compact presentation of the structural theory of parameterized (partial) specifications is given using the categorical approach. This theory is shown to be suitable for providing initial semantics as well as the compositionality results necessary for the definition of specification languages like ACT ONE and ACT TWO

On the Very Idea of Civilisation

2021 ◽  
Vol 31 (2) ◽  
pp. 307-321
Author(s):  
Luke O’Sullivan ◽  
Keyword(s):  
Technological Development ◽  
Thomas Hobbes ◽  
Alternative Definition ◽  
Starting Point ◽  
Western Imperialism ◽  
Clash Of Civilisations ◽  
Definition Of ◽  
Contemporary Liberalism ◽  
Relationship Of ◽  
The Relationship

The concept of civilisation is a controversial one because it is unavoidably normative in its implications. Its historical associations with the effort of Western imperialism to impose substantive conditions of life have made it difficult for contemporary liberalism to find a definition of “civilization” that can be reconciled with progressive discourse that seeks to avoid exclusions of various kinds. But because we lack a way of identifying what is peculiar to the relationship of civilisation that avoids the problem of domination, it has tended to be conflated with other ideas. Taking Samuel Huntington's idea of a “Clash of Civilisations” as a starting point, this article argues that we suffer from a widespread confusion of civilisation with “culture,” and that we also confuse it with other ideas including modernity and technological development. Drawing on Thomas Hobbes, the essay proposes an alternative definition of civilisation as the existence of limits on how we may treat others.

Emotion and Virtue

2020 ◽  
Author(s):  
Gopal Sreenivasan
Keyword(s):  
Virtue Ethics ◽  
Moral Psychology ◽  
Character Trait ◽  
Full Measure ◽  
Traditional Definition ◽  
Definition Of

What must a person be like to possess a virtue in full measure? What sort of psychological constitution does one need to be an exemplar of compassion, say, or of courage? Focusing on these two examples, this book ingeniously argues that certain emotion traits play an indispensable role in virtue. With exemplars of compassion, for instance, this role is played by a modified sympathy trait, which is central to enabling these exemplars to be reliably correct judges of the compassionate thing to do in various practical situations. Indeed, according to the book, the virtue of compassion is, in a sense, a modified sympathy trait, just as courage is a modified fear trait. While the book upholds the traditional definition of virtue as a species of character trait, it discards other traditional precepts. For example, the book rejects the unity of the virtues and raises new questions about when virtue should be taught. Unlike orthodox virtue ethics, moreover, this account does not aspire to rival consequentialism and deontology. Instead the book repudiates the ambitions of virtue imperialism, and makes significant contributions to moral psychology and the theory of virtue alike.

Learning Patterns in the Disadvantaged

1967 ◽  
Vol 37 (4) ◽  
pp. 546-593 ◽  
Author(s):  
Susan Stodolsky ◽  
Gerald Lesser
Keyword(s):  
Educational Policy ◽  
Educational Opportunity ◽  
Equal Educational Opportunity ◽  
Alternative Definition ◽  
Future Directions ◽  
Disadvantaged Children ◽  
Learning Patterns ◽  
Definition Of

The authors review evidence and suggest future directions for research on the learning patterns of disadvantaged children. After a detailed description of a specific case of research, some implications for educational policy are discussed. The authors take issue with James S. Coleman's definition of the concept of "equal educational opportunity"and advance an alternative definition. The problem of achieving a useful definition of the term "disadvantaged"is addressed throughout the paper.

scholarly journals Mathematical and Physical Continuity

2008 ◽  
Vol 6 ◽  
Author(s):  
Mark Colyvan ◽  
Kenny Easwaran
Keyword(s):  
Common Sense ◽  
Natural Question ◽  
Alternative Definition ◽  
Continuous Motion ◽  
Mathematical Definition ◽  
Definition Of ◽  
Point Of Departure

There is general agreement in mathematics about what continuity is. In this paper we examine how well the mathematical definition lines up with common sense notions. We use a recent paper by Hud Hudson as a point of departure. Hudson argues that two objects moving continuously can coincide for all but the last moment of their histories and yet be separated in space at the end of this last moment. It turns out that Hudson’s construction does not deliver mathematically continuous motion, but the natural question then is whether there is any merit in the alternative definition of continuity that he implicitly invokes.

scholarly journals Permanent Establishment – New Concept

2019 ◽  
pp. 445-456
Author(s):  
César García Novoa
Keyword(s):  
European Union ◽  
New Economy ◽  
Tax Law ◽  
The European Union ◽  
Traditional Definition ◽  
Permanent Establishment ◽  
International Tax ◽  
Definition Of

The permanent establishment is an essential concept in International Tax Law. The traditional definition was based on the existence of a fixed place of business. At present, the new economy requires a change in the concept of permanent establishment. The topic of permanent establishment is based today on the so-called sufficient economic presence. The European Union is working on the definition of a permanent digital establishment.

Sign in / Sign up

Export Citation Format

Share Document