title: Theodore McCarrick

text: On February 16, 2019, the Holy See Press Office announced that McCarrick had been laicized. The Congregation for the Doctrine of the Faith (CDF), in a church penal process, found McCarrick guilty of "solicitation in the Sacrament of Confession, and sins against the Sixth Commandment with minors and with adults, with the aggravating factor of the abuse of power". The guilty verdict was issued by the CDF on January 11, 2019, and McCarrick appealed. The CDF rejected the appeal on February 13 and McCarrick was notified on February 15. Pope Francis "recognized the definitive nature of this decision made in accord with law, rendering it "a res iudicata" (i.e., admitting of no further recourse)", meaning it is final and McCarrick has no further opportunity to appeal. The CDF used an expedited administrative process designed for cases in which evidence is overwhelming. McCarrick's ordination as a priest and ordination as a bishop cannot be undone according to sacramental theology, but McCarrick cannot licitly (lawfully) perform any priestly duties, including celebrating Mass, although he may administer the sacrament of Penance to a penitent in danger of death; McCarrick can be stripped of the right to financial support from the church; and his laicization is permanent. McCarrick is the most senior church official in modern times to be laicized.


title: Theodore McCarrick

text: In an interview with "Slate" published in September 2019, McCarrick stated, "I'm not as bad as they paint me. ... I do not believe that I did the things that they accused me of." McCarrick stated he believed the persons making accusations against him were "encouraged to do that" by his "enemies", and said repeatedly that many young men had come to the beach house without having any problems. McCarrick revealed that he never left the friary and participated in the daily routine of the other men who lived there. In January 2020, it was announced that McCarrick had moved out of the friary to an undisclosed location that was "secluded and away from public attention". McCarrick reportedly made the decision to move over concerns that media attention regarding his presence there might have a negative impact on the friary and because he wanted to be closer to his family.


title: Theodore McCarrick

text: On September 5, 2019, it was revealed that an investigation conducted by Seton Hall University found that McCarrick's acts of sexual abuse against seminarians at the University were classified as a Title IX offense. Incidents of sex abuse McCarrick committed at both Immaculate Conception Seminary and St. Andrew's Seminary were not reported to the university because at the time, they were not compliant with Title IX. The report, which was reviewed by the law firm of Latham & Watkins, also accused McCarrick of creating a "culture of fear and intimidation" at Seton Hall University when he led the University as Archbishop of Newark. On August 10, 2020, however, it was revealed that a seminary professor did report in the late 1980s that McCarrick was taking seminary students to his shore house and that this allegation was disregarded by the Catholic Church.


title: Theodore McCarrick

text: In August 2019, one of McCarrick's alleged victims, James Grein, filed a lawsuit against McCarrick and the Archdiocese of New York. In December 2019, Grein extended his lawsuit to the New Jersey-based Archdiocese of Newark and Diocese of Metuchen, claiming that the two dioceses committed gross negligence when they allowed McCarrick, who Grein stated was a friend of his family, to continue to visit and sexually abuse him. That same month, a new law went into effect throughout New Jersey which allowed more sex victims to file lawsuits. This resulted in more of McCarrick's alleged New Jersey victims filing lawsuits against McCarrick and the two Dioceses he served in that state. One of these cases was also reported to be the first sex abuse lawsuit brought against the Holy See, which was accused of receiving reports of sex abuse committed by McCarrick in 1988 and 1995.


title: Theodore McCarrick

text: A lawsuit was filed on July 21, 2020, by an anonymous person saying that McCarrick operated a sex ring out of his New Jersey beachouse. The alleged victim maintained that McCarrick abused him with the assistance of other priests beginning in 1982, when he was 14. The lawsuit stated that boys were assigned different rooms in the house and paired with adult clergymen. The alleged victim, who attended schools operated by the Archdiocese of Newark, alleged priests and others under the control of McCarrick engaged in "open and obvious criminal sexual conduct" that was kept cloaked by the church and also served as "procurers" for McCarrick. The Archidocese of Newark, Diocese of Metuchen, where McCarrick was serving as Bishop of at time of the alleged abuse, and the Catholic schools the alleged victim attended where named as defendants in the lawsuit as well. On September 9, 2020, a new lawsuit was filed which alleged that McCarrick kept a second beach house which he also used as a sex ring when he was Bishop of Metuchen. It was also revealed that the Archdiocese of Newark had purchased one of McCarrick's Diocese of Metuchen beach houses in 1997, when he was serving as Archbishop, just four months before selling the other beach house, which it also purchased from the Diocese of Metuchen, as well.


title: Theodore McCarrick

text: In November 2021, a new lawsuit was filed against both McCarrick and the Archdiocese of Newark by Michael Reading, an ordained priest who claimed McCarrick sexually abused him during a visit to the New Jersey shore in 1986. The alleged abuse occurred around the same time McCarrick ordained Reading as a priest.


title: Theodore McCarrick

text: On November 10, 2020, the Vatican released a report about the handling of allegations against McCarrick. It states that through an October 1999 letter from Cardinal O'Connor, Pope John Paul II learned of allegations of sexual deviancy against McCarrick while in the process of considering him for the position of Archbishop of Washington, but that an investigation was paused after three of the four bishops tasked with looking into the accusations provided "inaccurate and incomplete information." John Paul II then decided not to appoint him, but changed his mind after receiving a letter from McCarrick proclaiming his innocence. The report suggested that John Paul II was probably influenced by his experience in his native Poland where the communist government used "spurious allegations against bishops to degrade the standing of the Church". The report states that Benedict XVI asked for McCarrick's resignation as Archbishop of Washington in 2005, after learning about the 1994 letter to Hughes. The Vatican Office for Bishops ordered McCarrick to retire to private life verbally in 2006, and put it in writing in 2008, but both times he ignored their instructions. However, Benedict was also faulted in the report for not standing in the way of McCarrick's growing power. According to the report, Pope Francis, prior to becoming pope, had learned of allegations against McCarrick before McCarrick was named Archbishop of Washington, but believed that John Paul II had rejected them. Francis knew of rumors surrounding sexual conduct between McCarrick and adults but received no documentation of sexual impropriety against McCarrick until 2017, and was not aware of accusations of sexual abuse against minors until 2018.


title: Theodore McCarrick

text: On November 19, 2020, four people who accused McCarrick of sexually abusing them filed a lawsuit against the Holy See in federal court in Newark, New Jersey, saying it had failed in its oversight of McCarrick over whom it exercised complete control as his employer. The Holy See says priests are not its employees and that its status as a foreign sovereign is a defense from such a suit.


title: Theodore McCarrick

text: On July 29, 2021, McCarrick was charged with sexually assaulting a 16-year-old male in 1974, during a wedding reception for the boy's brother on the grounds of Wellesley College in Massachusetts. The complaint was filed by Wellesley Police in Dedham Criminal Court. McCarrick's attorney, Barry Coburn, was quoted in media reports as saying, "we will look forward to addressing this issue in the courtroom."


title: Theodore McCarrick

text: On September 3, 2021, McCarrick pled not guilty in Dedham Criminal Court to three counts of indecent assault and battery stemming from the alleged 1974 incident.


title: Theodore McCarrick

text: McCarrick was awarded at least 35 honorary degrees, many of which have now been revoked or are currently under consideration for revocation. "Please be aware that it is possible that universities rescinded the honorary degrees and it may not be noted on this list."


title: Word play

text: Word play or wordplay (also: play-on-words) is a literary technique and a form of wit in which words used become the main subject of the work, primarily for the purpose of intended effect or amusement. Examples of word play include puns, phonetic mix-ups such as spoonerisms, obscure words and meanings, clever rhetorical excursions, oddly formed sentences, double entendres, and telling character names (such as in the play "The Importance of Being Earnest", "Ernest" being a given name that sounds exactly like the adjective "earnest").


title: Word play

text: Word play is quite common in oral cultures as a method of reinforcing meaning. Examples of text-based (orthographic) word play are found in languages with or without alphabet-based scripts, such as homophonic puns in Mandarin Chinese.


title: Word play

text: Some techniques often used in word play include interpreting idioms literally and creating contradictions and redundancies, as in Tom Swifties:


title: Word play

text: Another use of fossils is in using antonyms of unpaired words – "I was well-coiffed and sheveled," (back-formation from "disheveled").


title: Word play

text: Most writers engage in word play to some extent, but certain writers are particularly committed to, or adept at, word play as a major feature of their work . Shakespeare's "quibbles" have made him a noted punster. Similarly, P.G. Wodehouse was hailed by "The Times" as a "comic genius recognized in his lifetime as a classic and an old master of farce" for his own acclaimed wordplay. James Joyce, author of "Ulysses", is another noted word-player. For example, in his "Finnegans Wake" Joyce's phrase "they were yung and easily freudened" clearly implies the more conventional "they were young and easily frightened"; however, the former also makes an apt pun on the names of two famous psychoanalysts, Jung and Freud.


title: Word play

text: Crossword puzzles often employ wordplay to challenge solvers. Cryptic crosswords especially are based on elaborate systems of wordplay.


title: Word play

text: An example of modern word play can be found on line 103 of Childish Gambino's "III. Life: The Biggest Troll".H2O plus my D, that's my hood, I'm living in it


title: Word play

text: A farmer says, "I got soaked for nothing, stood out there in the rain bang in the middle of my land, a complete waste of time. I'll like to kill the swine who said you can win the Nobel Prize for being out standing in your field!".


title: Word play

text: The "Mario Party" series is known for its mini-game titles that usually are puns and various plays on words; for example: "Shock, Drop, and Roll", "Gimme a Brake", and "Right Oar Left". These mini-game titles are also different depending on regional differences and take into account that specific region's culture.


title: Word play

text: Word play is closely related to word games; that is, games in which the point is manipulating words. See also language game for a linguist's variation.


title: Word play

text: Word play can cause problems for translators: e.g. in the book "Winnie-the-Pooh" a character mistakes the word "issue" for the noise of a sneeze, a resemblance which disappears when the word "issue" is translated into another language.


title: 2021–22 Ekstraklasa

text: The 2021–22 Ekstraklasa (also known as PKO Ekstraklasa due to sponsorship reasons) was the 96th season of the Polish Football Championship, the 88th season of the highest tier domestic division in the Polish football league system since its establishment in 1927 and the 14th season of the Ekstraklasa under its current title. The league is operated by the Ekstraklasa S.A.


title: 2021–22 Ekstraklasa

text: The regular season was played as a round-robin tournament. A total of 18 teams participated, 15 of which competed in the league campaign during the previous season, while the remaining three were promoted from the 2020–21 I liga. The season started on 23 July 2021 and concluded on 21 May 2022. Each team played a total of 34 matches, half at home and half away. It was the first season in the formula with 18 teams, instead of 16. The bottom three teams of the final league table were relegated. It was the fifth Ekstraklasa season to use VAR.


title: 2021–22 Ekstraklasa

text: Podbeskidzie Bielsko-Biała had been relegated to 2021–22 I liga, ending their one-year stay in the top flight. The 2021–22 season is Radomiak Radom’s first season in the top flight since the 1984–85 season, and their first season after the league’s name change in 2008. Bruk-Bet Termalica Nieciecza returned to the top flight after 3 years, having last played in the 2017–18 season. The third, and last team, to be promoted was Górnik Łęczna, returning after a four-year absence.


title: Raven (drag queen)

text: David Petruschin (born April 8, 1979), best known as Raven, is an American drag queen, make-up artist, and reality television personality from Riverside, California. Raven was a fixture in the South California nightclub scene before gaining international prominence for appearing in both the second season of "RuPaul's Drag Race" and the of "". Raven placed as the runner-up on both seasons. He also served as a "professor" during all three seasons of "RuPaul's Drag U". Petruschin has been RuPaul's makeup artist since "Drag Race"'s ninth season and has since become a creative producer of both "Drag Race" and "All Stars". For his make-up work on the show, Petruschin received the Primetime Emmy Award for Outstanding Makeup for a Multi-Camera Series or Special (Non-Prosthetic) in 2020.


title: Raven (drag queen)

text: Petruschin was born to DeShawna and Jose Herrera Chacon (1935-2012) in Victorville, California as the first of five children. Being of Russian ancestry, his mother, who separated from his father when Petruschin was seven years old, raised him a Mormon.


title: Raven (drag queen)

text: At the beginning of his career, Petruschin worked as a cosmetics salesperson and a freelance make-up artist for local theater productions during the day, and at night performed in nightclubs as a go-go boy under the name "Phoenix". He started performing in drag in 2002, changing his moniker to Raven. He recalls the exact date to be the tenth of May, where he and Mayhem Miller (another "Drag Race" alumnus) performed for the very first time. Unlike many other drag queens, Petruschin learned drag without a drag mother to act as a mentor. As Raven, Petruschin auditioned to compete on the first and second seasons of "RuPaul's Drag Race".


title: Raven (drag queen)

text: In 2010, it was announced that Raven would be a contestant on the second season of "RuPaul's Drag Race". In the first episode, he won the season's first mini-challenge, a photo shoot. In the second and third episode she landed in the bottom two, having to "lip-sync for her life" twice in order to stay in the competition. He won both lip-syncs. Raven won a second mini-challenge in the fourth episode by guessing the price of various objects, earning her a phone call home; and a third mini-challenge in the fifth episode by successfully decorating a box to reflect his personal style. She won the seventh and eighth main challenges, which involved creating and promoting an autobiography, and giving an older gentleman a makeover, respectively. At the end of the competition, she ultimately placed second behind Tyra Sanchez.


title: Raven (drag queen)

text: Raven was one of many "Drag Race" alumni who were invited to act as a drag professor in the spin-off series "RuPaul's Drag U", which has screened three seasons. Raven serves as a "drag professor" and mentor to female contestants who are given make-overs. In the series, his persona is not portrayed in a villainous fashion, but instead as a softer and nurturing mentor. Raven made a total of twelve appearances and collected the most wins during the series' run, being dubbed the "Makeover Queen". In an episode of the second season he gave his mother Deshawna a makeover, helping him win against the sisters of Jujubee and Manila Luzon.


title: Raven (drag queen)

text: On August 6, 2012, it was announced that Raven was one of twelve past "Drag Race" contestants selected to join the cast of "" that premiered on the Logo network on October 22, 2012. Prior to the airing of the season finale, Raven (along with "All Stars" contestants Manila Luzon, Latrice Royale, and Tammie Brown) appeared in a television commercial for travel website Orbitz's new portal for LGBT leisure travel. He was paired with contestant and best friend Jujubee to form "Team Rujubee". They won the mini-challenges in the second and fifth episode by correctly answering questions about each other in the style of "The Newlywed Game" and by scoring more points in a game of basketball, which won them a call to their loved ones. The duo managed to make it to the finals, which aired on November 26, 2012, where Raven again landed as a runner-up, this time to winner Chad Michaels.


title: Raven (drag queen)

text: Petruschin returned to "Drag Race" as RuPaul's make-up artist for the ninth season, episode 3. He eventually received a nomination for the 2018 Make-Up Artists and Hair Stylists Guild Award in the category "Television and New Media Series: Best Contemporary Makeup". For his work on the tenth season, he received a nomination for the 70th Primetime Emmy Awards in the category Outstanding Makeup for a Multi-Camera Series or Special. He won an Emmy for his work on the twelfth season. Aside from doing RuPaul's make-up since 2017, he has served as a creative producer for "All Stars" since its third season and for "Drag Race" since its tenth.


title: Raven (drag queen)

text: Featured in a commercial promoting the syndication run of the cable television series "Nip/Tuck" on the Logo network, Raven lip synced to the theme song "A Perfect Lie" as he caresses a syringe close to his lips. The commercial is based on one of his past drag performances. He also has made a guest appearance in an episode of Logo's reality series, "Pretty Hurts", which documents the life and career of celebrity medical aesthetician Rand Rusher. Raven was also featured on an episode of "America's Next Top Model, Cycle 8", in which he participated in a photo shoot with each of the show's contestants in male drag and paired with a drag queen. Raven made a cameo in the 2011 music video for "Diamond Crowned Queen" by "RuPaul's Drag Race" season three winner Raja. His cameo was praised by critics, who named him the "magnificent Raven". In 2012, along with other "RuPaul's Drag Race" contestants, he appeared in another music video, "Queen" by Mimi Imfurst's band Xelle. He also starred in the music video "Feed Me Diamonds" by MNDR.


title: Raven (drag queen)

text: In 2014, Raven and Raja started a weekly YouTube fashion critique show on World of Wonder's channel called ""RuPaul's Drag Race Fashion Photo RuView"", where they discuss fashion from mostly "Drag Race" alumni. He has appeared on multiple other WOW shows as well. Besides international touring, Raven currently hosts several drag-related events at gay clubs throughout Southern California.


title: Raven (drag queen)

text: In 2016, Raven was included as an inspiration in "Vanity Fair's" "100 Years of Drag Fashion" video, alongside iconic drag performers Divine, David Bowie, and RuPaul. The video presented his style as the epitome of 2000s-era drag. "RuPaul's Drag Race" season six winner Bianca Del Rio has also stated that many young drag queens use Raven's style.


title: The Stranger (2022 film)

text: The Stranger is a 2022 Australian psychological crime thriller film written and directed by Thomas M. Wright, starring Joel Edgerton and Sean Harris. Based on the non-fiction book "The Sting: The Undercover Operation That Caught Daniel Morcombe's Killer" by Kate Kyriacou, and inspired by the murder investigation of Daniel Morcombe, the film follows an investigation of a child abduction case, with an undercover police officer (Edgerton) in a sting operation tasked with getting close to and forming a friendship with the prime suspect (Harris).


title: The Stranger (2022 film)

text: The film premiered at the Cannes Film Festival on 18 May 2022, under the "Un Certain Regard" section. It had a limited theatrical release in Australia by Transmission Films on 6 October 2022 and streamed worldwide on Netflix on 19 October. The film received positive reviews from critics.


title: The Stranger (2022 film)

text: The police suspect Henry Teague of the abduction and murder of a young teen but lack proof. They use the Mr. Big procedure to elicit a confession while continuing to search for evidence. Undercover police officer Paul Emery introduces himself to Teague during a long bus ride and strikes up a friendship with him. After gaining Teague's confidence and sympathy, Emery introduces him to a criminal acquaintance, Mark Frame. Frame, who is also an undercover police officer, offers Teague low-level work in a supposed criminal organisation. Frame and Emery emphasise that the organisation values honesty above all, and they push Teague to reveal any criminal history that could jeopardise it. Teague admits to having been in and out of jail, culminating in a two-year sentence for assault, but claims to be otherwise clean.


