Wednesday June 06, 2007 On The Margins
(Masood Mortazavi)
All
|
Persian (فارسی)
|
Announcements
|
Art (هنر)
|
Business
|
Code
|
Culture
|
Design
|
Economics
|
Here
|
History
|
Java
|
Mathematics
|
Media
|
Networks
|
Papers
|
Personal
|
Philosophy
|
Science
|
Society
|
Sports
|
Sun Microsystems Inc.
|
Technology
|
Telecommunications
|
This
|
Web
|
Work
|
Wednesday June 06, 2007
[ Philosophy ]
Truth -- What's Consistency Got To Do With It?
Frege used a 2-D notation for his logic.
|
Many years ago, while with the Graduate Group in Logic and Methodology of Science at Berkeley, I had written a little paper with a tease of a title: "Consistency--What Is Logic Got To Do With It?" After a recent discussion, I realized more clearly how that paper might have been making too far of a leap in logic. Perhaps, it should have been named "Consistency--What Is Truth Got To Do With It?" By "consistency," all along, I had meant "consistency" as understood by mathematicians and scientists, not what we understand "consistency" to be when we speak of, say, "consistent" behavior, which is a totally different concept when compared to a "consistent" theory. |
In the mathematicians' definition of truth, as expounded by Alfred Tarski, one can only speak of "truth" within the confines of a mathematically "consistent" theory. Thus, one arrives, in mathematical logic, at incomplete theories that meet mathematical "truth" criteria even as they remain incomplete. In a sense, their incompleteness is more true about these theories than their "truth." Their "truth" exists within their limited, incomplete domain, which, always remains positively finite or countable or of much lower cardinality than the continuum of claims that they can neither prove nor disprove.
2007-06-06 22:50:55.0 --
Comments [7]
;
Permalink
;
Trackback.
consistency
logic
mathematics
papers
philosophy
On the Margins Tag Cloud
Del.icio.us
RSS Feeds
All
/ Persian (فارسی)
/Announcements
/Art (هنر)
/Business
/Code
/Culture
/Design
/Economics
/Here
/History
/Java
/Mathematics
/Media
/Networks
/Papers
/Personal
/Philosophy
/Science
/Society
/Sports
/Sun Microsystems Inc.
/Technology
/Telecommunications
/This
/Web
/Work
Disclaimer
I work at Sun Microsystems. The opinions expressed here are purely my own, and neither Sun nor any other party necessarily agrees with them.Coordinates
| « November 2009 | ||||||
| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | 6 | 7 |
8 | 9 | 10 | 11 | 12 | 13 | 14 |
15 | 16 | 17 | 18 | 19 | 20 | 21 |
22 | 23 | 24 | 25 | 26 | 27 | 28 |
29 | 30 | |||||
| Today | ||||||
www.flickr.com
This is a Flickr badge showing public photos from M.Mortazavi. Make your own badge here.
Entry Statistics
Entries: 1246Comments: 919
Recent Entries
- Oliver Williamson Wins the Nobel Prize in Economics
- LBL, Technology and Life
- At the Mount Whitney Summit
- More on Derby
- Advancing MySQL Open Development One Important Step Forward
- A Prize Well-Deserved
- ADO.Net Entity Framework on MySQL
- How a Differential Gear Works
- Clunkers and Financial Institutions
- Workbench 5.2 Alpha
- Deals and More Deals
- Electricity Usage
- Ten Thousand Days
- MySQL Workbench 5.1.16 GA -- released
- Salaries and Soccer
- Contributing to MySQL
- Election Results
- Among the favorites
- Brief on MSA 2
- Raison d'être of JavaOne Conference
- Network Management Data Reduction and Smoothing -- A MySQL Webinar
- Java DB 10.5.1 is Released!
- SunRay @ CommunityOne
- User Has It Right! ....
- At JavaOne and CommunityOne
- ManU, Barca, Vuze and More
- Haskell and Python
- The Mind of the Strategist
- The Edge of Technology and Systems Thinking
- Webinar on the New MySQL Connector/C++
- Multiple Sources and Simple Gadgets
- Sun Contributor Agreement and MySQL
- Puzzling on the Value of Bundles
- JavaDB 10.5.1.1
- Derby, the Cauldron and Java DB
- More Code Contributions to MySQL
- Workbench Rocking
- Solid State Storage Revolution
- Another Pluggable Storage Engine for MySQL
- Kaj Shoot Out on Cloud Computing
- Portlanders Take the Realm
- A BoF on Community Code Contributions to MySQL
- A Real Student Bargain for JavaONe
- Developing with MySQL Connector/C++
- MySQL Conference Notes
- Double Free
- Three Great Beta Deliveries in One Week
- One More from Majid Madjidi
- MySQL Community Contribution: One bug fix at a time ...
- MySQL Ideas for Google Summer of Code (GSoC)
- A Toast to Marten Mickos
- Mobile Phone Orchestra
- Microsoft Takes Note of MySQL
- Happy Persian New Year, Happy Nowruz!
- Simon on the WSJ
- New Sun Contributor Signatories for MySQL
- Interview -- Second Part
- Survival and Growth
- Measuring Twitter Mania
- The Three Forces of the Long Tail and the Classic Market
- Relative vs. Absolute Strength
- Contributing Code to MySQL -- Some Simple Guidelines
- Launching the Glassfish Portfolio
- Vibration Effects on Discs
- Interoperability and Innovation
- Golden Rules for Contribution-based Communities
- MySQL Conference & Expo Coming Up
- Modern Rendition of a Classical Theme
- Wikipedia on Sun | MySQL Servers
- Dialog Style
- Best Database Tool
- The Gibbs
- Conversation with Lenz Grimmer
- Isfahan
- Janice Heiss' interview with me
- Is Project Management Dead?
- Inescapable Facts of Mass and Distance
- MySQL Query Analyzer
- In Need of an Economic Strategy
- Generation Graphics
- An HBR case on Wikipedia
- Market Focused Strategy and the Long Term
- Project SailFin on a Roll
- Reminiscing on Micro-Kernels and Group Communications
- MySQL Contributions
- Classical Persian Music
- Mobile Phone Concepts
- Student Central -- A Sun for Students
- Personal Data Storage Application
- Falcon and Java DB
- Porgramming Strategy
- The Engineering of Elections
- Mobile Moves
- The Echo Chamber
- Software Freedom Day!
- Profit and Leverage
- Social Networks and Security
- Future of Business Technology
- Strong Positive Feedback and Tippy Markets
- Avoiding "Moral" Hazard
StatCounter
Page Rank
On the Margins Tag Cloud
RSS Feeds
All
/ Persian (فارسی)
/Announcements
/Art (هنر)
/Business
/Code
/Culture
/Design
/Economics
/Here
/History
/Java
/Mathematics
/Media
/Networks
/Papers
/Personal
/Philosophy
/Science
/Society
/Sports
/Sun Microsystems Inc.
/Technology
/Telecommunications
/This
/Web
/Work
Other Places
