We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the (...) analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations. (shrink)
Systematic semantic ambiguities result from the interaction of the two operations that are involved in resolving ellipsis in the presence of scoping elements such as quantifiers and intensional operators: scope determination for the scoping elements and resolution of the elided relation. A variety of problematic examples previously noted - by Sag, Hirschbüihler, Gawron and Peters, Harper, and others - all have to do with such interactions. In previous work, we showed how ellipsis resolution can be stated and solved in equational (...) terms. Furthermore, this equational analysis of ellipsis provides a uniform framework in which interactions between ellipsis resolution and scope determination can be captured. As a consequence, an account of the problematic examples follows directly from the equational method. The goal of this paper is merely to point out this pleasant aspect of the equational analysis, through its application to these cases. No new analytical methods or associated formalism are presented, with the exception of a straightforward extension of the equational method to intensional logic. (shrink)
The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semanticinterpretations can be formalized in linear logic in a way thatcorrectly explains the observed interactions between quantifier scopeambiguity, bound anaphora and intensionality.Our linear-logic formalization of the compositional properties ofquantifying expressions in natural language obviates the need forspecial mechanisms, such as Cooper storage, in representing thescoping possibilities of quantifying expressions. Instead, thesemantic contribution of a quantifier is recorded as a linear-logicformula whose use in a proof will establish the (...) scope of thequantifier. Different proofs can lead to different scopes. In eachcomplete proof, the properties of linear logic ensure thatquantifiers are properly scoped. (shrink)
A distinction is drawn between situations as indices required for semantically evaluating sentences and situations as denotations resulting from such evaluation. For atomic sentences, possible worlds may serve as indices, and events as denotations. The distinction is extended beyond atomic sentences according to formulae-as-types and applied to implicit quantifier domain restrictions, intensionality and conditionals.
Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for (...) thinking that naturalism in epistemology is compatible with both internalist and externalist conceptions of justification. We also argue that there are some distinctively internalist aims that are currently being studied scientifically and these notions, and others, should be studied by scientific methods. (shrink)
In [HKL00] (henceforth HKL), Hamm, Kamp and van Lambalgen declare ‘‘there is no opposition between formal and cognitive semantics,’’ notwithstanding the realist/mentalist divide. That divide separates two sides Jackendo¤ has (in [Jac96], following Chomsky) labeled E(xternalized)-semantics, relating language to a reality independent of speakers, and I(nternalized)-semantics, revolving around mental representations and thought. Although formal semanticists have (following David Lewis) traditionally leaned towards E-semantics, it is reasonable to apply formal methods also to I-semantics. This point is made clear in HKL via (...) two computational approaches to natural language semantics, Discourse Representation Theory (DRT, [KR93]) and the Event Calculus (EC) presented in [LH05]. In this short note, I wish to raise certain questions about EC that can be traced to the applicability of formal methods to E-semantics and I-semantics alike. These opposing orientations suggest di¤erent notions of time, event and representation. (shrink)
This course aims to assess the principle of compositionality (CP) and how it fits with recent developments in natural language interpretation, especially those that stress the role of context. We first try to lay down a suitable formal framework for CP, reviewing proposals by Montague, Janssen, Hendriks, Kracht and Hodges. Versions of CP of varying strength are formulated, and some recent results on the existence of compositional semantics and the (much debated) issue of the empirical import of CP discussed. Complementing (...) CP is the notion of context which, under modern (e.g. "dynamic") conceptions, not only conditions interpretation but also is transformed during interpretation. The tension between CP and context is examined relative to problems of anaphora, presupposition, idioms and ambiguity. A somewhat un-orthodox computational application of CP is suggested, emphasizing co-inductive aspects of interpretation that cut across the divide between model-theoretic and proof-theoretic approaches, and between procedural and declarative styles. (shrink)
The idea that temporal propositions are vague predicates is examined with attention to the nature of the objects over which the predicates range. These objects should not, it is argued, be identified once and for all with points or intervals in the real line (or any fixed linear order). Context has an important role to play not only in sidestepping the Sorites paradox (Gaifman 2002) but also in shaping temporal moments/extent (Landman 1991). The Russell-Wiener construction of time from events (Kamp (...) 1979) is related to a notion of context given by a string of observations, the vagueness in which is brought out by grounding the observations in the real line. With this notion of context, the context dependency functions in Gaifman 2002 are adapted to interpret temporal propositions. (shrink)
Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of firstorder formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are formulated as strings of observations, conceptualized to persist inertially (in the absence of forces).
Events and situations are represented by strings of temporally ordered observations, on the basis of which the events and situations are recognized. Allen’s basic interval relations are derived from superposing strings that mark interval boundaries, and Kamp’s event structures are constructed as projective limits of strings. Observations are generalized to temporal propositions, leading to event-types that classify event-instances. Working with sets of strings built from temporal propositions, we obtain natural notions of bounded entailment from set inclusions. These inclusions are decidable (...) if the sets are accepted by finite automata. (shrink)
To address complications involving ambiguity, presupposition and implicature, three processes underlying natural language interpretation are isolated: translation, entailment and attunement. A meta-language integrating these processes is outlined, elaborating on a proof-theoretic approach to presupposition.
Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.
Forsyth’s (1980) Ethics Position Questionnaire and Hunt et al.’s (1989) Corporate Ethical Value Questionnaire are used to examine the ethical ideologies of senior managers from organizations listed in the Australian Stock Exchange. The results indicate how corporate ethical values, religion, gender, and age are related to the idealism and relativism of senior Australian managers. After discussing the results, limitations of the study are offered. Finally, managerial implications are provided and recommendations for future research are given.
String representations of events are applied to Robin Cooper’s proposal that propositions in natural language semantics are types of situations. Links with the higher types of prooftheoretic semantics are forged, deepening type-theoretic interpretations of Discourse Representation Structures to encompass event structures.
The “surge in use of finite-state methods” ([10]) in computational linguistics has largely, if not completely, left semantics untouched. The present paper is directed towards correcting this situation. Techniques explained in [1] are applied to a fragment of temporal semantics through an approach we call finite-state temporality. This proceeds from the intuition of an event as “a series of snapshots” ([15]; see also [12]), equating snapshots with symbols that collectively form our alphabet. A sequence of snapshots then becomes a string (...) over that alphabet, evoking comic/film strips. Jackendoff has, among others, objected to conceptualizing events in terms of snapshots ([8]). To counter these objections, we step up from events-as-strings to event-typesas-regular languages ([5, 6]), recognizing the need for variable granularity. Beyond the introduction of disjunction implicit in the step from a single string up to a set of strings, we obtain a useful logic from the regular operations and a careful choice of the snapshots (constituting our alphabet). (shrink)
The relationship between spiritual well-being and ethical orientations in decision making is examined through a survey of executives in organizations listed on the Australian Stock Exchange. The four domains of spiritual well-being, personal, communal, environmental and transcendental (Fisher, Spiritual health: its nature and place in the school curriculum, PhD thesis, University of Melbourne, 1998 ; Gomez and Fisher, Pers Individ Differ 35:1975–1991, 2003 ) are examined in relation to idealism and relativism (Forsyth, J Pers Soc Psychol 39(1):175–184, 1980 ). Results (...) reveal that spiritual well-being, in particular the communal domain of spiritual well-being, is correlated with and predictive of idealism. However, the relationship between spiritual well-being and relativism is weak. Implications of the study are discussed in terms of developing managerial programs that enhance communal well-being which should lead to greater idealism in decision making. Limitations of the study and future research opportunities are outlined. (shrink)
Intervals and the events that occur in them are encoded as strings, elaborating on a conception of events as “intervals cum description.” Notions of satisfaction in interval temporal logics are formulated in terms of strings, and the possibility of computing these via finite-state machines/transducers is investigated. This opens up temporal semantics to finite-state methods, with entailments that are decidable insofar as these can be reduced to inclusions between regular languages.
‘The proper treatment of events’ is the title of a recent book [LH04] by M. van Lambalgen and F. Hamm, applying the event calculus from [Sha97] to natural language semantics. Some basic ideas behind that treatment are presented in a technically different form below, shaped by a concrete formulation of events as strings of sets of fluents ([Fer04]). These strings can be read as comic strips that are (I think) easy to grasp and work with, providing a friendly (if not (...) altogether proper) approach to events. (shrink)
Notions of disambiguation supporting a compositional interpretation ofvambiguous expressions and reflecting intuitions about how sentences combinevin discourse are investigated. Expressions are analyzed both inductively byvbreaking them apart, and co-inductively by embedding them within larger contexts.
Inertia is enshrined in Newton’s first law of motion, a body at rest or in uniform motion remains in that state unless a force is applied to it. Now, consider (1). (1) Pat stopped the car before it hit the tree. Can we conclude from (1) that the car struck the tree? Not without further information such as that supplied in (2). (2) But the bus behind kept going. A post-condition for Pat stopping the car is that the car be (...) at rest. To satisfy a pre-condition for the car hitting the tree (namely, that the car not be at rest), inertia requires that some intervening force act on the car (as hinted, for example, by (2)). In the absence of such a force, (1) would appear to suggest that Pat prevented a collision between car and tree. Exactly what bit of physics are we importing into natural language interpretation here? Oversimplified, Newton’s first law of motion says: no change without force. Identifying force with cause, we come to the slogan no temporality without cause, capturing in a phrase the proposal from Steedman 2000 that.. (shrink)
Abstract Occupational stress in nursing has attracted considerable attention as a focus for research and as a consequence multiple objects of nurses' stress, or 'stressors', have been identified. This paper puts into question the dominant conceptual and methodological approach to occupational stress in nursing research by both foregrounding the notion of anxiety and juxtaposing it with the notion of 'stress'. It is argued that the notion of 'stress' and the domination of the questionnaire have produced a narrow reading of the (...) topic. Some of the literature on occupational stress/anxiety in nursing is reviewed and our analysis illustrates how the identified objects of stress have a tendency to multiply contingent on the number of studies undertaken. Thus definitive objects of nurses' stress remain elusive. We argue that a return to the notion of 'anxiety' and methodological approaches other than empirical ones can bring both depth and breadth to the consideration of occupational distress in nursing. Further, we argue that the object of 'anxiety' is unconscious, thus unknown, and given this, a more informative approach is to map nurses' response to anxiety, the discursive formations arising out of anxiety, rather than attempt to define those objects of anxiety. (shrink)
Anankastic conditionals are analyzed in terms of events conceived as sequences of snapshots – roughly, comics. Quantification is applied not to worlds (sets of which are customarily identified with propositions) but to strings that record observations of actions. The account generalizes to other types of conditionals, sidestepping certain well-known problems that beset possible worlds treatments, such as logical omniscience and irrelevance. A refinement for anankastic conditionals is considered, incorporating action relations.
Finite-state methods are applied to the Russell-Wiener-Kamp notion of time (based on events) and developed into an account of interval relations and semi-intervals. Strings are formed and collected in regular languages and regular relations that are argued to embody temporal relations in their various underspecified guises. The regular relations include retractions that reduce computations by projecting strings down to an appropriate level of granularity, and notions of containment for partiality within and across such levels.
Relations computed by finite-state transducers are applied to interpret temporal propositions in terms of strings representing finite contexts or situations. Carnap–Montague intensions mapping indices to extensions are reformulated as relations between strings that can serve as indices and extensions alike. Strings are related according to information content, temporal span and granularity, the bounds on which reflect the partiality of natural language statements. That partiality shapes not only strings-as-extensions (indicating what statements are about) but also strings-as-indices (underlying truth conditions).
In this study I propose an epistemological discussion of multiple spatio-temporal scales in neuroscience. Are such scales merely convenient levels of description of structure and function, or do they correspond to irreducible levels of brain organization? What criteria should we employ in order to reduce one level to another, or to identify levels that are not reducible to others? Should we think of these criteria as based on empirical and/or theoretical reasons? Beginning with an empirical criterion – the necessity of (...) different experimental methodologies for the measurement of different phenomena in the same system – I summarize spatial and temporal scales currently used in neuroscience and discuss the possibility of a more general theoretical criterion. I conclude that multiscaling should be recognized as a central concept in the epistemology of neuroscience. (shrink)
The NMDA receptor (NMDAR) channel has been proposed to function as a coincidence-detection mechanism for afferent and reentrant signals, supporting conscious perception, learning, and memory formation. In this paper we discuss the genesis of distorted perceptual states induced by subanesthetic doses of ketamine, a well-known NMDA antagonist. NMDAR blockage has been suggested to perturb perceptual processing in sensory cortex, and also to decrease GABAergic inhibition in limbic areas (leading to an increase in dopamine excitability). We propose that perceptual distortions and (...) hallucinations induced by ketamine blocking of NMDARs are generated by alternative signaling pathways, which include increase of excitability in frontal areas, and glutamate binding to AMPA in sensory cortex prompting Ca ++ entry through voltage-dependent calcium channels (VDCCs). This mechanism supports the thesis that glutamate binding to AMPA and NMDARs at sensory cortex mediates most normal perception, while binding to AMPA and activating VDCCs mediates some types of altered perceptual states. We suggest that Ca ++ metabolic activity in neurons at associative and sensory cortices is an important factor in the generation of both kinds of perceptual consciousness. (shrink)
Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
The processing of sequences of (English) sentences is analyzedcompositionally through transitions that merge sentences, rather thandecomposing them. Transitions that are in a precise senseinertial are related to disjunctive and non-deterministic approaches toambiguity. Modal interpretations are investigated, inducing variousequivalences on sequences.
are considered with a view toward analyzing operational semantics from the perspective of predicate logic. The notion of a bisimulation is employed in two distinct ways: (i) as an extensional notion of equivalence on programs (or processes) generalizing input/output equivalence (at a cost exceeding II' ,over certain transition predicates computable in log space). and (ii) as a tool for analyzing the dependence of transitions on data (which can be shown to be elementary or nonelementary. depending on the formulation of the (...) transitions). (shrink)
with the meaning function [[·]] appearing on both sides. (1) is commonly construed as a prescription for computing the meaning of a based on the parts of a and their mode of combination. As equality is symmetric, however, we can also read (1) from right to left, as a constraint on the meaning [[b]] of a term b that brings in the wider context where b may occur, in accordance with what Dag Westerst˚ahl has recently described as “one version of (...) Frege’s famous Context Principle”. (shrink)
Finite-state methods are applied to the Russell-Wiener notion of time (based on events) and developed into an account of interval relations and temporal propositions. Strings are formed and collected in regular languages and regular relations that are argued to embody temporal relations in their various underspecified guises. The regular relations include retractions that reduce computations by projecting strings down to an appropriate level of granularity, and non-deterministic relations defining notions of partiality within and across such levels.
Reichenbach's event, reference and speech times are interpreted semantically by stringing and superposing sets of temporal formulae, structured within regular languages. Notions of continuation branches and of inertia, bound (in a precise sense) by reference time, are developed and applied to the progressive and the perfect.
This groundbreaking collection, the most thorough treatment of the philosophy of linguistics ever published, brings together philosophers, scientists and historians to map out both the foundational assumptions set during the second half of ...
A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.
Finite-state methods are applied to determine the consequences of events, represented as strings of sets of fluents. Developed to flesh out events used in natural language semantics, the approach supports reasoning about action in AI, including the frame problem and inertia. Representational and inferential aspects of the approach are explored, centering on conciseness of language, context update and constraint application with bias.
Eventualities and worlds are analysed uniformly as schedules of certain descriptions of eventuality-types (reversing the reduction of eventuality-types to eventualities). The temporal interpretation of modals in Condoravdi 2002 is reformulated to bring out what it is about eventualities and worlds that is essential to the account. What is essential, it is claimed, can be recovered from schedules that may or may not include worlds.
The processing of sequences of (English) sentences is analyzed compositionally through transitions that merge sentences, rather than decomposing them. Transitions that are in a precise sense inertial are related to disjunctive and non-deterministic approaches to ambiguity. Modal interpretations are investigated, inducing various equivalences on sequences.
This article analyses the concept of Corporate Social Responsibility in relation to Human Resources (HR) management. Five potential tools are defined and their advantages and disadvantages are discussed. Finally, the implementation of the most advanced and powerful tool in this area is studied: the SA8000 standard.
June 1985 B.S. in Mathematics, California Institute of Technology (Pasadena, California) Senior thesis: Elementary induction on finite abelian groups Supervisor: Alexander S. Kechris..
Finite-state descriptions for temporal semantics are outlined through which to distinguish soft inferences reflecting manners of conceptualization from more robust semantic entailments defined over models. Just what descriptions are built (before being interpreted model-theoretically) and how they are grounded in models of reality explain (upon examination) why some inferences are soft.
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility relations of the kind studied in many-dimensional modal logic, modulo complications from constraints between translation and entailment (violations in which may trigger re-attunement) and from refinement and underspecification.
Temporal propositions are mapped to sets of strings that witness (in a precise sense) the propositions over discrete linear Kripke frames. The strings are collected into regular languages to ensure the decidability of entailments given by inclusions between languages. (Various notions of bounded entailment are shown to be expressible as language inclusions.) The languages unwind computations implicit in the logical (and temporal) connectives via a system of finite-state constraints adapted from finite-state morphology. Applications to Hybrid Logic and non-monotonic inertial reasoning (...) are briefly considered. (shrink)
The research team measured the enterprise web accessibility levels of the Forbes 250 largest enterprises using the fully automatic accessibility evaluation tool Sortsite, and presented the compliance of the evaluated websites to WCAG 1.0, WCAG 2.0 and Section 508 accessibility levels. Given the recent attention to organizational leaders having ethical duties towards their dedicated employees, we propose that ‘societal citizenship behaviour’ concerns ethical duties of organizational leaders towards society in general and in particular to those who have less means to (...) assert their needs. In effect, we found enterprise website accessibility levels to be in need of significant improvement. An interpretation of a positive path forward to better enterprise website accessibility levels is put forth based on a focus-group interaction and using BNML—a novel Business Narrative Modelling Language. (shrink)
A survey was conducted to investigate the relationship of Australian consumers’ lived (experienced) spiritual well-being and materialism with the various dimensions of consumer ethics. Spiritual well-being is composed of four domains—personal, communal, transcendental and environmental well-being. All four domains were examined in relation to the various dimensions of consumers’ ethical beliefs (active/illegal dimension, passive dimension, active/legal dimension, ‘no harm, no foul’ dimension and ‘doing good’/recycling dimension). The results indicated that lived communal well-being was negatively related to perceptions of the active/illegal (...) dimension and the passive dimension and was positively related to perceptions of the ‘no harm, no foul’ dimension and the ‘doing good’/recycling dimension. Lived personal well-being was negatively related to perceptions of the active/illegal dimension and was positively related to perceptions of the ‘no harm, no foul’ dimension and the ‘doing good’/recycling dimension. Lived transcendental well-being was negatively related to perceptions of the passive dimension, the active/legal dimension and the ‘no harm, no foul’ dimension. Lived environmental well-being was negatively related to perceptions of the active/legal dimension and the ‘no harm, no foul’ dimension. The findings also indicated that materialism was positively associated with perceptions of actively benefiting from illegal actions, passively benefiting at the expense of the seller, actively benefiting from questionable but legal actions and benefiting from ‘no harm, no foul’ actions. Public policy implications of the findings and opportunities for future research are discussed. (shrink)
In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)
Dynamic and proof-conditional approaches to discourse (exemplified by Discourse Representation Theory and Type-Theoretical Grammar, respectively) are related through translations and transitions labeled by first-order formulas with anaphoric twists. Type-theoretic contexts are defined relative to a signature and instantiated model-theoretically, subject to change.
The Yale Shooting Problem introduced by Steve Hanks & Drew McDermott (1987) is a well-known test case of non-monotonic temporal reasoning. There is a sequence of situations. In the initial situation a gun is not loaded and the target is alive. In the next situation the gun is loaded. Eventually, a shot is fired, perhaps with fatal consequences. In this scenario there are two "fluents", alive and loaded, and two actions, load and shoot. Being loaded and being alive are inert (...) propositions in the sense that if they are true at a given moment, they will be true at the next moment unless some action such as.. (shrink)
This study attempts to identify differences in the perceptions of top management (defined as CEOs, directors, and presidents) and employees (defined as middle and supervisory management) regarding (a) the effects of dependent care responsibilities on job performance, and (b) the extent of a firm's responsibility in providing support for those faced with caring needs concerning eldercare, childcare, substance abuse, and mental/physical handicaps.The results indicate that these two groups have significantly different perceptions of the effect of dependent care responsibilities on job (...) performance, and on the firm's responsibility in providing support for three types of dependent care. (shrink)
El Estado es un concepto clave en la filosofía jurídico-política de José Ortega y Gasset (Madrid, 1883-1955). Sin embargo, resulta sorprendente que, pese a la importancia que para este autor tenía dicha noción, no haya sido estudiada con la misma profundidad e interés que otras vertientes de su pensamiento. A este respecto, basta repasar las monografías y los artículos publicados hasta la fecha sobre la figura y la obra de Ortega para constatar que, en términos cuantitativos, las investigaciones dedicadas a (...) la idea orteguiana del Estado han sido apenas testimoniales, y desde luego no son tan significativas como las que se han podido dedicar a otros temas o tópicos más conocidos de su pensamiento. Así pues, el presente libro pretende abordar el estudio de la realidad problemática del Estado en su triple dimensión histórica, sociológica y política. De acuerdo con tal propósito, esta monografía se divide en tres partes: en la primera de ellas, se estudian las instituciones políticas de Roma entendidas por Ortega como precedentes ineludibles para la formación histórica del Estado. La segunda parte de la obra versa sobre el Estado concebido como culminación de lo social, es decir, como órgano diferenciado para el ejercicio del poder público, lo cual conduce indefectiblemente hasta la Teoría de los usos sociales. Por último, la tercera parte se centra en el concepto orteguiano de Estado como forma de organización política, explica la relación que mantienen el Estado y nación en su obra, y expone las líneas principales del programa político pensado por Ortega para modernizar, regenerar y europeizar a España. (shrink)
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite automata then amount to movie cameras/projectors, or more formally, to finite Kripke structures with par- tial valuations. The usual regular constructs (concatena- tion, choice, etc) are supplemented with superposition of strings/automata/languages, realized model-theoretically as conjunction.
Schubert’s proposal ([Sch00]) that sentences not only describe but also characterize situations is worked out in the context of Linear Temporal Logic (LTL), a well-known propositional logic with linear future operators (e.g. [HR04]). The resulting formalism LTL∗∗ illustrates an approach that diverges from Schubert’s FOL∗∗ in technical details but shares many (if not all) its motivations.
judgments of acceptability A basic choice point is whether the conjunction of two propositions each separately acceptable must be deemed acceptable Concepts of acceptability closed under conjunction are analyzed within Keisler s weak logic for generalized quanti ers or more speci cally lter quanti ers In a di erent direction the notion of a lter is generalized so as to allow sets with probability non in nitesimally below to be acceptable..
About the Republic is the only commentary left by Averroes, the Commentator, so called on behalf of his commentaries on Aristotle’s work. Although the original in Arabic is lost, there is a medieval version in Hebrew and two later translations in Latin from the Hebrew version. Averroes’ Commentary on the ‘Republic’ – divided in three Books – can be considered an original work as only 1/3 of it corresponds to the platonic treatise. Averroes presents in it aristotelic concepts drawn from (...) the Nicomachean Ethics and also several notions from Alfarabi’s political works. He also presents his own thoughts and offers criticisms of his own society. KEY WORDS – Plato’s Republic; a commentary or an original work? Ethics. Politics. Cardinal virtues. Ideal city. Education. (shrink)
Basically the anti-infallibility position of the eighteenth and twentieth centuries is fivefold: that infallibility, especially papal, is unfounded, unverified, undesirable, unnecessary, and impossible.
As a human rights activist and lawyer who believes in the mutuality of theology and legal philosophy, the author argues that Catholic philosophy can catalyse the process of global reconciliation. This is because the Church has the ability to recognise the double burden faced by Christians around the world (especially in Asia) who are struggling to disassociate themselves from an “alien” and “western” mantle, while still trying to live and preach the Christian doctrine and find common ground with other religions (...) and cultures. Catholic philosophy, therefore, must engage itself and others meaningfully at an inter-religious, interdisciplinary, and multi-cultural level. We now live at a time in Church history when the gap in education between the clergy and the laity has been dramaticallynarrowed; as a result, it is imperative—especially now—to allow competing voices within the Church to be heard so that a healthy tension might arise andthrive. This will help to increase the transparency of discourse within the Catholic community itself, while also providing adaptive tools for dialogue with other,non-Catholic communities. (shrink)
This paper develops two main themes: in the first place, one tries to make clear how, from the point of view of our contemporary philosophical ideas, a retrospective interpretation of Greek sceptic pyrrhonism allows us to read it, not only as a questioning of the theses and arguments of dogmatic philosophy, but as a questioning, too, of the very legitimity of the traditional plilosophical problems and philosophical language. But the second part of the text is a "positive" one, which proceeds (...) to an analysis of the relation between a phenomenic and a dogmatic level of language and, then, explatrins how the idea of a philosophical investigation of problems formulated in the phenomenic level is plainly compatible with (neo)pyrrhonic philosophy. And a discussion is undertaken of the relation between problems formulated in one and another levels. (shrink)