title: The Stranger (2022 film)

text: The undercover officers portray Emery as having gotten himself into a great deal of trouble, which the organisation clears up through their police contacts. Teague is recruited in helping to get a fake passport and plane ticket out of the country for Emery. Before pretending to leave the country, Emery urges Teague to trust Frame and be honest with the organisation, which he says will protect him. Frame becomes a mentor to Teague, drawing him further into the organisation and introducing him to increasingly influential figures, all of whom are secretly undercover police officers. Frame relays any information gained from Teague to Detective Senior Constable Kate Rylett, who investigates it further.


title: The Stranger (2022 film)

text: Rylett finds holes in Teague's alibi for the night of the abduction and uncovers the fact that, under a different name, he had been convicted for an earlier assault of another child; this convinces her of his guilt. After Teague briefly disappears, the police fear he may be getting anxious. Police officers pretending to be dirty relay information to Teague that he is about to be charged. Frame tells Teague that the head of the organisation, John, needs to see him. John reminds Teague that his organisation can give him a new life, as they did with Emery. To make this possible, John says Teague must reveal all the details of the crime so the evidence can be erased. Frame becomes agitated as John nervously bumbles some of his lines. However, Teague is convinced to confess and takes the undercover police officers to the scene of the crime, where he is arrested. After a long and painstaking search for evidence, one of the dozens of officers finds something in the dirt.


title: The Stranger (2022 film)

text: In April 2020, during the COVID-19 pandemic in Australia, it was announced that the film, under the working title, "The Unknown Man", would begin filming in South Australia as soon as enough of the COVID-19 restrictions are lifted. Written and directed by Wright, it was produced by and stars Joel Edgerton. Sean Harris played the second lead role. The film was originally announced at Berlin's European Film Market in February, and was made by Anonymous Content and See-Saw Films, with support from Screen Australia and the South Australian Film Corporation.


title: The Stranger (2022 film)

text: In July 2022, due to the film being inspired by the Daniel Morcombe murder investigation, Morcombe's parents "demanded" that the filmmakers stop using his name to market the film and were upset that they continued to do so.


title: The Stranger (2022 film)

text: The producers of the film responded with a statement: ""The Stranger" is a fictionalised account of the undercover police operation that resulted in a successful murder prosecution. Out of our deepest respect for the family, the name of the victim is never mentioned in the film and the film does not depict any details of the murder. Nor is the family represented in the film in any way. Instead it tells the story of the unknown police professionals who committed years of their lives and their mental and physical health to resolve this case and others like it. When the film was first in development, the producers approached the family to make them aware of the film. They declined to be involved. It is a decision we continue to respect."


title: Philosophy of logic

text: Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterization, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.


title: Philosophy of logic

text: Various characterizations of the nature of logic are found in the academic literature. Logic is often seen as the study of the laws of thought, correct reasoning, valid inference, or logical truth. It is a formal science that investigates how conclusions follow from premises in a topic-neutral manner, i.e. independent of the specific subject matter discussed. One form of inquiring into the nature of logic focuses on the commonalities between various logical formal systems and on how they differ from non-logical formal systems. Important considerations in this respect are whether the formal system in question is compatible with fundamental logical intuitions and whether it is complete. Different conceptions of logic can be distinguished according to whether they define logic as the study of valid inference or logical truth. A further distinction among conceptions of logic is based on whether the criteria of valid inference and logical truth are specified in terms of syntax or semantics.


title: Philosophy of logic

text: Different types of logic are often distinguished. Logic is usually understood as formal logic and is treated as such for most of this article. Formal logic is only interested in the form of arguments, expressed in a formal language, and focuses on deductive inferences. Informal logic, on the other hand, addresses a much wider range of arguments found also in natural language, which include non-deductive arguments. The correctness of arguments may depend on other factors than their form, like their content or their context. Various logical formal systems or logics have been developed in the 20th century and it is the task of the philosophy of logic to classify them, to show how they are related to each other, and to address the problem of how there can be a manifold of logics in contrast to one universally true logic. These logics can be divided into classical logic, usually identified with first-order logic, extended logics, and deviant logics. Extended logics accept the basic formalism and the axioms of classical logic but extend them with new logical vocabulary. Deviant logics, on the other hand, reject certain core assumptions of classical logic and are therefore incompatible with it.


title: Philosophy of logic

text: The philosophy of logic also investigates the nature and philosophical implications of the fundamental concepts of logic. This includes the problem of truth, especially of logical truth, which may be defined as truth depending only on the meanings of the logical terms used. Another question concerns the nature of premises and conclusions, i.e. whether to understand them as thoughts, propositions, or sentences, and how they are composed of simpler constituents. Together, premises and a conclusion constitute an inference, which can be either deductive and ampliative depending on whether it is necessarily truth-preserving or introduces new and possibly false information. A central concern in logic is whether a deductive inference is valid or not. Validity is often defined in terms of necessity, i.e. an inference is valid if and only if it is impossible for the premises to be true and the conclusion to be false. Incorrect inferences and arguments, on the other hand, fail to support their conclusion. They can be categorized as formal or informal fallacies depending on whether they belong to formal or informal logic. Logic has mostly been concerned with definitory rules, i.e. with the question of which rules of inference determine whether an argument is valid or not. A separate topic of inquiry concerns the strategic rules of logic: the rules governing how to reach an intended conclusion given a certain set of premises, i.e. which inferences need to be drawn to arrive there.


title: Philosophy of logic

text: The metaphysics of logic is concerned with the metaphysical status of the laws and objects of logic. An important dispute in this field is between realists, who hold that logic is based on facts that have mind-independent existence, and anti-realists like conventionalists, who hold that the laws of logic are based on the conventions governing the use of language. Logic is closely related to various disciplines. A central issue in regard to ontology concerns the ontological commitments associated with the use of logic, for example, with singular terms and existential quantifiers. An important question in mathematics is whether all mathematical truths can be grounded in the axioms of logic together with set theory. Other related fields include computer science and psychology.


title: Philosophy of logic

text: Philosophy of logic is the area of philosophy that studies the nature of logic. Like many other disciplines, logic involves various philosophical presuppositions which are addressed by the philosophy of logic. The philosophy of logic can be understood in analogy to other discipline-specific branches of philosophy: just like the philosophy of science investigates philosophical problems raised by science, so the philosophy of logic investigates philosophical problems raised by logic.


title: Philosophy of logic

text: An important question studied by the philosophy of logic is how logic is to be defined, for example, in terms of valid inference or of logical truth. This includes the issue of how to distinguish logical from non-logical formal systems. It is especially relevant for clarifying the relation between the various proposed logical systems, both classical and non-classical, and for evaluating whether all of these systems actually qualify as "logical systems". The philosophy of logic also investigates how to understand the most fundamental concepts of logic, like truth, premises, conclusions, inference, argument, and validity. It tries to clarify the relation between logic and other fields, such as ontology, mathematics, and psychology.


title: Philosophy of logic

text: The philosophy of logic is closely related to philosophical logic but there is no general agreement about how these disciplines stand to each other. Some theorists use these two terms for the same discipline while others see them as distinct disciplines. According to the latter view, philosophical logic contrasts with the philosophy of logic in that it is usually seen as the application of logical methods to philosophical problems, often by developing deviant or extended logics. In this sense, philosophical logic is one area of inquiry within the philosophy of logic, i.e. a part of the general study of philosophical problems raised by logic. But this form of distinction is not universally accepted and some authors have proposed different characterizations. The intimate connection between logic and philosophy is also reflected in the fact that many famous logicians were also philosophers. The philosophy of logic is closely related to metalogic but not identical to it. Metalogic investigates the properties of formal logical systems, like whether a given logical system is consistent or complete. It usually includes the study of the semantics and syntax of formal languages and formal systems.


title: Philosophy of logic

text: The term "logic" is based on the Greek word "", which is associated with various different senses, such as reason, discourse, or language. There are many disagreements about what logic is and how it should be defined. Various characteristics are generally ascribed to logic, like that it studies the relation between premises and conclusions and that it does so in a topic-neutral manner. An important task of the philosophy of logic is to investigate the criteria according to which a formal system should count as logic. Different conceptions of logic understand it as either based on valid inference or logical truth. The criteria of valid inference and logical truth can themselves be specified in different ways: based on syntactic or semantic considerations.


title: Philosophy of logic

text: Traditionally, logic is often understood as the discipline investigating laws of thought. One problem for this characterization is that logic is not an empirical discipline studying the regularities found in actual human thinking: this subject belongs to psychology. This is better captured by another characterization sometimes found in the literature: that logic concerns the laws of correct thinking or, more specifically, correct reasoning. This reflects the practical significance of logic as a tool to improve one's reasoning by drawing good inferences and becoming aware of possible mistakes. Logic has also been defined as the science of valid argumentation. This mirrors the definition in terms of reasoning since argumentation may be understood as an outward expression of inward reasoning.


title: Philosophy of logic

text: Logic is often seen as a formal foundation of all knowledge. As a formal science, it stands in contrast to the material or empirical sciences, like physics or biology, since it is mainly concerned with entailment relations between propositions but not with whether these propositions actually are true. For example, deducing from the proposition "all moons are made of cheese" that "Earth's moon is made of cheese" is a valid inference. The error in this example is due to a false premise belonging to empirical astronomy.


