Jump to ContentJump to Main Navigation

You are looking at 1-10 of 10 items

  • Keywords: formal systems x
Clear All Modify Search

View:

Logic and Punctuation

R. E. Jennings

in The Genealogy of Disjunction

Published in print:
1995
Published Online:
September 2011
ISBN:
9780195075243
eISBN:
9780199852970
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780195075243.003.0005
Subject:
Philosophy, Philosophy of Language

This chapter describes logic and the significance of punctuation to ‘or’ in a sentence. Axioms are primitive theorems. This is what is meant by ‘logic’, and in particular, a propositional logic is ... More


Survey of Extensional Mereology

PETER SIMONS

in Parts: A Study in Ontology

Published in print:
2000
Published Online:
October 2011
ISBN:
9780199241460
eISBN:
9780191696930
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199241460.003.0003
Subject:
Philosophy, Metaphysics/Epistemology, Logic/Philosophy of Mathematics

Since the original formulation of a mereology by Stanislaw Leśniewski in 1916, a number of writers, working sometimes independently of one another, have formulated and reformulated principles which ... More


Thoughts

Patricia A. Blanchette

in Frege’s Conception of Logic

Published in print:
2012
Published Online:
May 2012
ISBN:
9780199891610
eISBN:
9780199933211
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199891610.003.0002
Subject:
Philosophy, Logic/Philosophy of Mathematics

The purpose of this chapter is to explain Frege’s understanding of thoughts, the non-linguistic propositions expressed by declarative sentences. It is stressed that thoughts form the contents of ... More


Some lessons learned

Eduard J Beck and Nicholas Mays

in The HIV Pandemic: Local and Global Implications

Published in print:
2007
Published Online:
September 2009
ISBN:
9780199237401
eISBN:
9780191723957
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199237401.003.0050
Subject:
Public Health and Epidemiology, Public Health, Epidemiology

This chapter summarizes ‘lessons learned’. The health systems of affected countries are at the forefront of national responses, and both formal and informal systems, private as well as public sectors ... More


Statecraft/Self-Craft: Policy Transfer in the Recovery House Movement

Robert P. Fairbanks

in How It Works: Recovering Citizens in Post-Welfare Philadelphia

Published in print:
2009
Published Online:
February 2013
ISBN:
9780226234083
eISBN:
9780226234113
Item type:
chapter
Publisher:
University of Chicago Press
DOI:
10.7208/chicago/9780226234113.003.0007
Subject:
Sociology, Urban and Rural Studies

This chapter analyzes how recovery houses have become integrated with formal state systems in post-industrial Philadelphia. It explores the relationship between recovery houses, Philadelphia's ... More


Truth, Proof, and Insight

Roger Penrose and Martin Gardner

in The Emperor’s New Mind: Concerning Computers, Minds, and The Laws of Physics

Published in print:
1989
Published Online:
November 2020
ISBN:
9780198519737
eISBN:
9780191917080
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198519737.003.0012
Subject:
Computer Science, Artificial Intelligence, Machine Learning

What is truth? How do we form our judgements as to what is true and what is untrue about the world? Are we simply following some algorithm - no doubt favoured over other less effective possible ... More


Transformation and Verification

E. A. Ashcroft, A. A. Faustini, R. Jagannathan, and W. W. Wadge

in Multidimensional Programming

Published in print:
1995
Published Online:
November 2020
ISBN:
9780195075977
eISBN:
9780197560327
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/9780195075977.003.0007
Subject:
Computer Science, Software Engineering

The ability to verify and reason about programs was one of the main goals behind the design and development of Lucid. In fact, from its very inception Lucid was intended to be not just a ... More


I Compute, Therefore I Am

Subrata Dasgupta

in It Began with Babbage: The Genesis of Computer Science

Published in print:
2014
Published Online:
November 2020
ISBN:
9780199309412
eISBN:
9780197562857
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780199309412.003.0015
Subject:
Computer Science, History of Computer Science

The 1940s witnessed the appearance of a handful of scientists who, defying the specialism characteristic of most of 20th-century science, strode easily across borders erected to protect ... More


Entscheidungsproblem: What’s in a Word?

Subrata Dasgupta

in It Began with Babbage: The Genesis of Computer Science

Published in print:
2014
Published Online:
November 2020
ISBN:
9780199309412
eISBN:
9780197562857
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780199309412.003.0008
Subject:
Computer Science, History of Computer Science

In 1900, the celebrated German mathematician David Hilbert (1862–1943), professor of mathematics in the University of Göttingen, delivered a lecture at the International Mathematics Congress in ... More


What is it Like to be a Computer?

Robert Cummins

in The World in the Head

Published in print:
2010
Published Online:
May 2015
ISBN:
9780199548033
eISBN:
9780191809835
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:osobl/9780199548033.003.0001
Subject:
Philosophy, Philosophy of Mind

This chapter focuses on the theory of cognition called computationalism, a philosophy introduced by John Haugeland which implies that the mind is an automatic formal system. It discusses the method ... More


View: