[go: up one dir, main page]

Priest et al., 1977 - Google Patents

The formalization of Ockham's theory of supposition

Priest et al., 1977

Document ID
9432169440593835636
Author
Priest G
Read S
Publication year
Publication venue
Mind

External Links

Snippet

The point of the paper is to establish that, contrary to the claims of many people,'the medieval theory of personal supposition can be formalized in standard modern logic.(There is, however, one important proviso.) We shall use this formalization (a) to establish that …
Continue reading at www.jstor.org (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/3061—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F17/30634—Querying
    • G06F17/30657—Query processing
    • G06F17/30675—Query execution
    • G06F17/30684—Query execution using natural language analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G06F17/30386—Retrieval requests
    • G06F17/30389—Query formulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data

Similar Documents

Publication Publication Date Title
Priest et al. The formalization of Ockham's theory of supposition
Cohen On the project of a universal character
Dras Tree adjoining grammar and the reluctant paraphrasing of text
Lambek Categorial and categorical grammars
Wang Popular lectures on mathematical logic
Ellison The machine learning of phonological structure
Broughton Facet analysis: the evolution of an idea
Wanner Lexical choice in text generation and machine translation
Pecman et al. ARTES: an online lexical database for research and teaching in specialized translation and communication
Kennedy The syntax and semantics of gradability and comparison
Lee et al. Knowledge-rich, computer-assisted composition of Chinese couplets
Gritz Lexical Meaning Formal Representations Enhancing Lexicons and Associated Ontologies.
Aliboeva Imitations in the national linguistic image of the world
Oganjanyan et al. " Nairi Computer Series"–Harbingers of the Personal Computer
Morley On group and phrase in functional grammar
McClellan et al. Modeling Ephraim Chambers' Knowledge Structure from a Naive Standpoint
Batty Library classification: One hundred years after Dewey
Zeitoun et al. Historiography of the Formosan Languages since 1990
Bernier New Kinds of indexes
Gokhale My Pursuits in Philosophy
Dipert AT Shearman. The development of symbolic logic. A critical-historical study of the logical calculus. A reprint of 1413. Thoemmes, Bristol1990, xi+ 242 pp.
Pevzner First steps of language engineering in the USSR: The 50s through 70s,„
Hunter Ben Jonson and the Language of Prose Comedy
Scaglione Grammatical Theory in Western Europe, 1500-1700: Trends in Vernacular Grammar I
Dutton The languages of the eastern family of the East New Guinea Highlands stock: Howard McKaughan (ed.), Anthropological Studies in the Eastern Highlands of New Guinea, 1. University of Washington Press, Seattle/London, 1973. xxi, 817 pp. $ US 24.00