title: Philosophy of logic

text: A central feature of logic is that it is topic-neutral. This means that it is concerned with the validity of arguments independent of the subject matter of these arguments. In this sense, regular sciences are concerned with correct reasoning within a specific area of inquiry, for example, concerning material bodies for classical mechanics or living beings for biology, while logic is concerned with correct reasoning in general as applicable to all these disciplines. One problem with this characterization is that it is not always clear how the terms "topic-neutral" and "subject matter" are to be understood in this context. For example, it could be argued that first-order logic has individuals as its subject matter, due to its usage of singular terms and quantifiers, and is therefore not completely topic-neutral. A closely related characterization holds that logic is concerned with the "form" of arguments rather than their "contents". On this view, the regular sciences could be seen as seeking true premises while logic studies how to draw conclusions from these or any premises. But this characterization also has its problems due to difficulties in distinguishing between form and content. For example, since temporal logic talks about time, this would lead to the implausible conclusion that time belongs to the form and not to the content of arguments. These difficulties have led some theorists to doubt that logic has a clearly specifiable scope or an essential character.


title: Philosophy of logic

text: One approach to determining the nature of logic is to study the different formal systems, referred to as "logics", in order to determine what is essential to all of them, i.e. what makes them logics. Formal systems of logic are systematizations of logical truths based on certain principles called axioms. As for formal logic, a central question in the philosophy of logic is what makes a formal system into a system of logic rather than a collection of mere marks together with rules for how they are to be manipulated. It has been argued that one central requirement is that the marks and how they are manipulated can be interpreted in such a way as to reflect the basic intuitions about valid arguments. This would mean, for example, that there are truth values and that the behavior of some marks corresponds to that of logical operators such as negation or conjunction. Based on this characterization, some theorists hold that certain formal systems, such as three-valued logic or fuzzy logic, stray too far from the common concept of logic to be considered logical systems. Such a position may be defended based on the idea that by rejecting some basic logical assumptions, they include a too radical departure from fundamental logical intuitions to be considered logics. It has been suggested that rejecting the principle of the bivalence of truth, i.e. that propositions are either true or false, constitutes such a case.


title: Philosophy of logic

text: Metalogicians sometimes hold that logical completeness is a necessary requirement of logical systems. A formal system is complete if it is possible to derive from its axioms every theorem belonging to it. This would mean that only formal systems that are complete should be understood as constituting logical systems. One controversial argument for this approach is that incomplete theories cannot be fully formalized, which stands in contrast to the formal character of logic. On this view, first-order logic constitutes a logical system. But this would also mean that higher-order "logics" are not logics strictly speaking, due to their incompleteness.


title: Philosophy of logic

text: Logic is often defined as the study of valid or correct inferences. On this conception, it is the task of logic to provide a general account of the difference between correct and incorrect inferences. An inference is a set of premises together with a conclusion. An inference is valid if the conclusion follows from the premises, i.e. if the truth of the premises ensures the truth of the conclusion. Another way to define logic is as the study of logical truth. Logical truth is a special form of truth since it does not depend on how things are, i.e. on which possible world is actual. Instead, a logically true proposition is true in all possible worlds. Their truth is based solely on the meanings of the terms they contain, independent of any empirical matters of fact. There is an important link between these two conceptions: an inference from the premises to a conclusion is valid if the material conditional from the premises to the conclusion is logically true. For example, the inference from "roses are red and grass is green" to "roses are red" is valid since the material conditional "if roses are red and grass is green, then roses are red" is logically true.


title: Philosophy of logic

text: Whether logic is defined as the study of valid inference or of logical truth leaves open their exact criteria. There are two important ways of specifying these criteria: the syntactic and the semantic approach, sometimes also called the deductive-theoretic and the model-theoretic approach. In this sense, a logic can be defined as a formal language together with either a deductive-theoretic or a model-theoretic account of logical consequence. The syntactic approach tries to capture these features based only on syntactic or formal features of the premises and the conclusion. This is usually achieved by expressing them through a formal symbolism to make these features explicit and independent of the ambiguities and irregularities of natural language. In this formalism, the validity of arguments only depends on the structure of the argument, specifically on the logical constants used in the premises and the conclusion. On this view, a proposition is a logical consequence of a group of premises if and only if the proposition is deducible from these premises. This deduction happens by using rules of inference. This means that for a valid argument, it is not possible to produce true premises with a false conclusion by substituting their constituents with elements belonging to similar categories while keeping the logical constants in place. In the case of logical truths, such a substitution cannot make them false. Different sets of rules of inference constitute different deductive systems, for example, the ones associated with classical logic or with intuitionistic logic. So whether the proposition is a logical consequence depends not just on the premises but also on the deductive system used.


title: Philosophy of logic

text: A problem with the syntactic approach is that the use of formal language is central to it. But the problem of logic, i.e. of valid inference and logical truth, is found not just in formal languages but also in natural languages. However, even within the scope of formal languages, the problem of truth poses a variety of problems, which often call for a richer meta-language to be properly addressed. This threatens the syntactic approach even when restricted to formal languages. Another difficulty is posed by the fact that it is often not clear how to distinguish formal from non-formal features, i.e. logical from non-logical symbols. This distinction lies at the very heart of the syntactic approach due to its role in the definition of valid inference or logical truth.


title: Philosophy of logic

text: The semantic approach, on the other hand, focuses on the relation between language and reality. In logic, the study of this relationship is often termed model theory. For this reason, the semantic approach is also referred to as the model-theoretic conception of logic. It was initially conceived by Alfred Tarski and characterizes logical truth not in relation to the logical constants used in sentences, but based on set-theoretic structures that are used to interpret these sentences. The idea behind this approach is that sentences are not true or false by themselves but only true or false in relation to an interpretation. Interpretations are usually understood in set-theoretic terms as functions between symbols used in the sentence and a domain of objects. Such a function assigns individual constants to individual elements of the domain and predicates to tuples of elements of the domain. An interpretation of a sentence (or of a theory comprising various sentences) is called a "model" of this sentence if the sentence is true according to this interpretation. A sentence is "logically true" if it is true in every interpretation, i.e. if every interpretation is a model of this sentence. In this case, no matter how the interpretation-function and the domain of objects to which it points are defined, the sentence is always true. If interpretations are understood in terms of possible worlds, logically true sentences can be seen as sentences that are true in every possible world. Expressed in terms of valid arguments: an argument is valid if and only if its conclusion is true in all possible worlds in which its premises are true.


title: Philosophy of logic

text: This conception avoids the problems of the syntactic approach associated with the difficulty of distinguishing between logical and non-logical symbols. But it faces other problems of its own. On the one hand, it shares the problem with the syntactic approach of being in need of a meta-language to address the problem of truth. It therefore presupposes a formal language that can be studied from a perspective outside itself. This poses problems for generalizing its insights to the logic of language in general as an all-encompassing medium. On the other hand, it ignores the relationship between language and world, since it defines truth based on the interpretation that takes place only between symbols and set-theoretic objects.


title: Philosophy of logic

text: The problem of having to choose between a manifold of rival logical systems is rather recent. For a long time in history, Aristotelian syllogistics was treated as the canon of logic and there were very few substantial improvements to it for over two thousand years until the works of George Boole, Bernard Bolzano, Franz Brentano, Gottlob Frege, and others. These developments were often driven by a need to increase the expressive flexibility of logic and to adapt it to specific areas of usage. A central problem in the philosophy of logic, raised by the contemporary proliferation of logical systems, is to explain how these systems are related to each other. This brings with it the question of why all these formal systems deserve the title "logic". Another question is whether only one of these systems is the right one or how a multiplicity of logical systems is possible instead of just one universal logic. Monism is the thesis that only one logic is correct while pluralism allows different alternative logical systems to be correct for different areas of discourse. It has also been suggested that there may be one universal concept of logic that underlies and unifies all the different logical systems.


title: Philosophy of logic

text: Logic and the philosophy of logic have traditionally focused primarily on formal arguments, i.e. arguments expressed in a formal language. But they also include the study of informal arguments found in natural language. Formal logic is usually seen as the paradigmatic form of logic but various modern developments have emphasized the importance of informal logic for many practical purposes where formal logic alone is unable to solve all issues by itself. Both formal and informal logic aim at evaluating the correctness of arguments. But formal logic restricts itself concerning the factors that are used in order to provide exact criteria for this evaluation. Informal logic tries to take various additional factors into account and is therefore relevant for many arguments outside the scope of formal logic, but does so at the cost of precision and general rules. Arguments that fail this evaluation are called fallacies. Formal fallacies are fallacies within the scope of formal logic whereas informal fallacies belong to informal logic.


title: Philosophy of logic

text: Formal logic is concerned with the validity of inferences or arguments based only on their form, i.e. independent of their specific content and the context in which they are used. This usually happens through abstraction by seeing particular arguments as instances of a certain form of argument. Forms of arguments are defined by how their logical constants and variables are related to each other. In this way, different arguments with very different contents may have the same logical form. Whether an argument is valid only depends on its form. An important feature of formal logic is that for a valid argument, the truth of its premises ensures the truth of its conclusion, i.e. it is impossible for the premises to be true and the conclusion to be false.


title: Philosophy of logic

