Volume 43; Issue 3

Main
Erkenntnis
Volume 43; Issue 3

Erkenntnis

Volume 43; Issue 3

1

Editorial preface

Journal:

Year:

1995

Language:

english

File:

PDF, 139 KB

english, 1995

2

Reasoning about partial functions with the aid of a computer

William M. Farmer

Journal:

Year:

1995

Language:

english

File:

PDF, 836 KB

english, 1995

3

Definedness

Solomon Feferman

Journal:

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

4

A logic for describing, not verifying, software

David Lorge Parnas

Journal:

Year:

1995

Language:

english

File:

PDF, 998 KB

english, 1995

5

Tarski hierarchies

Journal:

Year:

1995

Language:

english

File:

PDF, 1.50 MB

english, 1995

6

Predictive probability and analogy by similarity in inductive logic

Maria Concetta Di Maio

Journal:

Year:

1995

Language:

english

File:

PDF, 1.36 MB

english, 1995

7

Operational constraints and the model-theoretic argument

Mark Q. Gardiner

Journal:

Year:

1995

Language:

english

File:

PDF, 338 KB

english, 1995

8

Book review

Verena Mayer, Peter McLaughlin

Journal:

Year:

1995

Language:

english

File:

PDF, 630 KB

english, 1995

9

Varia with a Workshop on the Foundations of Partial Functions and Programming || Editorial Preface

Journal:

Year:

1995

Language:

english

File:

PDF, 291 KB

english, 1995

10

Varia with a Workshop on the Foundations of Partial Functions and Programming || Front Matter

Journal:

Year:

1995

Language:

english

File:

PDF, 163 KB

english, 1995

11

Varia with a Workshop on the Foundations of Partial Functions and Programming || Reasoning about Partial Functions with the Aid of a Computer

William M. Farmer

Journal:

Year:

1995

Language:

english

File:

PDF, 1.43 MB

english, 1995

12

Varia with a Workshop on the Foundations of Partial Functions and Programming || Definedness

Solomon Feferman

Journal:

Year:

1995

Language:

english

File:

PDF, 2.20 MB

english, 1995

13

Varia with a Workshop on the Foundations of Partial Functions and Programming || A Logic for Describing, Not Verifying, Software

David Lorge Parnas

Journal:

Year:

1995

Language:

english

File:

PDF, 1.72 MB

english, 1995

14

Varia with a Workshop on the Foundations of Partial Functions and Programming || Tarski Hierarchies

Journal:

Year:

1995

Language:

english

File:

PDF, 2.63 MB

english, 1995

15

Varia with a Workshop on the Foundations of Partial Functions and Programming || Predictive Probability and Analogy by Similarity in Inductive Logic

Maria Concetta di Maio

Journal:

Year:

1995

Language:

english

File:

PDF, 2.36 MB

english, 1995

16

Varia with a Workshop on the Foundations of Partial Functions and Programming || Operational Constraints and the Model-Theoretic Argument

Mark Q. Gardiner

Journal:

Year:

1995

Language:

english

File:

PDF, 639 KB

english, 1995

17

Varia with a Workshop on the Foundations of Partial Functions and Programming || Overcoming Logical Positivism from within. The Emergence of Neurath's Naturalism in the Vienna Circle's Protocol Sentence Debateby Thomas E. Uebel

Review by: Verena Mayer

Journal:

Year:

1995

Language:

english

File:

PDF, 477 KB

english, 1995

18

Varia with a Workshop on the Foundations of Partial Functions and Programming || Theoretical Philosophy, 1755-1770by Immanuel Kant; David Walford; Ralf Meerbote;Lectures on Logicby Immanuel Kant; J. Michael Young;Opus Postumumby Immanuel Kant; Eckart Förster; Michael Rosen

Review by: Peter McLaughlin

Journal:

Year:

1995

Language:

english

File:

PDF, 744 KB

english, 1995

19

Varia with a Workshop on the Foundations of Partial Functions and Programming || Back Matter

Journal:

Year:

1995

Language:

english

File:

PDF, 609 KB

english, 1995