Results 51 to 60 of about 209,396 (188)
Psychosemantic analyticity [PDF]
, 2001 It is widely agreed that the content of a logical concept such as and is constituted by the inferences it enters into. I argue that it is impossible to draw a principled distinction between logical and non-logical concepts, and hence that the content of ...
Horsey, Richard
core +1 more source
Real, Immediate, Multiple: Towards a Theory of Definition
MetaphysicsIn ‘Senses of Essence’ Kit Fine tentatively proposed that one could take the notion of real definition as basic and define essence in terms of it. Building on Litland 2023 this paper begins to develop an account where the notion of full, immediate real ...
Jon Erling Litland
doaj +1 more source
Search Condition-Hiding Query Evaluation on Encrypted Databases
IEEE Access, 2019 Private database query (PDQ) is a protocol between a client and a database server, designed for processing queries to encrypted databases. Specifically, PDQ enables a client to submit a search query and to learn a resulting set satisfying its search ...
Myungsun Kim +5 more
doaj +1 more source
, 2010 LF has been designed and successfully used as a meta-logical framework to represent and reason about object logics. Here we design a representation of the Isabelle logical framework in LF using the recently introduced module system for LF.
Florian Rabe, Karl Crary, Marino Miculan
core +2 more sources
The Epistemic Significance of Valid Inference – A Model-Theoretic Approach [PDF]
, 2015 The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective.
Brîncuș, Constantin C.
core
Miscelánea: A Journal of English and American Studies, 2002 In order to reflect the interaction between the semantic and syntactic behaviour of predicates, the notion of lexical template has been devised as a way of including syntactic and semantic information within the same lexical representation, reflecting ...
Marta Mª González Orta
doaj +1 more source
Revisiting Dummett's Proof-Theoretic Justification Procedures [PDF]
, 2017 Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of ...
Oliveira, Hermógenes
core
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
, 2010 We study simple type theory with primitive equality (STT) and its first-order fragment EFO, which restricts equality and quantification to base types but retains lambda abstraction and higher-order variables.
Alonzo Church +19 more
core +1 more source
Pourquoi le Grundgedanke (T. 4.0312) de Wittgenstein est si “Fondamental”?
Principia: An International Journal of Epistemology, 1998 La pensée fondamentale de Wittgenstein affirme que les constantes logiques ne représentent pas, ne fonctionnent pas sémantiquement comme des noms. En apparence triviale, cette pensée, nous le montrerons, à des ramifications étonnantes dans la philosophie
André Leclerc
doaj
Reduction algorithms for solving large systems of logical equations [PDF]
Computer Science Journal of Moldova, 2000 Large systems of logical equations are considered in this paper, each depending on a restricted number of variables. A method of reduction is suggested that reduces the number of roots in separate equations, which in its turn saves time spent for finding
A.Zakrevskij
doaj