text: A serious problem associated with the usage of formal logic for expressing theories from various fields is that these theories have to be translated into a formal language, usually the language of first-order logic. This is necessary since formal logic is only defined for specific formal language: it is therefore not directly applicable to many arguments expressed differently. Such translations can be challenging since formal languages are often quite restrictive. For example, they frequently lack many of the informal devices found in natural language. One recurrent problem concerns the word "is" in the English language, which has a variety of meanings depending on the context, such as identity, existence, predication, class-inclusion, or location.


title: Philosophy of logic

text: Informal logic, on the other hand, has a more concrete orientation in that it tries to evaluate whether a specific instance of an argument is good or bad. This brings with it the need to study not just the general form of the argument in question, but also the contents used as premises of this argument and the context in which this argument is used. This means that the same argument may be both good, when used in one context, and bad, when used in another context. For example, a strawman argument tries to overcome the opponent's position by attributing a weak position to them and then proving this position to be false. In a context where the opponent does not hold this position, the argument is bad, while it may be a good argument against an opponent who actually defends the strawman position. Arguments studied by informal logic are usually expressed in natural language.


title: Philosophy of logic

text: Informal logic does not face the need to translate natural language arguments into a formal language in order to be able to evaluate them. This way, it avoids various problems associated with this translation. But this does not solve many of the problems that the usage of natural language brings with it, like ambiguities, vague expressions, or implicitly assuming premises instead of explicitly stating them. Many of the fallacies discussed in informal logic arise directly from these features. This concerns, for example, the fallacies of ambiguity and of presumption.


title: Philosophy of logic

text: Within the domain of formal logic, an important distinction is between classical and non-classical logic. The term classical logic refers primarily to propositional logic and first-order logic. It is the dominant logical system accepted and used by most theorists. But the philosophy of logic is also concerned with non-classical or alternative logics. They are sometimes divided into extended logics and deviant logics. Extended logics are extensions of classical logic, i.e. they accept the basic formalism and axioms of classical logic but extend them with new logical vocabulary, like introducing symbols for "possibility" and "necessity" in modal logic or symbols for "sometimes" and "always" in temporal logic. Deviant logics, on the other hand, reject certain core assumptions of classical logic. They use axioms different from classical logic, which are often more limiting concerning which inferences are valid. They are "deviant" in the sense that they are incompatible with classical logic and may be seen as its rivals.


title: Philosophy of logic

text: The term classical logic refers primarily to propositional logic and first-order logic. It is usually treated by philosophers as the paradigmatic form of logic and is used in various fields. It is concerned with a small number of central logical concepts and specifies the role these concepts play in making valid inferences. These core notions include quantifiers, expressing ideas like "all" and "some", and propositional connectives, like "and", "or", and "if-then". Among the non-logical concepts, an important distinction is between singular terms and predicates. Singular terms stand for objects and predicates stand for properties of or relations between these objects. In this respect, first-order logic differs from traditional Aristotelian logic, which lacked predicates corresponding to relations. First-order logic allows quantification only over individuals, in contrast to higher-order logic, which allows quantification also over predicates.


title: Philosophy of logic

text: Extended logics accept the axioms and the core vocabulary of classical logic. This is reflected in the fact that the theorems of classical logic are valid in them. But they go beyond classical logic by including additional new symbols and theorems. The goal of these changes is usually either to apply logical treatment to new areas or to introduce a higher level of abstraction, for example, in the form of quantification applied not just to singular terms but also to predicates or propositions, or through truth predicates. In this sense, deviant logics are usually seen as rivals to classical logic while extended logics are supplements to classical logic. Important examples of extended logics include modal logic and higher-order logic.


title: Philosophy of logic

text: The term "modal logic", when understood in its widest sense, refers to a variety of extended logics, such as alethic, deontic, or temporal modal logic. In its narrow sense, it is identical with alethic modal logic. While classical logic is only concerned with what is true or false, alethic modal logic includes new symbols to express what is possibly or necessarily true or false. These symbols take the form of sentential operators. Usually, the symbols and are used to express that the sentence following them is possibly or necessarily true. Modal logics also include various new rules of inferences specifying how these new symbols figure in valid arguments. One example is the formula formula_1, i.e. that if something is necessarily true then it is also possibly true. The other forms of modal logic besides alethic modal logic apply the same principles to different fields. In deontic modal logic, the symbols and are used to express which actions are permissible or obligatory; in temporal logic, they express what is the case at some time or at every time; in epistemic logic, they express what is compatible with a person's beliefs or what this person knows.


title: Philosophy of logic

text: Various rules of inference have been suggested as the basic axioms of the different modal logics but there is no general agreement on which are the right ones. An influential interpretation of modal operators, due to Saul Kripke, understands them as quantifiers over possible worlds. A possible world is a complete and consistent way how things could have been. On this view, to say that something is necessarily true is to say that it is true in all accessible possible worlds. One problem for this type of characterization is that they seem to be circular since possible worlds are themselves defined in modal terms, i.e. as ways how things "could" have been.


title: Philosophy of logic

text: Even when restricted to alethic modal logic, there are again different types of possibility and necessity that can be meant by these terms. For example, according to physical modality, it is necessary that an object falls if dropped since this is what the laws of nature dictate. But according to logical modality, this is not necessary since the laws of nature might have been different without leading to a logical contradiction.


title: Philosophy of logic

text: Higher-order logics extend classical first-order predicate logic by including new forms of quantification. In first-order logic, quantification is restricted to individuals, like in the formula formula_2 ("there are some" apples that are sweet). Higher-order logics allow quantification not just over individuals but also over predicates, as in formula_3 ("there are some" qualities that Mary and John share). The increased expressive power of higher-order logics is especially relevant for mathematics. For example, an infinite number of axioms is necessary for Peano arithmetic and Zermelo-Fraenkel set theory in first-order logic, while second-order logic only needs a handful of axioms to do the same job. But this increased expressive power comes at certain costs. On the one hand, higher-order theories are incomplete: it is not possible to prove every true sentence based on the axioms of this theory. For theories in first-order logic, on the other hand, this is possible. Another drawback is that higher-order logics seem to be committed to a form of Platonism since they quantify not just over individuals but also over properties and relations.


title: Philosophy of logic

text: Deviant logics are forms of logic in that they have the same goal as classical logic: to give an account of which inferences are valid. They differ from classical logic by giving a different account. Intuitionistic logic, for example, rejects the law of excluded middle, which is a valid form of inference in classical logic. This rejection is based on the idea that mathematical truth depends on verification through a proof. The law fails for cases where no such proof is possible, which exist in every sufficiently strong formal system, according to Gödel's incompleteness theorems. Free logic differs from classical logic since it has fewer existential presuppositions: it allows non-denoting expressions, i.e. individual terms that do not refer to objects within the domain. A central motivation for this type of modification is that free logic can be used to analyze discourse with empty singular terms, like in the expression "Santa Clause does not exist". Many-valued logic is a logic that allows for additional truth values besides "true" and "false" in classical logic. In this sense, it rejects the principle of the bivalence of truth. In a simple form of three-valued logic, for example, a third truth value is introduced: "undefined".


title: Philosophy of logic

text: In logic, truth is usually seen as a property of propositions or sentences. It plays a central role in logic since validity is often defined in terms of truth: an inference is valid if and only if it is impossible for its premises to be true and its conclusion to be false. Theories of truth try to characterize the nature of truth. According to correspondence theories, a proposition is true if it corresponds to reality, i.e. if it represents things how they actually are. Coherence theories, on the other hand, identify truth with coherence. On this view, a proposition is true if it is a coherent part of a specified set of propositions, i.e. if these propositions are consistent with each other and provide mutual inferential support for each other. According to pragmatic theories of truth, whether a proposition is true depends on its relation to practice. Some versions claim that a proposition is true if believing it is useful, if it is the ideal result of an endless inquiry, or if it meets the standards of warranted assertibility. Deflationary theories of truth see truth as a rather empty notion that lacks an interesting nature of its own. On this view, to assert that a proposition is true is the same as asserting the proposition by itself. Other important topics in the philosophy of logic concerning truth are the value of truth, the liar paradox, and the principle of bivalence of truth.


title: Philosophy of logic

text: Central to logic is the notion of logical truth. Logical truth is often understood in terms of the analytic-synthetic distinction: a proposition is analytically true if its truth only depends on the meanings of the terms composing it. Synthetic propositions, on the other hand, are characterized by the fact that their truth depends on non-logical or empirical factors. This is sometimes expressed by stating that analytical truths are tautologies, whose denial would imply a contradiction, while it is possible for synthetic propositions to be true or false. In this sense, the proposition "all bachelors are unmarried" is analytically true since being unmarried is part of how the term "bachelor" is defined. The proposition "some bachelors are happy", on the other hand, is synthetically true since it depends on empirical factors not included in the meaning of its terms. But whether this distinction is tenable has been put into question. For example, Willard Van Orman Quine has argued that there are no purely analytic truths, i.e. that all propositions are to some extent empirical. But others have explicitly defended the analytic-synthetic distinction against Quine's criticism.


title: Philosophy of logic

