fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Technical Methods In Philosophy

Technical Methods In Philosophy

by John Pollock

LogicSymbolic and mathematical LogicSet theoryPredicate calculusFirst-order logic
0.0
Open Library
Open Library

Themes & subjects

LogicSymbolic and mathematical LogicSet theoryPredicate calculusFirst-order logicMetatheory

Author

John Pollock

Pages

126

Read time

≈ 3h

Editions

3

Language

English

Publisher

Taylor & Francis Group

ISBN

9781000242133

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Alice's Adventures in Wonderland

Alice (fictitious character : carroll), fiction · British and irish fiction (fictional works by one author)

Alice's Adventures in Wonderland

Lewis Carroll

1865

Alice's Adventures in Wonderland / Through the Looking Glass

adventure and adventurers · adventure and adventurers, fiction

Alice's Adventures in Wonderland / Through the Looking Glass

Lewis Carroll

1889

Ἱστορίαι

genre:historiography · genre:history

Ἱστορίαι

Ἡρόδοτος

1494

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

Essays

Aphorisms and apothegms · Classical Mythology

Essays

Francis Bacon

1618

A System of Logic, Ratiocinative and Inductive

Science · Methodology

A System of Logic, Ratiocinative and Inductive

John Stuart Mill

1843

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

George Boole

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

Εὐθύδημος

Sophism (Greek philosophy) · Peripatetics

Εὐθύδημος

Plato

1833

The advancement of learning

Science · Methodology

The advancement of learning

Francis Bacon

1605

Elementary lessons in logic: deductive and inductive

Logic · Textbooks

Elementary lessons in logic: deductive and inductive

William Stanley Jevons

1870

The Logic of Scientific Discovery

Science · Methodology

The Logic of Scientific Discovery

Karl Popper

1935

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

Lewis Carroll

1886

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

Ernest Nagel

1958

Philosophische Untersuchungen

German Philosophy · Langage et langues

Philosophische Untersuchungen

Ludwig Wittgenstein

1953

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

George Pólya

1954

Gödel, Escher, Bach

Logics · Teoria Do Conhecimento

Gödel, Escher, Bach

Douglas R. Hofstadter

1979

Regulae ad directionem ingenii

Reasoning · Logic, Symbolic and mathematical

Regulae ad directionem ingenii

René Descartes

1899