• Science • People
Non User
 • Locations • Timeline
Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Home > Type (metaphysics)

 
A type is a category of being. A human is a type of thing; a cloud is a type of thing; and so on. A particular instance of a type is called a token of that thing; so Socrates was a token of a human being, but isn't any longer since he is dead. And the letter "A" you see on this page is a token of the first letter of our alphabet.

A type is something different in logic. See Bertrand Russell's Theory of types.

This article is a stub. You can help Wikipedia by [ ṣlocalurl: : |action=edit}} expanding it].

Metaphysics

Read more »

Topics: Type (metaphysics), Typed Link, Typee...

Typed linkA typed link in a hypertext system is a link to another document or part of a document that includes information about the character of the link. For example, rather than merely pointing to the existence of a document, a link might also specify that the dType (metaphysics)A type is a category of being. A human is a type of thing; a cloud is a type of thing; and so on. A particular instance of a type is called a token of that thing; so Socrates was a token of a human being, but isn't any longer since he is dead. And the letTypeeTypee is American writer Herman Melville's first novel, based on his actual experiences after having jumped ship in the Marquesas Islands. Extremely popular at the time of its initial publication, it provoked disbelief among its readers until the events i
Type VII U-boatType VII U-boats were the workhorses of the German World War II U-boot-waffe and appeared in several sub-types. Type VIIA The Type VIIA boats were designed in 1933 and 1934 as the first of a new generation of attack U-boats. They were popular with their cType II U-boatThe Type II U-boat was designed by Germany as a coastal submarine, modeled after the Finnish CV-707. It was too small to undertake sustained operations far away from the home support facilities. Its primary role was found to be in the training schools, prType IX U-boatThe Type IX U-boat was designed by Germany in 1935 and 1936 as a large ocean-going submarine for sustained operations far from the home support facilities. It was derived from the Type IA, and appeared in various sub-types. Type IXs had six torpedo tubes,
Type 209 submarineTypexType XXI U-boat
Type theoryType 1 encryptionType 2 encryption
TypewriterType XIV U-boatType design
Non User