text: But whether logical truths can be identified with analytical truths is not always accepted. A different approach characterizes logical truths regarding a small subset of the meanings of all terms: the so-called logical constants or syncategoremata. They include propositional connectives, like "and" or "if-then", quantifiers, like "for some" or "for all", and identity. Propositional logic is only concerned with truth in virtue of propositional connectives, while predicate logic also investigates truths based on the usage of quantifiers and identity. Extended logics introduce even more logical constants, like possibility and necessity in modal logic. A sentence is true in virtue of the logical constants alone if all non-logical terms can be freely replaced by other terms of the appropriate type without affecting any change in the truth value of the sentence. For example, the sentence "if it rains, then it rains" is true due to its logical form alone because all such replacements, like substituting the expression "Socrates is wise" for the expression "it rains", also result in true sentences. One problem with this characterization of logic is that it is not always clear how to draw the distinction between logical constants and other symbols. While there is little controversy in the paradigmatic cases, there are various borderline cases in which there seem to be no good criteria for deciding the issue.


title: Philosophy of logic

text: There are various discussions about the nature of premises and conclusions. It is widely agreed that they have to be bearers of truth, i.e. that they are either true or false. This is necessary so they can fulfill their logical role. They are traditionally understood as thoughts or propositions, i.e. as mental or abstract objects. This approach has been rejected by various philosophers since it has proven difficult to specify clear identity criteria for these types of entities. An alternative approach holds that only sentences can act as premises and conclusions. Propositions are closely related to sentences since they are the meaning of sentences: sentences express propositions. But this approach faces various problems of its own. One is due to the fact that the meaning of sentences usually is context-dependent. Because of this, it could be the case that the same inference is valid in one context and invalid in another. Another problem consists in the fact that some sentences are ambiguous, i.e. that it sometimes depends on one's interpretation whether an inference is valid or not.


title: Philosophy of logic

text: An important aspect both of propositions and of sentences is that they can be either simple or complex. Complex propositions are made up of simple propositions that are linked to each other through propositional connectives. Simple propositions do not have other propositions as their parts, but they are usually understood as being constituted by other entities as well: by subpropositional parts like singular terms and predicates. For example, the simple proposition "Mars is red" is made of the singular term "Mars", to which the predicate "red" is applied. In contrast, the proposition "Mars is red and Venus is white" is made up of two propositions connected by the propositional connective "and". In the simplest case, these connectives are truth-functional connectives: the truth value of the complex proposition is a function of the truth values of its constituents. So the proposition "Mars is red and Venus is white" is true because the two propositions constituting it are true. The truth value of simple propositions, on the other hand, depends on their subpropositional parts. This is usually understood in terms of reference: their truth is determined by how their subpropositional parts are related to the world, i.e. to the extra-linguistic objects they refer to. This relation is studied by theories of reference, which try to specify how singular terms refer to objects and how predicates apply to these objects. In the case of singular terms, popular suggestions include that the singular term refers to its object either through a definite description or based on causal relations with it. In the former sense, the name "Aristotle" may be understood as the definite description "the pupil of Plato who taught Alexander". As for predicates, they are often seen as referring either to universals, to concepts, or to classes of objects.


title: Philosophy of logic

text: An inference is the process of reasoning from premises to a conclusion. The relation between the premises and the conclusion is called "entailment" or "logical consequence". An argument consists of the premises, the conclusion, and the relation between them. But the terms "inference", "argument", "entailment", and "logical consequence" are often used interchangeably. A complex argument is an argument involving several steps, in which the conclusions of earlier steps figure as the premises of the following steps. Inferences and arguments can be correct or incorrect. This depends on whether the premises actually support the conclusion or not, i.e. on whether the conclusion follows from the premises. For example, it follows from "Kelly is not both at home and at work" and "Kelly is at home" that "Kelly is not at work". But it does not follow that "Kelly is a football fan".


title: Philosophy of logic

text: An important distinction among inferences is between deductive and ampliative inferences, also referred to as monotonic and non-monotonic inferences. According to Alfred Tarski, deductive inference has three central features: (1) it is formal, i.e. it depends only on the form of the premises and the conclusion; (2) it is a priori, i.e. no sense experience is needed to determine whether it obtains; (3) it is modal, i.e. that it holds by necessity for the given propositions, independent of any other circumstances. Deductive inferences are necessarily truth-preserving: the conclusion cannot be false if all the premises are true. For this reason, they are unable to introduce new information not already found in the premises and are uninformative in this sense. One problem with characterizing deductive inferences as uninformative is that this seems to suggest that they are useless, i.e. it fails to explain why someone would use or study them. This difficulty can be addressed by distinguishing between depth information and surface information. On this view, deductive logic is uninformative on the level of depth information but may still lead to surprising results on the level of surface information by presenting certain aspects in a new way.


title: Philosophy of logic

text: Ampliative inferences, on the other hand, are informative by aiming to provide new information. This happens at the cost of losing the necessarily truth-preserving nature. The most prominent form of ampliative inference is induction. An inductive inference involves particular propositions as premises, which are used to infer either one more particular proposition or a generalization as the conclusion. Deductive inferences are the paradigmatic form of inference and are the main focus of logic. But many inferences drawn in the empirical sciences and in everyday discourse are ampliative inferences.


title: Philosophy of logic

text: A central problem in logic is how to distinguish correct or valid arguments from incorrect or invalid ones. The philosophy of logic investigates issues like what it means that an argument is valid. This includes the question of how this type of support is to be understood or of what the criteria are under which a premise supports a conclusion. Some logicians define valid inference or entailment in terms of logical necessity: the premises entail the conclusion if it is impossible for the premises to be true and the conclusion to be false. This can also be expressed by saying that the conjunction of the premises and the negation of the conclusion is logically impossible. This conception brings with it the principle of explosion, i.e. that anything follows from a contradiction. But valid inferences can also be characterized in terms of rules of inference. Rules of inference govern the transition from the premises to the conclusion. On this view, an inference is valid if it is in accordance with an appropriate rule of inference.


title: Philosophy of logic

text: Closely related to the notion of valid inference is that of confirmation. Valid inferences belong to formal logic and is associated with deductively valid arguments. But many arguments found in the sciences and in everyday discourse support their conclusion without ensuring its truth. They fall in the purview of informal logic and can also be divided into good and bad arguments. In this sense, for example, observations may act as empirical evidence supporting a scientific hypothesis. This is often understood in terms of probability, i.e. that the evidence increases the likelihood that the hypothesis is true.


title: Philosophy of logic

text: Of special interest are the so-called fallacies, i.e. incorrect arguments that appear to be correct. They are incorrect because the premises do not support the conclusion in the assumed way. Due to their misleading appearance, they can seduce people into accepting and using them. Often three factors are identified as the sources of the error: "form", "content", and "context". The form of an argument refers to its structure, i.e. which rule of inference it employs. Errors on the level of form involve the use of invalid rules of inference. An argument that is incorrect on the level of content uses false propositions as its premises. The context of an argument refers to the situation in which it is used and the role it is supposed to play. An argument can be fallacious if it fails to play the role intended for it, as in the strawman fallacy, when the arguer attacks an overly weak position not held by the opponent.


title: Philosophy of logic

text: An important distinction among fallacies can be drawn based on these sources of error: that between formal and informal fallacies. Formal fallacies pertain to formal logic and involve only errors of form by employing an invalid rule of inference. Denying the antecedent is one type of formal fallacy, for example, "If Othello is a bachelor, then he is male. Othello is not a bachelor. Therefore, Othello is not male". Informal fallacies belong to informal logic and their main source of error is found on the level of content and context. False dilemmas, for example, are based on a false disjunctive premise that oversimplifies reality by excluding viable alternatives, as in "Stacey spoke out against capitalism; therefore, she must be a communist".


title: Philosophy of logic

text: Since logic evaluates arguments as good or bad, logic faces the problem of the nature and justification of the norms guiding these evaluations. This is similar to issues found in metaethics about how to justify moral norms. One approach to this issue is to characterize the norms of logic as generalizations of the inferential practices found in natural language or the sciences. This way, justification is inherited from the evaluations of good and bad inferences used in the corresponding field.


title: Philosophy of logic

text: An important distinction among the rules of logic is that between definitory and strategic rules. Rules of inferences are definitory rules: they govern which inferences are valid. And while it has been the main objective of logic to distinguish valid from invalid inferences, there is also a secondary objective often associated with logic: to determine which inferential steps are needed to prove or disprove a given proposition based on a set of premises. This is the domain of strategic rules. The rules of inference specify which steps are allowed but they remain silent on which steps need to be taken to reach a certain conclusion. The difference between definitory and strategic rules is found not only in logic but in various games as well. In chess, for example, the definitory rules specify that bishops may only move diagonally while strategic rules describe how the allowed moves may be used to win a game, e.g. by controlling the center or by protecting one's king. Following definitory rules determines whether one plays chess or something else while following strategic rules determines whether one is a good or a bad chess player. Both definitory and strategic rules are to be distinguished from empirical descriptive rules, which generalize how people actually draw inferences, whether correct or incorrect. In this sense, definitory rules are permissive and strategic rules are prescriptive while empirical generalizations are descriptive. Violating the definitory rules of logic results in committing fallacies. It has been argued that the almost exclusive focus of logicians on the definitory rules of logic is not justified. On this view, more emphasis should be given to strategic rules instead, since many applications of logic, like the problem of rational belief change, depend more on strategic rules than on definitory rules.


title: Philosophy of logic

text: The philosophy of logic is in many ways closely related to the philosophy of mathematics, especially in relation to their metaphysical aspects. The metaphysics of logic is concerned with the metaphysical status of its objects and the laws governing them. The theories within the metaphysics of logic can roughly be divided into realist and non-realist positions.


title: Philosophy of logic

