Mereology

Mathematical logic | Predicate logic

In logic, philosophy and related fields, mereology (from Greek μέρος 'part' (root: μερε-, mere-, 'part') and the suffix -logy, 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets. Mereology has been explored in various ways as applications of predicate logic to formal ontology, in each of which mereology is an important part. Each of these fields provides its own axiomatic definition of mereology. A common element of such axiomatizations is the assumption, shared with inclusion, that the part-whole relation orders its universe, meaning that everything is a part of itself (reflexivity), that a part of a part of a whole is itself a part of that whole (transitivity), and that two distinct entities cannot each be a part of the other (antisymmetry), thus forming a poset. A variant of this axiomatization denies that anything is ever part of itself (irreflexivity) while accepting transitivity, from which antisymmetry follows automatically. Although mereology is an application of mathematical logic, what could be argued to be a sort of "proto-geometry", it has been wholly developed by logicians, ontologists, linguists, engineers, and computer scientists, especially those working in artificial intelligence. In particular, mereology is also on the basis for a point-free foundation of geometry (see for example the quoted pioneering paper of Alfred Tarski and the review paper by Gerla 1995). In general systems theory, mereology refers to formal work on system decomposition and parts, wholes and boundaries (by, e.g., Mihajlo D. Mesarovic (1970), Gabriel Kron (1963), or Maurice Jessel (see Bowden (1989, 1998)). A hierarchical version of Gabriel Kron's Network Tearing was published by Keith Bowden (1991), reflecting David Lewis's ideas on gunk. Such ideas appear in theoretical computer science and physics, often in combination with sheaf theory, topos, or category theory. See also the work of Steve Vickers on (parts of) specifications in computer science, Joseph Goguen on physical systems, and Tom Etter (1996, 1998) on link theory and quantum mechanics. (Wikipedia).

Teach Astronomy - Astrology

http://www.teachastronomy.com/ Astrology, or the belief that objects in the sky can control or influence human affairs, has absolutely no scientific basis. It does however have a long and interesting history dating back thousands of years. The Babylonians used astrology 5 thousand years

From playlist 01. Fundamentals of Science and Astronomy

What is the difference between theoretical and experimental physics?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Physics

Physical Science 1.0c - What is Physical Science

A look at the topics and ideas included in the study of physical science.

From playlist Physical Science Chapter 1 (Complete chapter)

Trigonometry: What Is It?

This video shows how trigonometry is both interesting and useful. Its history, practical uses, place in mathematics and wide use are all covered. If you are wondering why you might want to learn trigonometry, start here!

From playlist Trigonometry

Physical chemistry

Physical chemistry is the study of macroscopic, and particulate phenomena in chemical systems in terms of the principles, practices, and concepts of physics such as motion, energy, force, time, #thermodynamics, #quantum chemistry, #statistical mechanics, analytical dynamics and chemical eq

From playlist Physical Chemistry

What is mechanics?

This his video quick covers what the study of mechanics is all about. It set serves as an intro to my series of mechanics based videos See www.physicshigh.com for all my videos and other resources. If you like this video, please press the LIKE and SHARE with your peers. And please add a C

From playlist Kinematics

Why You Should Never Say "It's Just A Theory"

A portion of our culture distrusts the scientific method, assuming that there are transcendent truths unknowable by science. But nothing is truly out of bounds for science. If it's real, it can be studied, and tested. Perhaps the greatest misunderstanding our culture has about the scientif

From playlist Science for Common Folk

3.3 The Foundations of Logic

From playlist Knowledge Engineering with Semantic Web Technologies by Dr. Harald Sack

How to Count All the Objects in the Universe - Philosophy Tube

Metaphysics! How would we count all the objects in the universe? Metaphysics Playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32cX32PRBl1D4b4wr8DwhRQ4 Subscribe! http://www.youtube.com/subscription_center?add_user=thephilosophytube Patreon: http://www.patreon.com/PhilosophyTube

From playlist METAPHYSICS

What is Quantum Mechanics?

From playlist Science Unplugged: Quantum Mechanics

Can Metaphysics Discern God I? | Episode 1704 | Closer To Truth

Can metaphysics discern God? How to think about God rationally, logically, profoundly, critically? Have no illusion that metaphysics can find God, but can a kind of progress be made? Featuring interviews with Brian Leftow, John Hawthorne, Robert Spitzer, John Cottingham, and Timothy O'Conn

From playlist Big Questions About God - Closer To Truth - Core Topic

Quantum Mechanics 1.1: Introduction

In this video I provide some motivation behind the development of quantum mechanics, kicking off a new series on everything you've been wondering about quantum mechanics! Twitter: https://twitter.com/SciencePlease_

From playlist Quantum Mechanics

Mereology

Related pages