<--- Back to Details
First PageDocument Content
Philosophical logic / Traditional logic / Medieval philosophy / Philosophy of mathematics / Term logic / Supposition theory / William of Ockham / Mathematical logic / Syllogism / Logic / Philosophy / Science
Date: 2013-12-06 07:00:02
Philosophical logic
Traditional logic
Medieval philosophy
Philosophy of mathematics
Term logic
Supposition theory
William of Ockham
Mathematical logic
Syllogism
Logic
Philosophy
Science

Medieval theories of Supposition and Mental Language

Add to Reading List

Source URL: www.ontologysa.com

Download Document from Source Website

File Size: 74,78 KB

Share Document on Facebook

Similar Documents

Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

DocID: 1sRbe - View Document

Theoretical computer science / Mathematics / Programming language theory / Logic in computer science / Mathematical logic / Asymptotic analysis / Logic programming / Type theory / Unification / Rewriting / Rewrite order / Term

On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

DocID: 1rjs4 - View Document

Artificial neural networks / Computational neuroscience / Academia / Deep learning / Long short-term memory / Mathematical logic / Science and technology / Applied mathematics / Algorithm / Motion / Artificial intelligence

Supplementary for Structural-RNN: Deep Learning on Spatio-Temporal Graphs Ashesh Jain1,2 , Amir R. Zamir1 , Silvio Savarese1 , and Ashutosh Saxena3 Stanford University1 , Cornell University2 , Brain Of Things Inc.3 {ashe

DocID: 1rc5q - View Document

Mathematical logic / Logic / Type theory / Theoretical computer science / Lambda calculus / Dependently typed programming / Proof theory / Logic in computer science / CurryHoward correspondence / Dependent type / System F / Simply typed lambda calculus

Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la

DocID: 1ra6V - View Document

Logic / Mathematics / Abstraction / Mathematical logic / Mathematical notation / Predicate logic / Elementary mathematics / Metalogic / Substitution / Term / Lambda calculus / Structure

From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino

DocID: 1qY5Z - View Document