text: Logical realists hold that the laws of logic are objective, i.e. independent of humans and their ways of thinking. On this view, the structures found in logic are structures of the world itself. According to a definition proposed by Sandra LaPointe, logical realism consists of two theses: that there are logical facts and that they are independent of our cognitive and linguistic make-up and practices. Logical realism is often interpreted from the perspective of Platonism, i.e. that there is an intelligible realm of abstract objects that includes the objects of logic. On this view, logic is not invented but discovered. An important consequence of this position is that there is a clear gap between the facts of logic themselves and our beliefs about these facts. One difficulty of this position consists in clarifying which sense of independence is meant when saying that logic is independent of humans. If it is understood in the strictest sense possible, no knowledge of it would be possible since a fully independent reality could play no part in human consciousness. Another problem is to explain the relation between the one world and the many different logical systems proposed. This would suggest that there is only one true logic and all other logical systems are either false or incomplete.


title: Philosophy of logic

text: Logical realism is rejected by anti-realists, who hold that logic does not describe an objective feature of reality. Anti-realism about logic often takes the form of conceptualism or psychologism, in which the objects of logic consist in mental conceptions or the logical laws are identified with psychological laws. This can include the thesis that the laws of logic are not knowable a priori, as is often held, but that they are discovered through the methods of experimental inquiry. An argument for psychologism is based on the idea that logic is a sub-discipline of psychology: it studies not all laws of thought, but only the subset of laws corresponding to valid reasoning. Another argument focuses on the thesis that we learn about logical truths through the feeling of self-evidence, which is in turn studied by psychology. Various objections to psychologism have been raised, especially in German philosophy around the turn of the 20th century in the so-called "Psychologismus-Streit". One objection focuses on the thesis that the laws of logic are known a priori, which is not true for the empirical laws studied by psychology. Another points out that psychological laws are usually vague, whereas logic is an exact science with clear laws.


title: Philosophy of logic

text: Conventionalism is another form of anti-realism, in which the logical truths depend on the meanings of the terms used, which in turn depend on linguistic conventions adopted by a group of agents. One problem for this position consists in providing a clear definition of the term "convention". Conventions are widely observed regularities. But not every widely observed regularity is a convention: conventions include a certain normative factor that distinguishes right from wrong behavior, whereas irregular behavior is not automatically wrong. Another problem concerns the fact that conventions are contingent, while logical truths are necessary. This casts doubt on the possibility of defining logical truth in terms of convention unless a plausible explanation could be given how contingent conventions can ground necessary truths.


title: Philosophy of logic

text: A central issue in ontology is the problem of existence, i.e. whether an entity or a certain kind of entity exists. According to some theorists, the main goal of ontology is just to determine what exists and what does not exist. The issue of existence is closely related to singular terms, like names, and existential quantifiers (formula_4): it is often held that these devices carry existential presuppositions or ontological commitments with them. On this view, sentences like and involve ontological commitments to the existence of apples and of Pegasus, respectively. The most famous defender of this approach is Willard Van Orman Quine, who argues that the ontological commitments of any theory can be determined by translating it into first-order logic and reading them off from the existential quantifiers used in this translation.


title: Philosophy of logic

text: One problem with this approach is that it can lead to various controversial ontological commitments. Mathematics, for example, quantifies over numbers in sentences such as "there are prime numbers between 1000 and 1010". This would mean that the ontological commitment to the existence of numbers, i.e. realism about numbers, is already built into mathematics. Another problem is due to the fact that natural language contains many names for imaginary entities, such as Pegasus or Santa Clause. But if names come with existential commitments, then sentences like "Santa Clause does not exist" would be contradictory. Within ontology, these problems are sometimes approached through Platonism or psychologism by holding that the problematic entities do exist, but only in the form of abstract or mental objects while lacking concrete or material existence. Within logic, these problems can be avoided by using certain forms of non-classical logic. Free logic, for example, allows empty singular terms, which do not denote any object in the domain and therefore carry no ontological commitments. This is often combined with an existence-predicate, which can be used to specify whether a singular term denotes an object in the domain. But talk of existence as a predicate is controversial. Opponents of this approach often point out that existence is required for an object to have any predicates at all and can therefore not be one of them.


title: Philosophy of logic

text: The issue of existence brings with it its own problems in the case of higher-order logics. Second-order logic, for example, includes existential quantification not just for singular terms but also for predicates. This is often understood as entailing ontological commitments not just to regular objects but also to the properties and relations instantiated by these objects. This position is known as realism and is often rejected in contemporary philosophy due to naturalist considerations. It contrasts with nominalism, the view that only individuals exist.


title: Philosophy of logic

text: Mathematics and logic are related in various ways. Both are considered formal sciences and in many cases, developments in these two fields happened in parallel. Propositional logic, for example, is an instance of Boolean algebra. It is often claimed that mathematics can, in principle, be grounded in only first-order logic together with set theory. Metamath is one example of such a project. It is based on 20 axioms of propositional logic, first-order predicate logic, and Zermelo–Fraenkel set theory and has already proved a significant amount of mathematical theorems based on these axioms. Closely related to this project is logicism: the thesis defended by Gottfried Wilhelm Leibniz and Gottlob Frege that arithmetic is reducible to logic alone. This would mean that any statement in arithmetic, like "2 + 2 = 4", can be expressed in purely logical terms, i.e. without using numbers or arithmetic operators like addition. In this case, all the theorems of arithmetic would be derivable from the axioms of logic. Whether this thesis is correct depends on how the term "logic" is understood. If "logic" only refers to the axioms of first-order predicate logic, it is false. But if one includes set-theory in it or higher-order logic, then arithmetic is reducible to logic.


title: Philosophy of logic

text: An important relation between logic and computer science arises from the parallels between propositional connectives of propositional logic and logic gates in computer science: they both follow the laws of Boolean algebra. Propositions are either false or true while the inputs and outputs of logic gates are termed 0 and 1. Both use truth tables to illustrate the functioning of propositional connectives and logic gates. Another important relation to logic consists in the development of logic software that can assist logicians in formulating proofs or even automate the process. Prover9 is an example of an automated theorem prover for first-order logic.


title: Philosophy of logic

text: A very close connection between psychology and logic can be drawn if logic is seen as the science of the laws of thought. One important difference between psychology and logic in the light of this characterization is that psychology is an empirical science that aims to study how humans actually think. Logic, on the other hand, has the objective of discovering the laws of correct reasoning, independently of whether actual human thinking often falls short of this ideal. The psychologist Jean Piaget applied logic to psychology by using it to identify different stages of human psychological development. On his view, the ability to reason logically only arises at a certain stage in the child's development and can be used as a criterion to distinguish it from earlier stages.


title: Laugh track

text: A laugh track (or laughter track) is a separate soundtrack for a recorded comedy show containing the sound of audience laughter. In some productions, the laughter is a live audience response instead; in the United States, where it is most commonly used, the term usually implies artificial laughter (canned laughter or fake laughter) made to be inserted into the show. This was invented by American sound engineer Charles "Charley" Douglass.


title: Laugh track

text: The Douglass laugh track became a standard in mainstream television in the U.S., dominating most prime-time sitcoms and sketch comedies from the late 1950s to the late 1970s. Usage of the Douglass laughter decreased by the 1980s when stereophonic laughter was provided by rival sound companies as well as the overall practice of single-camera sitcoms eliminating audiences altogether.


title: Laugh track

text: Before radio and television, audiences experienced live comedy performances in the presence of other audience members. Radio and early television producers used recordings of live shows and later studio-only shows attempted to recreate this atmosphere by introducing the sound of laughter or other crowd reactions into the soundtrack.


title: Laugh track

text: In 1946, Jack Mullin brought a Magnetophon magnetic tape recorder back from Radio Frankfurt, along with 50 reels of tape; the recorder was one of the magnetic tape recorders that BASF and AEG had built in Germany starting in 1935. The 6.5 mm tape could record 20 minutes per reel of high-quality analog audio sound; Alexander M. Poniatoff then ordered his Ampex company to manufacture an improved version of the Magnetophon for use in radio production. Bing Crosby eventually adopted the technology to pre-record his radio show, which was scheduled for a certain time every week, to avoid having to perform the show live, as well as having to perform it a second time for West Coast audiences.


title: Laugh track

text: With the introduction of this recording method, it became possible to add sounds during post-production. Longtime engineer and recording pioneer Jack Mullin explained how the laugh track was invented on Crosby's show:


title: Laugh track

text: In early television, most shows that were not broadcast live used the single-camera filmmaking technique, where a show was created by filming each scene several times from different camera angles. Whereas the performances of the actors and crew could be controlled, live audiences could not be relied upon to laugh at the "correct" moments; other times, audiences were deemed to have laughed too loudly or for too long.


title: Laugh track

text: CBS sound engineer Charley Douglass noticed these inconsistencies, and took it upon himself to remedy the situation. If a joke did not get the desired chuckle, Douglass inserted additional laughter; if the live audience chuckled too long, Douglass gradually muted the guffaws. This editing technique became known as sweetening, in which recorded laughter is used to augment the response of the real studio audience if they did not react as strongly as desired. Conversely, the process could be used to "desweeten" audience reactions, toning down unwanted loud laughter or removing inappropriate applause, thus making the laughter more in line with the producer's preferred method of telling the story.


title: Laugh track

