F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
301	Reply to Bird on a posteriori essentialism E. J. Lowe In Lowe (2007), I queried the validity of the following inference-schema: (I) (1) It is part of the essence of x that x is R to the actual F. (2) The actual F is a. Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2010-06-08 10:01:24 Justification Philosophical logic Dichotomies Essentialism A priori and a posteriori Schema A posteriori Empiricism Philosophy Kantianism Epistemology
302	Heylighen F[removed]): "Classical and Non-classical Representations in Physics II: Quantum mechanics", Cybernetics and Systems 21, p[removed]Classical and Non-Classical Representations in Physics II: Quantum Mechanics Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:32 Quantum state Quantum superposition Observable Hilbert space Schrödinger equation Wave function Operator Position operator Quantum probability Physics Quantum mechanics Quantum logic
303	Formal Ontology (G9509) Fall 2013, 716 Philosophy Hall, F 12:10–2:00pm Achille C. Varzi 713 Philosophy Hall • tel[removed] • email: av72 • url: ~av72 • office hours T 12:00–2:00pm Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2013-12-12 23:19:29 Ontology Knowledge representation Mereology Predicate logic Information science Formal ontology Edmund Husserl Problem of universals Metaphysics Science Knowledge Philosophy
304	EUJAP  VOL. 4  No. 1  2008 Original scientific paper UDk: 17.02 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:18 Analytic philosophers Philosophy of mind Causality P. F. Strawson Attitude Galen Strawson Reason Free will Rationality Philosophy Epistemologists Philosophical logic
305	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
306	Call-by-name linguistic side effects Oleg Kiselyov FNMOC [removed] Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 21:58:00 Mathematical logic Free variables and bound variables System F Combinatory logic Fixed-point combinator Theoretical computer science Lambda calculus Mathematics
307	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
308	Modal Logic (G4424) Achille C. Varzi Spring 2011 • M 4:10pm–6:00pm • 503 Hamilton Hall Office Hours F 2:00pm–4:00pm • 713 Philosophy Hall • tel[removed] • email: av72 • url: ~av72 Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2013-12-12 23:16:54 Modal logic Model theory Classical logic Non-classical logic Interpretation First-order logic Deontic logic Epistemic modal logic Mereology Logic Mathematical logic Predicate logic
309	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:26 Deontic logic Epistemic modal logic Modal operator Linguistic modality F Accessibility relation Modal logic Logic Mathematics
310	Property-Driven Development of a Coordination Model for Distributed Simulations ? Rolf Hennicker and Matthias Ludwig Institut f¨ ur Informatik Ludwig-Maximilians-Universit¨ Add to Reading List Source URL: www.pst.ifi.lmu.de Language: English - Date: 2006-05-18 12:49:36 Simulation Economic model Scientific modelling Logic simulation Model checking Aggregate Level Simulation Protocol Computer simulation Electronic engineering Electronic design automation Operations research

UPDATE