File:Comparison among deduction systems.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file ‎(816 × 1,056 pixels, file size: 25 KB, MIME type: image/png)

Summary

Description

Comparison between Hilbert-style deduction system and natural deduction, approached with the concept of judgment.

The image is drawn for illustration of an argumentation in a talk page debate. The factual correctness of the image can be disputed, see the later development of the thread . The (maybe obsolete) argumentation for which the image has been drawn was the following below:

In Hilbert-style deduction system,

For contrast, in natural deduction,

  • judgment is of a more sophisticated form, playing significant role in the machinery.
  • Implication-introduction (the correspondent of DT in HS) relies heavily on the notion of judgment
  • and is in the very kernel, incorporated as rule of inference, not just dropped onto the top of the already-built machinery.
Date
Source Own work
Author Physis

Licensing

I, the copyright holder of this work, hereby publish it under the following licenses:
GNU head Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.
w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike Attribution-Share Alike 4.0 International, 3.0 Unported, 2.5 Generic, 2.0 Generic and 1.0 Generic license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.
You may select the license of your choice.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

inception

6 January 2008

media type

image/png

checksum

87ab5f642e2c8c9e2e6a5fc0a83b9a633a4178ed

determination method: SHA-1

data size

25,485 byte

height

1,056 pixel

width

816 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current05:13, 6 January 2008Thumbnail for version as of 05:13, 6 January 2008816 × 1,056 (25 KB)PhysisLogical relationship between rule of inference "implication-introduction" and auxiliary concept "judgment" is not reciprocal
04:40, 6 January 2008Thumbnail for version as of 04:40, 6 January 2008816 × 1,056 (25 KB)Physis{{Information |Description=Comparison between Hilbert-styledeductionsystem and natural deduction, approached with the concept of judgment |Source=self-made |Date=6 Jan 2008 |Author= Physis |Permission= |other_versions= }}
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Retrieved from "https://en.wikipedia.org/wiki/File:Comparison_among_deduction_systems.png"