text: While still working for CBS, Douglass built a prototype laugh machine that consisted of a large, wooden wheel 28 inches in diameter with a reel of tape glued to the outer edge of it containing recordings of mild laughs. The machine was operated by a key that played until it hit another detent on the wheel, thus playing a complete laugh. Because it was constructed on company time, CBS demanded possession of the machine when Douglass decided to terminate his time with them. The prototype machine fell apart within months of use. Douglass developed an expansion of his technique in 1953 when he began to extract laughter and applause from live soundtracks recorded (mainly from the pantomime segments of "The Red Skelton Show"), and then placed the recorded sounds into a huge tape machine.


title: Laugh track

text: These recorded laughs could be added to single-camera filmed programs. The first American television show to incorporate a laugh track was the sitcom "The Hank McCune Show" in 1950. Other single-camera filmed shows, like "The Pride of the Family" (ABC, 1953–54), soon followed suit, though several, like "The Trouble with Father" (ABC, 1950–55), "The Beulah Show" (ABC, 1950–52) and "The Goldbergs" (several networks, 1949–56), did not feature an audience or a laugh-track. "Four Star Playhouse", an anthology series, did not utilize a laugh-track or audience on its occasional comedy episodes, with co-producer David Niven calling the laugh track "wild indiscriminate mirth" and stating that "I shall blackball the notion if it ever comes up. Not that it will. We shall carry on without mechanical tricks".


title: Laugh track

text: Soon after the rise of the laugh track, Lucille Ball and Desi Arnaz devised a method of filming with a live audience using a setup of multiple film cameras. This process was originally employed for their sitcom "I Love Lucy", which used a live studio audience and no laugh track. Multi-camera shows with live audiences sometimes used recorded laughs to supplement responses. Sketch comedy and variety shows eventually migrated from live broadcasting to videotape, which allowed for editing before a show was aired. Physically editing a taped audience show (then using quadruplex videotape) before electronic dubbing arrived caused bumps and gaps on the soundtrack; Douglass was then called upon to bridge these gaps.


title: Laugh track

text: Both performers and producers gradually began to realize the power behind prerecorded laughter. While witnessing an early post-production editing session, comedian Milton Berle once pointed out a particular joke and said, "as long as we're here doing this, that joke didn't get the response we wanted". After Douglass inserted a hearty laugh following the failed joke, Berle reportedly commented, "See? I told you it was funny". While working with Bob Hope on one of his television specials, the comedian took Douglass's hands in his own and began rubbing them to create the effect of limbering up Douglass's fingers, saying "OK, now, give me some good laughs."


title: Laugh track

text: As the medium evolved, production costs associated with broadcasting live television escalated. Filming in a studio with an audience, as "I Love Lucy" or "The Ed Sullivan Show" did, had its limitations as well: half the audience could not see the show from where they were sitting. Douglass was brought in to simulate reactions from scratch for the duration of the entire show. Producers soon realized how much simpler it was to film a show without an audience present and tailor the reactions during post-production. Directors initially did not allow space for inserting reactions, making sweetening difficult and resulted in dialogue being drowned out. Audience response cards repeatedly came back saying that laughter seemed forced or contrived. Writers gradually became more conscious of the space required for the laugh track and began timing their scripts around it. Directors gradually left room for as-yet-unheard audience reactions; producers budgeted for post-production so Douglass could edit with greater ease.


title: Laugh track

text: Most television sitcoms produced during the 1950s and 1960s used the single-camera technique, with a laugh track simulating the absent audience. Producers became disenchanted with the multi-camera format; consensus at the time was that live audiences were tense, nervous and rarely laughed on cue.


title: Laugh track

text: Network research suggested that the laugh track was mandatory in order to brand a single-camera show as a comedy. The experiment to see if a comedy fared better with a laugh track was tested in 1965 when CBS showed its new single-camera sitcom "Hogan's Heroes" to test audiences in two versions: one with the laugh track, the other without. Partly due to the somewhat cerebral nature of the show's humor, the version without the laugh track failed while the version with laughter succeeded. The show was broadcast with the laugh track, and CBS utilized a laugh track for all


title: Laugh track

text: Sitcoms had different types of laugh tracks edited onto their soundtracks, depending on style. Outlandish or fantasy shows, like "Bewitched", "The Munsters", "I Dream of Jeannie" and "The Beverly Hillbillies", were virtual showcases of Douglass's editing skill. The more outlandish the show, the more invasive the laugh track. Conversely, subdued programs, like "The Andy Griffith Show", "The Brady Bunch" and "My Three Sons", had more modulated laughter. Certain shows, like "Get Smart", featured a laugh track that became more invasive as the series progressed, while shows like "M*A*S*H" toned down the laughter as the series became more dramatic (it was entirely absent during operating room scenes).


title: Laugh track

text: By the mid-1960s, nearly every U.S. sitcom was shot single-camera and was fitted with a laughter track. Only a handful of programs, such as "The Joey Bishop Show", "The Dick Van Dyke Show" and "The Lucy Show" used studio audiences and turned to Douglass to edit or augment the real laughter via sweetening.


title: Laugh track

text: From the late 1950s to the early 1970s, Charley Douglass had a monopoly on the expensive and painstaking laugh business. By 1960, nearly every prime time show in the U.S. was sweetened by Douglass. When it came time to "lay in the laughs", the producer directed Douglass where and when to insert the type of laugh requested. Inevitably, disagreements arose between Douglass and the producer, but the producer had final say. After taking his directive, Douglass went to work at creating the audience, out of sight from the producer or anyone else present at the studio.


title: Laugh track

text: Critic Dick Hobson commented in a July 1966 "TV Guide" article that the Douglass family were "the only laugh game in town." Very few in the industry ever witnessed Douglass using his invention, as he was notoriously secretive about his work, and was one of the most talked-about men in the television industry.


title: Laugh track

text: Douglass formed Northridge Electronics in August 1960, named after the Los Angeles suburb in the San Fernando Valley where the Douglass family resided and operated their business in a padlocked garage. When their services were needed, they wheeled the device into the editing room, plugged it in, and went to work. Production studios became accustomed to seeing Douglass shuttling from studio to studio to mix in his manufactured laughs during post-production.


title: Laugh track

text: The sophisticated one-of-a-kind device – affectionately known in the industry as the "laff box" – was tightly secured with padlocks, stood more than two feet tall, and operated like an organ. Only immediate members of the family knew what the inside actually looked like (at one time, the "laff box" was called "the most sought after but well-concealed box in the world"). Since more than one member of the Douglass family was involved in the editing process, it was natural for one member to react to a joke differently from another. Charley Douglass was the most conservative of all, so producers often put in bids for Charley's son Bob, who was more liberal in his choice of laughter. Subtle textural changes could have enormous consequences for the ethical situation suggested by a laugh track.


title: Laugh track

text: Douglass used a keyboard to select the style, gender and age of the laugh as well as a pedal to time the length of the reaction. Inside the machine was a wide array of recorded chuckles, yocks and belly laughs; exactly 320 laughs on 32 tape loops, 10 to a loop. Each loop contained 10 individual audience laughs spliced end-to-end, whirling around simultaneously waiting to be cued up. Since the tapes were looped, laughs were played in the same order repeatedly. Sound engineers could watch sitcoms and knew exactly which recurrent guffaws were next, even if they were viewing an episode for the first time. Douglass frequently combined different laughs, either long or short in length. Attentive viewers could spot when he decided to mix chuckles together to give the effect of a more diverse audience. Rather than being simple recordings of a laughing audience, Douglass's laughs were carefully generated and mixed, giving some laughs detailed identities such as "the guy who gets the joke early" and "housewife giggles" and "the one who didn't get the joke but is laughing anyway" all blended and layered to create the illusion of a real audience responding to the show in question. A man's deep laugh would be switched for a new woman's laugh, or a high-pitched woman's giggle would be replaced with a man's snicker. One producer noticed a recurrent laugh of a woman whom he called "the jungle lady" because of her high-pitched shriek. After regularly complaining to Douglass, the laugh was retired from the regular lineup.


title: Laugh track

text: There was also a 30-second "titter" track in the loop, which consisted of individual people laughing quietly. This "titter" track was used to quiet down a laugh and was always playing in the background. When Douglass inserted a hearty laugh, he increased the volume of the titter track to smooth out the final mix. This titter track was expanded to 45 seconds in 1967, later to 60 seconds in 1970, and received overhauls in 1964, 1967 and 1970. Douglass kept recordings fresh, making minor changes every few months, believing that the viewing audience evolved over time. Douglass also had an array of audience clapping, "oohs" and "ahhhs," as well as people moving in their seats (which many producers insisted be constantly audible).


title: Laugh track

text: Douglass knew his material well, as he had compiled it himself. He had dozens of reactions, and he knew where to find each one. Douglass regularly slightly sped up the laughter to heighten the effect. His work was well-appreciated by many in the television industry. Over the years, Douglass added new recordings and revived old ones that had been retired and then retired the newer tracks. Laughter heard in sitcoms of the early 1960s resurfaced years later in the late 1970s. Especially starting in the 1970s, Douglass started alternating the updated laugh track with an older laugh track and even sometimes combined the two together. Up to 40 different laugh clips could be combined and layered at one time, creating the effect of a larger, louder reaction when in fact the same laughs were later heard individually. As the civil rights movement gained momentum, Douglass also started making his laugh track more diverse, including examples of laughter of people from other cultures, whose sounds were noticeably different from white Americans.